RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-31 16:02:52 +01:00
Code Issues Projects Releases Wiki Activity
ee0e14ab3f
llvm-mirror/test/Transforms/InstCombine/logical-select.ll

69 lines
1.9 KiB
LLVM
Raw Normal View History

fix logical-select to invoke filecheck right, and fix hte instcombine xform it is checking to actually pass. There is no need to match m_SelectCst<0, -1> since instcombine canonicalizes that into not(sext). Add matches for sext(not(x)) in addition to not(sext(x)). llvm-svn: 95420
2010-02-05 20:53:02 +01:00
; RUN: opt < %s -instcombine -S | FileCheck %s
(A & sext(C)) | (B & ~sext(C) -> C ? A : B llvm-svn: 58351
2008-10-28 23:38:57 +01:00
define i32 @foo(i32 %a, i32 %b, i32 %c, i32 %d) nounwind {
%e = icmp slt i32 %a, %b
%f = sext i1 %e to i32
%g = and i32 %c, %f
%h = xor i32 %f, -1
%i = and i32 %d, %h
%j = or i32 %g, %i
ret i32 %j
change the canonical form of "cond ? -1 : 0" to be "sext cond" instead of a select. This simplifies some instcombine code, matches the policy for zext (cond ? 1 : 0 -> zext), and allows us to generate better code for a testcase on ppc. llvm-svn: 94339
2010-01-24 01:09:49 +01:00
; CHECK: %e = icmp slt i32 %a, %b
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! llvm-svn: 175380
2013-02-17 00:41:36 +01:00
; CHECK-NEXT: [[result:%.*]] = select i1 %e, i32 %c, i32 %d
; CHECK-NEXT: ret i32 [[result]]
(A & sext(C)) | (B & ~sext(C) -> C ? A : B llvm-svn: 58351
2008-10-28 23:38:57 +01:00
}
define i32 @bar(i32 %a, i32 %b, i32 %c, i32 %d) nounwind {
%e = icmp slt i32 %a, %b
%f = sext i1 %e to i32
%g = and i32 %c, %f
%h = xor i32 %f, -1
%i = and i32 %d, %h
%j = or i32 %i, %g
ret i32 %j
change the canonical form of "cond ? -1 : 0" to be "sext cond" instead of a select. This simplifies some instcombine code, matches the policy for zext (cond ? 1 : 0 -> zext), and allows us to generate better code for a testcase on ppc. llvm-svn: 94339
2010-01-24 01:09:49 +01:00
; CHECK: %e = icmp slt i32 %a, %b
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! llvm-svn: 175380
2013-02-17 00:41:36 +01:00
; CHECK-NEXT: [[result:%.*]] = select i1 %e, i32 %c, i32 %d
; CHECK-NEXT: ret i32 [[result]]
(A & sext(C)) | (B & ~sext(C) -> C ? A : B llvm-svn: 58351
2008-10-28 23:38:57 +01:00
}
fix logical-select to invoke filecheck right, and fix hte instcombine xform it is checking to actually pass. There is no need to match m_SelectCst<0, -1> since instcombine canonicalizes that into not(sext). Add matches for sext(not(x)) in addition to not(sext(x)). llvm-svn: 95420
2010-02-05 20:53:02 +01:00
Canonicalize sext(i1) to i1?-1:0, and update various instcombine optimizations accordingly. llvm-svn: 58457
2008-10-30 21:40:10 +01:00
define i32 @goo(i32 %a, i32 %b, i32 %c, i32 %d) nounwind {
entry:
%0 = icmp slt i32 %a, %b
%iftmp.0.0 = select i1 %0, i32 -1, i32 0
%1 = and i32 %iftmp.0.0, %c
%not = xor i32 %iftmp.0.0, -1
%2 = and i32 %not, %d
%3 = or i32 %1, %2
ret i32 %3
change the canonical form of "cond ? -1 : 0" to be "sext cond" instead of a select. This simplifies some instcombine code, matches the policy for zext (cond ? 1 : 0 -> zext), and allows us to generate better code for a testcase on ppc. llvm-svn: 94339
2010-01-24 01:09:49 +01:00
; CHECK: %0 = icmp slt i32 %a, %b
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! llvm-svn: 175380
2013-02-17 00:41:36 +01:00
; CHECK-NEXT: [[result:%.*]] = select i1 %0, i32 %c, i32 %d
; CHECK-NEXT: ret i32 [[result]]
Canonicalize sext(i1) to i1?-1:0, and update various instcombine optimizations accordingly. llvm-svn: 58457
2008-10-30 21:40:10 +01:00
}
Handle the case where there is no "not". It is possible it got folded into the select. llvm-svn: 59389
2008-11-16 05:25:26 +01:00
define i32 @poo(i32 %a, i32 %b, i32 %c, i32 %d) nounwind {
entry:
%0 = icmp slt i32 %a, %b
%iftmp.0.0 = select i1 %0, i32 -1, i32 0
%1 = and i32 %iftmp.0.0, %c
%iftmp = select i1 %0, i32 0, i32 -1
%2 = and i32 %iftmp, %d
%3 = or i32 %1, %2
ret i32 %3
change the canonical form of "cond ? -1 : 0" to be "sext cond" instead of a select. This simplifies some instcombine code, matches the policy for zext (cond ? 1 : 0 -> zext), and allows us to generate better code for a testcase on ppc. llvm-svn: 94339
2010-01-24 01:09:49 +01:00
; CHECK: %0 = icmp slt i32 %a, %b
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! llvm-svn: 175380
2013-02-17 00:41:36 +01:00
; CHECK-NEXT: [[result:%.*]] = select i1 %0, i32 %c, i32 %d
; CHECK-NEXT: ret i32 [[result]]
Handle the case where there is no "not". It is possible it got folded into the select. llvm-svn: 59389
2008-11-16 05:25:26 +01:00
}
Canonicalize sext(i1) to i1?-1:0, and update various instcombine optimizations accordingly. llvm-svn: 58457
2008-10-30 21:40:10 +01:00
define i32 @par(i32 %a, i32 %b, i32 %c, i32 %d) nounwind {
entry:
%0 = icmp slt i32 %a, %b
%iftmp.1.0 = select i1 %0, i32 -1, i32 0
%1 = and i32 %iftmp.1.0, %c
%not = xor i32 %iftmp.1.0, -1
%2 = and i32 %not, %d
%3 = or i32 %1, %2
ret i32 %3
change the canonical form of "cond ? -1 : 0" to be "sext cond" instead of a select. This simplifies some instcombine code, matches the policy for zext (cond ? 1 : 0 -> zext), and allows us to generate better code for a testcase on ppc. llvm-svn: 94339
2010-01-24 01:09:49 +01:00
; CHECK: %0 = icmp slt i32 %a, %b
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! llvm-svn: 175380
2013-02-17 00:41:36 +01:00
; CHECK-NEXT: [[result:%.*]] = select i1 %0, i32 %c, i32 %d
; CHECK-NEXT: ret i32 [[result]]
Canonicalize sext(i1) to i1?-1:0, and update various instcombine optimizations accordingly. llvm-svn: 58457
2008-10-30 21:40:10 +01:00
}
Reference in New Issue Copy Permalink