1 // RUN: %clang_cc1 -triple i686 -fsyntax-only -verify %s
2 // RUN: %clang_cc1 -triple x86_64 -fsyntax-only -verify -DAMD64 %s
3
I(int i,int j)4 void I(int i, int j) {
5 static const int BelowMin = -1;
6 static const int AboveMax = 32;
7 __asm__("xorl %0,%2"
8 : "=r"(i)
9 : "0"(i), "I"(BelowMin)); // expected-error{{value '-1' out of range for constraint 'I'}}
10 __asm__("xorl %0,%2"
11 : "=r"(i)
12 : "0"(i), "I"(AboveMax)); // expected-error{{value '32' out of range for constraint 'I'}}
13 __asm__("xorl %0,%2"
14 : "=r"(i)
15 : "0"(i), "I"(16)); // expected-no-error
16 }
17
J(int i,int j)18 void J(int i, int j) {
19 static const int BelowMin = -1;
20 static const int AboveMax = 64;
21 __asm__("xorl %0,%2"
22 : "=r"(i)
23 : "0"(i), "J"(BelowMin)); // expected-error{{value '-1' out of range for constraint 'J'}}
24 __asm__("xorl %0,%2"
25 : "=r"(i)
26 : "0"(i), "J"(AboveMax)); // expected-error{{value '64' out of range for constraint 'J'}}
27 __asm__("xorl %0,%2"
28 : "=r"(i)
29 : "0"(i), "J"(32)); // expected-no-error
30 }
31
K(int i,int j)32 void K(int i, int j) {
33 static const int BelowMin = -129;
34 static const int AboveMax = 128;
35 __asm__("xorl %0,%2"
36 : "=r"(i)
37 : "0"(i), "K"(BelowMin)); // expected-error{{value '-129' out of range for constraint 'K'}}
38 __asm__("xorl %0,%2"
39 : "=r"(i)
40 : "0"(i), "K"(AboveMax)); // expected-error{{value '128' out of range for constraint 'K'}}
41 __asm__("xorl %0,%2"
42 : "=r"(i)
43 : "0"(i), "K"(96)); // expected-no-error
44 }
45
L(int i,int j)46 void L(int i, int j) {
47 static const int Invalid1 = 1;
48 static const int Invalid2 = 42;
49 static const int Invalid3 = 0;
50 static const long long Invalid4 = 0x1000000ff;
51 static const int Valid1 = 0xff;
52 static const int Valid2 = 0xffff;
53 static const int Valid3 = 0xffffffff;
54 __asm__("xorl %0,%2"
55 : "=r"(i)
56 : "0"(i), "L"(Invalid1)); // expected-error{{value '1' out of range for constraint 'L'}}
57 __asm__("xorl %0,%2"
58 : "=r"(i)
59 : "0"(i), "L"(Invalid2)); // expected-error{{value '42' out of range for constraint 'L'}}
60 __asm__("xorl %0,%2"
61 : "=r"(i)
62 : "0"(i), "L"(Invalid3)); // expected-error{{value '0' out of range for constraint 'L'}}
63 __asm__("xorl %0,%2"
64 : "=r"(i)
65 : "0"(i), "L"(Invalid4)); // expected-error{{value '4294967551' out of range for constraint 'L'}}
66 __asm__("xorl %0,%2"
67 : "=r"(i)
68 : "0"(i), "L"(Valid1)); // expected-no-error
69 __asm__("xorl %0,%2"
70 : "=r"(i)
71 : "0"(i), "L"(Valid2)); // expected-no-error
72 __asm__("xorl %0,%2"
73 : "=r"(i)
74 : "0"(i), "L"(Valid3)); // expected-no-error
75 }
76
M(int i,int j)77 void M(int i, int j) {
78 static const int BelowMin = -1;
79 static const int AboveMax = 4;
80 __asm__("xorl %0,%2"
81 : "=r"(i)
82 : "0"(i), "M"(BelowMin)); // expected-error{{value '-1' out of range for constraint 'M'}}
83 __asm__("xorl %0,%2"
84 : "=r"(i)
85 : "0"(i), "M"(AboveMax)); // expected-error{{value '4' out of range for constraint 'M'}}
86 __asm__("xorl %0,%2"
87 : "=r"(i)
88 : "0"(i), "M"(2)); // expected-no-error
89 }
90
N(int i,int j)91 void N(int i, int j) {
92 static const int BelowMin = -1;
93 static const int AboveMax = 256;
94 __asm__("xorl %0,%2"
95 : "=r"(i)
96 : "0"(i), "N"(BelowMin)); // expected-error{{value '-1' out of range for constraint 'N'}}
97 __asm__("xorl %0,%2"
98 : "=r"(i)
99 : "0"(i), "N"(AboveMax)); // expected-error{{value '256' out of range for constraint 'N'}}
100 __asm__("xorl %0,%2"
101 : "=r"(i)
102 : "0"(i), "N"(128)); // expected-no-error
103 }
104
O(int i,int j)105 void O(int i, int j) {
106 static const int BelowMin = -1;
107 static const int AboveMax = 128;
108 __asm__("xorl %0,%2"
109 : "=r"(i)
110 : "0"(i), "O"(BelowMin)); // expected-error{{value '-1' out of range for constraint 'O'}}
111 __asm__("xorl %0,%2"
112 : "=r"(i)
113 : "0"(i), "O"(AboveMax)); // expected-error{{value '128' out of range for constraint 'O'}}
114 __asm__("xorl %0,%2"
115 : "=r"(i)
116 : "0"(i), "O"(64)); // expected-no-error
117 }
118
pr40890(void)119 void pr40890(void) {
120 struct s {
121 int a, b;
122 };
123 static struct s s;
124 // This null pointer can be used as an integer constant expression.
125 __asm__ __volatile__("\n#define S_A abcd%0\n" : : "n"(&((struct s*)0)->a));
126 // This offset-from-null pointer can be used as an integer constant expression.
127 __asm__ __volatile__("\n#define S_B abcd%0\n" : : "n"(&((struct s*)0)->b));
128 #ifdef AMD64
129 // This arbitrary pointer is fine.
130 __asm__ __volatile__("\n#define BEEF abcd%0\n" : : "n"((int*)0xdeadbeeeeeef));
131 #endif
132 }
133