1 ; REQUIRES: asserts 2 ; RUN: llc -march=x86 -no-integrated-as < %s -verify-machineinstrs -precompute-phys-liveness 3 ; RUN: llc -march=x86-64 -no-integrated-as < %s -verify-machineinstrs -precompute-phys-liveness 4 5 ; PR6497 6 7 ; Chain and flag folding issues. 8 define i32 @test1() nounwind ssp { 9 entry: 10 %tmp5.i = load volatile i32, i32* undef ; <i32> [#uses=1] 11 %conv.i = zext i32 %tmp5.i to i64 ; <i64> [#uses=1] 12 %tmp12.i = load volatile i32, i32* undef ; <i32> [#uses=1] 13 %conv13.i = zext i32 %tmp12.i to i64 ; <i64> [#uses=1] 14 %shl.i = shl i64 %conv13.i, 32 ; <i64> [#uses=1] 15 %or.i = or i64 %shl.i, %conv.i ; <i64> [#uses=1] 16 %add16.i = add i64 %or.i, 256 ; <i64> [#uses=1] 17 %shr.i = lshr i64 %add16.i, 8 ; <i64> [#uses=1] 18 %conv19.i = trunc i64 %shr.i to i32 ; <i32> [#uses=1] 19 store volatile i32 %conv19.i, i32* undef 20 ret i32 undef 21 } 22 23 ; PR6533 24 define void @test2(i1 %x, i32 %y) nounwind { 25 %land.ext = zext i1 %x to i32 ; <i32> [#uses=1] 26 %and = and i32 %y, 1 ; <i32> [#uses=1] 27 %xor = xor i32 %and, %land.ext ; <i32> [#uses=1] 28 %cmp = icmp eq i32 %xor, 1 ; <i1> [#uses=1] 29 br i1 %cmp, label %if.end, label %if.then 30 31 if.then: ; preds = %land.end 32 ret void 33 34 if.end: ; preds = %land.end 35 ret void 36 } 37 38 ; PR6577 39 %pair = type { i64, double } 40 41 define void @test3() { 42 dependentGraph243.exit: 43 %subject19 = load %pair, %pair* undef ; <%1> [#uses=1] 44 %0 = extractvalue %pair %subject19, 1 ; <double> [#uses=2] 45 %1 = select i1 undef, double %0, double undef ; <double> [#uses=1] 46 %2 = select i1 undef, double %1, double %0 ; <double> [#uses=1] 47 %3 = insertvalue %pair undef, double %2, 1 ; <%1> [#uses=1] 48 store %pair %3, %pair* undef 49 ret void 50 } 51 52 ; PR6605 53 define i64 @test4(i8* %P) nounwind ssp { 54 entry: 55 %tmp1 = load i8, i8* %P ; <i8> [#uses=3] 56 %tobool = icmp eq i8 %tmp1, 0 ; <i1> [#uses=1] 57 %tmp58 = sext i1 %tobool to i8 ; <i8> [#uses=1] 58 %mul.i = and i8 %tmp58, %tmp1 ; <i8> [#uses=1] 59 %conv6 = zext i8 %mul.i to i32 ; <i32> [#uses=1] 60 %cmp = icmp ne i8 %tmp1, 1 ; <i1> [#uses=1] 61 %conv11 = zext i1 %cmp to i32 ; <i32> [#uses=1] 62 %call12 = tail call i32 @safe(i32 %conv11) nounwind ; <i32> [#uses=1] 63 %and = and i32 %conv6, %call12 ; <i32> [#uses=1] 64 %tobool13 = icmp eq i32 %and, 0 ; <i1> [#uses=1] 65 br i1 %tobool13, label %if.else, label %return 66 67 if.else: ; preds = %entry 68 br label %return 69 70 return: ; preds = %if.else, %entry 71 ret i64 undef 72 } 73 74 declare i32 @safe(i32) 75 76 ; PR6607 77 define fastcc void @test5(i32 %FUNC) nounwind { 78 foo: 79 %0 = load i8, i8* undef, align 1 ; <i8> [#uses=3] 80 %1 = sext i8 %0 to i32 ; <i32> [#uses=2] 81 %2 = zext i8 %0 to i32 ; <i32> [#uses=1] 82 %tmp1.i5037 = urem i32 %2, 10 ; <i32> [#uses=1] 83 %tmp.i5038 = icmp ugt i32 %tmp1.i5037, 15 ; <i1> [#uses=1] 84 %3 = zext i1 %tmp.i5038 to i8 ; <i8> [#uses=1] 85 %4 = icmp slt i8 %0, %3 ; <i1> [#uses=1] 86 %5 = add nsw i32 %1, 256 ; <i32> [#uses=1] 87 %storemerge.i.i57 = select i1 %4, i32 %5, i32 %1 ; <i32> [#uses=1] 88 %6 = shl i32 %storemerge.i.i57, 16 ; <i32> [#uses=1] 89 %7 = sdiv i32 %6, -256 ; <i32> [#uses=1] 90 %8 = trunc i32 %7 to i8 ; <i8> [#uses=1] 91 store i8 %8, i8* undef, align 1 92 ret void 93 } 94 95 96 ; Crash commoning identical asms. 97 ; PR6803 98 define void @test6(i1 %C) nounwind optsize ssp { 99 entry: 100 br i1 %C, label %do.body55, label %do.body92 101 102 do.body55: ; preds = %if.else36 103 call void asm sideeffect "foo", "~{dirflag},~{fpsr},~{flags}"() nounwind, !srcloc !0 104 ret void 105 106 do.body92: ; preds = %if.then66 107 call void asm sideeffect "foo", "~{dirflag},~{fpsr},~{flags}"() nounwind, !srcloc !1 108 ret void 109 } 110 111 !0 = !{i32 633550} 112 !1 = !{i32 634261} 113 114 115 ; Crash during XOR optimization. 116 ; <rdar://problem/7869290> 117 118 define void @test7() nounwind ssp { 119 entry: 120 br i1 undef, label %bb14, label %bb67 121 122 bb14: 123 %tmp0 = trunc i16 undef to i1 124 %tmp1 = load i8, i8* undef, align 8 125 %tmp2 = shl i8 %tmp1, 4 126 %tmp3 = lshr i8 %tmp2, 7 127 %tmp4 = trunc i8 %tmp3 to i1 128 %tmp5 = icmp ne i1 %tmp0, %tmp4 129 br i1 %tmp5, label %bb14, label %bb67 130 131 bb67: 132 ret void 133 } 134 135 ; Crash when trying to copy AH to AL. 136 ; PR7540 137 define void @copy8bitregs() nounwind { 138 entry: 139 %div.i = sdiv i32 115200, 0 140 %shr8.i = lshr i32 %div.i, 8 141 %conv4.i = trunc i32 %shr8.i to i8 142 call void asm sideeffect "outb $0, ${1:w}", "{ax},N{dx},~{dirflag},~{fpsr},~{flags}"(i8 %conv4.i, i32 1017) nounwind 143 unreachable 144 } 145 146 ; Crash trying to form conditional increment with fp value. 147 ; PR8981 148 define i32 @test9(double %X) ssp align 2 { 149 entry: 150 %0 = fcmp one double %X, 0.000000e+00 151 %cond = select i1 %0, i32 1, i32 2 152 ret i32 %cond 153 } 154 155 156 ; PR8514 - Crash in match address do to "heroics" turning and-of-shift into 157 ; shift of and. 158 %struct.S0 = type { i8, [2 x i8], i8 } 159 160 define void @func_59(i32 %p_63) noreturn nounwind { 161 entry: 162 br label %for.body 163 164 for.body: ; preds = %for.inc44, %entry 165 %p_63.addr.1 = phi i32 [ %p_63, %entry ], [ 0, %for.inc44 ] 166 %l_74.0 = phi i32 [ 0, %entry ], [ %add46, %for.inc44 ] 167 br i1 undef, label %for.inc44, label %bb.nph81 168 169 bb.nph81: ; preds = %for.body 170 %tmp98 = add i32 %p_63.addr.1, 0 171 br label %for.body22 172 173 for.body22: ; preds = %for.body22, %bb.nph81 174 %l_75.077 = phi i64 [ %ins, %for.body22 ], [ undef, %bb.nph81 ] 175 %tmp110 = trunc i64 %l_75.077 to i32 176 %tmp111 = and i32 %tmp110, 65535 177 %arrayidx32.0 = getelementptr [9 x [5 x [2 x %struct.S0]]], [9 x [5 x [2 x %struct.S0]]]* undef, i32 0, i32 %l_74.0, i32 %tmp98, i32 %tmp111, i32 0 178 store i8 1, i8* %arrayidx32.0, align 4 179 %tmp106 = shl i32 %tmp110, 2 180 %tmp107 = and i32 %tmp106, 262140 181 %scevgep99.sum114 = or i32 %tmp107, 1 182 %arrayidx32.1.1 = getelementptr [9 x [5 x [2 x %struct.S0]]], [9 x [5 x [2 x %struct.S0]]]* undef, i32 0, i32 %l_74.0, i32 %tmp98, i32 0, i32 1, i32 %scevgep99.sum114 183 store i8 0, i8* %arrayidx32.1.1, align 1 184 %ins = or i64 undef, undef 185 br label %for.body22 186 187 for.inc44: ; preds = %for.body 188 %add46 = add i32 %l_74.0, 1 189 br label %for.body 190 } 191 192 ; PR9028 193 define void @func_60(i64 %A) nounwind { 194 entry: 195 %0 = zext i64 %A to i160 196 %1 = shl i160 %0, 64 197 %2 = zext i160 %1 to i576 198 %3 = zext i96 undef to i576 199 %4 = or i576 %3, %2 200 store i576 %4, i576* undef, align 8 201 ret void 202 } 203 204 ; <rdar://problem/9187792> 205 define fastcc void @func_61() nounwind sspreq { 206 entry: 207 %t1 = tail call i64 @llvm.objectsize.i64.p0i8(i8* undef, i1 false) 208 %t2 = icmp eq i64 %t1, -1 209 br i1 %t2, label %bb2, label %bb1 210 211 bb1: 212 ret void 213 214 bb2: 215 ret void 216 } 217 218 declare i64 @llvm.objectsize.i64.p0i8(i8*, i1) nounwind readnone 219 220 ; PR10277 221 ; This test has dead code elimination caused by remat during spilling. 222 ; DCE causes a live interval to break into connected components. 223 ; One of the components is spilled. 224 225 %t2 = type { i8 } 226 %t9 = type { %t10 } 227 %t10 = type { %t11 } 228 %t11 = type { %t12 } 229 %t12 = type { %t13*, %t13*, %t13* } 230 %t13 = type { %t14*, %t15, %t15 } 231 %t14 = type opaque 232 %t15 = type { i8, i32, i32 } 233 %t16 = type { %t17, i8* } 234 %t17 = type { %t18 } 235 %t18 = type { %t19 } 236 %t19 = type { %t20*, %t20*, %t20* } 237 %t20 = type { i32, i32 } 238 %t21 = type { %t13* } 239 240 define void @_ZNK4llvm17MipsFrameLowering12emitPrologueERNS_15MachineFunctionE() ssp align 2 { 241 bb: 242 %tmp = load %t9*, %t9** undef, align 4 243 %tmp2 = getelementptr inbounds %t9, %t9* %tmp, i32 0, i32 0 244 %tmp3 = getelementptr inbounds %t9, %t9* %tmp, i32 0, i32 0, i32 0, i32 0, i32 1 245 br label %bb4 246 247 bb4: ; preds = %bb37, %bb 248 %tmp5 = phi i96 [ undef, %bb ], [ %tmp38, %bb37 ] 249 %tmp6 = phi i96 [ undef, %bb ], [ %tmp39, %bb37 ] 250 br i1 undef, label %bb34, label %bb7 251 252 bb7: ; preds = %bb4 253 %tmp8 = load i32, i32* undef, align 4 254 %tmp9 = and i96 %tmp6, 4294967040 255 %tmp10 = zext i32 %tmp8 to i96 256 %tmp11 = shl nuw nsw i96 %tmp10, 32 257 %tmp12 = or i96 %tmp9, %tmp11 258 %tmp13 = or i96 %tmp12, 1 259 %tmp14 = load i32, i32* undef, align 4 260 %tmp15 = and i96 %tmp5, 4294967040 261 %tmp16 = zext i32 %tmp14 to i96 262 %tmp17 = shl nuw nsw i96 %tmp16, 32 263 %tmp18 = or i96 %tmp15, %tmp17 264 %tmp19 = or i96 %tmp18, 1 265 %tmp20 = load i8, i8* undef, align 1 266 %tmp21 = and i8 %tmp20, 1 267 %tmp22 = icmp ne i8 %tmp21, 0 268 %tmp23 = select i1 %tmp22, i96 %tmp19, i96 %tmp13 269 %tmp24 = select i1 %tmp22, i96 %tmp13, i96 %tmp19 270 store i96 %tmp24, i96* undef, align 4 271 %tmp25 = load %t13*, %t13** %tmp3, align 4 272 %tmp26 = icmp eq %t13* %tmp25, undef 273 br i1 %tmp26, label %bb28, label %bb27 274 275 bb27: ; preds = %bb7 276 br label %bb29 277 278 bb28: ; preds = %bb7 279 call void @_ZNSt6vectorIN4llvm11MachineMoveESaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_(%t10* %tmp2, %t21* byval align 4 undef, %t13* undef) 280 br label %bb29 281 282 bb29: ; preds = %bb28, %bb27 283 store i96 %tmp23, i96* undef, align 4 284 %tmp30 = load %t13*, %t13** %tmp3, align 4 285 br i1 false, label %bb33, label %bb31 286 287 bb31: ; preds = %bb29 288 %tmp32 = getelementptr inbounds %t13, %t13* %tmp30, i32 1 289 store %t13* %tmp32, %t13** %tmp3, align 4 290 br label %bb37 291 292 bb33: ; preds = %bb29 293 unreachable 294 295 bb34: ; preds = %bb4 296 br i1 undef, label %bb36, label %bb35 297 298 bb35: ; preds = %bb34 299 store %t13* null, %t13** %tmp3, align 4 300 br label %bb37 301 302 bb36: ; preds = %bb34 303 call void @_ZNSt6vectorIN4llvm11MachineMoveESaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_(%t10* %tmp2, %t21* byval align 4 undef, %t13* undef) 304 br label %bb37 305 306 bb37: ; preds = %bb36, %bb35, %bb31 307 %tmp38 = phi i96 [ %tmp23, %bb31 ], [ %tmp5, %bb35 ], [ %tmp5, %bb36 ] 308 %tmp39 = phi i96 [ %tmp24, %bb31 ], [ %tmp6, %bb35 ], [ %tmp6, %bb36 ] 309 %tmp40 = add i32 undef, 1 310 br label %bb4 311 } 312 313 declare %t14* @_ZN4llvm9MCContext16CreateTempSymbolEv(%t2*) 314 315 declare void @_ZNSt6vectorIN4llvm11MachineMoveESaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_(%t10*, %t21* byval align 4, %t13*) 316 317 declare void @llvm.lifetime.start(i64, i8* nocapture) nounwind 318 319 declare void @llvm.lifetime.end(i64, i8* nocapture) nounwind 320 321 ; PR10463 322 ; Spilling a virtual register with <undef> uses. 323 define void @autogen_239_1000() { 324 BB: 325 %Shuff = shufflevector <8 x double> undef, <8 x double> undef, <8 x i32> <i32 0, i32 2, i32 4, i32 6, i32 8, i32 10, i32 undef, i32 undef> 326 br label %CF 327 328 CF: 329 %B16 = frem <8 x double> zeroinitializer, %Shuff 330 %E19 = extractelement <8 x double> %Shuff, i32 5 331 br i1 undef, label %CF, label %CF75 332 333 CF75: 334 br i1 undef, label %CF75, label %CF76 335 336 CF76: 337 store double %E19, double* undef 338 br i1 undef, label %CF76, label %CF77 339 340 CF77: 341 %B55 = fmul <8 x double> %B16, undef 342 br label %CF77 343 } 344 345 ; PR10527 346 define void @pr10527() nounwind uwtable { 347 entry: 348 br label %"4" 349 350 "3": 351 %0 = load <2 x i32>, <2 x i32>* null, align 8 352 %1 = xor <2 x i32> zeroinitializer, %0 353 %2 = and <2 x i32> %1, %6 354 %3 = or <2 x i32> undef, %2 355 %4 = and <2 x i32> %3, undef 356 store <2 x i32> %4, <2 x i32>* undef 357 %5 = load <2 x i32>, <2 x i32>* undef, align 1 358 br label %"4" 359 360 "4": 361 %6 = phi <2 x i32> [ %5, %"3" ], [ zeroinitializer, %entry ] 362 %7 = icmp ult i32 undef, undef 363 br i1 %7, label %"3", label %"5" 364 365 "5": 366 ret void 367 } 368 369 ; PR11078 370 ; 371 ; A virtual register used by the "foo" inline asm memory operand gets 372 ; constrained to GR32_ABCD during coalescing. This makes the inline asm 373 ; impossible to allocate without splitting the live range and reinflating the 374 ; register class around the inline asm. 375 ; 376 ; The constraint originally comes from the TEST8ri optimization of (icmp (and %t0, 1), 0). 377 378 @__force_order = external hidden global i32, align 4 379 define void @pr11078(i32* %pgd) nounwind { 380 entry: 381 %t0 = load i32, i32* %pgd, align 4 382 %and2 = and i32 %t0, 1 383 %tobool = icmp eq i32 %and2, 0 384 br i1 %tobool, label %if.then, label %if.end 385 386 if.then: 387 %t1 = tail call i32 asm sideeffect "bar", "=r,=*m,~{dirflag},~{fpsr},~{flags}"(i32* @__force_order) nounwind 388 br label %if.end 389 390 if.end: 391 %t6 = inttoptr i32 %t0 to i64* 392 %t11 = tail call i64 asm sideeffect "foo", "=*m,=A,{bx},{cx},1,~{memory},~{dirflag},~{fpsr},~{flags}"(i64* %t6, i32 0, i32 0, i64 0) nounwind 393 ret void 394 } 395 396 ; Avoid emitting wrong kill flags from InstrEmitter. 397 ; InstrEmitter::EmitSubregNode() may steal virtual registers from already 398 ; emitted blocks when isCoalescableExtInstr points out the opportunity. 399 ; Make sure kill flags are cleared on the newly global virtual register. 400 define i64 @ov_read(i8* %vf, i8* nocapture %buffer, i32 %length, i32 %bigendianp, i32 %word, i32 %sgned, i32* %bitstream) nounwind uwtable ssp { 401 entry: 402 br i1 undef, label %return, label %while.body.preheader 403 404 while.body.preheader: ; preds = %entry 405 br i1 undef, label %if.then3, label %if.end7 406 407 if.then3: ; preds = %while.body.preheader 408 %0 = load i32, i32* undef, align 4 409 br i1 undef, label %land.lhs.true.i255, label %if.end7 410 411 land.lhs.true.i255: ; preds = %if.then3 412 br i1 undef, label %if.then.i256, label %if.end7 413 414 if.then.i256: ; preds = %land.lhs.true.i255 415 %sub.i = sub i32 0, %0 416 %conv = sext i32 %sub.i to i64 417 br i1 undef, label %if.end7, label %while.end 418 419 if.end7: ; preds = %if.then.i256, %land.lhs.true.i255, %if.then3, %while.body.preheader 420 unreachable 421 422 while.end: ; preds = %if.then.i256 423 %cmp18 = icmp sgt i32 %sub.i, 0 424 %.conv = select i1 %cmp18, i64 -131, i64 %conv 425 ret i64 %.conv 426 427 return: ; preds = %entry 428 ret i64 -131 429 } 430 431 ; The tail call to a varargs function sets %AL. 432 ; uitofp expands to an FCMOV instruction which splits the basic block. 433 ; Make sure the live range of %AL isn't split. 434 @.str = private unnamed_addr constant { [1 x i8], [63 x i8] } zeroinitializer, align 32 435 define void @pr13188(i64* nocapture %this) uwtable ssp sanitize_address align 2 { 436 entry: 437 %x7 = load i64, i64* %this, align 8 438 %sub = add i64 %x7, -1 439 %conv = uitofp i64 %sub to float 440 %div = fmul float %conv, 5.000000e-01 441 %conv2 = fpext float %div to double 442 tail call void (...) @_Z6PrintFz(i8* getelementptr inbounds ({ [1 x i8], [63 x i8] }, { [1 x i8], [63 x i8] }* @.str, i64 0, i32 0, i64 0), double %conv2) 443 ret void 444 } 445 declare void @_Z6PrintFz(...) 446 447 @a = external global i32, align 4 448 @fn1.g = private unnamed_addr constant [9 x i32*] [i32* null, i32* @a, i32* null, i32* null, i32* null, i32* null, i32* null, i32* null, i32* null], align 16 449 @e = external global i32, align 4 450 451 define void @pr13943() nounwind uwtable ssp { 452 entry: 453 %srcval = load i576, i576* bitcast ([9 x i32*]* @fn1.g to i576*), align 16 454 br label %for.cond 455 456 for.cond: ; preds = %for.inc, %entry 457 %g.0 = phi i576 [ %srcval, %entry ], [ %ins, %for.inc ] 458 %0 = load i32, i32* @e, align 4 459 %1 = lshr i576 %g.0, 64 460 %2 = trunc i576 %1 to i64 461 %3 = inttoptr i64 %2 to i32* 462 %cmp = icmp eq i32* undef, %3 463 %conv2 = zext i1 %cmp to i32 464 %and = and i32 %conv2, %0 465 tail call void (...) @fn3(i32 %and) nounwind 466 %tobool = icmp eq i32 undef, 0 467 br i1 %tobool, label %for.inc, label %if.then 468 469 if.then: ; preds = %for.cond 470 ret void 471 472 for.inc: ; preds = %for.cond 473 %4 = shl i576 %1, 384 474 %mask = and i576 %g.0, -726838724295606890509921801691610055141362320587174446476410459910173841445449629921945328942266354949348255351381262292727973638307841 475 %5 = and i576 %4, 726838724295606890509921801691610055141362320587174446476410459910173841445449629921945328942266354949348255351381262292727973638307840 476 %ins = or i576 %5, %mask 477 br label %for.cond 478 } 479 480 declare void @fn3(...) 481 482 ; Check coalescing of IMPLICIT_DEF instructions: 483 ; 484 ; %vreg1 = IMPLICIT_DEF 485 ; %vreg2 = MOV32r0 486 ; 487 ; When coalescing %vreg1 and %vreg2, the IMPLICIT_DEF instruction should be 488 ; erased along with its value number. 489 ; 490 define void @rdar12474033() nounwind ssp { 491 bb: 492 br i1 undef, label %bb21, label %bb1 493 494 bb1: ; preds = %bb 495 switch i32 undef, label %bb10 [ 496 i32 4, label %bb2 497 i32 1, label %bb9 498 i32 5, label %bb3 499 i32 6, label %bb3 500 i32 2, label %bb9 501 ] 502 503 bb2: ; preds = %bb1 504 unreachable 505 506 bb3: ; preds = %bb1, %bb1 507 br i1 undef, label %bb4, label %bb5 508 509 bb4: ; preds = %bb3 510 unreachable 511 512 bb5: ; preds = %bb3 513 %tmp = load <4 x float>, <4 x float>* undef, align 1 514 %tmp6 = bitcast <4 x float> %tmp to i128 515 %tmp7 = load <4 x float>, <4 x float>* undef, align 1 516 %tmp8 = bitcast <4 x float> %tmp7 to i128 517 br label %bb10 518 519 bb9: ; preds = %bb1, %bb1 520 unreachable 521 522 bb10: ; preds = %bb5, %bb1 523 %tmp11 = phi i128 [ undef, %bb1 ], [ %tmp6, %bb5 ] 524 %tmp12 = phi i128 [ 0, %bb1 ], [ %tmp8, %bb5 ] 525 switch i32 undef, label %bb21 [ 526 i32 2, label %bb18 527 i32 3, label %bb13 528 i32 5, label %bb16 529 i32 6, label %bb17 530 i32 1, label %bb18 531 ] 532 533 bb13: ; preds = %bb10 534 br i1 undef, label %bb15, label %bb14 535 536 bb14: ; preds = %bb13 537 br label %bb21 538 539 bb15: ; preds = %bb13 540 unreachable 541 542 bb16: ; preds = %bb10 543 unreachable 544 545 bb17: ; preds = %bb10 546 unreachable 547 548 bb18: ; preds = %bb10, %bb10 549 %tmp19 = bitcast i128 %tmp11 to <4 x float> 550 %tmp20 = bitcast i128 %tmp12 to <4 x float> 551 br label %bb21 552 553 bb21: ; preds = %bb18, %bb14, %bb10, %bb 554 %tmp22 = phi <4 x float> [ undef, %bb ], [ undef, %bb10 ], [ undef, %bb14 ], [ %tmp20, %bb18 ] 555 %tmp23 = phi <4 x float> [ undef, %bb ], [ undef, %bb10 ], [ undef, %bb14 ], [ %tmp19, %bb18 ] 556 store <4 x float> %tmp23, <4 x float>* undef, align 16 557 store <4 x float> %tmp22, <4 x float>* undef, align 16 558 switch i32 undef, label %bb29 [ 559 i32 5, label %bb27 560 i32 1, label %bb24 561 i32 2, label %bb25 562 i32 14, label %bb28 563 i32 4, label %bb26 564 ] 565 566 bb24: ; preds = %bb21 567 unreachable 568 569 bb25: ; preds = %bb21 570 br label %bb29 571 572 bb26: ; preds = %bb21 573 br label %bb29 574 575 bb27: ; preds = %bb21 576 unreachable 577 578 bb28: ; preds = %bb21 579 br label %bb29 580 581 bb29: ; preds = %bb28, %bb26, %bb25, %bb21 582 unreachable 583 } 584 585 define void @pr14194() nounwind uwtable { 586 %tmp = load i64, i64* undef, align 16 587 %tmp1 = trunc i64 %tmp to i32 588 %tmp2 = lshr i64 %tmp, 32 589 %tmp3 = trunc i64 %tmp2 to i32 590 %tmp4 = call { i32, i32 } asm sideeffect "", "=&r,=&r,r,r,0,1,~{dirflag},~{fpsr},~{flags}"(i32 %tmp3, i32 undef, i32 %tmp3, i32 %tmp1) nounwind 591 ret void 592 } 593