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