mirror of
https://github.com/RPCSX/llvm.git
synced 2024-11-24 20:29:53 +00:00
0ede3a2ae5
It is impossible for (x & INT_MAX) == 0 && x == INT_MAX to ever be true. While this sort of reasoning should normally live in InstSimplify, the machinery that derives this result is not trivial to split out. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@222230 91177308-0d34-0410-b5e6-96231b3b80d8
173 lines
3.6 KiB
LLVM
173 lines
3.6 KiB
LLVM
; RUN: opt -instcombine -S -o - %s | FileCheck %s
|
|
|
|
define i1 @masked_and_notallzeroes(i32 %A) {
|
|
; CHECK-LABEL: @masked_and_notallzeroes
|
|
; CHECK: [[MASK:%.*]] = and i32 %A, 7
|
|
; CHECK: icmp ne i32 [[MASK]], 0
|
|
; CHECK-NOT: and i32 %A, 39
|
|
; CHECK: ret i1
|
|
|
|
%mask1 = and i32 %A, 7
|
|
%tst1 = icmp ne i32 %mask1, 0
|
|
|
|
%mask2 = and i32 %A, 39
|
|
%tst2 = icmp ne i32 %mask2, 0
|
|
|
|
%res = and i1 %tst1, %tst2
|
|
ret i1 %res
|
|
}
|
|
|
|
define i1 @masked_or_allzeroes(i32 %A) {
|
|
; CHECK-LABEL: @masked_or_allzeroes
|
|
; CHECK: [[MASK:%.*]] = and i32 %A, 7
|
|
; CHECK: icmp eq i32 [[MASK]], 0
|
|
; CHECK-NOT: and i32 %A, 39
|
|
; CHECK: ret i1
|
|
|
|
%mask1 = and i32 %A, 7
|
|
%tst1 = icmp eq i32 %mask1, 0
|
|
|
|
%mask2 = and i32 %A, 39
|
|
%tst2 = icmp eq i32 %mask2, 0
|
|
|
|
%res = or i1 %tst1, %tst2
|
|
ret i1 %res
|
|
}
|
|
|
|
define i1 @masked_and_notallones(i32 %A) {
|
|
; CHECK-LABEL: @masked_and_notallones
|
|
; CHECK: [[MASK:%.*]] = and i32 %A, 7
|
|
; CHECK: icmp ne i32 [[MASK]], 7
|
|
; CHECK-NOT: and i32 %A, 39
|
|
; CHECK: ret i1
|
|
|
|
%mask1 = and i32 %A, 7
|
|
%tst1 = icmp ne i32 %mask1, 7
|
|
|
|
%mask2 = and i32 %A, 39
|
|
%tst2 = icmp ne i32 %mask2, 39
|
|
|
|
%res = and i1 %tst1, %tst2
|
|
ret i1 %res
|
|
}
|
|
|
|
define i1 @masked_or_allones(i32 %A) {
|
|
; CHECK-LABEL: @masked_or_allones
|
|
; CHECK: [[MASK:%.*]] = and i32 %A, 7
|
|
; CHECK: icmp eq i32 [[MASK]], 7
|
|
; CHECK-NOT: and i32 %A, 39
|
|
; CHECK: ret i1
|
|
|
|
%mask1 = and i32 %A, 7
|
|
%tst1 = icmp eq i32 %mask1, 7
|
|
|
|
%mask2 = and i32 %A, 39
|
|
%tst2 = icmp eq i32 %mask2, 39
|
|
|
|
%res = or i1 %tst1, %tst2
|
|
ret i1 %res
|
|
}
|
|
|
|
define i1 @masked_and_notA(i32 %A) {
|
|
; CHECK-LABEL: @masked_and_notA
|
|
; CHECK: [[MASK:%.*]] = and i32 %A, 39
|
|
; CHECK: icmp ne i32 [[MASK]], %A
|
|
; CHECK-NOT: and i32 %A, 7
|
|
; CHECK: ret i1
|
|
|
|
%mask1 = and i32 %A, 7
|
|
%tst1 = icmp ne i32 %mask1, %A
|
|
|
|
%mask2 = and i32 %A, 39
|
|
%tst2 = icmp ne i32 %mask2, %A
|
|
|
|
%res = and i1 %tst1, %tst2
|
|
ret i1 %res
|
|
}
|
|
|
|
define i1 @masked_or_A(i32 %A) {
|
|
; CHECK-LABEL: @masked_or_A
|
|
; CHECK: [[MASK:%.*]] = and i32 %A, 39
|
|
; CHECK: icmp eq i32 [[MASK]], %A
|
|
; CHECK-NOT: and i32 %A, 7
|
|
; CHECK: ret i1
|
|
|
|
%mask1 = and i32 %A, 7
|
|
%tst1 = icmp eq i32 %mask1, %A
|
|
|
|
%mask2 = and i32 %A, 39
|
|
%tst2 = icmp eq i32 %mask2, %A
|
|
|
|
%res = or i1 %tst1, %tst2
|
|
ret i1 %res
|
|
}
|
|
|
|
define i1 @masked_or_allzeroes_notoptimised(i32 %A) {
|
|
; CHECK-LABEL: @masked_or_allzeroes_notoptimised
|
|
; CHECK: [[MASK:%.*]] = and i32 %A, 15
|
|
; CHECK: icmp eq i32 [[MASK]], 0
|
|
; CHECK: [[MASK:%.*]] = and i32 %A, 39
|
|
; CHECK: icmp eq i32 [[MASK]], 0
|
|
; CHECK: ret i1
|
|
|
|
%mask1 = and i32 %A, 15
|
|
%tst1 = icmp eq i32 %mask1, 0
|
|
|
|
%mask2 = and i32 %A, 39
|
|
%tst2 = icmp eq i32 %mask2, 0
|
|
|
|
%res = or i1 %tst1, %tst2
|
|
ret i1 %res
|
|
}
|
|
|
|
define i1 @nomask_lhs(i32 %in) {
|
|
; CHECK-LABEL: @nomask_lhs
|
|
; CHECK: [[MASK:%.*]] = and i32 %in, 1
|
|
; CHECK: icmp eq i32 [[MASK]], 0
|
|
; CHECK-NOT: icmp
|
|
; CHECK: ret i1
|
|
%tst1 = icmp eq i32 %in, 0
|
|
|
|
%masked = and i32 %in, 1
|
|
%tst2 = icmp eq i32 %masked, 0
|
|
|
|
%val = or i1 %tst1, %tst2
|
|
ret i1 %val
|
|
}
|
|
|
|
|
|
define i1 @nomask_rhs(i32 %in) {
|
|
; CHECK-LABEL: @nomask_rhs
|
|
; CHECK: [[MASK:%.*]] = and i32 %in, 1
|
|
; CHECK: icmp eq i32 [[MASK]], 0
|
|
; CHECK-NOT: icmp
|
|
; CHECK: ret i1
|
|
%masked = and i32 %in, 1
|
|
%tst1 = icmp eq i32 %masked, 0
|
|
|
|
%tst2 = icmp eq i32 %in, 0
|
|
|
|
%val = or i1 %tst1, %tst2
|
|
ret i1 %val
|
|
}
|
|
|
|
define i1 @fold_mask_cmps_to_false(i32 %x) {
|
|
; CHECK-LABEL: @fold_mask_cmps_to_false
|
|
; CHECK: ret i1 false
|
|
%1 = and i32 %x, 2147483647
|
|
%2 = icmp eq i32 %1, 0
|
|
%3 = icmp eq i32 %x, 2147483647
|
|
%4 = and i1 %3, %2
|
|
ret i1 %4
|
|
}
|
|
|
|
define i1 @fold_mask_cmps_to_true(i32 %x) {
|
|
; CHECK-LABEL: @fold_mask_cmps_to_true
|
|
; CHECK: ret i1 true
|
|
%1 = and i32 %x, 2147483647
|
|
%2 = icmp ne i32 %1, 0
|
|
%3 = icmp ne i32 %x, 2147483647
|
|
%4 = or i1 %3, %2
|
|
ret i1 %4
|
|
}
|