1 ; RUN: opt -S -indvars < %s | FileCheck %s 2 3 ; This is not an IndVarSimplify bug, but the original symptom 4 ; manifested as one. 5 6 define i32 @foo(i32 %a, i32 %b, i32 %c, i32* %sink) { 7 ; CHECK-LABEL: @foo( 8 ; CHECK: for.end: 9 ; CHECK-NEXT: [[SHR:%.*]] = ashr i32 %neg3, -1 10 ; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[SHR]] 11 ; CHECK-NEXT: [[SHR1:%.*]] = ashr i32 [[SUB]], [[B:%.*]] 12 ; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[SHR1]], -1 13 ; CHECK-NEXT: store i32 [[NEG]], i32* %sink 14 ; 15 entry: 16 %tobool2 = icmp eq i32 %a, 0 17 br i1 %tobool2, label %exit, label %preheader 18 19 preheader: 20 %neg3 = phi i32 [ %c, %entry ], [ %neg, %for.end ] 21 br label %for 22 23 for: 24 %p = phi i32 [ %dec, %for ], [ 1, %preheader ] 25 %cmp = icmp sgt i32 %p, -1 26 %dec = add nsw i32 %p, -1 27 br i1 %cmp, label %for, label %for.end 28 29 for.end: 30 %shr = ashr i32 %neg3, %p 31 %sub = sub nsw i32 0, %shr 32 %shr1 = ashr i32 %sub, %b 33 %neg = xor i32 %shr1, -1 34 store i32 %neg, i32* %sink 35 br i1 false, label %exit, label %preheader 36 37 exit: 38 ret i32 0 39 } 40
