From: Nikita Popov Date: Tue, 1 Jan 2019 12:27:23 +0000 (+0000) Subject: [BDCE] Regenerate test checks; NFC X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=0e954606e560bedcbd06429d52e053b56253c5c7;p=llvm [BDCE] Regenerate test checks; NFC git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@350190 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/Transforms/BDCE/invalidate-assumptions.ll b/test/Transforms/BDCE/invalidate-assumptions.ll index d165d74be86..d81267b4793 100644 --- a/test/Transforms/BDCE/invalidate-assumptions.ll +++ b/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