This is an archive of the discontinued LLVM Phabricator instance.

Differential D147274

[InstCombine] Add tests for simplifying `(icmp ({z|s}ext X), C)` where `C` is vector; NFC
ClosedPublic

Authored by goldstein.w.n on Mar 30 2023, 2:29 PM.

Details

Reviewers
nikic
spatel
majnemer
Commits
rG0ac84ab1cb55: [InstSimplify] Add tests for simplifying `(icmp ({z|s}ext X), C)` where `C` is…

Diff Detail

Event Timeline

goldstein.w.n created this revision.Mar 30 2023, 2:29 PM
Herald added a project: Restricted Project. · View Herald TranscriptMar 30 2023, 2:29 PM
goldstein.w.n requested review of this revision.Mar 30 2023, 2:29 PM
Herald added a project: Restricted Project. · View Herald TranscriptMar 30 2023, 2:29 PM
Herald added a subscriber: llvm-commits. · View Herald Transcript
goldstein.w.n added a parent revision: D147275: [InstCombine] Extend simplifications for `(icmp ({z|s}ext X), C)` where `C` is vector.Mar 30 2023, 2:30 PM
goldstein.w.n added reviewers: nikic, spatel, majnemer.
Herald added a subscriber: StephenFan. · View Herald TranscriptMar 30 2023, 2:30 PM
Harbormaster completed remote builds in B222851: Diff 509820.Mar 30 2023, 4:35 PM
nikic accepted this revision.Apr 2 2023, 1:36 AM

LGTM

This revision is now accepted and ready to land.Apr 2 2023, 1:36 AM
This revision was landed with ongoing or failed builds.Apr 3 2023, 9:05 AM
Closed by commit rG0ac84ab1cb55: [InstSimplify] Add tests for simplifying `(icmp ({z|s}ext X), C)` where `C` is… (authored by goldstein.w.n). · Explain Why
This revision was automatically updated to reflect the committed changes.
goldstein.w.n added a commit: rG0ac84ab1cb55: [InstSimplify] Add tests for simplifying `(icmp ({z|s}ext X), C)` where `C` is….

Revision Contents

PathSize
llvm/
test/
Transforms/
InstSimplify/
200 lines

Diff 510525

llvm/test/Transforms/InstSimplify/vec-icmp-of-cast.ll

  • This file was added.
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
define <2 x i1> @icmp_eq_zext_is_false(<2 x i8> %x) {
; CHECK-LABEL: @icmp_eq_zext_is_false(
; CHECK-NEXT: [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i32> [[XEXT]], <i32 511, i32 1234>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = zext <2 x i8> %x to <2 x i32>
%cmp = icmp eq <2 x i32> %xext, <i32 511, i32 1234>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_ugt_zext_is_false(<2 x i8> %x) {
; CHECK-LABEL: @icmp_ugt_zext_is_false(
; CHECK-NEXT: [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp ugt <2 x i32> [[XEXT]], <i32 256, i32 1234>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = zext <2 x i8> %x to <2 x i32>
%cmp = icmp ugt <2 x i32> %xext, <i32 256, i32 1234>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_ugt_zext_todo_off_by1(<2 x i8> %x) {
; CHECK-LABEL: @icmp_ugt_zext_todo_off_by1(
; CHECK-NEXT: [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp ugt <2 x i32> [[XEXT]], <i32 1234, i32 255>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = zext <2 x i8> %x to <2 x i32>
%cmp = icmp ugt <2 x i32> %xext, <i32 1234, i32 255>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_uge_zext_is_false(<2 x i8> %x) {
; CHECK-LABEL: @icmp_uge_zext_is_false(
; CHECK-NEXT: [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp uge <2 x i32> [[XEXT]], <i32 256, i32 1234>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = zext <2 x i8> %x to <2 x i32>
%cmp = icmp uge <2 x i32> %xext, <i32 256, i32 1234>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_eq_zext_fail(<2 x i8> %x) {
; CHECK-LABEL: @icmp_eq_zext_fail(
; CHECK-NEXT: [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i32> [[XEXT]], <i32 511, i32 123>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = zext <2 x i8> %x to <2 x i32>
%cmp = icmp eq <2 x i32> %xext, <i32 511, i32 123>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_eq_zext_unused(<2 x i8> %x) {
; CHECK-LABEL: @icmp_eq_zext_unused(
; CHECK-NEXT: [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i32> [[XEXT]], <i32 254, i32 123>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = zext <2 x i8> %x to <2 x i32>
%cmp = icmp eq <2 x i32> %xext, <i32 254, i32 123>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_ne_zext_is_true(<2 x i8> %x) {
; CHECK-LABEL: @icmp_ne_zext_is_true(
; CHECK-NEXT: [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp ne <2 x i32> [[XEXT]], <i32 256, i32 1234>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = zext <2 x i8> %x to <2 x i32>
%cmp = icmp ne <2 x i32> %xext, <i32 256, i32 1234>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_ult_zext_is_true(<2 x i8> %x) {
; CHECK-LABEL: @icmp_ult_zext_is_true(
; CHECK-NEXT: [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp ult <2 x i32> [[XEXT]], <i32 256, i32 1234>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = zext <2 x i8> %x to <2 x i32>
%cmp = icmp ult <2 x i32> %xext, <i32 256, i32 1234>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_ule_zext_is_true(<2 x i8> %x) {
; CHECK-LABEL: @icmp_ule_zext_is_true(
; CHECK-NEXT: [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp ule <2 x i32> [[XEXT]], <i32 256, i32 -1>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = zext <2 x i8> %x to <2 x i32>
%cmp = icmp ule <2 x i32> %xext, <i32 256, i32 -1>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_ne_zext_fail(<2 x i8> %x) {
; CHECK-LABEL: @icmp_ne_zext_fail(
; CHECK-NEXT: [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp ne <2 x i32> [[XEXT]], <i32 256, i32 123>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = zext <2 x i8> %x to <2 x i32>
%cmp = icmp ne <2 x i32> %xext, <i32 256, i32 123>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_ne_zext_unused(<2 x i8> %x) {
; CHECK-LABEL: @icmp_ne_zext_unused(
; CHECK-NEXT: [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp ne <2 x i32> [[XEXT]], <i32 1, i32 123>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = zext <2 x i8> %x to <2 x i32>
%cmp = icmp ne <2 x i32> %xext, <i32 1, i32 123>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_sge_zext_is_false_true(<2 x i8> %x) {
; CHECK-LABEL: @icmp_sge_zext_is_false_true(
; CHECK-NEXT: [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp sge <2 x i32> [[XEXT]], <i32 257, i32 -450>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = zext <2 x i8> %x to <2 x i32>
%cmp = icmp sge <2 x i32> %xext, <i32 257, i32 -450>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_sle_zext_is_false_false(<2 x i8> %x) {
; CHECK-LABEL: @icmp_sle_zext_is_false_false(
; CHECK-NEXT: [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp sle <2 x i32> [[XEXT]], <i32 -256, i32 -450>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = zext <2 x i8> %x to <2 x i32>
%cmp = icmp sle <2 x i32> %xext, <i32 -256, i32 -450>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_eq_sext_is_false(<2 x i8> %x) {
; CHECK-LABEL: @icmp_eq_sext_is_false(
; CHECK-NEXT: [[XEXT:%.*]] = sext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i32> [[XEXT]], <i32 255, i32 129>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = sext <2 x i8> %x to <2 x i32>
%cmp = icmp eq <2 x i32> %xext, <i32 255, i32 129>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_eq_sext_fail(<2 x i8> %x) {
; CHECK-LABEL: @icmp_eq_sext_fail(
; CHECK-NEXT: [[XEXT:%.*]] = sext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i32> [[XEXT]], <i32 255, i32 -1>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = sext <2 x i8> %x to <2 x i32>
%cmp = icmp eq <2 x i32> %xext, <i32 255, i32 -1>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_ne_sext_is_true(<2 x i8> %x) {
; CHECK-LABEL: @icmp_ne_sext_is_true(
; CHECK-NEXT: [[XEXT:%.*]] = sext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp ne <2 x i32> [[XEXT]], <i32 199, i32 1234>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = sext <2 x i8> %x to <2 x i32>
%cmp = icmp ne <2 x i32> %xext, <i32 199, i32 1234>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_sgt_sext_is_true_false(<2 x i8> %x) {
; CHECK-LABEL: @icmp_sgt_sext_is_true_false(
; CHECK-NEXT: [[XEXT:%.*]] = sext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt <2 x i32> [[XEXT]], <i32 -250, i32 450>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = sext <2 x i8> %x to <2 x i32>
%cmp = icmp sgt <2 x i32> %xext, <i32 -250, i32 450>
ret <2 x i1> %cmp
}
define <2 x i1> @icmp_slt_sext_is_true_false(<2 x i8> %x) {
; CHECK-LABEL: @icmp_slt_sext_is_true_false(
; CHECK-NEXT: [[XEXT:%.*]] = sext <2 x i8> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[XEXT]], <i32 257, i32 -450>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%xext = sext <2 x i8> %x to <2 x i32>
%cmp = icmp slt <2 x i32> %xext, <i32 257, i32 -450>
ret <2 x i1> %cmp
}