llvm/test/CodeGen/X86/crash.ll

   1 ; REQUIRES: asserts
   2 ; RUN: llc -mtriple=i686-- -no-integrated-as < %s -verify-machineinstrs -precompute-phys-liveness
   3 ; RUN: llc -mtriple=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, ptr undef              ; <i32> [#uses=1]
  11   %conv.i = zext i32 %tmp5.i to i64               ; <i64> [#uses=1]
  12   %tmp12.i = load volatile i32, ptr 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, ptr 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, ptr 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, ptr undef
  49   ret void
  50 }
  51
  52 ; PR6605
  53 define i64 @test4(ptr %P) nounwind ssp {
  54 entry:
  55   %tmp1 = load i8, ptr %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, ptr 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, ptr 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, ptr 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]]], ptr undef, i32 0, i32 %l_74.0, i32 %tmp98, i32 %tmp111, i32 0
 178   store i8 1, ptr %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]]], ptr undef, i32 0, i32 %l_74.0, i32 %tmp98, i32 0, i32 1, i32 %scevgep99.sum114
 183   store i8 0, ptr %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, ptr 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.p0(ptr 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.p0(ptr, 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 { ptr, ptr, ptr }
 230 %t13 = type { ptr, %t15, %t15 }
 231 %t14 = type opaque
 232 %t15 = type { i8, i32, i32 }
 233 %t16 = type { %t17, ptr }
 234 %t17 = type { %t18 }
 235 %t18 = type { %t19 }
 236 %t19 = type { ptr, ptr, ptr }
 237 %t20 = type { i32, i32 }
 238 %t21 = type { ptr }
 239
 240 define void @_ZNK4llvm17MipsFrameLowering12emitPrologueERNS_15MachineFunctionE() ssp align 2 {
 241 bb:
 242   %tmp = load ptr, ptr undef, align 4
 243   %tmp3 = getelementptr inbounds %t9, ptr %tmp, i32 0, i32 0, i32 0, i32 0, i32 1
 244   br label %bb4
 245
 246 bb4:                                              ; preds = %bb37, %bb
 247   %tmp5 = phi i96 [ undef, %bb ], [ %tmp38, %bb37 ]
 248   %tmp6 = phi i96 [ undef, %bb ], [ %tmp39, %bb37 ]
 249   br i1 undef, label %bb34, label %bb7
 250
 251 bb7:                                              ; preds = %bb4
 252   %tmp8 = load i32, ptr undef, align 4
 253   %tmp9 = and i96 %tmp6, 4294967040
 254   %tmp10 = zext i32 %tmp8 to i96
 255   %tmp11 = shl nuw nsw i96 %tmp10, 32
 256   %tmp12 = or i96 %tmp9, %tmp11
 257   %tmp13 = or i96 %tmp12, 1
 258   %tmp14 = load i32, ptr undef, align 4
 259   %tmp15 = and i96 %tmp5, 4294967040
 260   %tmp16 = zext i32 %tmp14 to i96
 261   %tmp17 = shl nuw nsw i96 %tmp16, 32
 262   %tmp18 = or i96 %tmp15, %tmp17
 263   %tmp19 = or i96 %tmp18, 1
 264   %tmp20 = load i8, ptr undef, align 1
 265   %tmp21 = and i8 %tmp20, 1
 266   %tmp22 = icmp ne i8 %tmp21, 0
 267   %tmp23 = select i1 %tmp22, i96 %tmp19, i96 %tmp13
 268   %tmp24 = select i1 %tmp22, i96 %tmp13, i96 %tmp19
 269   store i96 %tmp24, ptr undef, align 4
 270   %tmp25 = load ptr, ptr %tmp3, align 4
 271   %tmp26 = icmp eq ptr %tmp25, undef
 272   br i1 %tmp26, label %bb28, label %bb27
 273
 274 bb27:                                             ; preds = %bb7
 275   br label %bb29
 276
 277 bb28:                                             ; preds = %bb7
 278   call void @_ZNSt6vectorIN4llvm11MachineMoveESaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_(ptr %tmp, ptr byval(%t21) align 4 undef, ptr undef)
 279   br label %bb29
 280
 281 bb29:                                             ; preds = %bb28, %bb27
 282   store i96 %tmp23, ptr undef, align 4
 283   %tmp30 = load ptr, ptr %tmp3, align 4
 284   br i1 false, label %bb33, label %bb31
 285
 286 bb31:                                             ; preds = %bb29
 287   %tmp32 = getelementptr inbounds %t13, ptr %tmp30, i32 1
 288   store ptr %tmp32, ptr %tmp3, align 4
 289   br label %bb37
 290
 291 bb33:                                             ; preds = %bb29
 292   unreachable
 293
 294 bb34:                                             ; preds = %bb4
 295   br i1 undef, label %bb36, label %bb35
 296
 297 bb35:                                             ; preds = %bb34
 298   store ptr null, ptr %tmp3, align 4
 299   br label %bb37
 300
 301 bb36:                                             ; preds = %bb34
 302   call void @_ZNSt6vectorIN4llvm11MachineMoveESaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_(ptr %tmp, ptr byval(%t21) align 4 undef, ptr undef)
 303   br label %bb37
 304
 305 bb37:                                             ; preds = %bb36, %bb35, %bb31
 306   %tmp38 = phi i96 [ %tmp23, %bb31 ], [ %tmp5, %bb35 ], [ %tmp5, %bb36 ]
 307   %tmp39 = phi i96 [ %tmp24, %bb31 ], [ %tmp6, %bb35 ], [ %tmp6, %bb36 ]
 308   %tmp40 = add i32 undef, 1
 309   br label %bb4
 310 }
 311
 312 declare ptr @_ZN4llvm9MCContext16CreateTempSymbolEv(ptr)
 313
 314 declare void @_ZNSt6vectorIN4llvm11MachineMoveESaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_(ptr, ptr byval(%t21) align 4, ptr)
 315
 316 declare void @llvm.lifetime.start.p0(i64, ptr nocapture) nounwind
 317
 318 declare void @llvm.lifetime.end.p0(i64, ptr nocapture) nounwind
 319
 320 ; PR10463
 321 ; Spilling a virtual register with <undef> uses.
 322 define void @autogen_239_1000() {
 323 BB:
 324     %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>
 325     br label %CF
 326
 327 CF:
 328     %B16 = frem <8 x double> zeroinitializer, %Shuff
 329     %E19 = extractelement <8 x double> %Shuff, i32 5
 330     br i1 undef, label %CF, label %CF75
 331
 332 CF75:
 333     br i1 undef, label %CF75, label %CF76
 334
 335 CF76:
 336     store double %E19, ptr undef
 337     br i1 undef, label %CF76, label %CF77
 338
 339 CF77:
 340     %B55 = fmul <8 x double> %B16, undef
 341     br label %CF77
 342 }
 343
 344 ; PR10527
 345 define void @pr10527() nounwind uwtable {
 346 entry:
 347   br label %"4"
 348
 349 "3":
 350   %0 = load <2 x i32>, ptr null, align 8
 351   %1 = xor <2 x i32> zeroinitializer, %0
 352   %2 = and <2 x i32> %1, %6
 353   %3 = or <2 x i32> undef, %2
 354   %4 = and <2 x i32> %3, undef
 355   store <2 x i32> %4, ptr undef
 356   %5 = load <2 x i32>, ptr undef, align 1
 357   br label %"4"
 358
 359 "4":
 360   %6 = phi <2 x i32> [ %5, %"3" ], [ zeroinitializer, %entry ]
 361   %7 = icmp ult i32 undef, undef
 362   br i1 %7, label %"3", label %"5"
 363
 364 "5":
 365   ret void
 366 }
 367
 368 ; PR11078
 369 ;
 370 ; A virtual register used by the "foo" inline asm memory operand gets
 371 ; constrained to GR32_ABCD during coalescing.  This makes the inline asm
 372 ; impossible to allocate without splitting the live range and reinflating the
 373 ; register class around the inline asm.
 374 ;
 375 ; The constraint originally comes from the TEST8ri optimization of (icmp (and %t0, 1), 0).
 376
 377 @__force_order = external hidden global i32, align 4
 378 define void @pr11078(ptr %pgd) nounwind {
 379 entry:
 380   %t0 = load i32, ptr %pgd, align 4
 381   %and2 = and i32 %t0, 1
 382   %tobool = icmp eq i32 %and2, 0
 383   br i1 %tobool, label %if.then, label %if.end
 384
 385 if.then:
 386   %t1 = tail call i32 asm sideeffect "bar", "=r,=*m,~{dirflag},~{fpsr},~{flags}"(ptr elementtype(i32) @__force_order) nounwind
 387   br label %if.end
 388
 389 if.end:
 390   %t6 = inttoptr i32 %t0 to ptr
 391   %t11 = tail call i64 asm sideeffect "foo", "=*m,=A,{bx},{cx},1,~{memory},~{dirflag},~{fpsr},~{flags}"(ptr elementtype(i64) %t6, i32 0, i32 0, i64 0) nounwind
 392   ret void
 393 }
 394
 395 ; Avoid emitting wrong kill flags from InstrEmitter.
 396 ; InstrEmitter::EmitSubregNode() may steal virtual registers from already
 397 ; emitted blocks when isCoalescableExtInstr points out the opportunity.
 398 ; Make sure kill flags are cleared on the newly global virtual register.
 399 define i64 @ov_read(ptr %vf, ptr nocapture %buffer, i32 %length, i32 %bigendianp, i32 %word, i32 %sgned, ptr %bitstream) nounwind uwtable ssp {
 400 entry:
 401   br i1 undef, label %return, label %while.body.preheader
 402
 403 while.body.preheader:                             ; preds = %entry
 404   br i1 undef, label %if.then3, label %if.end7
 405
 406 if.then3:                                         ; preds = %while.body.preheader
 407   %0 = load i32, ptr undef, align 4
 408   br i1 undef, label %land.lhs.true.i255, label %if.end7
 409
 410 land.lhs.true.i255:                               ; preds = %if.then3
 411   br i1 undef, label %if.then.i256, label %if.end7
 412
 413 if.then.i256:                                     ; preds = %land.lhs.true.i255
 414   %sub.i = sub i32 0, %0
 415   %conv = sext i32 %sub.i to i64
 416   br i1 undef, label %if.end7, label %while.end
 417
 418 if.end7:                                          ; preds = %if.then.i256, %land.lhs.true.i255, %if.then3, %while.body.preheader
 419   unreachable
 420
 421 while.end:                                        ; preds = %if.then.i256
 422   %cmp18 = icmp sgt i32 %sub.i, 0
 423   %.conv = select i1 %cmp18, i64 -131, i64 %conv
 424   ret i64 %.conv
 425
 426 return:                                           ; preds = %entry
 427   ret i64 -131
 428 }
 429
 430 ; The tail call to a varargs function sets %AL.
 431 ; uitofp expands to an FCMOV instruction which splits the basic block.
 432 ; Make sure the live range of %AL isn't split.
 433 @.str = private unnamed_addr constant { [1 x i8], [63 x i8] } zeroinitializer, align 32
 434 define void @pr13188(ptr nocapture %this) uwtable ssp sanitize_address align 2 {
 435 entry:
 436   %x7 = load i64, ptr %this, align 8
 437   %sub = add i64 %x7, -1
 438   %conv = uitofp i64 %sub to float
 439   %div = fmul float %conv, 5.000000e-01
 440   %conv2 = fpext float %div to double
 441   tail call void (...) @_Z6PrintFz(ptr getelementptr inbounds ({ [1 x i8], [63 x i8] }, ptr @.str, i64 0, i32 0, i64 0), double %conv2)
 442   ret void
 443 }
 444 declare void @_Z6PrintFz(...)
 445
 446 @a = external global i32, align 4
 447 @fn1.g = private unnamed_addr constant [9 x ptr] [ptr null, ptr @a, ptr null, ptr null, ptr null, ptr null, ptr null, ptr null, ptr null], align 16
 448 @e = external global i32, align 4
 449
 450 define void @pr13943() nounwind uwtable ssp {
 451 entry:
 452   %srcval = load i576, ptr @fn1.g, align 16
 453   br label %for.cond
 454
 455 for.cond:                                         ; preds = %for.inc, %entry
 456   %g.0 = phi i576 [ %srcval, %entry ], [ %ins, %for.inc ]
 457   %0 = load i32, ptr @e, align 4
 458   %1 = lshr i576 %g.0, 64
 459   %2 = trunc i576 %1 to i64
 460   %3 = inttoptr i64 %2 to ptr
 461   %cmp = icmp eq ptr undef, %3
 462   %conv2 = zext i1 %cmp to i32
 463   %and = and i32 %conv2, %0
 464   tail call void (...) @fn3(i32 %and) nounwind
 465   %tobool = icmp eq i32 undef, 0
 466   br i1 %tobool, label %for.inc, label %if.then
 467
 468 if.then:                                          ; preds = %for.cond
 469   ret void
 470
 471 for.inc:                                          ; preds = %for.cond
 472   %4 = shl i576 %1, 384
 473   %mask = and i576 %g.0, -726838724295606890509921801691610055141362320587174446476410459910173841445449629921945328942266354949348255351381262292727973638307841
 474   %5 = and i576 %4, 726838724295606890509921801691610055141362320587174446476410459910173841445449629921945328942266354949348255351381262292727973638307840
 475   %ins = or i576 %5, %mask
 476   br label %for.cond
 477 }
 478
 479 declare void @fn3(...)
 480
 481 ; Check coalescing of IMPLICIT_DEF instructions:
 482 ;
 483 ; %1 = IMPLICIT_DEF
 484 ; %2 = MOV32r0
 485 ;
 486 ; When coalescing %1 and %2, the IMPLICIT_DEF instruction should be
 487 ; erased along with its value number.
 488 ;
 489 define void @rdar12474033() nounwind ssp {
 490 bb:
 491   br i1 undef, label %bb21, label %bb1
 492
 493 bb1:                                              ; preds = %bb
 494   switch i32 undef, label %bb10 [
 495     i32 4, label %bb2
 496     i32 1, label %bb9
 497     i32 5, label %bb3
 498     i32 6, label %bb3
 499     i32 2, label %bb9
 500   ]
 501
 502 bb2:                                              ; preds = %bb1
 503   unreachable
 504
 505 bb3:                                              ; preds = %bb1, %bb1
 506   br i1 undef, label %bb4, label %bb5
 507
 508 bb4:                                              ; preds = %bb3
 509   unreachable
 510
 511 bb5:                                              ; preds = %bb3
 512   %tmp = load <4 x float>, ptr undef, align 1
 513   %tmp6 = bitcast <4 x float> %tmp to i128
 514   %tmp7 = load <4 x float>, ptr undef, align 1
 515   %tmp8 = bitcast <4 x float> %tmp7 to i128
 516   br label %bb10
 517
 518 bb9:                                              ; preds = %bb1, %bb1
 519   unreachable
 520
 521 bb10:                                             ; preds = %bb5, %bb1
 522   %tmp11 = phi i128 [ undef, %bb1 ], [ %tmp6, %bb5 ]
 523   %tmp12 = phi i128 [ 0, %bb1 ], [ %tmp8, %bb5 ]
 524   switch i32 undef, label %bb21 [
 525     i32 2, label %bb18
 526     i32 3, label %bb13
 527     i32 5, label %bb16
 528     i32 6, label %bb17
 529     i32 1, label %bb18
 530   ]
 531
 532 bb13:                                             ; preds = %bb10
 533   br i1 undef, label %bb15, label %bb14
 534
 535 bb14:                                             ; preds = %bb13
 536   br label %bb21
 537
 538 bb15:                                             ; preds = %bb13
 539   unreachable
 540
 541 bb16:                                             ; preds = %bb10
 542   unreachable
 543
 544 bb17:                                             ; preds = %bb10
 545   unreachable
 546
 547 bb18:                                             ; preds = %bb10, %bb10
 548   %tmp19 = bitcast i128 %tmp11 to <4 x float>
 549   %tmp20 = bitcast i128 %tmp12 to <4 x float>
 550   br label %bb21
 551
 552 bb21:                                             ; preds = %bb18, %bb14, %bb10, %bb
 553   %tmp22 = phi <4 x float> [ undef, %bb ], [ undef, %bb10 ], [ undef, %bb14 ], [ %tmp20, %bb18 ]
 554   %tmp23 = phi <4 x float> [ undef, %bb ], [ undef, %bb10 ], [ undef, %bb14 ], [ %tmp19, %bb18 ]
 555   store <4 x float> %tmp23, ptr undef, align 16
 556   store <4 x float> %tmp22, ptr undef, align 16
 557   switch i32 undef, label %bb29 [
 558     i32 5, label %bb27
 559     i32 1, label %bb24
 560     i32 2, label %bb25
 561     i32 14, label %bb28
 562     i32 4, label %bb26
 563   ]
 564
 565 bb24:                                             ; preds = %bb21
 566   unreachable
 567
 568 bb25:                                             ; preds = %bb21
 569   br label %bb29
 570
 571 bb26:                                             ; preds = %bb21
 572   br label %bb29
 573
 574 bb27:                                             ; preds = %bb21
 575   unreachable
 576
 577 bb28:                                             ; preds = %bb21
 578   br label %bb29
 579
 580 bb29:                                             ; preds = %bb28, %bb26, %bb25, %bb21
 581   unreachable
 582 }
 583
 584 define void @pr14194() nounwind uwtable {
 585   %tmp = load i64, ptr undef, align 16
 586   %tmp1 = trunc i64 %tmp to i32
 587   %tmp2 = lshr i64 %tmp, 32
 588   %tmp3 = trunc i64 %tmp2 to i32
 589   %tmp4 = call { i32, i32 } asm sideeffect "", "=&r,=&r,r,r,0,1,~{dirflag},~{fpsr},~{flags}"(i32 %tmp3, i32 undef, i32 %tmp3, i32 %tmp1) nounwind
 590  ret void
 591 }