[InstCombine] add 'exact' to udiv test for more coverage; NFC
authorSanjay Patel <spatel@rotateright.com>
Mon, 10 Oct 2022 11:08:38 +0000 (07:08 -0400)
committerSanjay Patel <spatel@rotateright.com>
Mon, 10 Oct 2022 12:11:53 +0000 (08:11 -0400)
llvm/test/Transforms/InstCombine/div-shift.ll

index 1251bd9..101cbf1 100644 (file)
@@ -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
 }