From 6de7c80483ee90a5feaf2e6cd68a6a7c5a9e5c67 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Fri, 20 Jan 2023 13:10:56 -0500 Subject: [PATCH] [InstCombine] regenerate test checks; NFC We have better value name propagation now. Eliminates some noise in case something in this set of tests has a real change. --- .../Transforms/InstCombine/sign-test-and-or.ll | 76 +++++++++++----------- 1 file changed, 38 insertions(+), 38 deletions(-) diff --git a/llvm/test/Transforms/InstCombine/sign-test-and-or.ll b/llvm/test/Transforms/InstCombine/sign-test-and-or.ll index fa0cc8e..6536362 100644 --- a/llvm/test/Transforms/InstCombine/sign-test-and-or.ll +++ b/llvm/test/Transforms/InstCombine/sign-test-and-or.ll @@ -6,8 +6,8 @@ declare void @foo() define i1 @test1(i32 %a, i32 %b) { ; CHECK-LABEL: @test1( ; CHECK-NEXT: [[TMP1:%.*]] = or i32 [[A:%.*]], [[B:%.*]] -; CHECK-NEXT: [[TMP2:%.*]] = icmp slt i32 [[TMP1]], 0 -; CHECK-NEXT: ret i1 [[TMP2]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp slt i32 [[TMP1]], 0 +; CHECK-NEXT: ret i1 [[OR_COND]] ; %1 = icmp slt i32 %a, 0 %2 = icmp slt i32 %b, 0 @@ -18,8 +18,8 @@ define i1 @test1(i32 %a, i32 %b) { define <2 x i1> @test1_splat(<2 x i32> %a, <2 x i32> %b) { ; CHECK-LABEL: @test1_splat( ; CHECK-NEXT: [[TMP1:%.*]] = or <2 x i32> [[A:%.*]], [[B:%.*]] -; CHECK-NEXT: [[TMP2:%.*]] = icmp slt <2 x i32> [[TMP1]], zeroinitializer -; CHECK-NEXT: ret <2 x i1> [[TMP2]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp slt <2 x i32> [[TMP1]], zeroinitializer +; CHECK-NEXT: ret <2 x i1> [[OR_COND]] ; %1 = icmp slt <2 x i32> %a, zeroinitializer %2 = icmp slt <2 x i32> %b, zeroinitializer @@ -43,8 +43,8 @@ define i1 @test1_logical(i32 %a, i32 %b) { define i1 @test2(i32 %a, i32 %b) { ; CHECK-LABEL: @test2( ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[A:%.*]], [[B:%.*]] -; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i32 [[TMP1]], -1 -; CHECK-NEXT: ret i1 [[TMP2]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp sgt i32 [[TMP1]], -1 +; CHECK-NEXT: ret i1 [[OR_COND]] ; %1 = icmp sgt i32 %a, -1 %2 = icmp sgt i32 %b, -1 @@ -68,8 +68,8 @@ define i1 @test2_logical(i32 %a, i32 %b) { define i1 @test3(i32 %a, i32 %b) { ; CHECK-LABEL: @test3( ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[A:%.*]], [[B:%.*]] -; CHECK-NEXT: [[TMP2:%.*]] = icmp slt i32 [[TMP1]], 0 -; CHECK-NEXT: ret i1 [[TMP2]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp slt i32 [[TMP1]], 0 +; CHECK-NEXT: ret i1 [[OR_COND]] ; %1 = icmp slt i32 %a, 0 %2 = icmp slt i32 %b, 0 @@ -93,8 +93,8 @@ define i1 @test3_logical(i32 %a, i32 %b) { define i1 @test4(i32 %a, i32 %b) { ; CHECK-LABEL: @test4( ; CHECK-NEXT: [[TMP1:%.*]] = or i32 [[A:%.*]], [[B:%.*]] -; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i32 [[TMP1]], -1 -; CHECK-NEXT: ret i1 [[TMP2]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp sgt i32 [[TMP1]], -1 +; CHECK-NEXT: ret i1 [[OR_COND]] ; %1 = icmp sgt i32 %a, -1 %2 = icmp sgt i32 %b, -1 @@ -118,8 +118,8 @@ define i1 @test4_logical(i32 %a, i32 %b) { define void @test5(i32 %a) { ; CHECK-LABEL: @test5( ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[A:%.*]], -2013265920 -; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP1]], 0 -; CHECK-NEXT: br i1 [[TMP2]], label [[IF_THEN:%.*]], label [[IF_END:%.*]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp eq i32 [[TMP1]], 0 +; CHECK-NEXT: br i1 [[OR_COND]], label [[IF_THEN:%.*]], label [[IF_END:%.*]] ; CHECK: if.then: ; CHECK-NEXT: tail call void @foo() #[[ATTR0:[0-9]+]] ; CHECK-NEXT: ret void @@ -144,8 +144,8 @@ if.end: define void @test5_logical(i32 %a) { ; CHECK-LABEL: @test5_logical( ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[A:%.*]], -2013265920 -; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP1]], 0 -; CHECK-NEXT: br i1 [[TMP2]], label [[IF_THEN:%.*]], label [[IF_END:%.*]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp eq i32 [[TMP1]], 0 +; CHECK-NEXT: br i1 [[OR_COND]], label [[IF_THEN:%.*]], label [[IF_END:%.*]] ; CHECK: if.then: ; CHECK-NEXT: tail call void @foo() #[[ATTR0]] ; CHECK-NEXT: ret void @@ -170,8 +170,8 @@ if.end: define void @test6(i32 %a) { ; CHECK-LABEL: @test6( ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[A:%.*]], -2013265920 -; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP1]], 0 -; CHECK-NEXT: br i1 [[TMP2]], label [[IF_THEN:%.*]], label [[IF_END:%.*]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp eq i32 [[TMP1]], 0 +; CHECK-NEXT: br i1 [[OR_COND]], label [[IF_THEN:%.*]], label [[IF_END:%.*]] ; CHECK: if.then: ; CHECK-NEXT: tail call void @foo() #[[ATTR0]] ; CHECK-NEXT: ret void @@ -196,8 +196,8 @@ if.end: define void @test6_logical(i32 %a) { ; CHECK-LABEL: @test6_logical( ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[A:%.*]], -2013265920 -; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP1]], 0 -; CHECK-NEXT: br i1 [[TMP2]], label [[IF_THEN:%.*]], label [[IF_END:%.*]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp eq i32 [[TMP1]], 0 +; CHECK-NEXT: br i1 [[OR_COND]], label [[IF_THEN:%.*]], label [[IF_END:%.*]] ; CHECK: if.then: ; CHECK-NEXT: tail call void @foo() #[[ATTR0]] ; CHECK-NEXT: ret void @@ -222,8 +222,8 @@ if.end: define void @test7(i32 %a) { ; CHECK-LABEL: @test7( ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[A:%.*]], -2013265920 -; CHECK-NEXT: [[DOTNOT:%.*]] = icmp eq i32 [[TMP1]], 0 -; CHECK-NEXT: br i1 [[DOTNOT]], label [[IF_END:%.*]], label [[IF_THEN:%.*]] +; CHECK-NEXT: [[OR_COND_NOT:%.*]] = icmp eq i32 [[TMP1]], 0 +; CHECK-NEXT: br i1 [[OR_COND_NOT]], label [[IF_END:%.*]], label [[IF_THEN:%.*]] ; CHECK: if.then: ; CHECK-NEXT: tail call void @foo() #[[ATTR0]] ; CHECK-NEXT: ret void @@ -248,8 +248,8 @@ if.end: define void @test7_logical(i32 %a) { ; CHECK-LABEL: @test7_logical( ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[A:%.*]], -2013265920 -; CHECK-NEXT: [[DOTNOT:%.*]] = icmp eq i32 [[TMP1]], 0 -; CHECK-NEXT: br i1 [[DOTNOT]], label [[IF_END:%.*]], label [[IF_THEN:%.*]] +; CHECK-NEXT: [[OR_COND_NOT:%.*]] = icmp eq i32 [[TMP1]], 0 +; CHECK-NEXT: br i1 [[OR_COND_NOT]], label [[IF_END:%.*]], label [[IF_THEN:%.*]] ; CHECK: if.then: ; CHECK-NEXT: tail call void @foo() #[[ATTR0]] ; CHECK-NEXT: ret void @@ -274,8 +274,8 @@ if.end: define void @test8(i32 %a) { ; CHECK-LABEL: @test8( ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[A:%.*]], -2013265920 -; CHECK-NEXT: [[DOTNOT:%.*]] = icmp eq i32 [[TMP1]], 0 -; CHECK-NEXT: br i1 [[DOTNOT]], label [[IF_END:%.*]], label [[IF_THEN:%.*]] +; CHECK-NEXT: [[OR_COND_NOT:%.*]] = icmp eq i32 [[TMP1]], 0 +; CHECK-NEXT: br i1 [[OR_COND_NOT]], label [[IF_END:%.*]], label [[IF_THEN:%.*]] ; CHECK: if.then: ; CHECK-NEXT: tail call void @foo() ; CHECK-NEXT: ret void @@ -300,8 +300,8 @@ if.end: define void @test8_logical(i32 %a) { ; CHECK-LABEL: @test8_logical( ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[A:%.*]], -2013265920 -; CHECK-NEXT: [[DOTNOT:%.*]] = icmp eq i32 [[TMP1]], 0 -; CHECK-NEXT: br i1 [[DOTNOT]], label [[IF_END:%.*]], label [[IF_THEN:%.*]] +; CHECK-NEXT: [[OR_COND_NOT:%.*]] = icmp eq i32 [[TMP1]], 0 +; CHECK-NEXT: br i1 [[OR_COND_NOT]], label [[IF_END:%.*]], label [[IF_THEN:%.*]] ; CHECK: if.then: ; CHECK-NEXT: tail call void @foo() ; CHECK-NEXT: ret void @@ -326,8 +326,8 @@ if.end: define i1 @test9(i32 %a) { ; CHECK-LABEL: @test9( ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[A:%.*]], -1073741824 -; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP1]], 1073741824 -; CHECK-NEXT: ret i1 [[TMP2]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp eq i32 [[TMP1]], 1073741824 +; CHECK-NEXT: ret i1 [[OR_COND]] ; %1 = and i32 %a, 1073741824 %2 = icmp ne i32 %1, 0 @@ -339,8 +339,8 @@ define i1 @test9(i32 %a) { define i1 @test9_logical(i32 %a) { ; CHECK-LABEL: @test9_logical( ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[A:%.*]], -1073741824 -; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP1]], 1073741824 -; CHECK-NEXT: ret i1 [[TMP2]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp eq i32 [[TMP1]], 1073741824 +; CHECK-NEXT: ret i1 [[OR_COND]] ; %1 = and i32 %a, 1073741824 %2 = icmp ne i32 %1, 0 @@ -351,8 +351,8 @@ define i1 @test9_logical(i32 %a) { define i1 @test10(i32 %a) { ; CHECK-LABEL: @test10( -; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[A:%.*]], 2 -; CHECK-NEXT: ret i1 [[TMP1]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp ult i32 [[A:%.*]], 2 +; CHECK-NEXT: ret i1 [[OR_COND]] ; %1 = and i32 %a, 2 %2 = icmp eq i32 %1, 0 @@ -363,8 +363,8 @@ define i1 @test10(i32 %a) { define i1 @test10_logical(i32 %a) { ; CHECK-LABEL: @test10_logical( -; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[A:%.*]], 2 -; CHECK-NEXT: ret i1 [[TMP1]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp ult i32 [[A:%.*]], 2 +; CHECK-NEXT: ret i1 [[OR_COND]] ; %1 = and i32 %a, 2 %2 = icmp eq i32 %1, 0 @@ -375,8 +375,8 @@ define i1 @test10_logical(i32 %a) { define i1 @test11(i32 %a) { ; CHECK-LABEL: @test11( -; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 [[A:%.*]], 1 -; CHECK-NEXT: ret i1 [[TMP1]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp ugt i32 [[A:%.*]], 1 +; CHECK-NEXT: ret i1 [[OR_COND]] ; %1 = and i32 %a, 2 %2 = icmp ne i32 %1, 0 @@ -387,8 +387,8 @@ define i1 @test11(i32 %a) { define i1 @test11_logical(i32 %a) { ; CHECK-LABEL: @test11_logical( -; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 [[A:%.*]], 1 -; CHECK-NEXT: ret i1 [[TMP1]] +; CHECK-NEXT: [[OR_COND:%.*]] = icmp ugt i32 [[A:%.*]], 1 +; CHECK-NEXT: ret i1 [[OR_COND]] ; %1 = and i32 %a, 2 %2 = icmp ne i32 %1, 0 -- 2.7.4