mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-20 19:42:54 +02:00
cac4751d0b
(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
69 lines
1.9 KiB
LLVM
69 lines
1.9 KiB
LLVM
; RUN: opt < %s -instcombine -S | FileCheck %s
|
|
|
|
|
|
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
|
|
; CHECK: %e = icmp slt i32 %a, %b
|
|
; 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
|
|
%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
|
|
; CHECK: %e = icmp slt i32 %a, %b
|
|
; 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 {
|
|
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
|
|
; CHECK: %0 = icmp slt i32 %a, %b
|
|
; 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:
|
|
%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
|
|
; CHECK: %0 = icmp slt i32 %a, %b
|
|
; 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 {
|
|
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
|
|
; CHECK: %0 = icmp slt i32 %a, %b
|
|
; CHECK-NEXT: [[result:%.*]] = select i1 %0, i32 %c, i32 %d
|
|
; CHECK-NEXT: ret i32 [[result]]
|
|
}
|