1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
define void @okay(ptr %p, i32 %x) {
call void asm "addl $1, $0", "=*rm,r"(ptr elementtype(i32) %p, i32 %x)
ret void
}
; CHECK: Operand for indirect constraint must have pointer type
; CHECK-NEXT: call void asm "addl $1, $0", "=*rm,r"(i32 %p, i32 %x)
define void @not_pointer_arg(i32 %p, i32 %x) {
call void asm "addl $1, $0", "=*rm,r"(i32 %p, i32 %x)
ret void
}
; CHECK: Elementtype attribute can only be applied for indirect constraints
; CHECK-NEXT: call void asm "addl $1, $0", "=*rm,r"(ptr elementtype(i32) %p, ptr elementtype(i32) %x)
define void @not_indirect(ptr %p, ptr %x) {
call void asm "addl $1, $0", "=*rm,r"(ptr elementtype(i32) %p, ptr elementtype(i32) %x)
ret void
}
; CHECK: Operand for indirect constraint must have elementtype attribute
; CHECK-NEXT: call void asm "addl $1, $0", "=*rm,r"(ptr %p, i32 %x)
define void @missing_elementtype(ptr %p, i32 %x) {
call void asm "addl $1, $0", "=*rm,r"(ptr %p, i32 %x)
ret void
}
; CHECK: Operand for indirect constraint must have pointer type
; CHECK-NEXT: invoke void asm "addl $1, $0", "=*rm,r"(i32 %p, i32 %x)
define void @not_pointer_arg_invoke(i32 %p, i32 %x) personality ptr null {
invoke void asm "addl $1, $0", "=*rm,r"(i32 %p, i32 %x)
to label %cont unwind label %lpad
lpad:
%lp = landingpad i32
cleanup
ret void
cont:
ret void
}
; CHECK: Operand for indirect constraint must have pointer type
; CHECK-NEXT: callbr void asm "addl $1, $0", "=*rm,r"(i32 %p, i32 %x)
define void @not_pointer_arg_callbr(i32 %p, i32 %x) {
callbr void asm "addl $1, $0", "=*rm,r"(i32 %p, i32 %x)
to label %cont []
cont:
ret void
}
|