This is an archive of the discontinued LLVM Phabricator instance.

Differential D143013

[InstCombine] Add tests for combining (urem/srem (mul/shl X, Y), (mul/shl X, Z)); NFC
ClosedPublic

Authored by goldstein.w.n on Jan 31 2023, 1:57 PM.

Details

Reviewers
nikic
spatel
MattDevereau
sdesmalen
Commits
rG994cd986f1a3: [InstCombine] Add tests for combining (urem/srem (mul/shl X, Y), (mul/shl X…

Diff Detail

Event Timeline

goldstein.w.n created this revision.Jan 31 2023, 1:57 PM
Herald added a project: Restricted Project. · View Herald TranscriptJan 31 2023, 1:57 PM
goldstein.w.n requested review of this revision.Jan 31 2023, 1:57 PM
Herald added a project: Restricted Project. · View Herald TranscriptJan 31 2023, 1:57 PM
Herald added a subscriber: llvm-commits. · View Herald Transcript
goldstein.w.n added a child revision: D143014: Add constant combines for `(urem/srem (mul X, Y), (mul X, Z))`.Jan 31 2023, 1:57 PM
Harbormaster completed remote builds in B211067: Diff 493727.Jan 31 2023, 2:55 PM
goldstein.w.n added reviewers: nikic, spatel, MattDevereau, sdesmalen.Feb 1 2023, 9:33 AM
Herald added a subscriber: StephenFan. · View Herald TranscriptFeb 1 2023, 9:33 AM
goldstein.w.n updated this revision to Diff 494432.Feb 2 2023, 2:32 PM

Rebase

Harbormaster completed remote builds in B211581: Diff 494432.Feb 2 2023, 3:17 PM
goldstein.w.n updated this revision to Diff 495187.Feb 6 2023, 9:50 AM

Rebase

Harbormaster completed remote builds in B212146: Diff 495187.Feb 6 2023, 12:22 PM
MattDevereau added inline comments.Feb 7 2023, 3:30 AM
llvm/test/Transforms/InstCombine/urem-mul.ll
32

This test could be better named, since C is actually %X. The important thing here which lets us simplify this to 0 is that the constant LHS multiplicand >= the constant RHS multiplicand of the rem. Maybe something like urem_XY_XZ_constY_is_gte_constZ?

58

This could be called something like urem_XY_XZ_constY_is_lt_constZ to reflect why we return BO0

149

%X is unused

goldstein.w.n marked 3 inline comments as done.Feb 7 2023, 11:40 PM
goldstein.w.n added inline comments.
llvm/test/Transforms/InstCombine/urem-mul.ll
32

This test could be better named, since C is actually %X. The important thing here which lets us simplify this to 0 is that the constant LHS multiplicand >= the constant RHS multiplicand of the rem. Maybe something like urem_XY_XZ_constY_is_gte_constZ?

32

Okay, renamed all functions to reflect the conditions rather than the result.

goldstein.w.n updated this revision to Diff 495737.Feb 7 2023, 11:41 PM
goldstein.w.n marked an inline comment as done.

Rename test functions

Harbormaster completed remote builds in B212533: Diff 495737.Feb 8 2023, 12:47 AM
MattDevereau accepted this revision.Feb 8 2023, 2:24 AM
This revision is now accepted and ready to land.Feb 8 2023, 2:24 AM
goldstein.w.n updated this revision to Diff 495912.Feb 8 2023, 12:03 PM

Rename test file

Harbormaster completed remote builds in B212663: Diff 495912.Feb 8 2023, 12:52 PM
goldstein.w.n updated this revision to Diff 496153.Feb 9 2023, 9:13 AM

Add vscale tests

Harbormaster completed remote builds in B212834: Diff 496153.Feb 9 2023, 11:05 AM
goldstein.w.n updated this revision to Diff 497183.Feb 13 2023, 7:38 PM

Rebase

goldstein.w.n updated this revision to Diff 497185.Feb 13 2023, 7:42 PM

Rebase

Harbormaster completed remote builds in B213560: Diff 497185.Feb 13 2023, 8:46 PM
goldstein.w.n updated this revision to Diff 498172.Feb 16 2023, 3:28 PM

Add tests for missing cases

Harbormaster completed remote builds in B214277: Diff 498172.Feb 16 2023, 5:12 PM
goldstein.w.n updated this revision to Diff 498927.Feb 20 2023, 12:16 PM

Rebase

Harbormaster completed remote builds in B214824: Diff 498927.Feb 20 2023, 12:59 PM
goldstein.w.n updated this revision to Diff 498958.Feb 20 2023, 2:06 PM

Rebase

Harbormaster completed remote builds in B214854: Diff 498958.Feb 20 2023, 3:36 PM
goldstein.w.n updated this revision to Diff 502238.Mar 3 2023, 1:17 PM

Rebase

Harbormaster completed remote builds in B217251: Diff 502238.Mar 3 2023, 2:26 PM
goldstein.w.n updated this revision to Diff 504519.Mar 13 2023, 12:08 AM

Rebase

Harbormaster completed remote builds in B218945: Diff 504519.Mar 13 2023, 12:47 AM
This revision was landed with ongoing or failed builds.Mar 16 2023, 11:02 AM
Closed by commit rG994cd986f1a3: [InstCombine] Add tests for combining (urem/srem (mul/shl X, Y), (mul/shl X… (authored by goldstein.w.n). · Explain Why
This revision was automatically updated to reflect the committed changes.
goldstein.w.n added a commit: rG994cd986f1a3: [InstCombine] Add tests for combining (urem/srem (mul/shl X, Y), (mul/shl X….

Revision Contents

PathSize
llvm/
test/
Transforms/
InstCombine/
437 lines

Diff 495187

llvm/test/Transforms/InstCombine/urem-mul.ll

  • This file was added.
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @use8(i8)
define i8 @srem_non_matching(i8 %X, i8 %Y) {
; CHECK-LABEL: @srem_non_matching(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw nsw i8 [[X:%.*]], 15
; CHECK-NEXT: [[BO1:%.*]] = mul nuw nsw i8 [[Y:%.*]], 5
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nsw nuw i8 %X, 15
%BO1 = mul nsw nuw i8 %Y, 5
%r = srem i8 %BO0, %BO1
ret i8 %r
}
define i8 @urem_1_shl(i8 %X, i8 %Y) {
; CHECK-LABEL: @urem_1_shl(
; CHECK-NEXT: [[BO0:%.*]] = shl nuw nsw i8 1, [[X:%.*]]
; CHECK-NEXT: [[NOTMASK:%.*]] = shl nsw i8 -1, [[Y:%.*]]
; CHECK-NEXT: [[TMP1:%.*]] = xor i8 [[NOTMASK]], -1
; CHECK-NEXT: [[R:%.*]] = and i8 [[BO0]], [[TMP1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = shl nsw nuw i8 1, %X
%BO1 = shl nsw nuw i8 1, %Y
%r = urem i8 %BO0, %BO1
ret i8 %r
}
define i8 @urem_CY_CZ_is_zero(i8 %X) {
MattDevereauUnsubmitted
Done
ReplyInline Actions

This test could be better named, since C is actually %X. The important thing here which lets us simplify this to 0 is that the constant LHS multiplicand >= the constant RHS multiplicand of the rem. Maybe something like urem_XY_XZ_constY_is_gte_constZ?

MattDevereau: This test could be better named, since C is actually %X. The important thing here which lets us…
goldstein.w.nAuthorUnsubmitted
Done
ReplyInline Actions

This test could be better named, since C is actually %X. The important thing here which lets us simplify this to 0 is that the constant LHS multiplicand >= the constant RHS multiplicand of the rem. Maybe something like urem_XY_XZ_constY_is_gte_constZ?

goldstein.w.n: > This test could be better named, since C is actually %X. The important thing here which lets…
goldstein.w.nAuthorUnsubmitted
Done
ReplyInline Actions

Okay, renamed all functions to reflect the conditions rather than the result.

goldstein.w.n: Okay, renamed all functions to reflect the conditions rather than the result.
; CHECK-LABEL: @urem_CY_CZ_is_zero(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw i8 [[X:%.*]], 15
; CHECK-NEXT: [[BO1:%.*]] = mul i8 [[X]], 5
; CHECK-NEXT: [[R:%.*]] = urem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nuw i8 %X, 15
%BO1 = mul i8 %X, 5
%r = urem i8 %BO0, %BO1
ret i8 %r
}
define i8 @urem_CY_CZ_is_zero_fail_missing_flag(i8 %X) {
; CHECK-LABEL: @urem_CY_CZ_is_zero_fail_missing_flag(
; CHECK-NEXT: [[BO0:%.*]] = mul nsw i8 [[X:%.*]], 15
; CHECK-NEXT: [[BO1:%.*]] = mul nuw nsw i8 [[X]], 5
; CHECK-NEXT: [[R:%.*]] = urem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nsw i8 %X, 15
%BO1 = mul nsw nuw i8 %X, 5
%r = urem i8 %BO0, %BO1
ret i8 %r
}
define i8 @urem_CY_CZ_is_BO0(i8 %X) {
MattDevereauUnsubmitted
Done
ReplyInline Actions

This could be called something like urem_XY_XZ_constY_is_lt_constZ to reflect why we return BO0

MattDevereau: This could be called something like `urem_XY_XZ_constY_is_lt_constZ` to reflect why we return…
; CHECK-LABEL: @urem_CY_CZ_is_BO0(
; CHECK-NEXT: [[BO0:%.*]] = mul i8 [[X:%.*]], 3
; CHECK-NEXT: [[BO1:%.*]] = mul nuw i8 [[X]], 12
; CHECK-NEXT: [[R:%.*]] = urem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul i8 %X, 3
%BO1 = mul nuw i8 %X, 12
%r = urem i8 %BO0, %BO1
ret i8 %r
}
define <2 x i8> @urem_CY_CZ_is_BO0_with_nsw_out(<2 x i8> %X) {
; CHECK-LABEL: @urem_CY_CZ_is_BO0_with_nsw_out(
; CHECK-NEXT: [[BO0:%.*]] = shl nsw <2 x i8> [[X:%.*]], <i8 2, i8 2>
; CHECK-NEXT: [[BO1:%.*]] = mul nuw <2 x i8> [[X]], <i8 12, i8 12>
; CHECK-NEXT: [[R:%.*]] = urem <2 x i8> [[BO0]], [[BO1]]
; CHECK-NEXT: ret <2 x i8> [[R]]
;
%BO0 = shl nsw <2 x i8> %X, <i8 2, i8 2>
%BO1 = mul nuw <2 x i8> %X, <i8 12, i8 12>
%r = urem <2 x i8> %BO0, %BO1
ret <2 x i8> %r
}
define i8 @urem_CY_CZ_is_BO0_no_nsw_out(i8 %X) {
; CHECK-LABEL: @urem_CY_CZ_is_BO0_no_nsw_out(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw i8 [[X:%.*]], 3
; CHECK-NEXT: [[BO1:%.*]] = shl nuw nsw i8 [[X]], 3
; CHECK-NEXT: [[R:%.*]] = urem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nuw i8 %X, 3
%BO1 = shl nsw nuw i8 %X, 3
%r = urem i8 %BO0, %BO1
ret i8 %r
}
define i8 @urem_CY_CZ_is_BO0_fail_missing_flag(i8 %X) {
; CHECK-LABEL: @urem_CY_CZ_is_BO0_fail_missing_flag(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw nsw i8 [[X:%.*]], 3
; CHECK-NEXT: [[BO1:%.*]] = mul nsw i8 [[X]], 12
; CHECK-NEXT: [[R:%.*]] = urem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nuw nsw i8 %X, 3
%BO1 = mul nsw i8 %X, 12
%r = urem i8 %BO0, %BO1
ret i8 %r
}
define i8 @urem_CY_CZ_is_mul_X_RemYZ(i8 %X) {
; CHECK-LABEL: @urem_CY_CZ_is_mul_X_RemYZ(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw i8 [[X:%.*]], 21
; CHECK-NEXT: [[BO1:%.*]] = mul i8 [[X]], 6
; CHECK-NEXT: [[R:%.*]] = urem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nuw i8 %X, 21
%BO1 = mul i8 %X, 6
%r = urem i8 %BO0, %BO1
ret i8 %r
}
define i8 @urem_CY_CZ_is_mul_X_RemYZ_fail_missing_flag(i8 %X) {
; CHECK-LABEL: @urem_CY_CZ_is_mul_X_RemYZ_fail_missing_flag(
; CHECK-NEXT: [[BO0:%.*]] = mul nsw i8 [[X:%.*]], 21
; CHECK-NEXT: [[BO1:%.*]] = mul nuw nsw i8 [[X]], 6
; CHECK-NEXT: [[R:%.*]] = urem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nsw i8 %X, 21
%BO1 = mul nsw nuw i8 %X, 6
%r = urem i8 %BO0, %BO1
ret i8 %r
}
define i8 @urem_Y_Z_is_mul_X_RemYZ(i8 %X, i8 %Y, i8 %Z) {
; CHECK-LABEL: @urem_Y_Z_is_mul_X_RemYZ(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[BO1:%.*]] = mul nuw i8 [[Z:%.*]], [[X]]
; CHECK-NEXT: [[R:%.*]] = urem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nuw i8 %X, %Y
%BO1 = mul nuw i8 %Z, %X
%r = urem i8 %BO0, %BO1
ret i8 %r
}
define i8 @urem_CX_Y_Z_is_mul_X_RemYZ(i8 %X, i8 %Y, i8 %Z) {
MattDevereauUnsubmitted
Done
ReplyInline Actions

%X is unused

MattDevereau: %X is unused
; CHECK-LABEL: @urem_CX_Y_Z_is_mul_X_RemYZ(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw i8 [[Y:%.*]], 10
; CHECK-NEXT: [[BO1:%.*]] = shl nuw i8 10, [[Z:%.*]]
; CHECK-NEXT: [[R:%.*]] = urem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nuw i8 10, %Y
%BO1 = shl nuw i8 10, %Z
%r = urem i8 %BO0, %BO1
ret i8 %r
}
define i8 @urem_Y_Z_is_mul_X_RemYZ_with_nsw_out1(i8 %X, i8 %Y, i8 %Z) {
; CHECK-LABEL: @urem_Y_Z_is_mul_X_RemYZ_with_nsw_out1(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw nsw i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[BO1:%.*]] = shl nuw i8 [[X]], [[Z:%.*]]
; CHECK-NEXT: [[R:%.*]] = urem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nuw nsw i8 %X, %Y
%BO1 = shl nuw i8 %X, %Z
%r = urem i8 %BO0, %BO1
ret i8 %r
}
define <2 x i8> @urem_Y_Z_is_mul_X_RemYZ_with_nsw_out2(<2 x i8> %X, <2 x i8> %Y, <2 x i8> %Z) {
; CHECK-LABEL: @urem_Y_Z_is_mul_X_RemYZ_with_nsw_out2(
; CHECK-NEXT: [[BO0:%.*]] = shl nuw <2 x i8> [[Y:%.*]], [[X:%.*]]
; CHECK-NEXT: [[BO1:%.*]] = shl nuw nsw <2 x i8> [[Z:%.*]], [[X]]
; CHECK-NEXT: [[R:%.*]] = urem <2 x i8> [[BO0]], [[BO1]]
; CHECK-NEXT: ret <2 x i8> [[R]]
;
%BO0 = shl nuw <2 x i8> %Y, %X
%BO1 = shl nuw nsw <2 x i8> %Z, %X
%r = urem <2 x i8> %BO0, %BO1
ret <2 x i8> %r
}
define i8 @urem_Y_Z_is_mul_X_RemYZ_fail_reused1(i8 %X, i8 %Y, i8 %Z) {
; CHECK-LABEL: @urem_Y_Z_is_mul_X_RemYZ_fail_reused1(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw nsw i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[BO1:%.*]] = mul nuw nsw i8 [[X]], [[Z:%.*]]
; CHECK-NEXT: [[R:%.*]] = urem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: call void @use8(i8 [[BO0]])
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nsw nuw i8 %X, %Y
%BO1 = mul nsw nuw i8 %X, %Z
%r = urem i8 %BO0, %BO1
call void @use8(i8 %BO0)
ret i8 %r
}
define <2 x i8> @urem_Y_Z_is_mul_X_RemYZ_fail_missing_flags1(<2 x i8> %X, <2 x i8> %Y, <2 x i8> %Z) {
; CHECK-LABEL: @urem_Y_Z_is_mul_X_RemYZ_fail_missing_flags1(
; CHECK-NEXT: [[BO0:%.*]] = mul nsw <2 x i8> [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[BO1:%.*]] = mul nuw nsw <2 x i8> [[X]], [[Z:%.*]]
; CHECK-NEXT: [[R:%.*]] = urem <2 x i8> [[BO0]], [[BO1]]
; CHECK-NEXT: ret <2 x i8> [[R]]
;
%BO0 = mul nsw <2 x i8> %X, %Y
%BO1 = mul nsw nuw <2 x i8> %X, %Z
%r = urem <2 x i8> %BO0, %BO1
ret <2 x i8> %r
}
define i8 @urem_Y_Z_is_mul_X_RemYZ_fail_missing_flags2(i8 %X, i8 %Y, i8 %Z) {
; CHECK-LABEL: @urem_Y_Z_is_mul_X_RemYZ_fail_missing_flags2(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw nsw i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[BO1:%.*]] = shl nsw i8 [[X]], [[Z:%.*]]
; CHECK-NEXT: [[R:%.*]] = urem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nsw nuw i8 %X, %Y
%BO1 = shl nsw i8 %X, %Z
%r = urem i8 %BO0, %BO1
ret i8 %r
}
;; Signed Verions
define i8 @srem_CY_CZ_is_zero(i8 %X) {
; CHECK-LABEL: @srem_CY_CZ_is_zero(
; CHECK-NEXT: [[BO0:%.*]] = mul nsw i8 [[X:%.*]], 9
; CHECK-NEXT: [[BO1:%.*]] = mul i8 [[X]], 3
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nsw i8 %X, 9
%BO1 = mul i8 %X, 3
%r = srem i8 %BO0, %BO1
ret i8 %r
}
define i8 @srem_CY_CZ_is_zero_fail_missing_flag(i8 %X) {
; CHECK-LABEL: @srem_CY_CZ_is_zero_fail_missing_flag(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw i8 [[X:%.*]], 9
; CHECK-NEXT: [[BO1:%.*]] = mul nuw nsw i8 [[X]], 3
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nuw i8 %X, 9
%BO1 = mul nsw nuw i8 %X, 3
%r = srem i8 %BO0, %BO1
ret i8 %r
}
define <2 x i8> @srem_CY_CZ_is_BO0(<2 x i8> %X) {
; CHECK-LABEL: @srem_CY_CZ_is_BO0(
; CHECK-NEXT: [[BO0:%.*]] = shl <2 x i8> [[X:%.*]], <i8 3, i8 3>
; CHECK-NEXT: [[BO1:%.*]] = mul nsw <2 x i8> [[X]], <i8 15, i8 15>
; CHECK-NEXT: [[R:%.*]] = srem <2 x i8> [[BO0]], [[BO1]]
; CHECK-NEXT: ret <2 x i8> [[R]]
;
%BO0 = shl <2 x i8> %X, <i8 3, i8 3>
%BO1 = mul nsw <2 x i8> %X, <i8 15, i8 15>
%r = srem <2 x i8> %BO0, %BO1
ret <2 x i8> %r
}
define i8 @srem_CY_CZ_is_BO0_with_nuw_out(i8 %X) {
; CHECK-LABEL: @srem_CY_CZ_is_BO0_with_nuw_out(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw i8 [[X:%.*]], 5
; CHECK-NEXT: [[BO1:%.*]] = mul nsw i8 [[X]], 15
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nuw i8 %X, 5
%BO1 = mul nsw i8 %X, 15
%r = srem i8 %BO0, %BO1
ret i8 %r
}
define i8 @srem_CY_CZ_is_BO0_no_nsw_out(i8 %X) {
; CHECK-LABEL: @srem_CY_CZ_is_BO0_no_nsw_out(
; CHECK-NEXT: [[BO0:%.*]] = mul nsw i8 [[X:%.*]], 5
; CHECK-NEXT: [[BO1:%.*]] = shl nuw nsw i8 [[X]], 4
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nsw i8 %X, 5
%BO1 = shl nsw nuw i8 %X, 4
%r = srem i8 %BO0, %BO1
ret i8 %r
}
define i8 @srem_CY_CZ_is_BO0_fail_missing_flag(i8 %X) {
; CHECK-LABEL: @srem_CY_CZ_is_BO0_fail_missing_flag(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw nsw i8 [[X:%.*]], 5
; CHECK-NEXT: [[BO1:%.*]] = shl nuw i8 [[X]], 4
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nuw nsw i8 %X, 5
%BO1 = shl nuw i8 %X, 4
%r = srem i8 %BO0, %BO1
ret i8 %r
}
define i8 @srem_CY_CZ_is_mul_X_RemYZ(i8 %X) {
; CHECK-LABEL: @srem_CY_CZ_is_mul_X_RemYZ(
; CHECK-NEXT: [[BO0:%.*]] = shl nsw i8 [[X:%.*]], 3
; CHECK-NEXT: [[BO1:%.*]] = mul nsw i8 [[X]], 6
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = shl nsw i8 %X, 3
%BO1 = mul nsw i8 %X, 6
%r = srem i8 %BO0, %BO1
ret i8 %r
}
define i8 @srem_CY_CZ_is_mul_X_RemYZ_with_nuw_out(i8 %X) {
; CHECK-LABEL: @srem_CY_CZ_is_mul_X_RemYZ_with_nuw_out(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw nsw i8 [[X:%.*]], 10
; CHECK-NEXT: [[BO1:%.*]] = mul nsw i8 [[X]], 6
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nsw nuw i8 %X, 10
%BO1 = mul nsw i8 %X, 6
%r = srem i8 %BO0, %BO1
ret i8 %r
}
define <2 x i8> @srem_CY_CZ_is_mul_X_RemYZ_no_nuw_out(<2 x i8> %X) {
; CHECK-LABEL: @srem_CY_CZ_is_mul_X_RemYZ_no_nuw_out(
; CHECK-NEXT: [[BO0:%.*]] = mul nsw <2 x i8> [[X:%.*]], <i8 10, i8 10>
; CHECK-NEXT: [[BO1:%.*]] = shl nuw nsw <2 x i8> [[X]], <i8 3, i8 3>
; CHECK-NEXT: [[R:%.*]] = srem <2 x i8> [[BO0]], [[BO1]]
; CHECK-NEXT: ret <2 x i8> [[R]]
;
%BO0 = mul nsw <2 x i8> %X, <i8 10, i8 10>
%BO1 = shl nsw nuw <2 x i8> %X, <i8 3, i8 3>
%r = srem <2 x i8> %BO0, %BO1
ret <2 x i8> %r
}
define i8 @srem_CY_CZ_is_mul_X_RemYZ_fail_missing_flag1(i8 %X) {
; CHECK-LABEL: @srem_CY_CZ_is_mul_X_RemYZ_fail_missing_flag1(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw nsw i8 [[X:%.*]], 10
; CHECK-NEXT: [[BO1:%.*]] = mul nuw i8 [[X]], 6
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nsw nuw i8 %X, 10
%BO1 = mul nuw i8 %X, 6
%r = srem i8 %BO0, %BO1
ret i8 %r
}
define i8 @srem_CY_CZ_is_mul_X_RemYZ_fail_missing_flag2(i8 %X) {
; CHECK-LABEL: @srem_CY_CZ_is_mul_X_RemYZ_fail_missing_flag2(
; CHECK-NEXT: [[BO0:%.*]] = shl nuw i8 [[X:%.*]], 4
; CHECK-NEXT: [[BO1:%.*]] = mul nuw nsw i8 [[X]], 5
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = shl nuw i8 %X, 4
%BO1 = mul nsw nuw i8 %X, 5
%r = srem i8 %BO0, %BO1
ret i8 %r
}
define i8 @srem_Y_Z_is_mul_X_RemYZ(i8 %X, i8 %Y, i8 %Z) {
; CHECK-LABEL: @srem_Y_Z_is_mul_X_RemYZ(
; CHECK-NEXT: [[BO0:%.*]] = mul nsw i8 [[Y:%.*]], [[X:%.*]]
; CHECK-NEXT: [[BO1:%.*]] = mul nuw nsw i8 [[X]], [[Z:%.*]]
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nsw i8 %Y, %X
%BO1 = mul nsw nuw i8 %X, %Z
%r = srem i8 %BO0, %BO1
ret i8 %r
}
define i8 @srem_Y_Z_is_mul_X_RemYZ_with_nuw_out(i8 %X, i8 %Y, i8 %Z) {
; CHECK-LABEL: @srem_Y_Z_is_mul_X_RemYZ_with_nuw_out(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw nsw i8 [[Y:%.*]], [[X:%.*]]
; CHECK-NEXT: [[BO1:%.*]] = mul nuw nsw i8 [[Z:%.*]], [[X]]
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nsw nuw i8 %Y, %X
%BO1 = mul nsw nuw i8 %Z, %X
%r = srem i8 %BO0, %BO1
ret i8 %r
}
define i8 @srem_Y_Z_is_mul_X_RemYZ_fail_shl(i8 %X, i8 %Y, i8 %Z) {
; CHECK-LABEL: @srem_Y_Z_is_mul_X_RemYZ_fail_shl(
; CHECK-NEXT: [[BO0:%.*]] = shl nuw nsw i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[BO1:%.*]] = shl nuw nsw i8 [[X]], [[Z:%.*]]
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = shl nsw nuw i8 %X, %Y
%BO1 = shl nsw nuw i8 %X, %Z
%r = srem i8 %BO0, %BO1
ret i8 %r
}
define i8 @srem_Y_Z_is_mul_X_RemYZ_fail_missing_flags1(i8 %X, i8 %Y, i8 %Z) {
; CHECK-LABEL: @srem_Y_Z_is_mul_X_RemYZ_fail_missing_flags1(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[BO1:%.*]] = mul nuw nsw i8 [[X]], [[Z:%.*]]
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nuw i8 %X, %Y
%BO1 = mul nsw nuw i8 %X, %Z
%r = srem i8 %BO0, %BO1
ret i8 %r
}
define i8 @srem_Y_Z_is_mul_X_RemYZ_fail_missing_flags2(i8 %X, i8 %Y, i8 %Z) {
; CHECK-LABEL: @srem_Y_Z_is_mul_X_RemYZ_fail_missing_flags2(
; CHECK-NEXT: [[BO0:%.*]] = mul nuw nsw i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[BO1:%.*]] = mul nuw i8 [[X]], [[Z:%.*]]
; CHECK-NEXT: [[R:%.*]] = srem i8 [[BO0]], [[BO1]]
; CHECK-NEXT: ret i8 [[R]]
;
%BO0 = mul nsw nuw i8 %X, %Y
%BO1 = mul nuw i8 %X, %Z
%r = srem i8 %BO0, %BO1
ret i8 %r
}