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