1 // RUN: %clang_cc1 -triple i686 %s -emit-llvm -o - | FileCheck %s 2 // RUN: %clang_cc1 -triple x86_64 %s -emit-llvm -o - | FileCheck %s 3 // RUN: %clang_cc1 -triple arm %s -emit-llvm -o - | FileCheck %s 4 // RUN: %clang_cc1 -triple mips %s -emit-llvm -o - | FileCheck %s 5 // RUN: %clang_cc1 -triple mipsel %s -emit-llvm -o - | FileCheck %s 6 // RUN: %clang_cc1 -triple powerpc %s -emit-llvm -o - | FileCheck %s 7 // RUN: %clang_cc1 -triple powerpc64 %s -emit-llvm -o - | FileCheck %s 8 // RUN: %clang_cc1 -triple s390x %s -emit-llvm -o - | FileCheck %s 9 // RUN: %clang_cc1 -triple sparc %s -emit-llvm -o - | FileCheck %s 10 // RUN: %clang_cc1 -triple sparcv9 %s -emit-llvm -o - | FileCheck %s 11 // RUN: %clang_cc1 -triple thumb %s -emit-llvm -o - | FileCheck %s 12 13 int mout0; 14 int min1; 15 int marray[2]; 16 17 // CHECK: @single_m 18 void single_m() 19 { 20 // CHECK: call void asm "foo $1,$0", "=*m,*m[[CLOBBERS:[a-zA-Z0-9@%{},~_$ ]*\"]](i32* {{[a-zA-Z0-9@%]+}}, i32* {{[a-zA-Z0-9@%]+}}) 21 asm("foo %1,%0" : "=m" (mout0) : "m" (min1)); 22 } 23 24 // CHECK: @single_o 25 void single_o() 26 { 27 register int out0 = 0; 28 register int index = 1; 29 // Doesn't really do an offset... 30 //asm("foo %1, %2,%0" : "=r" (out0) : "o" (min1)); 31 } 32 33 // CHECK: @single_V 34 void single_V() 35 { 36 // asm("foo %1,%0" : "=m" (mout0) : "V" (min1)); 37 } 38 39 // CHECK: @single_lt 40 void single_lt() 41 { 42 register int out0 = 0; 43 register int in1 = 1; 44 // CHECK: call i32 asm "foo $1,$0", "=r,<r[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 45 asm("foo %1,%0" : "=r" (out0) : "<r" (in1)); 46 // CHECK: call i32 asm "foo $1,$0", "=r,r<[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 47 asm("foo %1,%0" : "=r" (out0) : "r<" (in1)); 48 } 49 50 // CHECK: @single_gt 51 void single_gt() 52 { 53 register int out0 = 0; 54 register int in1 = 1; 55 // CHECK: call i32 asm "foo $1,$0", "=r,>r[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 56 asm("foo %1,%0" : "=r" (out0) : ">r" (in1)); 57 // CHECK: call i32 asm "foo $1,$0", "=r,r>[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 58 asm("foo %1,%0" : "=r" (out0) : "r>" (in1)); 59 } 60 61 // CHECK: @single_r 62 void single_r() 63 { 64 register int out0 = 0; 65 register int in1 = 1; 66 // CHECK: call i32 asm "foo $1,$0", "=r,r[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 67 asm("foo %1,%0" : "=r" (out0) : "r" (in1)); 68 } 69 70 // CHECK: @single_i 71 void single_i() 72 { 73 register int out0 = 0; 74 // CHECK: call i32 asm "foo $1,$0", "=r,i[[CLOBBERS]](i32 1) 75 asm("foo %1,%0" : "=r" (out0) : "i" (1)); 76 } 77 78 // CHECK: @single_n 79 void single_n() 80 { 81 register int out0 = 0; 82 // CHECK: call i32 asm "foo $1,$0", "=r,n[[CLOBBERS]](i32 1) 83 asm("foo %1,%0" : "=r" (out0) : "n" (1)); 84 } 85 86 // CHECK: @single_E 87 void single_E() 88 { 89 register double out0 = 0.0; 90 // CHECK: call double asm "foo $1,$0", "=r,E[[CLOBBERS]](double {{[0-9.eE+-]+}}) 91 asm("foo %1,%0" : "=r" (out0) : "E" (1.0e+01)); 92 } 93 94 // CHECK: @single_F 95 void single_F() 96 { 97 register double out0 = 0.0; 98 // CHECK: call double asm "foo $1,$0", "=r,F[[CLOBBERS]](double {{[0-9.eE+-]+}}) 99 asm("foo %1,%0" : "=r" (out0) : "F" (1.0)); 100 } 101 102 // CHECK: @single_s 103 void single_s() 104 { 105 register int out0 = 0; 106 //asm("foo %1,%0" : "=r" (out0) : "s" (single_s)); 107 } 108 109 // CHECK: @single_g 110 void single_g() 111 { 112 register int out0 = 0; 113 register int in1 = 1; 114 // CHECK: call i32 asm "foo $1,$0", "=r,imr[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 115 asm("foo %1,%0" : "=r" (out0) : "g" (in1)); 116 // CHECK: call i32 asm "foo $1,$0", "=r,imr[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 117 asm("foo %1,%0" : "=r" (out0) : "g" (min1)); 118 // CHECK: call i32 asm "foo $1,$0", "=r,imr[[CLOBBERS]](i32 1) 119 asm("foo %1,%0" : "=r" (out0) : "g" (1)); 120 } 121 122 // CHECK: @single_X 123 void single_X() 124 { 125 register int out0 = 0; 126 register int in1 = 1; 127 // CHECK: call i32 asm "foo $1,$0", "=r,X[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 128 asm("foo %1,%0" : "=r" (out0) : "X" (in1)); 129 // CHECK: call i32 asm "foo $1,$0", "=r,X[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 130 asm("foo %1,%0" : "=r" (out0) : "X" (min1)); 131 // CHECK: call i32 asm "foo $1,$0", "=r,X[[CLOBBERS]](i32 1) 132 asm("foo %1,%0" : "=r" (out0) : "X" (1)); 133 // CHECK: call i32 asm "foo $1,$0", "=r,X[[CLOBBERS]](i32* getelementptr inbounds ([2 x i32], [2 x i32]* {{[a-zA-Z0-9@%]+}}, i32 0, i32 0)) 134 asm("foo %1,%0" : "=r" (out0) : "X" (marray)); 135 // CHECK: call i32 asm "foo $1,$0", "=r,X[[CLOBBERS]](double {{[0-9.eE+-]+}}) 136 asm("foo %1,%0" : "=r" (out0) : "X" (1.0e+01)); 137 // CHECK: call i32 asm "foo $1,$0", "=r,X[[CLOBBERS]](double {{[0-9.eE+-]+}}) 138 asm("foo %1,%0" : "=r" (out0) : "X" (1.0)); 139 } 140 141 // CHECK: @single_p 142 void single_p() 143 { 144 register int out0 = 0; 145 // Constraint converted differently on different platforms moved to platform-specific. 146 // : call i32 asm "foo $1,$0", "=r,im[[CLOBBERS]](i32* getelementptr inbounds ([2 x i32], [2 x i32]* {{[a-zA-Z0-9@%]+}}, i32 0, i32 0)) 147 asm("foo %1,%0" : "=r" (out0) : "p" (marray)); 148 } 149 150 // CHECK: @multi_m 151 void multi_m() 152 { 153 // CHECK: call void asm "foo $1,$0", "=*m|r,m|r[[CLOBBERS]](i32* {{[a-zA-Z0-9@%]+}}, i32 {{[a-zA-Z0-9@%]+}}) 154 asm("foo %1,%0" : "=m,r" (mout0) : "m,r" (min1)); 155 } 156 157 // CHECK: @multi_o 158 void multi_o() 159 { 160 register int out0 = 0; 161 register int index = 1; 162 // Doesn't really do an offset... 163 //asm("foo %1, %2,%0" : "=r,r" (out0) : "r,o" (min1)); 164 } 165 166 // CHECK: @multi_V 167 void multi_V() 168 { 169 // asm("foo %1,%0" : "=m,r" (mout0) : "r,V" (min1)); 170 } 171 172 // CHECK: @multi_lt 173 void multi_lt() 174 { 175 register int out0 = 0; 176 register int in1 = 1; 177 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|<r[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 178 asm("foo %1,%0" : "=r,r" (out0) : "r,<r" (in1)); 179 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|r<[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 180 asm("foo %1,%0" : "=r,r" (out0) : "r,r<" (in1)); 181 } 182 183 // CHECK: @multi_gt 184 void multi_gt() 185 { 186 register int out0 = 0; 187 register int in1 = 1; 188 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|>r[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 189 asm("foo %1,%0" : "=r,r" (out0) : "r,>r" (in1)); 190 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|r>[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 191 asm("foo %1,%0" : "=r,r" (out0) : "r,r>" (in1)); 192 } 193 194 // CHECK: @multi_r 195 void multi_r() 196 { 197 register int out0 = 0; 198 register int in1 = 1; 199 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|m[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 200 asm("foo %1,%0" : "=r,r" (out0) : "r,m" (in1)); 201 } 202 203 // CHECK: @multi_i 204 void multi_i() 205 { 206 register int out0 = 0; 207 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|i[[CLOBBERS]](i32 1) 208 asm("foo %1,%0" : "=r,r" (out0) : "r,i" (1)); 209 } 210 211 // CHECK: @multi_n 212 void multi_n() 213 { 214 register int out0 = 0; 215 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|n[[CLOBBERS]](i32 1) 216 asm("foo %1,%0" : "=r,r" (out0) : "r,n" (1)); 217 } 218 219 // CHECK: @multi_E 220 void multi_E() 221 { 222 register double out0 = 0.0; 223 // CHECK: call double asm "foo $1,$0", "=r|r,r|E[[CLOBBERS]](double {{[0-9.eE+-]+}}) 224 asm("foo %1,%0" : "=r,r" (out0) : "r,E" (1.0e+01)); 225 } 226 227 // CHECK: @multi_F 228 void multi_F() 229 { 230 register double out0 = 0.0; 231 // CHECK: call double asm "foo $1,$0", "=r|r,r|F[[CLOBBERS]](double {{[0-9.eE+-]+}}) 232 asm("foo %1,%0" : "=r,r" (out0) : "r,F" (1.0)); 233 } 234 235 // CHECK: @multi_s 236 void multi_s() 237 { 238 register int out0 = 0; 239 //asm("foo %1,%0" : "=r,r" (out0) : "r,s" (multi_s)); 240 } 241 242 // CHECK: @multi_g 243 void multi_g() 244 { 245 register int out0 = 0; 246 register int in1 = 1; 247 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|imr[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 248 asm("foo %1,%0" : "=r,r" (out0) : "r,g" (in1)); 249 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|imr[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 250 asm("foo %1,%0" : "=r,r" (out0) : "r,g" (min1)); 251 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|imr[[CLOBBERS]](i32 1) 252 asm("foo %1,%0" : "=r,r" (out0) : "r,g" (1)); 253 } 254 255 // CHECK: @multi_X 256 void multi_X() 257 { 258 register int out0 = 0; 259 register int in1 = 1; 260 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|X[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 261 asm("foo %1,%0" : "=r,r" (out0) : "r,X" (in1)); 262 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|X[[CLOBBERS]](i32 {{[a-zA-Z0-9@%]+}}) 263 asm("foo %1,%0" : "=r,r" (out0) : "r,X" (min1)); 264 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|X[[CLOBBERS]](i32 1) 265 asm("foo %1,%0" : "=r,r" (out0) : "r,X" (1)); 266 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|X[[CLOBBERS]](i32* getelementptr inbounds ([2 x i32], [2 x i32]* {{[a-zA-Z0-9@%]+}}, i32 0, i32 0)) 267 asm("foo %1,%0" : "=r,r" (out0) : "r,X" (marray)); 268 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|X[[CLOBBERS]](double {{[0-9.eE+-]+}}) 269 asm("foo %1,%0" : "=r,r" (out0) : "r,X" (1.0e+01)); 270 // CHECK: call i32 asm "foo $1,$0", "=r|r,r|X[[CLOBBERS]](double {{[0-9.eE+-]+}}) 271 asm("foo %1,%0" : "=r,r" (out0) : "r,X" (1.0)); 272 } 273 274 // CHECK: @multi_p 275 void multi_p() 276 { 277 register int out0 = 0; 278 // Constraint converted differently on different platforms moved to platform-specific. 279 // : call i32 asm "foo $1,$0", "=r|r,r|im[[CLOBBERS]](i32* getelementptr inbounds ([2 x i32], [2 x i32]* {{[a-zA-Z0-9@%]+}}, i32 0, i32 0)) 280 asm("foo %1,%0" : "=r,r" (out0) : "r,p" (marray)); 281 } 282
