diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2017-01-21 17:59:59 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2017-01-21 17:59:59 +0000 |
| commit | 478a83c90524c4ccafe620a4d536853b519b503d (patch) | |
| tree | cfeb24b05be48d2599a0bcc1aa8783e43cb4b96b /llvm/test/Transforms | |
| parent | 24c6f88e4c94ce1618d00d2f042464f5b6029260 (diff) | |
| download | bcm5719-llvm-478a83c90524c4ccafe620a4d536853b519b503d.tar.gz bcm5719-llvm-478a83c90524c4ccafe620a4d536853b519b503d.zip | |
[InstCombine] use m_APInt to allow ashr folds for vectors with splat constants
We may be able to assert that no shl-shl or lshr-lshr pairs ever get here
because we should have already handled those in foldShiftedShift().
llvm-svn: 292726
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/shift-sra.ll | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/llvm/test/Transforms/InstCombine/shift-sra.ll b/llvm/test/Transforms/InstCombine/shift-sra.ll index 1d6f79f54b1..4483e60b506 100644 --- a/llvm/test/Transforms/InstCombine/shift-sra.ll +++ b/llvm/test/Transforms/InstCombine/shift-sra.ll @@ -139,13 +139,11 @@ define i32 @ashr_overshift(i32 %x) { ret i32 %sh2 } -; FIXME: ; (X >>s C1) >>s C2 --> X >>s (C1 + C2) define <2 x i32> @ashr_ashr_splat_vec(<2 x i32> %x) { ; CHECK-LABEL: @ashr_ashr_splat_vec( -; CHECK-NEXT: [[SH1:%.*]] = ashr <2 x i32> %x, <i32 5, i32 5> -; CHECK-NEXT: [[SH2:%.*]] = ashr <2 x i32> [[SH1]], <i32 7, i32 7> +; CHECK-NEXT: [[SH2:%.*]] = ashr <2 x i32> %x, <i32 12, i32 12> ; CHECK-NEXT: ret <2 x i32> [[SH2]] ; %sh1 = ashr <2 x i32> %x, <i32 5, i32 5> @@ -153,13 +151,11 @@ define <2 x i32> @ashr_ashr_splat_vec(<2 x i32> %x) { ret <2 x i32> %sh2 } -; FIXME: ; (X >>s C1) >>s C2 --> X >>s (Bitwidth - 1) define <2 x i32> @ashr_overshift_splat_vec(<2 x i32> %x) { ; CHECK-LABEL: @ashr_overshift_splat_vec( -; CHECK-NEXT: [[SH1:%.*]] = ashr <2 x i32> %x, <i32 15, i32 15> -; CHECK-NEXT: [[SH2:%.*]] = ashr <2 x i32> [[SH1]], <i32 17, i32 17> +; CHECK-NEXT: [[SH2:%.*]] = ashr <2 x i32> %x, <i32 31, i32 31> ; CHECK-NEXT: ret <2 x i32> [[SH2]] ; %sh1 = ashr <2 x i32> %x, <i32 15, i32 15> |
