Author: Juneyoung Lee Date: 2020-12-28T04:19:22+09:00 New Revision: 0060f1013453d4ecaac8b62fb54044285a16a379
URL: https://github.com/llvm/llvm-project/commit/0060f1013453d4ecaac8b62fb54044285a16a379 DIFF: https://github.com/llvm/llvm-project/commit/0060f1013453d4ecaac8b62fb54044285a16a379.diff LOG: [EarlyCSE] Add tests for select form of and/or (NFC) Added: Modified: llvm/test/Transforms/EarlyCSE/and_or.ll Removed: ################################################################################ diff --git a/llvm/test/Transforms/EarlyCSE/and_or.ll b/llvm/test/Transforms/EarlyCSE/and_or.ll index b70d0cea3f7f..4a63e28b5ffa 100644 --- a/llvm/test/Transforms/EarlyCSE/and_or.ll +++ b/llvm/test/Transforms/EarlyCSE/and_or.ll @@ -55,6 +55,35 @@ if.false: ret i32 %y } +define i32 @test_02_select(i32 %a, i32 %b, i1 %c) { +; CHECK-LABEL: @test_02_select( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[COND:%.*]] = icmp slt i32 [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[AND_COND:%.*]] = select i1 [[COND]], i1 [[C:%.*]], i1 false +; CHECK-NEXT: br i1 [[AND_COND]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]] +; CHECK: if.true: +; CHECK-NEXT: [[X:%.*]] = select i1 [[COND]], i32 [[A]], i32 [[B]] +; CHECK-NEXT: ret i32 [[X]] +; CHECK: if.false: +; CHECK-NEXT: [[Y:%.*]] = select i1 [[COND]], i32 [[A]], i32 [[B]] +; CHECK-NEXT: ret i32 [[Y]] +; +entry: + %cond = icmp slt i32 %a, %b + %and.cond = select i1 %cond, i1 %c, i1 false + br i1 %and.cond, label %if.true, label %if.false + +if.true: + %cond2 = icmp slt i32 %a, %b + %x = select i1 %cond2, i32 %a, i32 %b + ret i32 %x + +if.false: + %cond3 = icmp slt i32 %a, %b + %y = select i1 %cond3, i32 %a, i32 %b + ret i32 %y +} + define i32 @test_03(i32 %a, i32 %b, i1 %c) { ; CHECK-LABEL: @test_03( ; CHECK-NEXT: entry: @@ -83,6 +112,35 @@ if.false: ret i32 %y } +define i32 @test_03_select(i32 %a, i32 %b, i1 %c) { +; CHECK-LABEL: @test_03_select( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[COND:%.*]] = icmp slt i32 [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[OR_COND:%.*]] = select i1 [[COND]], i1 true, i1 [[C:%.*]] +; CHECK-NEXT: br i1 [[OR_COND]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]] +; CHECK: if.true: +; CHECK-NEXT: [[X:%.*]] = select i1 [[COND]], i32 [[A]], i32 [[B]] +; CHECK-NEXT: ret i32 [[X]] +; CHECK: if.false: +; CHECK-NEXT: [[Y:%.*]] = select i1 [[COND]], i32 [[A]], i32 [[B]] +; CHECK-NEXT: ret i32 [[Y]] +; +entry: + %cond = icmp slt i32 %a, %b + %or.cond = select i1 %cond, i1 true, i1 %c + br i1 %or.cond, label %if.true, label %if.false + +if.true: + %cond2 = icmp slt i32 %a, %b + %x = select i1 %cond2, i32 %a, i32 %b + ret i32 %x + +if.false: + %cond3 = icmp slt i32 %a, %b + %y = select i1 %cond3, i32 %a, i32 %b + ret i32 %y +} + define i32 @test_04(i32 %a, i32 %b, i1 %c1, i1 %c2) { ; CHECK-LABEL: @test_04( ; CHECK-NEXT: entry: @@ -113,6 +171,37 @@ if.false: ret i32 %y } +define i32 @test_04_select(i32 %a, i32 %b, i1 %c1, i1 %c2) { +; CHECK-LABEL: @test_04_select( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[COND:%.*]] = icmp slt i32 [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[AND_COND1:%.*]] = select i1 [[COND]], i1 [[C1:%.*]], i1 false +; CHECK-NEXT: [[AND_COND2:%.*]] = select i1 [[AND_COND1]], i1 [[C2:%.*]], i1 false +; CHECK-NEXT: br i1 [[AND_COND2]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]] +; CHECK: if.true: +; CHECK-NEXT: [[X:%.*]] = select i1 [[COND]], i32 [[A]], i32 [[B]] +; CHECK-NEXT: ret i32 [[X]] +; CHECK: if.false: +; CHECK-NEXT: [[Y:%.*]] = select i1 [[COND]], i32 [[A]], i32 [[B]] +; CHECK-NEXT: ret i32 [[Y]] +; +entry: + %cond = icmp slt i32 %a, %b + %and.cond1 = select i1 %cond, i1 %c1, i1 false + %and.cond2 = select i1 %and.cond1, i1 %c2, i1 false + br i1 %and.cond2, label %if.true, label %if.false + +if.true: + %cond2 = icmp slt i32 %a, %b + %x = select i1 %cond2, i32 %a, i32 %b + ret i32 %x + +if.false: + %cond3 = icmp slt i32 %a, %b + %y = select i1 %cond3, i32 %a, i32 %b + ret i32 %y +} + define i32 @test_05(i32 %a, i32 %b, i1 %c1, i1 %c2) { ; CHECK-LABEL: @test_05( ; CHECK-NEXT: entry: @@ -142,3 +231,34 @@ if.false: %y = select i1 %cond3, i32 %a, i32 %b ret i32 %y } + +define i32 @test_05_select(i32 %a, i32 %b, i1 %c1, i1 %c2) { +; CHECK-LABEL: @test_05_select( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[COND:%.*]] = icmp slt i32 [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[OR_COND1:%.*]] = select i1 [[COND]], i1 true, i1 [[C1:%.*]] +; CHECK-NEXT: [[OR_COND2:%.*]] = select i1 [[OR_COND1]], i1 true, i1 [[C2:%.*]] +; CHECK-NEXT: br i1 [[OR_COND2]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]] +; CHECK: if.true: +; CHECK-NEXT: [[X:%.*]] = select i1 [[COND]], i32 [[A]], i32 [[B]] +; CHECK-NEXT: ret i32 [[X]] +; CHECK: if.false: +; CHECK-NEXT: [[Y:%.*]] = select i1 [[COND]], i32 [[A]], i32 [[B]] +; CHECK-NEXT: ret i32 [[Y]] +; +entry: + %cond = icmp slt i32 %a, %b + %or.cond1 = select i1 %cond, i1 true, i1 %c1 + %or.cond2 = select i1 %or.cond1, i1 true, i1 %c2 + br i1 %or.cond2, label %if.true, label %if.false + +if.true: + %cond2 = icmp slt i32 %a, %b + %x = select i1 %cond2, i32 %a, i32 %b + ret i32 %x + +if.false: + %cond3 = icmp slt i32 %a, %b + %y = select i1 %cond3, i32 %a, i32 %b + ret i32 %y +} _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
