1*9880d681SAndroid Build Coastguard Worker; RUN: opt -indvars -S < %s | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; indvars should transform the phi node pair from the for-loop 4*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @main( 5*9880d681SAndroid Build Coastguard Worker; CHECK: ret = phi i32 [ 0, %entry ], [ 0, {{.*}} ] 6*9880d681SAndroid Build Coastguard Worker 7*9880d681SAndroid Build Coastguard Worker@c = common global i32 0, align 4 8*9880d681SAndroid Build Coastguard Worker 9*9880d681SAndroid Build Coastguard Workerdefine i32 @main() #0 { 10*9880d681SAndroid Build Coastguard Workerentry: 11*9880d681SAndroid Build Coastguard Worker %0 = load i32, i32* @c, align 4 12*9880d681SAndroid Build Coastguard Worker %tobool = icmp eq i32 %0, 0 13*9880d681SAndroid Build Coastguard Worker br i1 %tobool, label %for.body, label %exit 14*9880d681SAndroid Build Coastguard Worker 15*9880d681SAndroid Build Coastguard Workerfor.body: 16*9880d681SAndroid Build Coastguard Worker %inc2 = phi i32 [ 0, %entry ], [ %inc, %for.inc ] 17*9880d681SAndroid Build Coastguard Worker %sub = add i32 %inc2, -1 18*9880d681SAndroid Build Coastguard Worker %cmp1 = icmp uge i32 %sub, %inc2 19*9880d681SAndroid Build Coastguard Worker %conv = zext i1 %cmp1 to i32 20*9880d681SAndroid Build Coastguard Worker br label %for.inc 21*9880d681SAndroid Build Coastguard Worker 22*9880d681SAndroid Build Coastguard Workerfor.inc: 23*9880d681SAndroid Build Coastguard Worker %inc = add nsw i32 %inc2, 1 24*9880d681SAndroid Build Coastguard Worker %cmp = icmp slt i32 %inc, 5 25*9880d681SAndroid Build Coastguard Worker br i1 %cmp, label %for.body, label %exit 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Workerexit: 28*9880d681SAndroid Build Coastguard Worker %ret = phi i32 [ 0, %entry ], [ %conv, %for.inc ] 29*9880d681SAndroid Build Coastguard Worker ret i32 %ret 30*9880d681SAndroid Build Coastguard Worker} 31