test/CodeGen/ARM/2012-08-04-DtripleSpillReload.ll

   1 ; RUN: llc < %s
   2 ; PR13377
   3
   4 target datalayout = "e-p:32:32:32-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:64:128-a0:0:64-n32-S64"
   5 target triple = "armv7-none-linux-gnueabi"
   6
   7 %0 = type { <4 x float> }
   8
   9 define arm_aapcs_vfpcc void @foo(float, i1 zeroext, i1 zeroext) nounwind uwtable {
  10   br i1 undef, label %4, label %5
  11
  12 ; <label>:4                                       ; preds = %3
  13   unreachable
  14
  15 ; <label>:5                                       ; preds = %3
  16   br i1 undef, label %7, label %6
  17
  18 ; <label>:6                                       ; preds = %5
  19   unreachable
  20
  21 ; <label>:7                                       ; preds = %5
  22   br i1 undef, label %8, label %10
  23
  24 ; <label>:8                                       ; preds = %7
  25   br i1 undef, label %9, label %10
  26
  27 ; <label>:9                                       ; preds = %8
  28   br i1 undef, label %11, label %10
  29
  30 ; <label>:10                                      ; preds = %9, %8, %7
  31   unreachable
  32
  33 ; <label>:11                                      ; preds = %9
  34   br i1 undef, label %13, label %12
  35
  36 ; <label>:12                                      ; preds = %11
  37   unreachable
  38
  39 ; <label>:13                                      ; preds = %11
  40   br i1 undef, label %15, label %14
  41
  42 ; <label>:14                                      ; preds = %13
  43   unreachable
  44
  45 ; <label>:15                                      ; preds = %13
  46   br i1 undef, label %18, label %16
  47
  48 ; <label>:16                                      ; preds = %15
  49   br i1 undef, label %17, label %18
  50
  51 ; <label>:17                                      ; preds = %16
  52   unreachable
  53
  54 ; <label>:18                                      ; preds = %16, %15
  55   br i1 undef, label %68, label %19
  56
  57 ; <label>:19                                      ; preds = %18
  58   br label %20
  59
  60 ; <label>:20                                      ; preds = %20, %19
  61   br i1 undef, label %21, label %20
  62
  63 ; <label>:21                                      ; preds = %20
  64   br i1 undef, label %22, label %68
  65
  66 ; <label>:22                                      ; preds = %21
  67   br i1 undef, label %23, label %24
  68
  69 ; <label>:23                                      ; preds = %22
  70   unreachable
  71
  72 ; <label>:24                                      ; preds = %22
  73   br i1 undef, label %26, label %25
  74
  75 ; <label>:25                                      ; preds = %24
  76   unreachable
  77
  78 ; <label>:26                                      ; preds = %24
  79   br i1 undef, label %28, label %27
  80
  81 ; <label>:27                                      ; preds = %26
  82   unreachable
  83
  84 ; <label>:28                                      ; preds = %26
  85   br i1 undef, label %29, label %30, !prof !0
  86
  87 ; <label>:29                                      ; preds = %28
  88   br label %30
  89
  90 ; <label>:30                                      ; preds = %29, %28
  91   br i1 undef, label %31, label %32, !prof !0
  92
  93 ; <label>:31                                      ; preds = %30
  94   br label %32
  95
  96 ; <label>:32                                      ; preds = %31, %30
  97   br i1 undef, label %34, label %33
  98
  99 ; <label>:33                                      ; preds = %32
 100   unreachable
 101
 102 ; <label>:34                                      ; preds = %32
 103   br i1 undef, label %35, label %36, !prof !0
 104
 105 ; <label>:35                                      ; preds = %34
 106   br label %36
 107
 108 ; <label>:36                                      ; preds = %35, %34
 109   br i1 undef, label %37, label %38, !prof !0
 110
 111 ; <label>:37                                      ; preds = %36
 112   br label %38
 113
 114 ; <label>:38                                      ; preds = %37, %36
 115   br i1 undef, label %39, label %67
 116
 117 ; <label>:39                                      ; preds = %38
 118   br i1 undef, label %40, label %41
 119
 120 ; <label>:40                                      ; preds = %39
 121   br i1 undef, label %64, label %41
 122
 123 ; <label>:41                                      ; preds = %40, %39
 124   br i1 undef, label %64, label %42
 125
 126 ; <label>:42                                      ; preds = %41
 127   %43 = fadd <4 x float> undef, undef
 128   %44 = fadd <4 x float> undef, undef
 129   %45 = fmul <4 x float> undef, undef
 130   %46 = fmul <4 x float> %45, %43
 131   %47 = fmul <4 x float> undef, %44
 132   %48 = load <4 x float>* undef, align 8, !tbaa !1
 133   %49 = bitcast <4 x float> %48 to <2 x i64>
 134   %50 = shufflevector <2 x i64> %49, <2 x i64> undef, <1 x i32> <i32 1>
 135   %51 = bitcast <1 x i64> %50 to <2 x float>
 136   %52 = shufflevector <2 x float> %51, <2 x float> undef, <4 x i32> zeroinitializer
 137   %53 = bitcast <4 x float> %52 to <2 x i64>
 138   %54 = shufflevector <2 x i64> %53, <2 x i64> undef, <1 x i32> zeroinitializer
 139   %55 = bitcast <1 x i64> %54 to <2 x float>
 140   %56 = extractelement <2 x float> %55, i32 0
 141   %57 = insertelement <4 x float> undef, float %56, i32 2
 142   %58 = insertelement <4 x float> %57, float 1.000000e+00, i32 3
 143   %59 = fsub <4 x float> %47, %58
 144   %60 = fmul <4 x float> undef, undef
 145   %61 = fmul <4 x float> %59, %60
 146   %62 = fmul <4 x float> %61, <float 6.000000e+01, float 6.000000e+01, float 6.000000e+01, float 6.000000e+01>
 147   %63 = fadd <4 x float> %47, %62
 148   store <4 x float> %46, <4 x float>* undef, align 8, !tbaa !1
 149   call arm_aapcs_vfpcc  void @bar(%0* undef, float 0.000000e+00) nounwind
 150   call arm_aapcs_vfpcc  void @bar(%0* undef, float 0.000000e+00) nounwind
 151   store <4 x float> %63, <4 x float>* undef, align 8, !tbaa !1
 152   unreachable
 153
 154 ; <label>:64                                      ; preds = %41, %40
 155   br i1 undef, label %65, label %66
 156
 157 ; <label>:65                                      ; preds = %64
 158   unreachable
 159
 160 ; <label>:66                                      ; preds = %64
 161   unreachable
 162
 163 ; <label>:67                                      ; preds = %38
 164   unreachable
 165
 166 ; <label>:68                                      ; preds = %21, %18
 167   ret void
 168 }
 169
 170 declare arm_aapcs_vfpcc void @bar(%0*, float)
 171
 172 !0 = metadata !{metadata !"branch_weights", i32 64, i32 4}
 173 !1 = metadata !{metadata !"omnipotent char", metadata !2}
 174 !2 = metadata !{metadata !"Simple C/C++ TBAA"}