1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; ScalarEvolution should be able to compute a loop exit value for %indvar.i8. 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Worker; CHECK: sext{{.*}}trunc{{.*}}Exits: 11 6*9880d681SAndroid Build Coastguard Worker 7*9880d681SAndroid Build Coastguard Workerdefine void @another_count_down_signed(double* %d, i64 %n) nounwind { 8*9880d681SAndroid Build Coastguard Workerentry: 9*9880d681SAndroid Build Coastguard Worker br label %loop 10*9880d681SAndroid Build Coastguard Worker 11*9880d681SAndroid Build Coastguard Workerloop: ; preds = %loop, %entry 12*9880d681SAndroid Build Coastguard Worker %indvar = phi i64 [ %n, %entry ], [ %indvar.next, %loop ] ; <i64> [#uses=4] 13*9880d681SAndroid Build Coastguard Worker %s0 = shl i64 %indvar, 8 ; <i64> [#uses=1] 14*9880d681SAndroid Build Coastguard Worker %indvar.i8 = ashr i64 %s0, 8 ; <i64> [#uses=1] 15*9880d681SAndroid Build Coastguard Worker %t0 = getelementptr double, double* %d, i64 %indvar.i8 ; <double*> [#uses=2] 16*9880d681SAndroid Build Coastguard Worker %t1 = load double, double* %t0 ; <double> [#uses=1] 17*9880d681SAndroid Build Coastguard Worker %t2 = fmul double %t1, 1.000000e-01 ; <double> [#uses=1] 18*9880d681SAndroid Build Coastguard Worker store double %t2, double* %t0 19*9880d681SAndroid Build Coastguard Worker %indvar.next = sub i64 %indvar, 1 ; <i64> [#uses=2] 20*9880d681SAndroid Build Coastguard Worker %exitcond = icmp eq i64 %indvar.next, 10 ; <i1> [#uses=1] 21*9880d681SAndroid Build Coastguard Worker br i1 %exitcond, label %return, label %loop 22*9880d681SAndroid Build Coastguard Worker 23*9880d681SAndroid Build Coastguard Workerreturn: ; preds = %loop 24*9880d681SAndroid Build Coastguard Worker ret void 25*9880d681SAndroid Build Coastguard Worker} 26