llvm/test/Transforms/PhaseOrdering/X86/spurious-peeling.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -O3 -S -enable-new-pm=0 < %s   | FileCheck %s --check-prefixes=OLDPM
   3 ; RUN: opt -passes='default<O3>' -S < %s  | FileCheck %s --check-prefixes=NEWPM
   4
   5 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   6 target triple = "x86_64-unknown-linux-gnu"
   7
   8 %class.FloatVecPair = type { %class.HomemadeVector, %class.HomemadeVector }
   9 %class.HomemadeVector = type <{ %class.HomemadeVector.0*, i32, [4 x i8] }>
  10 %class.HomemadeVector.0 = type <{ float*, i32, [4 x i8] }>
  11
  12 $_ZN12FloatVecPair6vecIncEv = comdat any
  13
  14 define dso_local void @_Z13vecIncFromPtrP12FloatVecPair(%class.FloatVecPair* %FVP) {
  15 ; OLDPM-LABEL: @_Z13vecIncFromPtrP12FloatVecPair(
  16 ; OLDPM-NEXT:  entry:
  17 ; OLDPM-NEXT:    [[BASE_I_I:%.*]] = getelementptr inbounds [[CLASS_FLOATVECPAIR:%.*]], %class.FloatVecPair* [[FVP:%.*]], i64 0, i32 1, i32 0
  18 ; OLDPM-NEXT:    [[TMP0:%.*]] = load %class.HomemadeVector.0*, %class.HomemadeVector.0** [[BASE_I_I]], align 8, !tbaa [[TBAA0:![0-9]+]]
  19 ; OLDPM-NEXT:    [[SIZE4_I:%.*]] = getelementptr inbounds [[CLASS_HOMEMADEVECTOR_0:%.*]], %class.HomemadeVector.0* [[TMP0]], i64 undef, i32 1
  20 ; OLDPM-NEXT:    [[TMP1:%.*]] = load i32, i32* [[SIZE4_I]], align 8, !tbaa [[TBAA6:![0-9]+]]
  21 ; OLDPM-NEXT:    [[CMP510_NOT_I:%.*]] = icmp eq i32 [[TMP1]], 0
  22 ; OLDPM-NEXT:    br i1 [[CMP510_NOT_I]], label [[_ZN12FLOATVECPAIR6VECINCEV_EXIT:%.*]], label [[FOR_BODY7_LR_PH_I:%.*]]
  23 ; OLDPM:       for.body7.lr.ph.i:
  24 ; OLDPM-NEXT:    [[BASE_I4_I:%.*]] = getelementptr inbounds [[CLASS_FLOATVECPAIR]], %class.FloatVecPair* [[FVP]], i64 0, i32 0, i32 0
  25 ; OLDPM-NEXT:    [[BASE_I6_I:%.*]] = getelementptr inbounds [[CLASS_HOMEMADEVECTOR_0]], %class.HomemadeVector.0* [[TMP0]], i64 undef, i32 0
  26 ; OLDPM-NEXT:    [[TMP2:%.*]] = load float*, float** [[BASE_I6_I]], align 8, !tbaa [[TBAA8:![0-9]+]]
  27 ; OLDPM-NEXT:    [[ARRAYIDX_I7_I:%.*]] = getelementptr inbounds float, float* [[TMP2]], i64 undef
  28 ; OLDPM-NEXT:    [[TMP3:%.*]] = load %class.HomemadeVector.0*, %class.HomemadeVector.0** [[BASE_I4_I]], align 8, !tbaa [[TBAA0]]
  29 ; OLDPM-NEXT:    [[BASE_I2_I:%.*]] = getelementptr inbounds [[CLASS_HOMEMADEVECTOR_0]], %class.HomemadeVector.0* [[TMP3]], i64 undef, i32 0
  30 ; OLDPM-NEXT:    [[TMP4:%.*]] = load float*, float** [[BASE_I2_I]], align 8, !tbaa [[TBAA8]]
  31 ; OLDPM-NEXT:    [[ARRAYIDX_I3_I:%.*]] = getelementptr inbounds float, float* [[TMP4]], i64 undef
  32 ; OLDPM-NEXT:    [[DOTPRE_I:%.*]] = load float, float* [[ARRAYIDX_I3_I]], align 4, !tbaa [[TBAA9:![0-9]+]]
  33 ; OLDPM-NEXT:    br label [[FOR_BODY7_I:%.*]]
  34 ; OLDPM:       for.body7.i:
  35 ; OLDPM-NEXT:    [[TMP5:%.*]] = phi float [ [[DOTPRE_I]], [[FOR_BODY7_LR_PH_I]] ], [ [[ADD_I:%.*]], [[FOR_BODY7_I]] ]
  36 ; OLDPM-NEXT:    [[J_011_I:%.*]] = phi i32 [ 0, [[FOR_BODY7_LR_PH_I]] ], [ [[INC_I:%.*]], [[FOR_BODY7_I]] ]
  37 ; OLDPM-NEXT:    [[TMP6:%.*]] = load float, float* [[ARRAYIDX_I7_I]], align 4, !tbaa [[TBAA9]]
  38 ; OLDPM-NEXT:    [[ADD_I]] = fadd float [[TMP5]], [[TMP6]]
  39 ; OLDPM-NEXT:    store float [[ADD_I]], float* [[ARRAYIDX_I3_I]], align 4, !tbaa [[TBAA9]]
  40 ; OLDPM-NEXT:    [[INC_I]] = add nuw i32 [[J_011_I]], 1
  41 ; OLDPM-NEXT:    [[EXITCOND_NOT_I:%.*]] = icmp eq i32 [[INC_I]], [[TMP1]]
  42 ; OLDPM-NEXT:    br i1 [[EXITCOND_NOT_I]], label [[_ZN12FLOATVECPAIR6VECINCEV_EXIT]], label [[FOR_BODY7_I]], !llvm.loop [[LOOP11:![0-9]+]]
  43 ; OLDPM:       _ZN12FloatVecPair6vecIncEv.exit:
  44 ; OLDPM-NEXT:    ret void
  45 ;
  46 ; NEWPM-LABEL: @_Z13vecIncFromPtrP12FloatVecPair(
  47 ; NEWPM-NEXT:  entry:
  48 ; NEWPM-NEXT:    [[BASE_I_I:%.*]] = getelementptr inbounds [[CLASS_FLOATVECPAIR:%.*]], %class.FloatVecPair* [[FVP:%.*]], i64 0, i32 1, i32 0
  49 ; NEWPM-NEXT:    [[TMP0:%.*]] = load %class.HomemadeVector.0*, %class.HomemadeVector.0** [[BASE_I_I]], align 8, !tbaa [[TBAA0:![0-9]+]]
  50 ; NEWPM-NEXT:    [[SIZE4_I:%.*]] = getelementptr inbounds [[CLASS_HOMEMADEVECTOR_0:%.*]], %class.HomemadeVector.0* [[TMP0]], i64 undef, i32 1
  51 ; NEWPM-NEXT:    [[TMP1:%.*]] = load i32, i32* [[SIZE4_I]], align 8, !tbaa [[TBAA6:![0-9]+]]
  52 ; NEWPM-NEXT:    [[CMP510_NOT_I:%.*]] = icmp eq i32 [[TMP1]], 0
  53 ; NEWPM-NEXT:    br i1 [[CMP510_NOT_I]], label [[_ZN12FLOATVECPAIR6VECINCEV_EXIT:%.*]], label [[FOR_BODY7_LR_PH_I:%.*]]
  54 ; NEWPM:       for.body7.lr.ph.i:
  55 ; NEWPM-NEXT:    [[BASE_I6_I:%.*]] = getelementptr inbounds [[CLASS_FLOATVECPAIR]], %class.FloatVecPair* [[FVP]], i64 0, i32 0, i32 0
  56 ; NEWPM-NEXT:    [[BASE_I4_I:%.*]] = getelementptr inbounds [[CLASS_HOMEMADEVECTOR_0]], %class.HomemadeVector.0* [[TMP0]], i64 undef, i32 0
  57 ; NEWPM-NEXT:    [[TMP2:%.*]] = load float*, float** [[BASE_I4_I]], align 8, !tbaa [[TBAA8:![0-9]+]]
  58 ; NEWPM-NEXT:    [[ARRAYIDX_I5_I:%.*]] = getelementptr inbounds float, float* [[TMP2]], i64 undef
  59 ; NEWPM-NEXT:    [[TMP3:%.*]] = load %class.HomemadeVector.0*, %class.HomemadeVector.0** [[BASE_I6_I]], align 8, !tbaa [[TBAA0]]
  60 ; NEWPM-NEXT:    [[BASE_I8_I:%.*]] = getelementptr inbounds [[CLASS_HOMEMADEVECTOR_0]], %class.HomemadeVector.0* [[TMP3]], i64 undef, i32 0
  61 ; NEWPM-NEXT:    [[TMP4:%.*]] = load float*, float** [[BASE_I8_I]], align 8, !tbaa [[TBAA8]]
  62 ; NEWPM-NEXT:    [[ARRAYIDX_I9_I:%.*]] = getelementptr inbounds float, float* [[TMP4]], i64 undef
  63 ; NEWPM-NEXT:    [[DOTPRE_I:%.*]] = load float, float* [[ARRAYIDX_I9_I]], align 4, !tbaa [[TBAA9:![0-9]+]]
  64 ; NEWPM-NEXT:    br label [[FOR_BODY7_I:%.*]]
  65 ; NEWPM:       for.body7.i:
  66 ; NEWPM-NEXT:    [[TMP5:%.*]] = phi float [ [[DOTPRE_I]], [[FOR_BODY7_LR_PH_I]] ], [ [[ADD_I:%.*]], [[FOR_BODY7_I]] ]
  67 ; NEWPM-NEXT:    [[J_011_I:%.*]] = phi i32 [ 0, [[FOR_BODY7_LR_PH_I]] ], [ [[INC_I:%.*]], [[FOR_BODY7_I]] ]
  68 ; NEWPM-NEXT:    [[TMP6:%.*]] = load float, float* [[ARRAYIDX_I5_I]], align 4, !tbaa [[TBAA9]]
  69 ; NEWPM-NEXT:    [[ADD_I]] = fadd float [[TMP5]], [[TMP6]]
  70 ; NEWPM-NEXT:    store float [[ADD_I]], float* [[ARRAYIDX_I9_I]], align 4, !tbaa [[TBAA9]]
  71 ; NEWPM-NEXT:    [[INC_I]] = add nuw i32 [[J_011_I]], 1
  72 ; NEWPM-NEXT:    [[EXITCOND_NOT_I:%.*]] = icmp eq i32 [[INC_I]], [[TMP1]]
  73 ; NEWPM-NEXT:    br i1 [[EXITCOND_NOT_I]], label [[_ZN12FLOATVECPAIR6VECINCEV_EXIT]], label [[FOR_BODY7_I]], !llvm.loop [[LOOP11:![0-9]+]]
  74 ; NEWPM:       _ZN12FloatVecPair6vecIncEv.exit:
  75 ; NEWPM-NEXT:    ret void
  76 ;
  77 entry:
  78   %FVP.addr = alloca %class.FloatVecPair*, align 8
  79   store %class.FloatVecPair* %FVP, %class.FloatVecPair** %FVP.addr, align 8, !tbaa !0
  80   %0 = load %class.FloatVecPair*, %class.FloatVecPair** %FVP.addr, align 8, !tbaa !0
  81   call void @_ZN12FloatVecPair6vecIncEv(%class.FloatVecPair* %0)
  82   ret void
  83 }
  84
  85 define linkonce_odr dso_local void @_ZN12FloatVecPair6vecIncEv(%class.FloatVecPair* %this) comdat align 2 {
  86 entry:
  87   %this.addr = alloca %class.FloatVecPair*, align 8
  88   %j = alloca i32, align 4
  89   store %class.FloatVecPair* %this, %class.FloatVecPair** %this.addr, align 8, !tbaa !0
  90   %this1 = load %class.FloatVecPair*, %class.FloatVecPair** %this.addr, align 8
  91   br label %for.cond
  92
  93 for.cond:                                         ; preds = %entry
  94   br label %for.body
  95
  96 for.body:                                         ; preds = %for.cond
  97   store i32 0, i32* %j, align 4, !tbaa !4
  98   br label %for.cond2
  99
 100 for.cond2:                                        ; preds = %for.inc, %for.body
 101   %0 = load i32, i32* %j, align 4, !tbaa !4
 102   %Vsrc23 = getelementptr inbounds %class.FloatVecPair, %class.FloatVecPair* %this1, i32 0, i32 1
 103   %call = call %class.HomemadeVector.0* @_ZN14HomemadeVectorIS_IfLj8EELj8EEixEj(%class.HomemadeVector* %Vsrc23)
 104   %size4 = getelementptr inbounds %class.HomemadeVector.0, %class.HomemadeVector.0* %call, i32 0, i32 1
 105   %1 = load i32, i32* %size4, align 8, !tbaa !6
 106   %cmp5 = icmp ult i32 %0, %1
 107   br i1 %cmp5, label %for.body7, label %for.cond.cleanup6
 108
 109 for.cond.cleanup6:                                ; preds = %for.cond2
 110   ret void
 111
 112 for.body7:                                        ; preds = %for.cond2
 113   %Vsrc28 = getelementptr inbounds %class.FloatVecPair, %class.FloatVecPair* %this1, i32 0, i32 1
 114   %call9 = call %class.HomemadeVector.0* @_ZN14HomemadeVectorIS_IfLj8EELj8EEixEj(%class.HomemadeVector* %Vsrc28)
 115   %call10 = call float* @_ZN14HomemadeVectorIfLj8EEixEj(%class.HomemadeVector.0* %call9)
 116   %2 = load float, float* %call10, align 4, !tbaa !8
 117   %Vsrcdst = getelementptr inbounds %class.FloatVecPair, %class.FloatVecPair* %this1, i32 0, i32 0
 118   %call11 = call %class.HomemadeVector.0* @_ZN14HomemadeVectorIS_IfLj8EELj8EEixEj(%class.HomemadeVector* %Vsrcdst)
 119   %call12 = call float* @_ZN14HomemadeVectorIfLj8EEixEj(%class.HomemadeVector.0* %call11)
 120   %3 = load float, float* %call12, align 4, !tbaa !8
 121   %add = fadd float %3, %2
 122   store float %add, float* %call12, align 4, !tbaa !8
 123   br label %for.inc
 124
 125 for.inc:                                          ; preds = %for.body7
 126   %4 = load i32, i32* %j, align 4, !tbaa !4
 127   %inc = add i32 %4, 1
 128   store i32 %inc, i32* %j, align 4, !tbaa !4
 129   br label %for.cond2, !llvm.loop !10
 130 }
 131
 132 define linkonce_odr dso_local %class.HomemadeVector.0* @_ZN14HomemadeVectorIS_IfLj8EELj8EEixEj(%class.HomemadeVector* %this) align 2 {
 133 entry:
 134   %this.addr = alloca %class.HomemadeVector*, align 8
 135   store %class.HomemadeVector* %this, %class.HomemadeVector** %this.addr, align 8, !tbaa !0
 136   %this1 = load %class.HomemadeVector*, %class.HomemadeVector** %this.addr, align 8
 137   %base = getelementptr inbounds %class.HomemadeVector, %class.HomemadeVector* %this1, i32 0, i32 0
 138   %0 = load %class.HomemadeVector.0*, %class.HomemadeVector.0** %base, align 8, !tbaa !12
 139   %1 = bitcast %class.HomemadeVector.0* %0 to i8*
 140   %2 = bitcast i8* %1 to %class.HomemadeVector.0*
 141   %arrayidx = getelementptr inbounds %class.HomemadeVector.0, %class.HomemadeVector.0* %2, i64 undef
 142   ret %class.HomemadeVector.0* %arrayidx
 143 }
 144
 145 define linkonce_odr dso_local float* @_ZN14HomemadeVectorIfLj8EEixEj(%class.HomemadeVector.0* %this) align 2 {
 146 entry:
 147   %this.addr = alloca %class.HomemadeVector.0*, align 8
 148   store %class.HomemadeVector.0* %this, %class.HomemadeVector.0** %this.addr, align 8, !tbaa !0
 149   %this1 = load %class.HomemadeVector.0*, %class.HomemadeVector.0** %this.addr, align 8
 150   %base = getelementptr inbounds %class.HomemadeVector.0, %class.HomemadeVector.0* %this1, i32 0, i32 0
 151   %0 = load float*, float** %base, align 8, !tbaa !14
 152   %1 = bitcast float* %0 to i8*
 153   %2 = bitcast i8* %1 to float*
 154   %arrayidx = getelementptr inbounds float, float* %2, i64 undef
 155   ret float* %arrayidx
 156 }
 157
 158 !0 = !{!1, !1, i64 0}
 159 !1 = !{!"any pointer", !2, i64 0}
 160 !2 = !{!"omnipotent char", !3, i64 0}
 161 !3 = !{!"Simple C++ TBAA"}
 162 !4 = !{!5, !5, i64 0}
 163 !5 = !{!"int", !2, i64 0}
 164 !6 = !{!7, !5, i64 8}
 165 !7 = !{!"_ZTS14HomemadeVectorIfLj8EE", !1, i64 0, !5, i64 8}
 166 !8 = !{!9, !9, i64 0}
 167 !9 = !{!"float", !2, i64 0}
 168 !10 = distinct !{!10, !11}
 169 !11 = !{!"llvm.loop.mustprogress"}
 170 !12 = !{!13, !1, i64 0}
 171 !13 = !{!"_ZTS14HomemadeVectorIS_IfLj8EELj8EE", !1, i64 0, !5, i64 8}
 172 !14 = !{!7, !1, i64 0}