[InstCombine] add test for sdiv with shl; NFC

llvm · Oct 8, 2022 · ebda066 · ebda066
1 parent 68d4dbc
commit ebda066
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/llvm/test/Transforms/InstCombine/sdiv-exact-by-power-of-two.ll b/llvm/test/Transforms/InstCombine/sdiv-exact-by-power-of-two.ll
@@ -91,3 +91,14 @@ define i8 @shl1_nuw(i8 %x, i8 %y) {
   %div = sdiv exact i8 %x, %shl
   ret i8 %div
 }
+
+define i8 @shl1_nsw_not_exact(i8 %x, i8 %y) {
+; CHECK-LABEL: @shl1_nsw_not_exact(
+; CHECK-NEXT:    [[SHL:%.*]] = shl nuw nsw i8 1, [[Y:%.*]]
+; CHECK-NEXT:    [[DIV:%.*]] = sdiv i8 [[X:%.*]], [[SHL]]
+; CHECK-NEXT:    ret i8 [[DIV]]
+;
+  %shl = shl nsw i8 1, %y
+  %div = sdiv i8 %x, %shl
+  ret i8 %div
+}