diff options
| author | Bill Wendling <isanbard@gmail.com> | 2013-02-16 23:41:36 +0000 |
|---|---|---|
| committer | Bill Wendling <isanbard@gmail.com> | 2013-02-16 23:41:36 +0000 |
| commit | cc54889cd58322b8766525f43cc1f7cb52e4692e (patch) | |
| tree | 5ba9b3526a38ff6196352d2f5b19a65ccc8de4cc /test/Transforms/InstCombine/logical-select.ll | |
| parent | 5be5fa468acc4948b8f4d7f5e945d77a53e40bb8 (diff) | |
| download | llvm-cc54889cd58322b8766525f43cc1f7cb52e4692e.tar.gz llvm-cc54889cd58322b8766525f43cc1f7cb52e4692e.tar.bz2 llvm-cc54889cd58322b8766525f43cc1f7cb52e4692e.tar.xz | |
The transform is:
(or (bool?A:B),(bool?C:D)) --> (bool?(or A,C):(or B,D))
By the time the OR is visited, both the SELECTs have been visited and not
optimized and the OR itself hasn't been transformed so we do this transform in
the hopes that the new ORs will be optimized.
The transform is explicitly disabled for vector-selects until "codegen matures
to handle them better".
Patch by Muhammad Tauqir!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@175380 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstCombine/logical-select.ll')
| -rw-r--r-- | test/Transforms/InstCombine/logical-select.ll | 30 |
1 files changed, 10 insertions, 20 deletions
diff --git a/test/Transforms/InstCombine/logical-select.ll b/test/Transforms/InstCombine/logical-select.ll index 07a326b47f..f8c0676845 100644 --- a/test/Transforms/InstCombine/logical-select.ll +++ b/test/Transforms/InstCombine/logical-select.ll @@ -10,10 +10,8 @@ define i32 @foo(i32 %a, i32 %b, i32 %c, i32 %d) nounwind { %j = or i32 %g, %i ret i32 %j ; CHECK: %e = icmp slt i32 %a, %b -; CHECK-NEXT: %g = select i1 %e, i32 %c, i32 0 -; CHECK-NEXT: %i = select i1 %e, i32 0, i32 %d -; CHECK-NEXT: %j = or i32 %g, %i -; CHECK-NEXT: ret i32 %j +; CHECK-NEXT: [[result:%.*]] = select i1 %e, i32 %c, i32 %d +; CHECK-NEXT: ret i32 [[result]] } define i32 @bar(i32 %a, i32 %b, i32 %c, i32 %d) nounwind { %e = icmp slt i32 %a, %b @@ -24,10 +22,8 @@ define i32 @bar(i32 %a, i32 %b, i32 %c, i32 %d) nounwind { %j = or i32 %i, %g ret i32 %j ; CHECK: %e = icmp slt i32 %a, %b -; CHECK-NEXT: %g = select i1 %e, i32 %c, i32 0 -; CHECK-NEXT: %i = select i1 %e, i32 0, i32 %d -; CHECK-NEXT: %j = or i32 %i, %g -; CHECK-NEXT: ret i32 %j +; CHECK-NEXT: [[result:%.*]] = select i1 %e, i32 %c, i32 %d +; CHECK-NEXT: ret i32 [[result]] } define i32 @goo(i32 %a, i32 %b, i32 %c, i32 %d) nounwind { @@ -40,10 +36,8 @@ entry: %3 = or i32 %1, %2 ret i32 %3 ; CHECK: %0 = icmp slt i32 %a, %b -; CHECK-NEXT: %1 = select i1 %0, i32 %c, i32 0 -; CHECK-NEXT: %2 = select i1 %0, i32 0, i32 %d -; CHECK-NEXT: %3 = or i32 %1, %2 -; CHECK-NEXT: ret i32 %3 +; CHECK-NEXT: [[result:%.*]] = select i1 %0, i32 %c, i32 %d +; CHECK-NEXT: ret i32 [[result]] } define i32 @poo(i32 %a, i32 %b, i32 %c, i32 %d) nounwind { entry: @@ -55,10 +49,8 @@ entry: %3 = or i32 %1, %2 ret i32 %3 ; CHECK: %0 = icmp slt i32 %a, %b -; CHECK-NEXT: %1 = select i1 %0, i32 %c, i32 0 -; CHECK-NEXT: %2 = select i1 %0, i32 0, i32 %d -; CHECK-NEXT: %3 = or i32 %1, %2 -; CHECK-NEXT: ret i32 %3 +; CHECK-NEXT: [[result:%.*]] = select i1 %0, i32 %c, i32 %d +; CHECK-NEXT: ret i32 [[result]] } define i32 @par(i32 %a, i32 %b, i32 %c, i32 %d) nounwind { @@ -71,8 +63,6 @@ entry: %3 = or i32 %1, %2 ret i32 %3 ; CHECK: %0 = icmp slt i32 %a, %b -; CHECK-NEXT: %1 = select i1 %0, i32 %c, i32 0 -; CHECK-NEXT: %2 = select i1 %0, i32 0, i32 %d -; CHECK-NEXT: %3 = or i32 %1, %2 -; CHECK-NEXT: ret i32 %3 +; CHECK-NEXT: [[result:%.*]] = select i1 %0, i32 %c, i32 %d +; CHECK-NEXT: ret i32 [[result]] } |