1;; This test is really dependent on propagating a lot of memory info around, but in the end, not 2;; screwing up a single add. 3; RUN: opt < %s -basic-aa -newgvn -S | FileCheck %s 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 5 6%struct.Letter = type { i32, i32, i32, i32 } 7 8@alPhrase = external local_unnamed_addr global [26 x %struct.Letter], align 16 9@aqMainMask = external local_unnamed_addr global [2 x i64], align 16 10@aqMainSign = external local_unnamed_addr global [2 x i64], align 16 11@cchPhraseLength = external local_unnamed_addr global i32, align 4 12@auGlobalFrequency = external local_unnamed_addr global [26 x i32], align 16 13@.str.7 = external hidden unnamed_addr constant [28 x i8], align 1 14 15; Function Attrs: nounwind uwtable 16declare void @Fatal(i8*, i32) local_unnamed_addr #0 17 18; Function Attrs: nounwind readnone 19declare i16** @__ctype_b_loc() local_unnamed_addr #1 20 21; Function Attrs: nounwind uwtable 22define void @BuildMask(i8* nocapture readonly) local_unnamed_addr #0 { 23 tail call void @llvm.memset.p0i8.i64(i8* align 16 bitcast ([26 x %struct.Letter]* @alPhrase to i8*), i8 0, i64 416, i1 false) 24 tail call void @llvm.memset.p0i8.i64(i8* align 16 bitcast ([2 x i64]* @aqMainMask to i8*), i8 0, i64 16, i1 false) 25 tail call void @llvm.memset.p0i8.i64(i8* align 16 bitcast ([2 x i64]* @aqMainSign to i8*), i8 0, i64 16, i1 false) 26 br label %.sink.split 27 28.sink.split: ; preds = %14, %1 29 %.0 = phi i8* [ %0, %1 ], [ %.lcssa67, %14 ] 30 %.sink = phi i32 [ 0, %1 ], [ %23, %14 ] 31 store i32 %.sink, i32* @cchPhraseLength, align 4, !tbaa !1 32 br label %2 33 34; <label>:2: ; preds = %6, %.sink.split 35 %.1 = phi i8* [ %.0, %.sink.split ], [ %3, %6 ] 36 %3 = getelementptr inbounds i8, i8* %.1, i64 1 37 %4 = load i8, i8* %.1, align 1, !tbaa !5 38 %5 = icmp eq i8 %4, 0 39 br i1 %5, label %.preheader.preheader, label %6 40 41.preheader.preheader: ; preds = %2 42 br label %.preheader 43 44; <label>:6: ; preds = %2 45 %7 = tail call i16** @__ctype_b_loc() #4 46 %8 = load i16*, i16** %7, align 8, !tbaa !6 47 %9 = sext i8 %4 to i64 48 %10 = getelementptr inbounds i16, i16* %8, i64 %9 49 %11 = load i16, i16* %10, align 2, !tbaa !8 50 %12 = and i16 %11, 1024 51 %13 = icmp eq i16 %12, 0 52 br i1 %13, label %2, label %14 53 54; <label>:14: ; preds = %6 55 %.lcssa67 = phi i8* [ %3, %6 ] 56 %.lcssa65 = phi i8 [ %4, %6 ] 57 %15 = sext i8 %.lcssa65 to i32 58 %16 = tail call i32 @tolower(i32 %15) #5 59 %17 = add nsw i32 %16, -97 60 %18 = sext i32 %17 to i64 61 %19 = getelementptr inbounds [26 x %struct.Letter], [26 x %struct.Letter]* @alPhrase, i64 0, i64 %18, i32 0 62 %20 = load i32, i32* %19, align 16, !tbaa !10 63 %21 = add i32 %20, 1 64 store i32 %21, i32* %19, align 16, !tbaa !10 65 %22 = load i32, i32* @cchPhraseLength, align 4, !tbaa !1 66 %23 = add nsw i32 %22, 1 67 br label %.sink.split 68 69.preheader: ; preds = %58, %.preheader.preheader 70 %indvars.iv = phi i64 [ 0, %.preheader.preheader ], [ %indvars.iv.next, %58 ] 71 %.04961 = phi i32 [ %.2, %58 ], [ 0, %.preheader.preheader ] 72 %.05160 = phi i32 [ %.253, %58 ], [ 0, %.preheader.preheader ] 73 %24 = getelementptr inbounds [26 x %struct.Letter], [26 x %struct.Letter]* @alPhrase, i64 0, i64 %indvars.iv, i32 0 74 %25 = load i32, i32* %24, align 16, !tbaa !10 75 %26 = icmp eq i32 %25, 0 76 %27 = getelementptr inbounds [26 x i32], [26 x i32]* @auGlobalFrequency, i64 0, i64 %indvars.iv 77 br i1 %26, label %28, label %29 78 79; <label>:28: ; preds = %.preheader 80 store i32 -1, i32* %27, align 4, !tbaa !1 81 br label %58 82 83; <label>:29: ; preds = %.preheader 84 store i32 0, i32* %27, align 4, !tbaa !1 85 %30 = zext i32 %25 to i64 86 br i1 false, label %._crit_edge, label %.lr.ph.preheader 87 88.lr.ph.preheader: ; preds = %29 89 br label %.lr.ph 90 91.lr.ph: ; preds = %.lr.ph, %.lr.ph.preheader 92 %.04658 = phi i64 [ %32, %.lr.ph ], [ 1, %.lr.ph.preheader ] 93 %.04857 = phi i32 [ %31, %.lr.ph ], [ 1, %.lr.ph.preheader ] 94 %31 = add nuw nsw i32 %.04857, 1 95 %32 = shl i64 %.04658, 1 96 %33 = icmp ult i64 %30, %32 97 br i1 %33, label %._crit_edge.loopexit, label %.lr.ph 98 99._crit_edge.loopexit: ; preds = %.lr.ph 100 %.lcssa63 = phi i32 [ %31, %.lr.ph ] 101 %.lcssa = phi i64 [ %32, %.lr.ph ] 102 br label %._crit_edge 103 104._crit_edge: ; preds = %._crit_edge.loopexit, %29 105 %.048.lcssa = phi i32 [ 1, %29 ], [ %.lcssa63, %._crit_edge.loopexit ] 106 %.046.lcssa = phi i64 [ 1, %29 ], [ %.lcssa, %._crit_edge.loopexit ] 107 %34 = add nsw i32 %.048.lcssa, %.04961 108 %35 = icmp ugt i32 %34, 64 109 br i1 %35, label %36, label %40 110 111; <label>:36: ; preds = %._crit_edge 112; This testcase essentially comes down to this little add. 113; If we screw up the revisitation of the users of store of %sink above 114; we will end up propagating and simplifying this to 1 in the final output 115; because we keep an optimistic assumption we should not. 116; CHECK: add i32 %.05160, 1 117 %37 = add i32 %.05160, 1 118 %38 = icmp ugt i32 %37, 1 119 br i1 %38, label %39, label %40 120 121; <label>:39: ; preds = %36 122 tail call void @Fatal(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.7, i64 0, i64 0), i32 0) 123 br label %40 124 125; <label>:40: ; preds = %39, %36, %._crit_edge 126 %.152 = phi i32 [ %.05160, %._crit_edge ], [ %37, %39 ], [ %37, %36 ] 127 %.150 = phi i32 [ %.04961, %._crit_edge ], [ 0, %39 ], [ 0, %36 ] 128 %41 = add i64 %.046.lcssa, 4294967295 129 %42 = trunc i64 %41 to i32 130 %43 = getelementptr inbounds [26 x %struct.Letter], [26 x %struct.Letter]* @alPhrase, i64 0, i64 %indvars.iv, i32 2 131 store i32 %42, i32* %43, align 8, !tbaa !12 132 %44 = zext i32 %.150 to i64 133 %.046. = shl i64 %.046.lcssa, %44 134 %45 = zext i32 %.152 to i64 135 %46 = getelementptr inbounds [2 x i64], [2 x i64]* @aqMainSign, i64 0, i64 %45 136 %47 = load i64, i64* %46, align 8, !tbaa !13 137 %48 = or i64 %47, %.046. 138 store i64 %48, i64* %46, align 8, !tbaa !13 139 %49 = load i32, i32* %24, align 16, !tbaa !10 140 %50 = zext i32 %49 to i64 141 %51 = shl i64 %50, %44 142 %52 = getelementptr inbounds [2 x i64], [2 x i64]* @aqMainMask, i64 0, i64 %45 143 %53 = load i64, i64* %52, align 8, !tbaa !13 144 %54 = or i64 %51, %53 145 store i64 %54, i64* %52, align 8, !tbaa !13 146 %55 = getelementptr inbounds [26 x %struct.Letter], [26 x %struct.Letter]* @alPhrase, i64 0, i64 %indvars.iv, i32 1 147 store i32 %.150, i32* %55, align 4, !tbaa !15 148 %56 = getelementptr inbounds [26 x %struct.Letter], [26 x %struct.Letter]* @alPhrase, i64 0, i64 %indvars.iv, i32 3 149 store i32 %.152, i32* %56, align 4, !tbaa !16 150 %57 = add nsw i32 %.150, %.048.lcssa 151 br label %58 152 153; <label>:58: ; preds = %40, %28 154 %.253 = phi i32 [ %.05160, %28 ], [ %.152, %40 ] 155 %.2 = phi i32 [ %.04961, %28 ], [ %57, %40 ] 156 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 157 %exitcond = icmp ne i64 %indvars.iv.next, 26 158 br i1 %exitcond, label %.preheader, label %59 159 160; <label>:59: ; preds = %58 161 ret void 162} 163 164; Function Attrs: argmemonly nounwind 165declare void @llvm.memset.p0i8.i64(i8* nocapture writeonly, i8, i64, i1) #2 166 167; Function Attrs: inlinehint nounwind readonly uwtable 168declare i32 @tolower(i32) local_unnamed_addr #3 169 170attributes #0 = { nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "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"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" } 171attributes #1 = { nounwind readnone "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "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"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" } 172attributes #2 = { argmemonly nounwind } 173attributes #3 = { inlinehint nounwind readonly uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "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"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" } 174attributes #4 = { nounwind readnone } 175attributes #5 = { nounwind readonly } 176 177!llvm.ident = !{!0} 178 179!0 = !{!"clang version 4.0.0"} 180!1 = !{!2, !2, i64 0} 181!2 = !{!"int", !3, i64 0} 182!3 = !{!"omnipotent char", !4, i64 0} 183!4 = !{!"Simple C/C++ TBAA"} 184!5 = !{!3, !3, i64 0} 185!6 = !{!7, !7, i64 0} 186!7 = !{!"any pointer", !3, i64 0} 187!8 = !{!9, !9, i64 0} 188!9 = !{!"short", !3, i64 0} 189!10 = !{!11, !2, i64 0} 190!11 = !{!"", !2, i64 0, !2, i64 4, !2, i64 8, !2, i64 12} 191!12 = !{!11, !2, i64 8} 192!13 = !{!14, !14, i64 0} 193!14 = !{!"long", !3, i64 0} 194!15 = !{!11, !2, i64 4} 195!16 = !{!11, !2, i64 12} 196