1 // RUN: %clang_cc1 %s -triple i386-pc-linux-gnu -verify -fsyntax-only
2
f()3 void f() {
4 int i;
5
6 asm ("foo\n" : : "a" (i + 2));
7 asm ("foo\n" : : "a" (f())); // expected-error {{invalid type 'void' in asm input}}
8
9 asm ("foo\n" : "=a" (f())); // expected-error {{invalid lvalue in asm output}}
10 asm ("foo\n" : "=a" (i + 2)); // expected-error {{invalid lvalue in asm output}}
11
12 asm ("foo\n" : [symbolic_name] "=a" (i) : "[symbolic_name]" (i));
13 asm ("foo\n" : "=a" (i) : "[" (i)); // expected-error {{invalid input constraint '[' in asm}}
14 asm ("foo\n" : "=a" (i) : "[foo" (i)); // expected-error {{invalid input constraint '[foo' in asm}}
15 asm ("foo\n" : "=a" (i) : "[symbolic_name]" (i)); // expected-error {{invalid input constraint '[symbolic_name]' in asm}}
16 }
17
clobbers()18 void clobbers() {
19 asm ("nop" : : : "ax", "#ax", "%ax");
20 asm ("nop" : : : "eax", "rax", "ah", "al");
21 asm ("nop" : : : "0", "%0", "#0");
22 asm ("nop" : : : "foo"); // expected-error {{unknown register name 'foo' in asm}}
23 asm ("nop" : : : "52");
24 asm ("nop" : : : "54"); // expected-error {{unknown register name '54' in asm}}
25 asm ("nop" : : : "-1"); // expected-error {{unknown register name '-1' in asm}}
26 asm ("nop" : : : "+1"); // expected-error {{unknown register name '+1' in asm}}
27 }
28
29 // rdar://6094010
test3()30 void test3() {
31 int x;
32 asm(L"foo" : "=r"(x)); // expected-error {{wide string}}
33 asm("foo" : L"=r"(x)); // expected-error {{wide string}}
34 }
35
36 // <rdar://problem/6156893>
test4(const volatile void * addr)37 void test4(const volatile void *addr)
38 {
39 asm ("nop" : : "r"(*addr)); // expected-error {{invalid type 'const volatile void' in asm input for constraint 'r'}}
40 asm ("nop" : : "m"(*addr));
41
42 asm ("nop" : : "r"(test4(addr))); // expected-error {{invalid type 'void' in asm input for constraint 'r'}}
43 asm ("nop" : : "m"(test4(addr))); // expected-error {{invalid lvalue in asm input for constraint 'm'}}
44
45 asm ("nop" : : "m"(f())); // expected-error {{invalid lvalue in asm input for constraint 'm'}}
46 }
47
48 // <rdar://problem/6512595>
test5()49 void test5() {
50 asm("nop" : : "X" (8));
51 }
52
53 // PR3385
test6(long i)54 void test6(long i) {
55 asm("nop" : : "er"(i));
56 }
57
asm_string_tests(int i)58 void asm_string_tests(int i) {
59 asm("%!"); // simple asm string, %! is not an error.
60 asm("%!" : ); // expected-error {{invalid % escape in inline assembly string}}
61 asm("xyz %" : ); // expected-error {{invalid % escape in inline assembly string}}
62
63 asm ("%[somename]" :: [somename] "i"(4)); // ok
64 asm ("%[somename]" :: "i"(4)); // expected-error {{unknown symbolic operand name in inline assembly string}}
65 asm ("%[somename" :: "i"(4)); // expected-error {{unterminated symbolic operand name in inline assembly string}}
66 asm ("%[]" :: "i"(4)); // expected-error {{empty symbolic operand name in inline assembly string}}
67
68 // PR3258
69 asm("%9" :: "i"(4)); // expected-error {{invalid operand number in inline asm string}}
70 asm("%1" : "+r"(i)); // ok, referring to input.
71 }
72
73 // PR4077
test7(unsigned long long b)74 int test7(unsigned long long b) {
75 int a;
76 asm volatile("foo %0 %1" : "=a" (a) :"0" (b)); // expected-error {{input with type 'unsigned long long' matching output with type 'int'}}
77 return a;
78 }
79
80 // <rdar://problem/7574870>
81 asm volatile (""); // expected-warning {{meaningless 'volatile' on asm outside function}}
82
83 // PR3904
test8(int i)84 void test8(int i) {
85 // A number in an input constraint can't point to a read-write constraint.
86 asm("" : "+r" (i), "=r"(i) : "0" (i)); // expected-error{{invalid input constraint '0' in asm}}
87 }
88
89 // PR3905
test9(int i)90 void test9(int i) {
91 asm("" : [foo] "=r" (i), "=r"(i) : "1[foo]"(i)); // expected-error{{invalid input constraint '1[foo]' in asm}}
92 asm("" : [foo] "=r" (i), "=r"(i) : "[foo]1"(i)); // expected-error{{invalid input constraint '[foo]1' in asm}}
93 }
94
95 register int g asm("dx"); // expected-error{{global register variables are not supported}}
96
test10(void)97 void test10(void){
98 static int g asm ("g_asm") = 0;
99 extern int gg asm ("gg_asm");
100 __private_extern__ int ggg asm ("ggg_asm");
101
102 int a asm ("a_asm"); // expected-warning{{ignored asm label 'a_asm' on automatic variable}}
103 auto int aa asm ("aa_asm"); // expected-warning{{ignored asm label 'aa_asm' on automatic variable}}
104
105 register int r asm ("cx");
106 register int rr asm ("rr_asm"); // expected-error{{unknown register name 'rr_asm' in asm}}
107 }
108
109 // This is just an assert because of the boolean conversion.
110 // Feel free to change the assembly to something sensible if it causes a problem.
111 // rdar://problem/9414925
test11(void)112 void test11(void) {
113 _Bool b;
114 asm volatile ("movb %%gs:%P2,%b0" : "=q"(b) : "0"(0), "i"(5L));
115 }
116
test12(void)117 void test12(void) {
118 register int cc __asm ("cc"); // expected-error{{unknown register name 'cc' in asm}}
119 }
120
121 // PR10223
test13(void)122 void test13(void) {
123 void *esp;
124 __asm__ volatile ("mov %%esp, %o" : "=r"(esp) : : ); // expected-error {{invalid % escape in inline assembly string}}
125 }
126