diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2019-04-08 22:55:10 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2019-04-08 22:55:10 +0000 |
| commit | 74ccef1f4f951ac6cd86e28a6dcc7152c5efd52f (patch) | |
| tree | 2dbf4ff1cb027c43a1f8cd78d0d6ece728a44c6f /llvm/test | |
| parent | 8a96fa23e6432d8566e4d49b5378535472747792 (diff) | |
| download | bcm5719-llvm-74ccef1f4f951ac6cd86e28a6dcc7152c5efd52f.tar.gz bcm5719-llvm-74ccef1f4f951ac6cd86e28a6dcc7152c5efd52f.zip | |
[InstCombine] add tests for negate+sdiv; NFC
PR41425:
https://bugs.llvm.org/show_bug.cgi?id=41425
llvm-svn: 357953
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/div.ll | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/div.ll b/llvm/test/Transforms/InstCombine/div.ll index de1013286d9..e1250179d27 100644 --- a/llvm/test/Transforms/InstCombine/div.ll +++ b/llvm/test/Transforms/InstCombine/div.ll @@ -780,6 +780,57 @@ define <2 x i64> @test_exact_vec(<2 x i64> %x) { ret <2 x i64> %neg } +define <2 x i8> @negate_sdiv_vec_undef_elt(<2 x i8> %x) { +; CHECK-LABEL: @negate_sdiv_vec_undef_elt( +; CHECK-NEXT: ret <2 x i8> undef +; + %div = sdiv <2 x i8> %x, <i8 undef, i8 42> + %neg = sub <2 x i8> zeroinitializer, %div + ret <2 x i8> %neg +} + +define <2 x i8> @negate_sdiv_vec_splat_one(<2 x i8> %x) { +; CHECK-LABEL: @negate_sdiv_vec_splat_one( +; CHECK-NEXT: [[NEG:%.*]] = sub <2 x i8> zeroinitializer, [[X:%.*]] +; CHECK-NEXT: ret <2 x i8> [[NEG]] +; + %div = sdiv <2 x i8> %x, <i8 1, i8 1> + %neg = sub <2 x i8> zeroinitializer, %div + ret <2 x i8> %neg +} + +define <2 x i8> @negate_sdiv_vec_splat_signed_min(<2 x i8> %x) { +; CHECK-LABEL: @negate_sdiv_vec_splat_signed_min( +; CHECK-NEXT: [[TMP1:%.*]] = icmp eq <2 x i8> [[X:%.*]], <i8 -128, i8 -128> +; CHECK-NEXT: [[NEG:%.*]] = sext <2 x i1> [[TMP1]] to <2 x i8> +; CHECK-NEXT: ret <2 x i8> [[NEG]] +; + %div = sdiv <2 x i8> %x, <i8 -128, i8 -128> + %neg = sub <2 x i8> zeroinitializer, %div + ret <2 x i8> %neg +} + +define <2 x i8> @negate_sdiv_vec_one_element(<2 x i8> %x) { +; CHECK-LABEL: @negate_sdiv_vec_one_element( +; CHECK-NEXT: [[NEG:%.*]] = sdiv <2 x i8> [[X:%.*]], <i8 1, i8 -1> +; CHECK-NEXT: ret <2 x i8> [[NEG]] +; + %div = sdiv <2 x i8> %x, <i8 -1, i8 1> + %neg = sub <2 x i8> zeroinitializer, %div + ret <2 x i8> %neg +} + +define <2 x i8> @negate_sdiv_vec_signed_min_elt(<2 x i8> %x) { +; CHECK-LABEL: @negate_sdiv_vec_signed_min_elt( +; CHECK-NEXT: [[DIV:%.*]] = sdiv <2 x i8> [[X:%.*]], <i8 -1, i8 -128> +; CHECK-NEXT: [[NEG:%.*]] = sub <2 x i8> zeroinitializer, [[DIV]] +; CHECK-NEXT: ret <2 x i8> [[NEG]] +; + %div = sdiv <2 x i8> %x, <i8 -1, i8 -128> + %neg = sub <2 x i8> zeroinitializer, %div + ret <2 x i8> %neg +} + define i32 @test_exact_nonsw_exact(i32 %x) { ; CHECK-LABEL: @test_exact_nonsw_exact( ; CHECK-NEXT: [[NEG:%.*]] = sdiv exact i32 [[X:%.*]], -3 |
