test/CodeGen/X86/bug26810.ll

   1 ; RUN: llc < %s -march=x86 -regalloc=greedy -stop-after=greedy | FileCheck %s
   2 ; Make sure bad eviction sequence doesnt occur
   3
   4 ; Fix for bugzilla 26810.
   5 ; This test is meant to make sure bad eviction sequence like the one described
   6 ; below does not occur
   7 ;
   8 ; movapd        %xmm7, 160(%esp)        # 16-byte Spill
   9 ; movapd        %xmm5, %xmm7
  10 ; movapd        %xmm4, %xmm5
  11 ; movapd        %xmm3, %xmm4
  12 ; movapd        %xmm2, %xmm3
  13 ; some_inst
  14 ; movapd        %xmm3, %xmm2
  15 ; movapd        %xmm4, %xmm3
  16 ; movapd        %xmm5, %xmm4
  17 ; movapd        %xmm7, %xmm5
  18 ; movapd        160(%esp), %xmm7        # 16-byte Reload
  19
  20 ; Make sure we have no redundant copies in the problematic code section
  21 ; CHECK-LABEL: name: loop
  22 ; CHECK: bb.2.for.body:
  23 ; CHECK: SUBPDrr
  24 ; CHECK-NEXT: MOVAPSmr
  25 ; CHECK-NEXT: MOVAPSrm
  26 ; CHECK-NEXT: MULPDrm
  27 ; CHECK-NEXT: ADDPDrr
  28 ; CHECK-NEXT: ADD32ri8
  29
  30 target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
  31 target triple = "i386-pc-linux-gnu"
  32
  33 %struct._iobuf = type { i8* }
  34
  35 $"\01??_C@_01NOFIACDB@w?$AA@" = comdat any
  36
  37 $"\01??_C@_09LAIDGMDM@?1dev?1null?$AA@" = comdat any
  38
  39 @"\01?v@@3PAU__m128d@@A" = global [8 x <2 x double>] zeroinitializer, align 16
  40 @"\01?m1@@3PAU__m128d@@A" = local_unnamed_addr global [76800000 x <2 x double>] zeroinitializer, align 16
  41 @"\01?m2@@3PAU__m128d@@A" = local_unnamed_addr global [8 x <2 x double>] zeroinitializer, align 16
  42 @"\01??_C@_01NOFIACDB@w?$AA@" = linkonce_odr unnamed_addr constant [2 x i8] c"w\00", comdat, align 1
  43 @"\01??_C@_09LAIDGMDM@?1dev?1null?$AA@" = linkonce_odr unnamed_addr constant [10 x i8] c"/dev/null\00", comdat, align 1
  44
  45 ; Function Attrs: norecurse
  46 define i32 @main() local_unnamed_addr #0 {
  47 entry:
  48   tail call void @init()
  49   %0 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 0), align 16, !tbaa !8
  50   %1 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 1), align 16, !tbaa !8
  51   %2 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 2), align 16, !tbaa !8
  52   %3 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 3), align 16, !tbaa !8
  53   %4 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 4), align 16, !tbaa !8
  54   %5 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 5), align 16, !tbaa !8
  55   %6 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 6), align 16, !tbaa !8
  56   %7 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 7), align 16, !tbaa !8
  57   %.promoted.i = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 0), align 16, !tbaa !8
  58   %.promoted51.i = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 1), align 16, !tbaa !8
  59   %.promoted53.i = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 2), align 16, !tbaa !8
  60   %.promoted55.i = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 3), align 16, !tbaa !8
  61   %.promoted57.i = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 4), align 16, !tbaa !8
  62   %.promoted59.i = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 5), align 16, !tbaa !8
  63   %.promoted61.i = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 6), align 16, !tbaa !8
  64   %.promoted63.i = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 7), align 16, !tbaa !8
  65   br label %for.body.i
  66
  67 for.body.i:                                       ; preds = %for.body.i, %entry
  68   %add.i64.i = phi <2 x double> [ %.promoted63.i, %entry ], [ %add.i.i, %for.body.i ]
  69   %add.i3662.i = phi <2 x double> [ %.promoted61.i, %entry ], [ %add.i36.i, %for.body.i ]
  70   %add.i3860.i = phi <2 x double> [ %.promoted59.i, %entry ], [ %add.i38.i, %for.body.i ]
  71   %add.i4058.i = phi <2 x double> [ %.promoted57.i, %entry ], [ %add.i40.i, %for.body.i ]
  72   %add.i4256.i = phi <2 x double> [ %.promoted55.i, %entry ], [ %add.i42.i, %for.body.i ]
  73   %add.i4454.i = phi <2 x double> [ %.promoted53.i, %entry ], [ %add.i44.i, %for.body.i ]
  74   %add.i4652.i = phi <2 x double> [ %.promoted51.i, %entry ], [ %add.i46.i, %for.body.i ]
  75   %add.i4850.i = phi <2 x double> [ %.promoted.i, %entry ], [ %add.i48.i, %for.body.i ]
  76   %i.049.i = phi i32 [ 0, %entry ], [ %inc.i, %for.body.i ]
  77   %arrayidx.i = getelementptr inbounds [76800000 x <2 x double>], [76800000 x <2 x double>]* @"\01?m1@@3PAU__m128d@@A", i32 0, i32 %i.049.i
  78   %8 = load <2 x double>, <2 x double>* %arrayidx.i, align 16, !tbaa !8
  79   %mul.i.i = fmul <2 x double> %0, %8
  80   %add.i48.i = fadd <2 x double> %add.i4850.i, %mul.i.i
  81   %mul.i47.i = fmul <2 x double> %1, %8
  82   %add.i46.i = fadd <2 x double> %add.i4652.i, %mul.i47.i
  83   %mul.i45.i = fmul <2 x double> %2, %8
  84   %add.i44.i = fadd <2 x double> %add.i4454.i, %mul.i45.i
  85   %mul.i43.i = fmul <2 x double> %3, %8
  86   %add.i42.i = fadd <2 x double> %add.i4256.i, %mul.i43.i
  87   %mul.i41.i = fmul <2 x double> %4, %8
  88   %add.i40.i = fadd <2 x double> %add.i4058.i, %mul.i41.i
  89   %mul.i39.i = fmul <2 x double> %5, %8
  90   %add.i38.i = fadd <2 x double> %add.i3860.i, %mul.i39.i
  91   %mul.i37.i = fmul <2 x double> %6, %8
  92   %add.i36.i = fsub <2 x double> %add.i3662.i, %mul.i37.i
  93   %mul.i35.i = fmul <2 x double> %7, %8
  94   %add.i.i = fadd <2 x double> %add.i64.i, %mul.i35.i
  95   %inc.i = add nuw nsw i32 %i.049.i, 1
  96   %exitcond.i = icmp eq i32 %inc.i, 76800000
  97   br i1 %exitcond.i, label %loop.exit, label %for.body.i
  98
  99 loop.exit:                           ; preds = %for.body.i
 100   store <2 x double> %add.i48.i, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 0), align 16, !tbaa !8
 101   store <2 x double> %add.i46.i, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 1), align 16, !tbaa !8
 102   store <2 x double> %add.i46.i, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 1), align 16, !tbaa !8
 103   store <2 x double> %add.i44.i, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 2), align 16, !tbaa !8
 104   store <2 x double> %add.i42.i, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 3), align 16, !tbaa !8
 105   store <2 x double> %add.i40.i, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 4), align 16, !tbaa !8
 106   store <2 x double> %add.i38.i, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 5), align 16, !tbaa !8
 107   store <2 x double> %add.i36.i, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 6), align 16, !tbaa !8
 108   store <2 x double> %add.i.i, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 7), align 16, !tbaa !8
 109   %call.i = tail call %struct._iobuf* @fopen(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @"\01??_C@_09LAIDGMDM@?1dev?1null?$AA@", i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @"\01??_C@_01NOFIACDB@w?$AA@", i32 0, i32 0)) #7
 110   %call1.i = tail call i32 @fwrite(i8* bitcast ([8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A" to i8*), i32 16, i32 8, %struct._iobuf* %call.i) #7
 111   %call2.i = tail call i32 @fclose(%struct._iobuf* %call.i) #7
 112   ret i32 0
 113 }
 114
 115 define void @init() local_unnamed_addr #1 {
 116 entry:
 117   call void @llvm.memset.p0i8.i32(i8* bitcast ([8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A" to i8*), i8 0, i32 128, i32 16, i1 false)
 118   %call.i = tail call i64 @_time64(i64* null)
 119   %conv = trunc i64 %call.i to i32
 120   tail call void @srand(i32 %conv)
 121   br label %for.body6
 122
 123 for.body6:                                        ; preds = %for.body6, %entry
 124   %i2.051 = phi i32 [ 0, %entry ], [ %inc14, %for.body6 ]
 125   %call7 = tail call i32 @rand()
 126   %conv8 = sitofp i32 %call7 to double
 127   %tmp.sroa.0.0.vec.insert = insertelement <2 x double> undef, double %conv8, i32 0
 128   %call9 = tail call i32 @rand()
 129   %conv10 = sitofp i32 %call9 to double
 130   %tmp.sroa.0.8.vec.insert = insertelement <2 x double> %tmp.sroa.0.0.vec.insert, double %conv10, i32 1
 131   %arrayidx12 = getelementptr inbounds [76800000 x <2 x double>], [76800000 x <2 x double>]* @"\01?m1@@3PAU__m128d@@A", i32 0, i32 %i2.051
 132   store <2 x double> %tmp.sroa.0.8.vec.insert, <2 x double>* %arrayidx12, align 16, !tbaa !8
 133   %inc14 = add nuw nsw i32 %i2.051, 1
 134   %exitcond = icmp eq i32 %inc14, 76800000
 135   br i1 %exitcond, label %for.body21.preheader, label %for.body6
 136
 137 for.body21.preheader:                             ; preds = %for.body6
 138   %call25 = tail call i32 @rand()
 139   %conv26 = sitofp i32 %call25 to double
 140   %tmp23.sroa.0.0.vec.insert = insertelement <2 x double> undef, double %conv26, i32 0
 141   %call28 = tail call i32 @rand()
 142   %conv29 = sitofp i32 %call28 to double
 143   %tmp23.sroa.0.8.vec.insert = insertelement <2 x double> %tmp23.sroa.0.0.vec.insert, double %conv29, i32 1
 144   store <2 x double> %tmp23.sroa.0.8.vec.insert, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 0), align 16, !tbaa !8
 145   %call25.1 = tail call i32 @rand()
 146   %conv26.1 = sitofp i32 %call25.1 to double
 147   %tmp23.sroa.0.0.vec.insert.1 = insertelement <2 x double> undef, double %conv26.1, i32 0
 148   %call28.1 = tail call i32 @rand()
 149   %conv29.1 = sitofp i32 %call28.1 to double
 150   %tmp23.sroa.0.8.vec.insert.1 = insertelement <2 x double> %tmp23.sroa.0.0.vec.insert.1, double %conv29.1, i32 1
 151   store <2 x double> %tmp23.sroa.0.8.vec.insert.1, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 1), align 16, !tbaa !8
 152   %call25.2 = tail call i32 @rand()
 153   %conv26.2 = sitofp i32 %call25.2 to double
 154   %tmp23.sroa.0.0.vec.insert.2 = insertelement <2 x double> undef, double %conv26.2, i32 0
 155   %call28.2 = tail call i32 @rand()
 156   %conv29.2 = sitofp i32 %call28.2 to double
 157   %tmp23.sroa.0.8.vec.insert.2 = insertelement <2 x double> %tmp23.sroa.0.0.vec.insert.2, double %conv29.2, i32 1
 158   store <2 x double> %tmp23.sroa.0.8.vec.insert.2, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 2), align 16, !tbaa !8
 159   %call25.3 = tail call i32 @rand()
 160   %conv26.3 = sitofp i32 %call25.3 to double
 161   %tmp23.sroa.0.0.vec.insert.3 = insertelement <2 x double> undef, double %conv26.3, i32 0
 162   %call28.3 = tail call i32 @rand()
 163   %conv29.3 = sitofp i32 %call28.3 to double
 164   %tmp23.sroa.0.8.vec.insert.3 = insertelement <2 x double> %tmp23.sroa.0.0.vec.insert.3, double %conv29.3, i32 1
 165   store <2 x double> %tmp23.sroa.0.8.vec.insert.3, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 3), align 16, !tbaa !8
 166   %call25.4 = tail call i32 @rand()
 167   %conv26.4 = sitofp i32 %call25.4 to double
 168   %tmp23.sroa.0.0.vec.insert.4 = insertelement <2 x double> undef, double %conv26.4, i32 0
 169   %call28.4 = tail call i32 @rand()
 170   %conv29.4 = sitofp i32 %call28.4 to double
 171   %tmp23.sroa.0.8.vec.insert.4 = insertelement <2 x double> %tmp23.sroa.0.0.vec.insert.4, double %conv29.4, i32 1
 172   store <2 x double> %tmp23.sroa.0.8.vec.insert.4, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 4), align 16, !tbaa !8
 173   %call25.5 = tail call i32 @rand()
 174   %conv26.5 = sitofp i32 %call25.5 to double
 175   %tmp23.sroa.0.0.vec.insert.5 = insertelement <2 x double> undef, double %conv26.5, i32 0
 176   %call28.5 = tail call i32 @rand()
 177   %conv29.5 = sitofp i32 %call28.5 to double
 178   %tmp23.sroa.0.8.vec.insert.5 = insertelement <2 x double> %tmp23.sroa.0.0.vec.insert.5, double %conv29.5, i32 1
 179   store <2 x double> %tmp23.sroa.0.8.vec.insert.5, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 5), align 16, !tbaa !8
 180   %call25.6 = tail call i32 @rand()
 181   %conv26.6 = sitofp i32 %call25.6 to double
 182   %tmp23.sroa.0.0.vec.insert.6 = insertelement <2 x double> undef, double %conv26.6, i32 0
 183   %call28.6 = tail call i32 @rand()
 184   %conv29.6 = sitofp i32 %call28.6 to double
 185   %tmp23.sroa.0.8.vec.insert.6 = insertelement <2 x double> %tmp23.sroa.0.0.vec.insert.6, double %conv29.6, i32 1
 186   store <2 x double> %tmp23.sroa.0.8.vec.insert.6, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 6), align 16, !tbaa !8
 187   %call25.7 = tail call i32 @rand()
 188   %conv26.7 = sitofp i32 %call25.7 to double
 189   %tmp23.sroa.0.0.vec.insert.7 = insertelement <2 x double> undef, double %conv26.7, i32 0
 190   %call28.7 = tail call i32 @rand()
 191   %conv29.7 = sitofp i32 %call28.7 to double
 192   %tmp23.sroa.0.8.vec.insert.7 = insertelement <2 x double> %tmp23.sroa.0.0.vec.insert.7, double %conv29.7, i32 1
 193   store <2 x double> %tmp23.sroa.0.8.vec.insert.7, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 7), align 16, !tbaa !8
 194   ret void
 195 }
 196
 197 ; Function Attrs: norecurse nounwind
 198 define void @loop() local_unnamed_addr #2 {
 199 entry:
 200   %0 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 0), align 16, !tbaa !8
 201   %1 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 1), align 16, !tbaa !8
 202   %2 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 2), align 16, !tbaa !8
 203   %3 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 3), align 16, !tbaa !8
 204   %4 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 4), align 16, !tbaa !8
 205   %5 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 5), align 16, !tbaa !8
 206   %6 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 6), align 16, !tbaa !8
 207   %7 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?m2@@3PAU__m128d@@A", i32 0, i32 7), align 16, !tbaa !8
 208   %.promoted = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 0), align 16, !tbaa !8
 209   %.promoted51 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 1), align 16, !tbaa !8
 210   %.promoted53 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 2), align 16, !tbaa !8
 211   %.promoted55 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 3), align 16, !tbaa !8
 212   %.promoted57 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 4), align 16, !tbaa !8
 213   %.promoted59 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 5), align 16, !tbaa !8
 214   %.promoted61 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 6), align 16, !tbaa !8
 215   %.promoted63 = load <2 x double>, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 7), align 16, !tbaa !8
 216   br label %for.body
 217
 218 for.cond.cleanup:                                 ; preds = %for.body
 219   store <2 x double> %add.i48, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 0), align 16, !tbaa !8
 220   store <2 x double> %add.i46, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 1), align 16, !tbaa !8
 221   store <2 x double> %add.i44, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 2), align 16, !tbaa !8
 222   store <2 x double> %add.i42, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 3), align 16, !tbaa !8
 223   store <2 x double> %add.i40, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 4), align 16, !tbaa !8
 224   store <2 x double> %add.i38, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 5), align 16, !tbaa !8
 225   store <2 x double> %add.i36, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 6), align 16, !tbaa !8
 226   store <2 x double> %add.i, <2 x double>* getelementptr inbounds ([8 x <2 x double>], [8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A", i32 0, i32 7), align 16, !tbaa !8
 227   ret void
 228
 229 for.body:                                         ; preds = %for.body, %entry
 230   %add.i64 = phi <2 x double> [ %.promoted63, %entry ], [ %add.i, %for.body ]
 231   %add.i3662 = phi <2 x double> [ %.promoted61, %entry ], [ %add.i36, %for.body ]
 232   %add.i3860 = phi <2 x double> [ %.promoted59, %entry ], [ %add.i38, %for.body ]
 233   %add.i4058 = phi <2 x double> [ %.promoted57, %entry ], [ %add.i40, %for.body ]
 234   %add.i4256 = phi <2 x double> [ %.promoted55, %entry ], [ %add.i42, %for.body ]
 235   %add.i4454 = phi <2 x double> [ %.promoted53, %entry ], [ %add.i44, %for.body ]
 236   %add.i4652 = phi <2 x double> [ %.promoted51, %entry ], [ %add.i46, %for.body ]
 237   %add.i4850 = phi <2 x double> [ %.promoted, %entry ], [ %add.i48, %for.body ]
 238   %i.049 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
 239   %arrayidx = getelementptr inbounds [76800000 x <2 x double>], [76800000 x <2 x double>]* @"\01?m1@@3PAU__m128d@@A", i32 0, i32 %i.049
 240   %8 = load <2 x double>, <2 x double>* %arrayidx, align 16, !tbaa !8
 241   %mul.i = fmul <2 x double> %8, %0
 242   %add.i48 = fadd <2 x double> %add.i4850, %mul.i
 243   %mul.i47 = fmul <2 x double> %8, %1
 244   %add.i46 = fadd <2 x double> %add.i4652, %mul.i47
 245   %mul.i45 = fmul <2 x double> %8, %2
 246   %add.i44 = fadd <2 x double> %add.i4454, %mul.i45
 247   %mul.i43 = fmul <2 x double> %8, %3
 248   %add.i42 = fadd <2 x double> %add.i4256, %mul.i43
 249   %mul.i41 = fmul <2 x double> %8, %4
 250   %add.i40 = fadd <2 x double> %add.i4058, %mul.i41
 251   %mul.i39 = fmul <2 x double> %8, %5
 252   %add.i38 = fadd <2 x double> %add.i3860, %mul.i39
 253   %mul.i37 = fmul <2 x double> %8, %6
 254   %add.i36 = fsub <2 x double> %add.i3662, %mul.i37
 255   %mul.i35 = fmul <2 x double> %8, %7
 256   %add.i = fadd <2 x double> %add.i64, %mul.i35
 257   %inc = add nuw nsw i32 %i.049, 1
 258   %exitcond = icmp eq i32 %inc, 76800000
 259   br i1 %exitcond, label %for.cond.cleanup, label %for.body
 260 }
 261
 262 ; Function Attrs: nounwind
 263 define void @"\01?dump@@YAXXZ"() local_unnamed_addr #3 {
 264 entry:
 265   %call = tail call %struct._iobuf* @fopen(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @"\01??_C@_09LAIDGMDM@?1dev?1null?$AA@", i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @"\01??_C@_01NOFIACDB@w?$AA@", i32 0, i32 0))
 266   %call1 = tail call i32 @fwrite(i8* bitcast ([8 x <2 x double>]* @"\01?v@@3PAU__m128d@@A" to i8*), i32 16, i32 8, %struct._iobuf* %call)
 267   %call2 = tail call i32 @fclose(%struct._iobuf* %call)
 268   ret void
 269 }
 270
 271 declare void @srand(i32) local_unnamed_addr #4
 272
 273 declare i32 @rand() local_unnamed_addr #4
 274
 275 ; Function Attrs: nounwind
 276 declare noalias %struct._iobuf* @fopen(i8* nocapture readonly, i8* nocapture readonly) local_unnamed_addr #5
 277
 278 ; Function Attrs: nounwind
 279 declare i32 @fwrite(i8* nocapture, i32, i32, %struct._iobuf* nocapture) local_unnamed_addr #5
 280
 281 ; Function Attrs: nounwind
 282 declare i32 @fclose(%struct._iobuf* nocapture) local_unnamed_addr #5
 283
 284 declare i64 @_time64(i64*) local_unnamed_addr #4
 285
 286 ; Function Attrs: argmemonly nounwind
 287 declare void @llvm.memset.p0i8.i32(i8* nocapture writeonly, i8, i32, i32, i1) #6
 288
 289 attributes #0 = { norecurse "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="pentium4" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 290 attributes #1 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="pentium4" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 291 attributes #2 = { norecurse nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="pentium4" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 292 attributes #3 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="pentium4" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 293 attributes #4 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="pentium4" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 294 attributes #5 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="pentium4" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 295 attributes #6 = { argmemonly nounwind }
 296 attributes #7 = { nounwind }
 297
 298 !llvm.linker.options = !{!0, !1, !2, !3, !4}
 299 !llvm.module.flags = !{!5, !6}
 300 !llvm.ident = !{!7}
 301
 302 !0 = !{!"/FAILIFMISMATCH:\22_MSC_VER=1900\22"}
 303 !1 = !{!"/FAILIFMISMATCH:\22_ITERATOR_DEBUG_LEVEL=0\22"}
 304 !2 = !{!"/FAILIFMISMATCH:\22RuntimeLibrary=MT_StaticRelease\22"}
 305 !3 = !{!"/DEFAULTLIB:libcpmt.lib"}
 306 !4 = !{!"/FAILIFMISMATCH:\22_CRT_STDIO_ISO_WIDE_SPECIFIERS=0\22"}
 307 !5 = !{i32 1, !"NumRegisterParameters", i32 0}
 308 !6 = !{i32 1, !"wchar_size", i32 2}
 309 !7 = !{!"clang version 5.0.0 (cfe/trunk 305640)"}
 310 !8 = !{!9, !9, i64 0}
 311 !9 = !{!"omnipotent char", !10, i64 0}
 312 !10 = !{!"Simple C++ TBAA"}