llvm/test/Transforms/SLPVectorizer/X86/crash_smallpt.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -basic-aa -slp-vectorizer -dce -S -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7 | FileCheck %s
   3
   4 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
   5 target triple = "x86_64-apple-macosx10.8.0"
   6
   7 %struct.Ray.5.11.53.113.119.137.149.185.329.389.416 = type { %struct.Vec.0.6.48.108.114.132.144.180.324.384.414, %struct.Vec.0.6.48.108.114.132.144.180.324.384.414 }
   8 %struct.Vec.0.6.48.108.114.132.144.180.324.384.414 = type { double, double, double }
   9
  10 ; Function Attrs: ssp uwtable
  11 define void @main() #0 {
  12 ; CHECK-LABEL: @main(
  13 ; CHECK-NEXT:  entry:
  14 ; CHECK-NEXT:    br i1 undef, label [[COND_TRUE:%.*]], label [[COND_END:%.*]]
  15 ; CHECK:       cond.true:
  16 ; CHECK-NEXT:    unreachable
  17 ; CHECK:       cond.end:
  18 ; CHECK-NEXT:    br label [[INVOKE_CONT:%.*]]
  19 ; CHECK:       invoke.cont:
  20 ; CHECK-NEXT:    br i1 undef, label [[ARRAYCTOR_CONT:%.*]], label [[INVOKE_CONT]]
  21 ; CHECK:       arrayctor.cont:
  22 ; CHECK-NEXT:    [[AGG_TMP99208_SROA_0_0_IDX:%.*]] = getelementptr inbounds [[STRUCT_RAY_5_11_53_113_119_137_149_185_329_389_416:%.*]], %struct.Ray.5.11.53.113.119.137.149.185.329.389.416* undef, i64 0, i32 0, i32 0
  23 ; CHECK-NEXT:    [[AGG_TMP101211_SROA_0_0_IDX:%.*]] = getelementptr inbounds [[STRUCT_RAY_5_11_53_113_119_137_149_185_329_389_416]], %struct.Ray.5.11.53.113.119.137.149.185.329.389.416* undef, i64 0, i32 1, i32 0
  24 ; CHECK-NEXT:    br label [[FOR_COND36_PREHEADER:%.*]]
  25 ; CHECK:       for.cond36.preheader:
  26 ; CHECK-NEXT:    br i1 undef, label [[FOR_BODY42_LR_PH_US:%.*]], label [[_Z5CLAMPD_EXIT_1:%.*]]
  27 ; CHECK:       cond.false51.us:
  28 ; CHECK-NEXT:    unreachable
  29 ; CHECK:       cond.true48.us:
  30 ; CHECK-NEXT:    br i1 undef, label [[COND_TRUE63_US:%.*]], label [[COND_FALSE66_US:%.*]]
  31 ; CHECK:       cond.false66.us:
  32 ; CHECK-NEXT:    [[ADD_I276_US:%.*]] = fadd double 0.000000e+00, undef
  33 ; CHECK-NEXT:    [[TMP0:%.*]] = insertelement <2 x double> <double poison, double undef>, double [[ADD_I276_US]], i32 0
  34 ; CHECK-NEXT:    [[TMP1:%.*]] = fadd <2 x double> [[TMP0]], <double 0.000000e+00, double 0xBFA5CC2D1960285F>
  35 ; CHECK-NEXT:    [[TMP2:%.*]] = fmul <2 x double> [[TMP1]], <double 1.400000e+02, double 1.400000e+02>
  36 ; CHECK-NEXT:    [[TMP3:%.*]] = fadd <2 x double> [[TMP2]], <double 5.000000e+01, double 5.200000e+01>
  37 ; CHECK-NEXT:    [[TMP4:%.*]] = fmul <2 x double> undef, [[TMP1]]
  38 ; CHECK-NEXT:    [[TMP5:%.*]] = bitcast double* [[AGG_TMP99208_SROA_0_0_IDX]] to <2 x double>*
  39 ; CHECK-NEXT:    store <2 x double> [[TMP3]], <2 x double>* [[TMP5]], align 8
  40 ; CHECK-NEXT:    [[TMP6:%.*]] = bitcast double* [[AGG_TMP101211_SROA_0_0_IDX]] to <2 x double>*
  41 ; CHECK-NEXT:    store <2 x double> [[TMP4]], <2 x double>* [[TMP6]], align 8
  42 ; CHECK-NEXT:    unreachable
  43 ; CHECK:       cond.true63.us:
  44 ; CHECK-NEXT:    unreachable
  45 ; CHECK:       for.body42.lr.ph.us:
  46 ; CHECK-NEXT:    br i1 undef, label [[COND_TRUE48_US:%.*]], label [[COND_FALSE51_US:%.*]]
  47 ; CHECK:       _Z5clampd.exit.1:
  48 ; CHECK-NEXT:    br label [[FOR_COND36_PREHEADER]]
  49 ;
  50 entry:
  51   br i1 undef, label %cond.true, label %cond.end
  52
  53 cond.true:                                        ; preds = %entry
  54   unreachable
  55
  56 cond.end:                                         ; preds = %entry
  57   br label %invoke.cont
  58
  59 invoke.cont:                                      ; preds = %invoke.cont, %cond.end
  60   br i1 undef, label %arrayctor.cont, label %invoke.cont
  61
  62 arrayctor.cont:                                   ; preds = %invoke.cont
  63   %agg.tmp99208.sroa.0.0.idx = getelementptr inbounds %struct.Ray.5.11.53.113.119.137.149.185.329.389.416, %struct.Ray.5.11.53.113.119.137.149.185.329.389.416* undef, i64 0, i32 0, i32 0
  64   %agg.tmp99208.sroa.1.8.idx388 = getelementptr inbounds %struct.Ray.5.11.53.113.119.137.149.185.329.389.416, %struct.Ray.5.11.53.113.119.137.149.185.329.389.416* undef, i64 0, i32 0, i32 1
  65   %agg.tmp101211.sroa.0.0.idx = getelementptr inbounds %struct.Ray.5.11.53.113.119.137.149.185.329.389.416, %struct.Ray.5.11.53.113.119.137.149.185.329.389.416* undef, i64 0, i32 1, i32 0
  66   %agg.tmp101211.sroa.1.8.idx390 = getelementptr inbounds %struct.Ray.5.11.53.113.119.137.149.185.329.389.416, %struct.Ray.5.11.53.113.119.137.149.185.329.389.416* undef, i64 0, i32 1, i32 1
  67   br label %for.cond36.preheader
  68
  69 for.cond36.preheader:                             ; preds = %_Z5clampd.exit.1, %arrayctor.cont
  70   br i1 undef, label %for.body42.lr.ph.us, label %_Z5clampd.exit.1
  71
  72 cond.false51.us:                                  ; preds = %for.body42.lr.ph.us
  73   unreachable
  74
  75 cond.true48.us:                                   ; preds = %for.body42.lr.ph.us
  76   br i1 undef, label %cond.true63.us, label %cond.false66.us
  77
  78 cond.false66.us:                                  ; preds = %cond.true48.us
  79   %add.i276.us = fadd double 0.000000e+00, undef
  80   %add.i264.us = fadd double %add.i276.us, 0.000000e+00
  81   %add4.i267.us = fadd double undef, 0xBFA5CC2D1960285F
  82   %mul.i254.us = fmul double %add.i264.us, 1.400000e+02
  83   %mul2.i256.us = fmul double %add4.i267.us, 1.400000e+02
  84   %add.i243.us = fadd double %mul.i254.us, 5.000000e+01
  85   %add4.i246.us = fadd double %mul2.i256.us, 5.200000e+01
  86   %mul.i.i.us = fmul double undef, %add.i264.us
  87   %mul2.i.i.us = fmul double undef, %add4.i267.us
  88   store double %add.i243.us, double* %agg.tmp99208.sroa.0.0.idx, align 8
  89   store double %add4.i246.us, double* %agg.tmp99208.sroa.1.8.idx388, align 8
  90   store double %mul.i.i.us, double* %agg.tmp101211.sroa.0.0.idx, align 8
  91   store double %mul2.i.i.us, double* %agg.tmp101211.sroa.1.8.idx390, align 8
  92   unreachable
  93
  94 cond.true63.us:                                   ; preds = %cond.true48.us
  95   unreachable
  96
  97 for.body42.lr.ph.us:                              ; preds = %for.cond36.preheader
  98   br i1 undef, label %cond.true48.us, label %cond.false51.us
  99
 100 _Z5clampd.exit.1:                                 ; preds = %for.cond36.preheader
 101   br label %for.cond36.preheader
 102 }
 103
 104
 105 %struct.Ray.5.11.53.95.137.191.197.203.239.257.263.269.275.281.287.293.383.437.443.455.461.599.601 = type { %struct.Vec.0.6.48.90.132.186.192.198.234.252.258.264.270.276.282.288.378.432.438.450.456.594.600, %struct.Vec.0.6.48.90.132.186.192.198.234.252.258.264.270.276.282.288.378.432.438.450.456.594.600 }
 106 %struct.Vec.0.6.48.90.132.186.192.198.234.252.258.264.270.276.282.288.378.432.438.450.456.594.600 = type { double, double, double }
 107
 108 define void @_Z8radianceRK3RayiPt() #0 {
 109 ; CHECK-LABEL: @_Z8radianceRK3RayiPt(
 110 ; CHECK-NEXT:  entry:
 111 ; CHECK-NEXT:    br i1 undef, label [[IF_THEN78:%.*]], label [[IF_THEN38:%.*]]
 112 ; CHECK:       if.then38:
 113 ; CHECK-NEXT:    [[TMP0:%.*]] = insertelement <2 x double> <double undef, double poison>, double undef, i32 1
 114 ; CHECK-NEXT:    [[TMP1:%.*]] = fmul <2 x double> undef, [[TMP0]]
 115 ; CHECK-NEXT:    [[TMP2:%.*]] = fsub <2 x double> undef, [[TMP1]]
 116 ; CHECK-NEXT:    [[TMP3:%.*]] = fmul <2 x double> undef, [[TMP2]]
 117 ; CHECK-NEXT:    [[TMP4:%.*]] = fmul <2 x double> undef, [[TMP3]]
 118 ; CHECK-NEXT:    [[TMP5:%.*]] = fadd <2 x double> undef, [[TMP4]]
 119 ; CHECK-NEXT:    [[TMP6:%.*]] = fadd <2 x double> undef, [[TMP5]]
 120 ; CHECK-NEXT:    [[TMP7:%.*]] = fmul <2 x double> undef, [[TMP6]]
 121 ; CHECK-NEXT:    [[AGG_TMP74663_SROA_0_0_IDX:%.*]] = getelementptr inbounds [[STRUCT_RAY_5_11_53_95_137_191_197_203_239_257_263_269_275_281_287_293_383_437_443_455_461_599_601:%.*]], %struct.Ray.5.11.53.95.137.191.197.203.239.257.263.269.275.281.287.293.383.437.443.455.461.599.601* undef, i64 0, i32 1, i32 0
 122 ; CHECK-NEXT:    [[TMP8:%.*]] = bitcast double* [[AGG_TMP74663_SROA_0_0_IDX]] to <2 x double>*
 123 ; CHECK-NEXT:    store <2 x double> [[TMP7]], <2 x double>* [[TMP8]], align 8
 124 ; CHECK-NEXT:    br label [[RETURN:%.*]]
 125 ; CHECK:       if.then78:
 126 ; CHECK-NEXT:    br label [[RETURN]]
 127 ; CHECK:       return:
 128 ; CHECK-NEXT:    ret void
 129 ;
 130 entry:
 131   br i1 undef, label %if.then78, label %if.then38
 132
 133 if.then38:                                        ; preds = %entry
 134   %mul.i.i790 = fmul double undef, undef
 135   %mul3.i.i792 = fmul double undef, undef
 136   %mul.i764 = fmul double undef, %mul3.i.i792
 137   %mul4.i767 = fmul double undef, undef
 138   %sub.i768 = fsub double %mul.i764, %mul4.i767
 139   %mul6.i770 = fmul double undef, %mul.i.i790
 140   %mul9.i772 = fmul double undef, %mul3.i.i792
 141   %sub10.i773 = fsub double %mul6.i770, %mul9.i772
 142   %mul.i736 = fmul double undef, %sub.i768
 143   %mul2.i738 = fmul double undef, %sub10.i773
 144   %mul.i727 = fmul double undef, %mul.i736
 145   %mul2.i729 = fmul double undef, %mul2.i738
 146   %add.i716 = fadd double undef, %mul.i727
 147   %add4.i719 = fadd double undef, %mul2.i729
 148   %add.i695 = fadd double undef, %add.i716
 149   %add4.i698 = fadd double undef, %add4.i719
 150   %mul.i.i679 = fmul double undef, %add.i695
 151   %mul2.i.i680 = fmul double undef, %add4.i698
 152   %agg.tmp74663.sroa.0.0.idx = getelementptr inbounds %struct.Ray.5.11.53.95.137.191.197.203.239.257.263.269.275.281.287.293.383.437.443.455.461.599.601, %struct.Ray.5.11.53.95.137.191.197.203.239.257.263.269.275.281.287.293.383.437.443.455.461.599.601* undef, i64 0, i32 1, i32 0
 153   store double %mul.i.i679, double* %agg.tmp74663.sroa.0.0.idx, align 8
 154   %agg.tmp74663.sroa.1.8.idx943 = getelementptr inbounds %struct.Ray.5.11.53.95.137.191.197.203.239.257.263.269.275.281.287.293.383.437.443.455.461.599.601, %struct.Ray.5.11.53.95.137.191.197.203.239.257.263.269.275.281.287.293.383.437.443.455.461.599.601* undef, i64 0, i32 1, i32 1
 155   store double %mul2.i.i680, double* %agg.tmp74663.sroa.1.8.idx943, align 8
 156   br label %return
 157
 158 if.then78:                                        ; preds = %entry
 159   br label %return
 160
 161 return:                                           ; preds = %if.then78, %if.then38
 162   ret void
 163 }
 164
 165 attributes #0 = { ssp uwtable "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }