[llvm] r357884 - [InstCombine] add testcases for sdiv exact flag fixing - NFC.
Chen Zheng via llvm-commits
llvm-commits at lists.llvm.org
Sun Apr 7 22:49:15 PDT 2019
Author: shchenz
Date: Sun Apr 7 22:49:15 2019
New Revision: 357884
URL: http://llvm.org/viewvc/llvm-project?rev=357884&view=rev
Log:
[InstCombine] add testcases for sdiv exact flag fixing - NFC.
Modified:
llvm/trunk/test/Transforms/InstCombine/div.ll
Modified: llvm/trunk/test/Transforms/InstCombine/div.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/div.ll?rev=357884&r1=357883&r2=357884&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/div.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/div.ll Sun Apr 7 22:49:15 2019
@@ -760,3 +760,22 @@ define <2 x i8> @udiv_common_factor_not_
ret <2 x i8> %c
}
+define i32 @test_exact(i32 %x) {
+; CHECK-LABEL: @test_exact(
+; CHECK-NEXT: [[DIV:%.*]] = sdiv i32 [[X:%.*]], -3
+; CHECK-NEXT: ret i32 [[DIV]]
+;
+ %div = sdiv exact i32 %x, 3
+ %neg = sub nsw i32 0, %div
+ ret i32 %neg
+}
+
+define <2 x i64> @test_exact_vec(<2 x i64> %x) {
+; CHECK-LABEL: @test_exact_vec(
+; CHECK-NEXT: [[DIV:%.*]] = sdiv <2 x i64> [[X:%.*]], <i64 -3, i64 -4>
+; CHECK-NEXT: ret <2 x i64> [[DIV]]
+;
+ %div = sdiv exact <2 x i64> %x, <i64 3, i64 4>
+ %neg = sub nsw <2 x i64> zeroinitializer, %div
+ ret <2 x i64> %neg
+}
More information about the llvm-commits
mailing list