1 ; RUN: llc < %s -mtriple=i686-linux -mcpu=core2 -mattr=+sse2 -asm-verbose=false | FileCheck %s -check-prefix=32 2 ; RUN: llc < %s -mtriple=x86_64-linux -mcpu=core2 -mattr=+sse2 -asm-verbose=false | FileCheck %s -check-prefix=64 3 ; RUN: llc < %s -mtriple=x86_64-linux-gnux32 -mcpu=core2 -mattr=+sse2 -asm-verbose=false | FileCheck %s -check-prefix=X32ABI 4 5 define void @t1(i32 %x) nounwind ssp { 6 entry: 7 ; 32-LABEL: t1: 8 ; 32: jmp {{_?}}foo 9 10 ; 64-LABEL: t1: 11 ; 64: jmp {{_?}}foo 12 13 ; X32ABI-LABEL: t1: 14 ; X32ABI: jmp {{_?}}foo 15 tail call void @foo() nounwind 16 ret void 17 } 18 19 declare void @foo() 20 21 define void @t2() nounwind ssp { 22 entry: 23 ; 32-LABEL: t2: 24 ; 32: jmp {{_?}}foo2 25 26 ; 64-LABEL: t2: 27 ; 64: jmp {{_?}}foo2 28 29 ; X32ABI-LABEL: t2: 30 ; X32ABI: jmp {{_?}}foo2 31 %0 = tail call i32 @foo2() nounwind 32 ret void 33 } 34 35 declare i32 @foo2() 36 37 define void @t3() nounwind ssp { 38 entry: 39 ; 32-LABEL: t3: 40 ; 32: jmp {{_?}}foo3 41 42 ; 64-LABEL: t3: 43 ; 64: jmp {{_?}}foo3 44 45 ; X32ABI-LABEL: t3: 46 ; X32ABI: jmp {{_?}}foo3 47 %0 = tail call i32 @foo3() nounwind 48 ret void 49 } 50 51 declare i32 @foo3() 52 53 define void @t4(void (i32)* nocapture %x) nounwind ssp { 54 entry: 55 ; 32-LABEL: t4: 56 ; 32: calll * 57 ; FIXME: gcc can generate a tailcall for this. But it's tricky. 58 59 ; 64-LABEL: t4: 60 ; 64-NOT: call 61 ; 64: jmpq * 62 63 ; X32ABI-LABEL: t4: 64 ; X32ABI-NOT: call 65 ; X32ABI: jmpq * 66 tail call void %x(i32 0) nounwind 67 ret void 68 } 69 70 define void @t5(void ()* nocapture %x) nounwind ssp { 71 entry: 72 ; 32-LABEL: t5: 73 ; 32-NOT: call 74 ; 32: jmpl *4(%esp) 75 76 ; 64-LABEL: t5: 77 ; 64-NOT: call 78 ; 64: jmpq *%rdi 79 80 ; X32ABI-LABEL: t5: 81 ; X32ABI-NOT: call 82 ; FIXME: This isn't needed since x32 psABI specifies that callers must 83 ; zero-extend pointers passed in registers. 84 ; X32ABI: movl %edi, %eax 85 ; X32ABI: jmpq *%rax 86 tail call void %x() nounwind 87 ret void 88 } 89 90 define i32 @t6(i32 %x) nounwind ssp { 91 entry: 92 ; 32-LABEL: t6: 93 ; 32: calll {{_?}}t6 94 ; 32: jmp {{_?}}bar 95 96 ; 64-LABEL: t6: 97 ; 64: jmp {{_?}}t6 98 ; 64: jmp {{_?}}bar 99 100 ; X32ABI-LABEL: t6: 101 ; X32ABI: jmp {{_?}}t6 102 ; X32ABI: jmp {{_?}}bar 103 %0 = icmp slt i32 %x, 10 104 br i1 %0, label %bb, label %bb1 105 106 bb: 107 %1 = add nsw i32 %x, -1 108 %2 = tail call i32 @t6(i32 %1) nounwind ssp 109 ret i32 %2 110 111 bb1: 112 %3 = tail call i32 @bar(i32 %x) nounwind 113 ret i32 %3 114 } 115 116 declare i32 @bar(i32) 117 118 define i32 @t7(i32 %a, i32 %b, i32 %c) nounwind ssp { 119 entry: 120 ; 32-LABEL: t7: 121 ; 32: jmp {{_?}}bar2 122 123 ; 64-LABEL: t7: 124 ; 64: jmp {{_?}}bar2 125 126 ; X32ABI-LABEL: t7: 127 ; X32ABI: jmp {{_?}}bar2 128 %0 = tail call i32 @bar2(i32 %a, i32 %b, i32 %c) nounwind 129 ret i32 %0 130 } 131 132 declare i32 @bar2(i32, i32, i32) 133 134 define signext i16 @t8() nounwind ssp { 135 entry: 136 ; 32-LABEL: t8: 137 ; 32: jmp {{_?}}bar3 138 139 ; 64-LABEL: t8: 140 ; 64: jmp {{_?}}bar3 141 142 ; X32ABI-LABEL: t8: 143 ; X32ABI: jmp {{_?}}bar3 144 %0 = tail call signext i16 @bar3() nounwind ; <i16> [#uses=1] 145 ret i16 %0 146 } 147 148 declare signext i16 @bar3() 149 150 define signext i16 @t9(i32 (i32)* nocapture %x) nounwind ssp { 151 entry: 152 ; 32-LABEL: t9: 153 ; 32: calll * 154 155 ; 64-LABEL: t9: 156 ; 64: jmpq * 157 158 ; X32ABI-LABEL: t9: 159 ; X32ABI: jmpq * 160 %0 = bitcast i32 (i32)* %x to i16 (i32)* 161 %1 = tail call signext i16 %0(i32 0) nounwind 162 ret i16 %1 163 } 164 165 define void @t10() nounwind ssp { 166 entry: 167 ; 32-LABEL: t10: 168 ; 32: calll 169 170 ; 64-LABEL: t10: 171 ; 64: callq 172 173 ; X32ABI-LABEL: t10: 174 ; X32ABI: callq 175 %0 = tail call i32 @foo4() noreturn nounwind 176 unreachable 177 } 178 179 declare i32 @foo4() 180 181 define i32 @t11(i32 %x, i32 %y, i32 %z.0, i32 %z.1, i32 %z.2) nounwind ssp { 182 ; In 32-bit mode, it's emitting a bunch of dead loads that are not being 183 ; eliminated currently. 184 185 ; 32-LABEL: t11: 186 ; 32-NOT: subl ${{[0-9]+}}, %esp 187 ; 32: je 188 ; 32-NOT: movl 189 ; 32-NOT: addl ${{[0-9]+}}, %esp 190 ; 32: jmp {{_?}}foo5 191 192 ; 64-LABEL: t11: 193 ; 64-NOT: subq ${{[0-9]+}}, %rsp 194 ; 64-NOT: addq ${{[0-9]+}}, %rsp 195 ; 64: jmp {{_?}}foo5 196 197 ; X32ABI-LABEL: t11: 198 ; X32ABI-NOT: subl ${{[0-9]+}}, %esp 199 ; X32ABI-NOT: addl ${{[0-9]+}}, %esp 200 ; X32ABI: jmp {{_?}}foo5 201 entry: 202 %0 = icmp eq i32 %x, 0 203 br i1 %0, label %bb6, label %bb 204 205 bb: 206 %1 = tail call i32 @foo5(i32 %x, i32 %y, i32 %z.0, i32 %z.1, i32 %z.2) nounwind 207 ret i32 %1 208 209 bb6: 210 ret i32 0 211 } 212 213 declare i32 @foo5(i32, i32, i32, i32, i32) 214 215 %struct.t = type { i32, i32, i32, i32, i32 } 216 217 define i32 @t12(i32 %x, i32 %y, %struct.t* byval align 4 %z) nounwind ssp { 218 ; 32-LABEL: t12: 219 ; 32-NOT: subl ${{[0-9]+}}, %esp 220 ; 32-NOT: addl ${{[0-9]+}}, %esp 221 ; 32: jmp {{_?}}foo6 222 223 ; 64-LABEL: t12: 224 ; 64-NOT: subq ${{[0-9]+}}, %rsp 225 ; 64-NOT: addq ${{[0-9]+}}, %rsp 226 ; 64: jmp {{_?}}foo6 227 228 ; X32ABI-LABEL: t12: 229 ; X32ABI-NOT: subl ${{[0-9]+}}, %esp 230 ; X32ABI-NOT: addl ${{[0-9]+}}, %esp 231 ; X32ABI: jmp {{_?}}foo6 232 entry: 233 %0 = icmp eq i32 %x, 0 234 br i1 %0, label %bb2, label %bb 235 236 bb: 237 %1 = tail call i32 @foo6(i32 %x, i32 %y, %struct.t* byval align 4 %z) nounwind 238 ret i32 %1 239 240 bb2: 241 ret i32 0 242 } 243 244 declare i32 @foo6(i32, i32, %struct.t* byval align 4) 245 246 ; rdar://r7717598 247 %struct.ns = type { i32, i32 } 248 %struct.cp = type { float, float, float, float, float } 249 250 define %struct.ns* @t13(%struct.cp* %yy) nounwind ssp { 251 ; 32-LABEL: t13: 252 ; 32-NOT: jmp 253 ; 32: calll 254 ; 32: ret 255 256 ; 64-LABEL: t13: 257 ; 64-NOT: jmp 258 ; 64: callq 259 ; 64: ret 260 261 ; X32ABI-LABEL: t13: 262 ; X32ABI-NOT: jmp 263 ; X32ABI: callq 264 ; X32ABI: ret 265 entry: 266 %0 = tail call fastcc %struct.ns* @foo7(%struct.cp* byval align 4 %yy, i8 signext 0) nounwind 267 ret %struct.ns* %0 268 } 269 270 ; rdar://6195379 271 ; llvm can't do sibcall for this in 32-bit mode (yet). 272 declare fastcc %struct.ns* @foo7(%struct.cp* byval align 4, i8 signext) nounwind ssp 273 274 %struct.__block_descriptor = type { i64, i64 } 275 %struct.__block_descriptor_withcopydispose = type { i64, i64, i8*, i8* } 276 %struct.__block_literal_1 = type { i8*, i32, i32, i8*, %struct.__block_descriptor* } 277 %struct.__block_literal_2 = type { i8*, i32, i32, i8*, %struct.__block_descriptor_withcopydispose*, void ()* } 278 279 define void @t14(%struct.__block_literal_2* nocapture %.block_descriptor) nounwind ssp { 280 entry: 281 ; 64-LABEL: t14: 282 ; 64: movq 32(%rdi) 283 ; 64-NOT: movq 16(%rdi) 284 ; 64: jmpq *16({{%rdi|%rax}}) 285 286 ; X32ABI-LABEL: t14: 287 ; X32ABI: movl 20(%edi), %edi 288 ; X32ABI-NEXT: movl 12(%edi), %eax 289 ; X32ABI-NEXT: jmpq *%rax 290 %0 = getelementptr inbounds %struct.__block_literal_2, %struct.__block_literal_2* %.block_descriptor, i64 0, i32 5 ; <void ()**> [#uses=1] 291 %1 = load void ()*, void ()** %0, align 8 ; <void ()*> [#uses=2] 292 %2 = bitcast void ()* %1 to %struct.__block_literal_1* ; <%struct.__block_literal_1*> [#uses=1] 293 %3 = getelementptr inbounds %struct.__block_literal_1, %struct.__block_literal_1* %2, i64 0, i32 3 ; <i8**> [#uses=1] 294 %4 = load i8*, i8** %3, align 8 ; <i8*> [#uses=1] 295 %5 = bitcast i8* %4 to void (i8*)* ; <void (i8*)*> [#uses=1] 296 %6 = bitcast void ()* %1 to i8* ; <i8*> [#uses=1] 297 tail call void %5(i8* %6) nounwind 298 ret void 299 } 300 301 ; rdar://7726868 302 %struct.foo = type { [4 x i32] } 303 304 define void @t15(%struct.foo* noalias sret %agg.result) nounwind { 305 ; 32-LABEL: t15: 306 ; 32: calll {{_?}}f 307 ; 32: retl $4 308 309 ; 64-LABEL: t15: 310 ; 64: callq {{_?}}f 311 ; 64: retq 312 313 ; X32ABI-LABEL: t15: 314 ; X32ABI: callq {{_?}}f 315 ; X32ABI: retq 316 tail call fastcc void @f(%struct.foo* noalias sret %agg.result) nounwind 317 ret void 318 } 319 320 declare void @f(%struct.foo* noalias sret) nounwind 321 322 define void @t16() nounwind ssp { 323 entry: 324 ; 32-LABEL: t16: 325 ; 32: calll {{_?}}bar4 326 ; 32: fstp 327 328 ; 64-LABEL: t16: 329 ; 64: jmp {{_?}}bar4 330 331 ; X32ABI-LABEL: t16: 332 ; X32ABI: jmp {{_?}}bar4 333 %0 = tail call double @bar4() nounwind 334 ret void 335 } 336 337 declare double @bar4() 338 339 ; rdar://6283267 340 define void @t17() nounwind ssp { 341 entry: 342 ; 32-LABEL: t17: 343 ; 32: jmp {{_?}}bar5 344 345 ; 64-LABEL: t17: 346 ; 64: xorl %eax, %eax 347 ; 64: jmp {{_?}}bar5 348 349 ; X32ABI-LABEL: t17: 350 ; X32ABI: xorl %eax, %eax 351 ; X32ABI: jmp {{_?}}bar5 352 tail call void (...) @bar5() nounwind 353 ret void 354 } 355 356 declare void @bar5(...) 357 358 ; rdar://7774847 359 define void @t18() nounwind ssp { 360 entry: 361 ; 32-LABEL: t18: 362 ; 32: calll {{_?}}bar6 363 ; 32: fstp %st(0) 364 365 ; 64-LABEL: t18: 366 ; 64: xorl %eax, %eax 367 ; 64: jmp {{_?}}bar6 368 369 ; X32ABI-LABEL: t18: 370 ; X32ABI: xorl %eax, %eax 371 ; X32ABI: jmp {{_?}}bar6 372 %0 = tail call double (...) @bar6() nounwind 373 ret void 374 } 375 376 declare double @bar6(...) 377 378 define void @t19() alignstack(32) nounwind { 379 entry: 380 ; CHECK-LABEL: t19: 381 ; CHECK: andl $-32 382 ; CHECK: calll {{_?}}foo 383 384 ; X32ABI-LABEL: t19: 385 ; X32ABI: andl $-32 386 ; X32ABI: callq {{_?}}foo 387 tail call void @foo() nounwind 388 ret void 389 } 390 391 ; If caller / callee calling convention mismatch then check if the return 392 ; values are returned in the same registers. 393 ; rdar://7874780 394 395 define double @t20(double %x) nounwind { 396 entry: 397 ; 32-LABEL: t20: 398 ; 32: calll {{_?}}foo20 399 ; 32: fldl (%esp) 400 401 ; 64-LABEL: t20: 402 ; 64: jmp {{_?}}foo20 403 404 ; X32ABI-LABEL: t20: 405 ; X32ABI: jmp {{_?}}foo20 406 %0 = tail call fastcc double @foo20(double %x) nounwind 407 ret double %0 408 } 409 410 declare fastcc double @foo20(double) nounwind 411
