[llvm] 6876004 - [InstCombine] add 'exact' to udiv test for more coverage; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Mon Oct 10 05:21:30 PDT 2022
Author: Sanjay Patel
Date: 2022-10-10T08:11:53-04:00
New Revision: 6876004f339102c959cc0fd5b44e9664dd936146
URL: https://github.com/llvm/llvm-project/commit/6876004f339102c959cc0fd5b44e9664dd936146
DIFF: https://github.com/llvm/llvm-project/commit/6876004f339102c959cc0fd5b44e9664dd936146.diff
LOG: [InstCombine] add 'exact' to udiv test for more coverage; NFC
Added:
Modified:
llvm/test/Transforms/InstCombine/div-shift.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstCombine/div-shift.ll b/llvm/test/Transforms/InstCombine/div-shift.ll
index 1251bd99619a2..101cbf11ea6f0 100644
--- a/llvm/test/Transforms/InstCombine/div-shift.ll
+++ b/llvm/test/Transforms/InstCombine/div-shift.ll
@@ -632,16 +632,16 @@ define i8 @udiv_lshr_mul_nuw(i8 %x, i8 %y, i8 %z) {
ret i8 %div
}
-define <2 x i4> @udiv_lshr_mul_nuw_commute1(<2 x i4> %x, <2 x i4> %y, <2 x i4> %z) {
-; CHECK-LABEL: @udiv_lshr_mul_nuw_commute1(
+define <2 x i4> @udiv_lshr_mul_nuw_exact_commute1(<2 x i4> %x, <2 x i4> %y, <2 x i4> %z) {
+; CHECK-LABEL: @udiv_lshr_mul_nuw_exact_commute1(
; CHECK-NEXT: [[M:%.*]] = mul nuw <2 x i4> [[Y:%.*]], [[X:%.*]]
-; CHECK-NEXT: [[S:%.*]] = lshr <2 x i4> [[M]], [[Z:%.*]]
-; CHECK-NEXT: [[DIV:%.*]] = udiv <2 x i4> [[S]], [[X]]
+; CHECK-NEXT: [[S:%.*]] = lshr exact <2 x i4> [[M]], [[Z:%.*]]
+; CHECK-NEXT: [[DIV:%.*]] = udiv exact <2 x i4> [[S]], [[X]]
; CHECK-NEXT: ret <2 x i4> [[DIV]]
;
%m = mul nuw <2 x i4> %y, %x
- %s = lshr <2 x i4> %m, %z
- %div = udiv <2 x i4> %s, %x
+ %s = lshr exact <2 x i4> %m, %z
+ %div = udiv exact <2 x i4> %s, %x
ret <2 x i4> %div
}
More information about the llvm-commits
mailing list