test/CodeGen/X86/2010-04-06-SSEDomainFixCrash.ll

   1 ; RUN: llc < %s -O3 -relocation-model=pic -disable-fp-elim -mcpu=nocona
   2 ;
   3 ; This test case is reduced from Bullet. It crashes SSEDomainFix.
   4 ;
   5 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32"
   6 target triple = "i386-apple-darwin10.0"
   7
   8 declare i32 @_ZN11HullLibrary16CreateConvexHullERK8HullDescR10HullResult(i8*, i8* nocapture, i8* nocapture) ssp align 2
   9
  10 define void @_ZN17btSoftBodyHelpers4DrawEP10btSoftBodyP12btIDebugDrawi(i8* %psb, i8* %idraw, i32 %drawflags) ssp align 2 personality i32 (...)* @__gxx_personality_v0 {
  11 entry:
  12   br i1 undef, label %bb92, label %bb58
  13
  14 bb58:                                             ; preds = %entry
  15   %0 = invoke i32 @_ZN11HullLibrary16CreateConvexHullERK8HullDescR10HullResult(i8* undef, i8* undef, i8* undef)
  16           to label %invcont64 unwind label %lpad159 ; <i32> [#uses=0]
  17
  18 invcont64:                                        ; preds = %bb58
  19   br i1 undef, label %invcont65, label %bb.i.i
  20
  21 bb.i.i:                                           ; preds = %invcont64
  22   %1 = load <4 x float>, <4 x float>* undef, align 16          ; <<4 x float>> [#uses=5]
  23   br i1 undef, label %bb.nph.i.i, label %invcont65
  24
  25 bb.nph.i.i:                                       ; preds = %bb.i.i
  26   %tmp22.i.i = bitcast <4 x float> %1 to i128     ; <i128> [#uses=1]
  27   %tmp23.i.i = trunc i128 %tmp22.i.i to i32       ; <i32> [#uses=1]
  28   %2 = bitcast i32 %tmp23.i.i to float            ; <float> [#uses=1]
  29   %tmp6.i = extractelement <4 x float> %1, i32 1  ; <float> [#uses=1]
  30   %tmp2.i = extractelement <4 x float> %1, i32 2  ; <float> [#uses=1]
  31   br label %bb1.i.i
  32
  33 bb1.i.i:                                          ; preds = %bb1.i.i, %bb.nph.i.i
  34   %.tmp6.0.i.i = phi float [ %tmp2.i, %bb.nph.i.i ], [ %5, %bb1.i.i ] ; <float> [#uses=1]
  35   %.tmp5.0.i.i = phi float [ %tmp6.i, %bb.nph.i.i ], [ %4, %bb1.i.i ] ; <float> [#uses=1]
  36   %.tmp.0.i.i = phi float [ %2, %bb.nph.i.i ], [ %3, %bb1.i.i ] ; <float> [#uses=1]
  37   %3 = fadd float %.tmp.0.i.i, undef              ; <float> [#uses=2]
  38   %4 = fadd float %.tmp5.0.i.i, undef             ; <float> [#uses=2]
  39   %5 = fadd float %.tmp6.0.i.i, undef             ; <float> [#uses=2]
  40   br i1 undef, label %bb2.return.loopexit_crit_edge.i.i, label %bb1.i.i
  41
  42 bb2.return.loopexit_crit_edge.i.i:                ; preds = %bb1.i.i
  43   %tmp8.i = insertelement <4 x float> %1, float %3, i32 0 ; <<4 x float>> [#uses=1]
  44   %tmp4.i = insertelement <4 x float> %tmp8.i, float %4, i32 1 ; <<4 x float>> [#uses=1]
  45   %tmp.i = insertelement <4 x float> %tmp4.i, float %5, i32 2 ; <<4 x float>> [#uses=1]
  46   br label %invcont65
  47
  48 invcont65:                                        ; preds = %bb2.return.loopexit_crit_edge.i.i, %bb.i.i, %invcont64
  49   %.0.i = phi <4 x float> [ %tmp.i, %bb2.return.loopexit_crit_edge.i.i ], [ undef, %invcont64 ], [ %1, %bb.i.i ] ; <<4 x float>> [#uses=1]
  50   %tmp15.i = extractelement <4 x float> %.0.i, i32 2 ; <float> [#uses=1]
  51   %6 = fmul float %tmp15.i, undef                 ; <float> [#uses=1]
  52   br label %bb.i265
  53
  54 bb.i265:                                          ; preds = %bb.i265, %invcont65
  55   %7 = fsub float 0.000000e+00, %6                ; <float> [#uses=1]
  56   store float %7, float* undef, align 4
  57   br label %bb.i265
  58
  59 bb92:                                             ; preds = %entry
  60   unreachable
  61
  62 lpad159:                                          ; preds = %bb58
  63   %exn = landingpad {i8*, i32}
  64             cleanup
  65   unreachable
  66 }
  67
  68 declare i32 @__gxx_personality_v0(...)