Skip to content

Commit 4448cfe

Browse files
AtafidAtafid
committed
Add immediate operands to llvm.experimental.stackmap
1 parent 80afdbe commit 4448cfe

File tree

6 files changed

+111
-1
lines changed

6 files changed

+111
-1
lines changed

‎llvm/include/llvm/IR/Intrinsics.td

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1655,7 +1655,7 @@ def int_strip_invariant_group : DefaultAttrsIntrinsic<[llvm_anyptr_ty],
16551655
//
16561656
def int_experimental_stackmap : DefaultAttrsIntrinsic<[],
16571657
[llvm_i64_ty, llvm_i32_ty, llvm_vararg_ty],
1658-
[Throws]>;
1658+
[Throws, ImmArg<ArgIndex<0>>, ImmArg<ArgIndex<1>>]>;
16591659
def int_experimental_patchpoint_void : Intrinsic<[],
16601660
[llvm_i64_ty, llvm_i32_ty,
16611661
llvm_ptr_ty, llvm_i32_ty,

‎llvm/test/CodeGen/AArch64/stackmap-args.ll

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
; RUN: not llc -mtriple=arm64-linux-gnu < %s 2>&1 | FileCheck %s
2+
; Tests error when we pass non-immediate parameters to @llvm.experiment.stackmap
3+
4+
define void @first_arg() {
5+
; CHECK: immarg operand has non-immediate parameter
6+
entry:
7+
; First operand should be immediate
8+
%id = add i64 0, 0
9+
call void (i64, i32, ...) @llvm.experimental.stackmap(i64 %id, i32 0)
10+
ret void
11+
}
12+
13+
define void @second_arg() {
14+
; CHECK: immarg operand has non-immediate parameter
15+
entry:
16+
; Second operand should be immediate
17+
%numShadowByte = add i32 0, 0
18+
call void (i64, i32, ...) @llvm.experimental.stackmap(i64 1, i32 %numShadowByte)
19+
ret void
20+
}
21+
22+
declare void @llvm.experimental.stackmap(i64, i32, ...)

‎llvm/test/CodeGen/PowerPC/ppc64-stackmap-args.ll

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
; RUN: not llc -verify-machineinstrs -mcpu=ppc -mtriple=powerpc64-unknown-gnu-linux < %s 2>&1 | FileCheck %s
2+
; Tests error when we pass non-immediate parameters to @llvm.experiment.stackmap
3+
4+
define void @first_arg() {
5+
; CHECK: immarg operand has non-immediate parameter
6+
entry:
7+
; First operand should be immediate
8+
%id = add i64 0, 0
9+
call void (i64, i32, ...) @llvm.experimental.stackmap(i64 %id, i32 0)
10+
ret void
11+
}
12+
13+
define void @second_arg() {
14+
; CHECK: immarg operand has non-immediate parameter
15+
entry:
16+
; Second operand should be immediate
17+
%numShadowByte = add i32 0, 0
18+
call void (i64, i32, ...) @llvm.experimental.stackmap(i64 1, i32 %numShadowByte)
19+
ret void
20+
}
21+
22+
declare void @llvm.experimental.stackmap(i64, i32, ...)

‎llvm/test/CodeGen/RISCV/rv64-stackmap-args.ll

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
; RUN: not llc -mtriple=riscv64 < %s 2>&1 | FileCheck %s
2+
; Tests error when we pass non-immediate parameters to @llvm.experiment.stackmap
3+
4+
define void @first_arg() {
5+
; CHECK: immarg operand has non-immediate parameter
6+
entry:
7+
; First operand should be immediate
8+
%id = add i64 0, 0
9+
call void (i64, i32, ...) @llvm.experimental.stackmap(i64 %id, i32 0)
10+
ret void
11+
}
12+
13+
define void @second_arg() {
14+
; CHECK: immarg operand has non-immediate parameter
15+
entry:
16+
; Second operand should be immediate
17+
%numShadowByte = add i32 0, 0
18+
call void (i64, i32, ...) @llvm.experimental.stackmap(i64 1, i32 %numShadowByte)
19+
ret void
20+
}
21+
22+
declare void @llvm.experimental.stackmap(i64, i32, ...)

‎llvm/test/CodeGen/SystemZ/stackmap-args.ll

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
; RUN: not llc -mtriple=s390x-linux-gnu < %s 2>&1 | FileCheck %s
2+
; Tests error when we pass non-immediate parameters to @llvm.experiment.stackmap
3+
4+
define void @first_arg() {
5+
; CHECK: immarg operand has non-immediate parameter
6+
entry:
7+
; First operand should be immediate
8+
%id = add i64 0, 0
9+
call void (i64, i32, ...) @llvm.experimental.stackmap(i64 %id, i32 0)
10+
ret void
11+
}
12+
13+
define void @second_arg() {
14+
; CHECK: immarg operand has non-immediate parameter
15+
entry:
16+
; Second operand should be immediate
17+
%numShadowByte = add i32 0, 0
18+
call void (i64, i32, ...) @llvm.experimental.stackmap(i64 1, i32 %numShadowByte)
19+
ret void
20+
}
21+
22+
declare void @llvm.experimental.stackmap(i64, i32, ...)

‎llvm/test/CodeGen/X86/stackmap-args.ll

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
; RUN: not llc -mtriple=x86_64-apple-darwin -mcpu=corei7 < %s 2>&1 | FileCheck %s
2+
; Tests error when we pass non-immediate parameters to @llvm.experiment.stackmap
3+
4+
define void @first_arg() {
5+
; CHECK: immarg operand has non-immediate parameter
6+
entry:
7+
; First operand should be immediate
8+
%id = add i64 0, 0
9+
call void (i64, i32, ...) @llvm.experimental.stackmap(i64 %id, i32 0)
10+
ret void
11+
}
12+
13+
define void @second_arg() {
14+
; CHECK: immarg operand has non-immediate parameter
15+
entry:
16+
; Second operand should be immediate
17+
%numShadowByte = add i32 0, 0
18+
call void (i64, i32, ...) @llvm.experimental.stackmap(i64 1, i32 %numShadowByte)
19+
ret void
20+
}
21+
22+
declare void @llvm.experimental.stackmap(i64, i32, ...)

0 commit comments

Comments
 (0)