1*9880d681SAndroid Build Coastguard Worker; RUN: opt -analyze -scalar-evolution < %s | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker%struct.anon = type { i8 } 4*9880d681SAndroid Build Coastguard Worker%struct.S = type { i32 } 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Worker@a = common global %struct.anon zeroinitializer, align 1 7*9880d681SAndroid Build Coastguard Worker@b = common global %struct.S zeroinitializer, align 4 8*9880d681SAndroid Build Coastguard Worker 9*9880d681SAndroid Build Coastguard Worker; Function Attrs: nounwind ssp uwtable 10*9880d681SAndroid Build Coastguard Workerdefine i32 @main() { 11*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: Classifying expressions for: @main 12*9880d681SAndroid Build Coastguard Worker store i8 0, i8* getelementptr inbounds (%struct.anon, %struct.anon* @a, i64 0, i32 0), align 1 13*9880d681SAndroid Build Coastguard Worker br label %loop 14*9880d681SAndroid Build Coastguard Worker 15*9880d681SAndroid Build Coastguard Workerloop: 16*9880d681SAndroid Build Coastguard Worker %storemerge1 = phi i8 [ 0, %0 ], [ %inc, %loop ] 17*9880d681SAndroid Build Coastguard Worker %m = load volatile i32, i32* getelementptr inbounds (%struct.S, %struct.S* @b, i64 0, i32 0), align 4 18*9880d681SAndroid Build Coastguard Worker %inc = add nuw i8 %storemerge1, 1 19*9880d681SAndroid Build Coastguard Worker; CHECK: %inc = add nuw i8 %storemerge1, 1 20*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: --> {1,+,1}<nuw><%loop> 21*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: --> {1,+,1}<nuw><nsw><%loop> 22*9880d681SAndroid Build Coastguard Worker %exitcond = icmp eq i8 %inc, -128 23*9880d681SAndroid Build Coastguard Worker br i1 %exitcond, label %exit, label %loop 24*9880d681SAndroid Build Coastguard Worker 25*9880d681SAndroid Build Coastguard Workerexit: 26*9880d681SAndroid Build Coastguard Worker store i8 -128, i8* getelementptr inbounds (%struct.anon, %struct.anon* @a, i64 0, i32 0), align 1 27*9880d681SAndroid Build Coastguard Worker ret i32 0 28*9880d681SAndroid Build Coastguard Worker} 29