1*9880d681SAndroid Build Coastguard Worker; RUN: opt -analyze -scalar-evolution < %s | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 4*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-unknown-linux-gnu" 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Workerdefine void @hoge1() { 7*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: Classifying expressions for: @hoge1 8*9880d681SAndroid Build Coastguard Workerbb: 9*9880d681SAndroid Build Coastguard Worker br i1 undef, label %bb4, label %bb2 10*9880d681SAndroid Build Coastguard Worker 11*9880d681SAndroid Build Coastguard Workerbb2: ; preds = %bb2, %bb 12*9880d681SAndroid Build Coastguard Worker br i1 false, label %bb4, label %bb2 13*9880d681SAndroid Build Coastguard Worker 14*9880d681SAndroid Build Coastguard Workerbb3: ; preds = %bb4 15*9880d681SAndroid Build Coastguard Worker %tmp = add i32 %tmp10, -1 16*9880d681SAndroid Build Coastguard Worker br label %bb13 17*9880d681SAndroid Build Coastguard Worker 18*9880d681SAndroid Build Coastguard Workerbb4: ; preds = %bb4, %bb2, %bb 19*9880d681SAndroid Build Coastguard Worker %tmp5 = phi i64 [ %tmp11, %bb4 ], [ 1, %bb2 ], [ 1, %bb ] 20*9880d681SAndroid Build Coastguard Worker %tmp6 = phi i32 [ %tmp10, %bb4 ], [ 0, %bb2 ], [ 0, %bb ] 21*9880d681SAndroid Build Coastguard Worker %tmp7 = load i32, i32* undef, align 4 22*9880d681SAndroid Build Coastguard Worker %tmp8 = add i32 %tmp7, %tmp6 23*9880d681SAndroid Build Coastguard Worker %tmp9 = add i32 undef, %tmp8 24*9880d681SAndroid Build Coastguard Worker %tmp10 = add i32 undef, %tmp9 25*9880d681SAndroid Build Coastguard Worker %tmp11 = add nsw i64 %tmp5, 3 26*9880d681SAndroid Build Coastguard Worker %tmp12 = icmp eq i64 %tmp11, 64 27*9880d681SAndroid Build Coastguard Worker br i1 %tmp12, label %bb3, label %bb4 28*9880d681SAndroid Build Coastguard Worker 29*9880d681SAndroid Build Coastguard Worker; CHECK: Loop %bb4: backedge-taken count is 20 30*9880d681SAndroid Build Coastguard Worker; CHECK: Loop %bb4: max backedge-taken count is 20 31*9880d681SAndroid Build Coastguard Worker 32*9880d681SAndroid Build Coastguard Workerbb13: ; preds = %bb13, %bb3 33*9880d681SAndroid Build Coastguard Worker %tmp14 = phi i64 [ 0, %bb3 ], [ %tmp15, %bb13 ] 34*9880d681SAndroid Build Coastguard Worker %tmp15 = add nuw nsw i64 %tmp14, 1 35*9880d681SAndroid Build Coastguard Worker %tmp16 = trunc i64 %tmp15 to i32 36*9880d681SAndroid Build Coastguard Worker %tmp17 = icmp eq i32 %tmp16, %tmp 37*9880d681SAndroid Build Coastguard Worker br i1 %tmp17, label %bb18, label %bb13 38*9880d681SAndroid Build Coastguard Worker 39*9880d681SAndroid Build Coastguard Workerbb18: ; preds = %bb13 40*9880d681SAndroid Build Coastguard Worker ret void 41*9880d681SAndroid Build Coastguard Worker} 42*9880d681SAndroid Build Coastguard Worker 43*9880d681SAndroid Build Coastguard Workerdefine void @hoge2() { 44*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: Classifying expressions for: @hoge2 45*9880d681SAndroid Build Coastguard Workerbb: 46*9880d681SAndroid Build Coastguard Worker br i1 undef, label %bb4, label %bb2 47*9880d681SAndroid Build Coastguard Worker 48*9880d681SAndroid Build Coastguard Workerbb2: ; preds = %bb2, %bb 49*9880d681SAndroid Build Coastguard Worker br i1 false, label %bb4, label %bb2 50*9880d681SAndroid Build Coastguard Worker 51*9880d681SAndroid Build Coastguard Workerbb3: ; preds = %bb4 52*9880d681SAndroid Build Coastguard Worker %tmp = add i32 %tmp10, -1 53*9880d681SAndroid Build Coastguard Worker br label %bb13 54*9880d681SAndroid Build Coastguard Worker 55*9880d681SAndroid Build Coastguard Workerbb4: ; preds = %bb4, %bb2, %bb 56*9880d681SAndroid Build Coastguard Worker %tmp5 = phi i64 [ %tmp11, %bb4 ], [ 1, %bb2 ], [ 3, %bb ] 57*9880d681SAndroid Build Coastguard Worker %tmp6 = phi i32 [ %tmp10, %bb4 ], [ 0, %bb2 ], [ 0, %bb ] 58*9880d681SAndroid Build Coastguard Worker %tmp7 = load i32, i32* undef, align 4 59*9880d681SAndroid Build Coastguard Worker %tmp8 = add i32 %tmp7, %tmp6 60*9880d681SAndroid Build Coastguard Worker %tmp9 = add i32 undef, %tmp8 61*9880d681SAndroid Build Coastguard Worker %tmp10 = add i32 undef, %tmp9 62*9880d681SAndroid Build Coastguard Worker %tmp11 = add nsw i64 %tmp5, 3 63*9880d681SAndroid Build Coastguard Worker %tmp12 = icmp eq i64 %tmp11, 64 64*9880d681SAndroid Build Coastguard Worker br i1 %tmp12, label %bb3, label %bb4 65*9880d681SAndroid Build Coastguard Worker 66*9880d681SAndroid Build Coastguard Worker; CHECK: Loop %bb4: Unpredictable backedge-taken count. 67*9880d681SAndroid Build Coastguard Worker; CHECK: Loop %bb4: Unpredictable max backedge-taken count. 68*9880d681SAndroid Build Coastguard Worker 69*9880d681SAndroid Build Coastguard Workerbb13: ; preds = %bb13, %bb3 70*9880d681SAndroid Build Coastguard Worker %tmp14 = phi i64 [ 0, %bb3 ], [ %tmp15, %bb13 ] 71*9880d681SAndroid Build Coastguard Worker %tmp15 = add nuw nsw i64 %tmp14, 1 72*9880d681SAndroid Build Coastguard Worker %tmp16 = trunc i64 %tmp15 to i32 73*9880d681SAndroid Build Coastguard Worker %tmp17 = icmp eq i32 %tmp16, %tmp 74*9880d681SAndroid Build Coastguard Worker br i1 %tmp17, label %bb18, label %bb13 75*9880d681SAndroid Build Coastguard Worker 76*9880d681SAndroid Build Coastguard Workerbb18: ; preds = %bb13 77*9880d681SAndroid Build Coastguard Worker ret void 78*9880d681SAndroid Build Coastguard Worker} 79