RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 11:13:28 +01:00
Code Issues Projects Releases Wiki Activity
168468a96e
llvm-mirror/test/Transforms/EarlyCSE/and_or.ll
Juneyoung Lee fb0fe9dd48 [EarlyCSE] Use m_LogicalAnd/Or matchers to handle branch conditions 
EarlyCSE's handleBranchCondition says:

```
// If the condition is AND operation, we can propagate its operands into the
// true branch. If it is OR operation, we can propagate them into the false
// branch.
```

This holds for the corresponding select patterns as well.

This is a part of an ongoing work for disabling buggy select->and/or transformations.
See llvm.org/pr48353 and D93065 for more context

Proof:
and: https://alive2.llvm.org/ce/z/MQWodU
or: https://alive2.llvm.org/ce/z/9GLbB_

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D93842
2020-12-28 05:36:26 +09:00

261 lines
7.7 KiB
LLVM
Raw Blame History

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -early-cse -earlycse-debug-hash -S < %s | FileCheck %s
; RUN: opt -basic-aa -early-cse-memssa -S < %s | FileCheck %s
define i32 @test_01(i32 %a, i32 %b) {
; CHECK-LABEL: @test_01(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[COND:%.*]] = icmp slt i32 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: br i1 [[COND]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]]
; CHECK: if.true:
; CHECK-NEXT: ret i32 [[A]]
; CHECK: if.false:
; CHECK-NEXT: ret i32 [[B]]
;
entry:
%cond = icmp slt i32 %a, %b
br i1 %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_02(i32 %a, i32 %b, i1 %c) {
; CHECK-LABEL: @test_02(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[COND:%.*]] = icmp slt i32 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: [[AND_COND:%.*]] = and i1 [[COND]], [[C:%.*]]
; CHECK-NEXT: br i1 [[AND_COND]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]]
; CHECK: if.true:
; CHECK-NEXT: ret i32 [[A]]
; 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 = and i1 %cond, %c
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_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: ret i32 [[A]]
; 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:
; CHECK-NEXT: [[COND:%.*]] = icmp slt i32 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: [[OR_COND:%.*]] = or i1 [[COND]], [[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: ret i32 [[B]]
;
entry:
%cond = icmp slt i32 %a, %b
%or.cond = or i1 %cond, %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_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: ret i32 [[B]]
;
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:
; CHECK-NEXT: [[COND:%.*]] = icmp slt i32 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: [[AND_COND1:%.*]] = and i1 [[COND]], [[C1:%.*]]
; CHECK-NEXT: [[AND_COND2:%.*]] = and i1 [[AND_COND1]], [[C2:%.*]]
; CHECK-NEXT: br i1 [[AND_COND2]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]]
; CHECK: if.true:
; CHECK-NEXT: ret i32 [[A]]
; 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 = and i1 %cond, %c1
%and.cond2 = and i1 %and.cond1, %c2
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_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: ret i32 [[A]]
; 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:
; CHECK-NEXT: [[COND:%.*]] = icmp slt i32 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: [[OR_COND1:%.*]] = or i1 [[COND]], [[C1:%.*]]
; CHECK-NEXT: [[OR_COND2:%.*]] = or i1 [[OR_COND1]], [[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: ret i32 [[B]]
;
entry:
%cond = icmp slt i32 %a, %b
%or.cond1 = or i1 %cond, %c1
%or.cond2 = or i1 %or.cond1, %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
}
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: ret i32 [[B]]
;
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
}
Reference in New Issue View Git Blame Copy Permalink