1; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s 2 3; The addrecs in this loop are analyzable only by using nsw information. 4 5target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64" 6 7; CHECK: Classifying expressions for: @test1 8define void @test1(double* %p) nounwind { 9entry: 10 %tmp = load double* %p, align 8 ; <double> [#uses=1] 11 %tmp1 = fcmp ogt double %tmp, 2.000000e+00 ; <i1> [#uses=1] 12 br i1 %tmp1, label %bb.nph, label %return 13 14bb.nph: ; preds = %entry 15 br label %bb 16 17bb: ; preds = %bb1, %bb.nph 18 %i.01 = phi i32 [ %tmp8, %bb1 ], [ 0, %bb.nph ] ; <i32> [#uses=3] 19; CHECK: %i.01 20; CHECK-NEXT: --> {0,+,1}<nuw><nsw><%bb> 21 %tmp2 = sext i32 %i.01 to i64 ; <i64> [#uses=1] 22 %tmp3 = getelementptr double* %p, i64 %tmp2 ; <double*> [#uses=1] 23 %tmp4 = load double* %tmp3, align 8 ; <double> [#uses=1] 24 %tmp5 = fmul double %tmp4, 9.200000e+00 ; <double> [#uses=1] 25 %tmp6 = sext i32 %i.01 to i64 ; <i64> [#uses=1] 26 %tmp7 = getelementptr double* %p, i64 %tmp6 ; <double*> [#uses=1] 27; CHECK: %tmp7 28; CHECK-NEXT: --> {%p,+,8}<%bb> 29 store double %tmp5, double* %tmp7, align 8 30 %tmp8 = add nsw i32 %i.01, 1 ; <i32> [#uses=2] 31; CHECK: %tmp8 32; CHECK-NEXT: --> {1,+,1}<nuw><nsw><%bb> 33 br label %bb1 34 35bb1: ; preds = %bb 36 %phitmp = sext i32 %tmp8 to i64 ; <i64> [#uses=1] 37; CHECK: %phitmp 38; CHECK-NEXT: --> {1,+,1}<nuw><nsw><%bb> 39 %tmp9 = getelementptr double* %p, i64 %phitmp ; <double*> [#uses=1] 40; CHECK: %tmp9 41; CHECK-NEXT: --> {(8 + %p),+,8}<%bb> 42 %tmp10 = load double* %tmp9, align 8 ; <double> [#uses=1] 43 %tmp11 = fcmp ogt double %tmp10, 2.000000e+00 ; <i1> [#uses=1] 44 br i1 %tmp11, label %bb, label %bb1.return_crit_edge 45 46bb1.return_crit_edge: ; preds = %bb1 47 br label %return 48 49return: ; preds = %bb1.return_crit_edge, %entry 50 ret void 51} 52 53; CHECK: Classifying expressions for: @test2 54define void @test2(i32* %begin, i32* %end) ssp { 55entry: 56 %cmp1.i.i = icmp eq i32* %begin, %end 57 br i1 %cmp1.i.i, label %_ZSt4fillIPiiEvT_S1_RKT0_.exit, label %for.body.lr.ph.i.i 58 59for.body.lr.ph.i.i: ; preds = %entry 60 br label %for.body.i.i 61 62for.body.i.i: ; preds = %for.body.i.i, %for.body.lr.ph.i.i 63 %__first.addr.02.i.i = phi i32* [ %begin, %for.body.lr.ph.i.i ], [ %ptrincdec.i.i, %for.body.i.i ] 64; CHECK: %__first.addr.02.i.i 65; CHECK-NEXT: --> {%begin,+,4}<nw><%for.body.i.i> 66 store i32 0, i32* %__first.addr.02.i.i, align 4 67 %ptrincdec.i.i = getelementptr inbounds i32* %__first.addr.02.i.i, i64 1 68; CHECK: %ptrincdec.i.i 69; CHECK-NEXT: --> {(4 + %begin),+,4}<nw><%for.body.i.i> 70 %cmp.i.i = icmp eq i32* %ptrincdec.i.i, %end 71 br i1 %cmp.i.i, label %for.cond.for.end_crit_edge.i.i, label %for.body.i.i 72 73for.cond.for.end_crit_edge.i.i: ; preds = %for.body.i.i 74 br label %_ZSt4fillIPiiEvT_S1_RKT0_.exit 75 76_ZSt4fillIPiiEvT_S1_RKT0_.exit: ; preds = %entry, %for.cond.for.end_crit_edge.i.i 77 ret void 78} 79 80; Various checks for inbounds geps. 81define void @test3(i32* %begin, i32* %end) nounwind ssp { 82entry: 83 %cmp7.i.i = icmp eq i32* %begin, %end 84 br i1 %cmp7.i.i, label %_ZSt4fillIPiiEvT_S1_RKT0_.exit, label %for.body.i.i 85 86for.body.i.i: ; preds = %entry, %for.body.i.i 87 %indvar.i.i = phi i64 [ %tmp, %for.body.i.i ], [ 0, %entry ] 88; CHECK: %indvar.i.i 89; CHECK: {0,+,1}<nuw><nsw><%for.body.i.i> 90 %tmp = add nsw i64 %indvar.i.i, 1 91; CHECK: %tmp = 92; CHECK: {1,+,1}<nuw><nsw><%for.body.i.i> 93 %ptrincdec.i.i = getelementptr inbounds i32* %begin, i64 %tmp 94; CHECK: %ptrincdec.i.i = 95; CHECK: {(4 + %begin),+,4}<nsw><%for.body.i.i> 96 %__first.addr.08.i.i = getelementptr inbounds i32* %begin, i64 %indvar.i.i 97; CHECK: %__first.addr.08.i.i 98; CHECK: {%begin,+,4}<nsw><%for.body.i.i> 99 store i32 0, i32* %__first.addr.08.i.i, align 4 100 %cmp.i.i = icmp eq i32* %ptrincdec.i.i, %end 101 br i1 %cmp.i.i, label %_ZSt4fillIPiiEvT_S1_RKT0_.exit, label %for.body.i.i 102; CHECK: Loop %for.body.i.i: backedge-taken count is ((-4 + (-1 * %begin) + %end) /u 4) 103; CHECK: Loop %for.body.i.i: max backedge-taken count is ((-4 + (-1 * %begin) + %end) /u 4) 104_ZSt4fillIPiiEvT_S1_RKT0_.exit: ; preds = %for.body.i.i, %entry 105 ret void 106}