diff options
Diffstat (limited to 'llvm')
| -rw-r--r-- | llvm/test/Transforms/BDCE/invalidate-assumptions.ll | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/llvm/test/Transforms/BDCE/invalidate-assumptions.ll b/llvm/test/Transforms/BDCE/invalidate-assumptions.ll index d165d74be86..d81267b4793 100644 --- a/llvm/test/Transforms/BDCE/invalidate-assumptions.ll +++ b/llvm/test/Transforms/BDCE/invalidate-assumptions.ll @@ -1,3 +1,4 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -bdce %s -S | FileCheck %s ; The 'nuw' on the subtract allows us to deduce that %setbit is not demanded. @@ -8,8 +9,8 @@ define i1 @PR33695(i1 %b, i8 %x) { ; CHECK-LABEL: @PR33695( -; CHECK-NEXT: [[SETBIT:%.*]] = or i8 %x, 64 -; CHECK-NEXT: [[LITTLE_NUMBER:%.*]] = zext i1 %b to i8 +; CHECK-NEXT: [[SETBIT:%.*]] = or i8 [[X:%.*]], 64 +; CHECK-NEXT: [[LITTLE_NUMBER:%.*]] = zext i1 [[B:%.*]] to i8 ; CHECK-NEXT: [[BIG_NUMBER:%.*]] = shl i8 0, 1 ; CHECK-NEXT: [[SUB:%.*]] = sub i8 [[BIG_NUMBER]], [[LITTLE_NUMBER]] ; CHECK-NEXT: [[TRUNC:%.*]] = trunc i8 [[SUB]] to i1 @@ -28,16 +29,16 @@ define i1 @PR33695(i1 %b, i8 %x) { define i64 @PR34037(i64 %m, i32 %r, i64 %j, i1 %b, i32 %k, i64 %p) { ; CHECK-LABEL: @PR34037( -; CHECK-NEXT: [[CONV:%.*]] = zext i32 %r to i64 -; CHECK-NEXT: [[AND:%.*]] = and i64 %m, 0 +; CHECK-NEXT: [[CONV:%.*]] = zext i32 [[R:%.*]] to i64 +; CHECK-NEXT: [[AND:%.*]] = and i64 [[M:%.*]], 0 ; CHECK-NEXT: [[NEG:%.*]] = xor i64 0, 34359738367 -; CHECK-NEXT: [[OR:%.*]] = or i64 %j, 0 +; CHECK-NEXT: [[OR:%.*]] = or i64 [[J:%.*]], 0 ; CHECK-NEXT: [[SHL:%.*]] = shl i64 0, 29 -; CHECK-NEXT: [[CONV1:%.*]] = select i1 %b, i64 7, i64 0 +; CHECK-NEXT: [[CONV1:%.*]] = select i1 [[B:%.*]], i64 7, i64 0 ; CHECK-NEXT: [[SUB:%.*]] = sub i64 [[SHL]], [[CONV1]] -; CHECK-NEXT: [[CONV2:%.*]] = zext i32 %k to i64 +; CHECK-NEXT: [[CONV2:%.*]] = zext i32 [[K:%.*]] to i64 ; CHECK-NEXT: [[MUL:%.*]] = mul i64 [[SUB]], [[CONV2]] -; CHECK-NEXT: [[CONV4:%.*]] = and i64 %p, 65535 +; CHECK-NEXT: [[CONV4:%.*]] = and i64 [[P:%.*]], 65535 ; CHECK-NEXT: [[AND5:%.*]] = and i64 [[MUL]], [[CONV4]] ; CHECK-NEXT: ret i64 [[AND5]] ; @@ -63,8 +64,8 @@ declare i1 @foo(i1) define i1 @poison_on_call_user_is_ok(i1 %b, i8 %x) { ; CHECK-LABEL: @poison_on_call_user_is_ok( -; CHECK-NEXT: [[SETBIT:%.*]] = or i8 %x, 64 -; CHECK-NEXT: [[LITTLE_NUMBER:%.*]] = zext i1 %b to i8 +; CHECK-NEXT: [[SETBIT:%.*]] = or i8 [[X:%.*]], 64 +; CHECK-NEXT: [[LITTLE_NUMBER:%.*]] = zext i1 [[B:%.*]] to i8 ; CHECK-NEXT: [[BIG_NUMBER:%.*]] = shl i8 0, 1 ; CHECK-NEXT: [[SUB:%.*]] = sub i8 [[BIG_NUMBER]], [[LITTLE_NUMBER]] ; CHECK-NEXT: [[TRUNC:%.*]] = trunc i8 [[SUB]] to i1 @@ -90,7 +91,7 @@ define i1 @poison_on_call_user_is_ok(i1 %b, i8 %x) { define void @PR34179(i32* %a) { ; CHECK-LABEL: @PR34179( -; CHECK-NEXT: [[T0:%.*]] = load volatile i32, i32* %a +; CHECK-NEXT: [[T0:%.*]] = load volatile i32, i32* [[A:%.*]] ; CHECK-NEXT: ret void ; %t0 = load volatile i32, i32* %a |
