diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2016-08-14 21:05:08 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2016-08-14 21:05:08 +0000 |
| commit | bbb3dffd0acac9097917a1e3a3e3f81e8c5d3433 (patch) | |
| tree | 4701d4a9437e6bd9f9b357f4aad83390f1d68004 | |
| parent | 66a3457a4c1db5ae7021f85ab7bbc1d4dbc35429 (diff) | |
| download | bcm5719-llvm-bbb3dffd0acac9097917a1e3a3e3f81e8c5d3433.tar.gz bcm5719-llvm-bbb3dffd0acac9097917a1e3a3e3f81e8c5d3433.zip | |
[InstCombine] add test for missing vector icmp fold
llvm-svn: 278631
| -rw-r--r-- | llvm/test/Transforms/InstCombine/apint-shl-trunc.ll | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/apint-shl-trunc.ll b/llvm/test/Transforms/InstCombine/apint-shl-trunc.ll index 44a640d9343..c13ecb4da15 100644 --- a/llvm/test/Transforms/InstCombine/apint-shl-trunc.ll +++ b/llvm/test/Transforms/InstCombine/apint-shl-trunc.ll @@ -25,3 +25,16 @@ define i1 @test1(i799 %X, i799 %A) { ret i1 %D } +; FIXME: Vectors should fold the same way. +define <2 x i1> @test0vec(<2 x i39> %X, <2 x i39> %A) { +; CHECK-LABEL: @test0vec( +; CHECK-NEXT: [[B:%.*]] = lshr <2 x i39> %X, %A +; CHECK-NEXT: [[TMP1:%.*]] = and <2 x i39> [[B]], <i39 1, i39 1> +; CHECK-NEXT: [[D:%.*]] = icmp ne <2 x i39> [[TMP1]], zeroinitializer +; CHECK-NEXT: ret <2 x i1> [[D]] +; + %B = lshr <2 x i39> %X, %A + %D = trunc <2 x i39> %B to <2 x i1> + ret <2 x i1> %D +} + |
