This is an archive of the discontinued LLVM Phabricator instance.

Differential D142299

[InstSimplify] Add tests for `icmp eq/ne/ugt/ult X, 0` where `X` is known to be zero; NFC
AbandonedPublic

Authored by goldstein.w.n on Jan 21 2023, 9:56 PM.

Details

Reviewers
nikic
spatel
majnemer

Diff Detail

Unit TestsFailed

TimeTest
60,090 msx64 debian > AddressSanitizer-x86_64-linux.TestCases/Posix::stack-use-after-return.cpp

Revision Contents

PathSize
llvm/
test/
Transforms/
InstSimplify/
61 lines

Diff 491128

llvm/test/Transforms/InstSimplify/icmp-constant.ll

Show First 20 Lines • Show All 1,134 Lines • ▼ Show 20 Lines
define <2 x i1> @heterogeneous_constvector(<2 x i8> %x) { define <2 x i1> @heterogeneous_constvector(<2 x i8> %x) {
; CHECK-LABEL: @heterogeneous_constvector( ; CHECK-LABEL: @heterogeneous_constvector(
; CHECK-NEXT: ret <2 x i1> zeroinitializer ; CHECK-NEXT: ret <2 x i1> zeroinitializer
; ;
%c = icmp ult <2 x i8> %x, <i8 undef, i8 poison> %c = icmp ult <2 x i8> %x, <i8 undef, i8 poison>
ret <2 x i1> %c ret <2 x i1> %c
} }
define i1 @cmp_ne_0_is_false(i32 %x) {
; CHECK-LABEL: @cmp_ne_0_is_false(
; CHECK-NEXT: [[Y:%.*]] = add i32 [[X:%.*]], 1
; CHECK-NEXT: [[Z:%.*]] = and i32 [[X]], [[Y]]
; CHECK-NEXT: [[B:%.*]] = and i32 [[Z]], 1
; CHECK-NEXT: [[E:%.*]] = icmp ne i32 [[B]], 0
; CHECK-NEXT: ret i1 [[E]]
;
%y = add i32 %x, 1
%z = and i32 %x, %y
%b = and i32 %z, 1
%e = icmp ne i32 %b, 0
ret i1 %e
}
define i1 @cmp_eq_0_is_true(i32 %x) {
; CHECK-LABEL: @cmp_eq_0_is_true(
; CHECK-NEXT: [[Y:%.*]] = add i32 [[X:%.*]], 1
; CHECK-NEXT: [[Z:%.*]] = and i32 [[X]], [[Y]]
; CHECK-NEXT: [[B:%.*]] = and i32 [[Z]], 1
; CHECK-NEXT: [[E:%.*]] = icmp eq i32 [[B]], 0
; CHECK-NEXT: ret i1 [[E]]
;
%y = add i32 %x, 1
%z = and i32 %x, %y
%b = and i32 %z, 1
%e = icmp eq i32 %b, 0
ret i1 %e
}
define <2 x i1> @cmp_ule_0_is_true(<2 x i32> %x) {
; CHECK-LABEL: @cmp_ule_0_is_true(
; CHECK-NEXT: [[Y:%.*]] = add <2 x i32> [[X:%.*]], <i32 1, i32 1>
; CHECK-NEXT: [[Z:%.*]] = and <2 x i32> [[X]], [[Y]]
; CHECK-NEXT: [[B:%.*]] = and <2 x i32> [[Z]], <i32 1, i32 1>
; CHECK-NEXT: [[E:%.*]] = icmp ule <2 x i32> [[B]], zeroinitializer
; CHECK-NEXT: ret <2 x i1> [[E]]
;
%y = add <2 x i32> %x, <i32 1, i32 1>
%z = and <2 x i32> %x, %y
%b = and <2 x i32> %z, <i32 1, i32 1>
%e = icmp ule <2 x i32> %b, <i32 0, i32 0>
ret <2 x i1> %e
}
define <2 x i1> @cmp_ugt_0_is_false(<2 x i32> %x) {
; CHECK-LABEL: @cmp_ugt_0_is_false(
; CHECK-NEXT: [[Y:%.*]] = add <2 x i32> [[X:%.*]], <i32 1, i32 1>
; CHECK-NEXT: [[Z:%.*]] = and <2 x i32> [[X]], [[Y]]
; CHECK-NEXT: [[B:%.*]] = and <2 x i32> [[Z]], <i32 1, i32 1>
; CHECK-NEXT: [[E:%.*]] = icmp ugt <2 x i32> [[B]], zeroinitializer
; CHECK-NEXT: ret <2 x i1> [[E]]
;
%y = add <2 x i32> %x, <i32 1, i32 1>
%z = and <2 x i32> %x, %y
%b = and <2 x i32> %z, <i32 1, i32 1>
%e = icmp ugt <2 x i32> %b, <i32 0, i32 0>
ret <2 x i1> %e
}