diff options
| author | Michael Liao <michael.liao@intel.com> | 2013-06-21 18:45:27 +0000 |
|---|---|---|
| committer | Michael Liao <michael.liao@intel.com> | 2013-06-21 18:45:27 +0000 |
| commit | 2da863984bdd0123fa53ab3f5439d239a5a9e419 (patch) | |
| tree | c08d34b73b0f773b443622305abc4e274f1f667e /test | |
| parent | c12c880998a0be9de2d20f7855029ef743570a06 (diff) | |
| download | llvm-2da863984bdd0123fa53ab3f5439d239a5a9e419.tar.gz llvm-2da863984bdd0123fa53ab3f5439d239a5a9e419.tar.bz2 llvm-2da863984bdd0123fa53ab3f5439d239a5a9e419.tar.xz | |
Fix PR16360
When (srl (anyextend x), c) is folded into (anyextend (srl x, c)), the
high bits are not cleared. Add 'and' to clear off them.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@184575 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/CodeGen/X86/pr16360.ll | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/CodeGen/X86/pr16360.ll b/test/CodeGen/X86/pr16360.ll new file mode 100644 index 0000000000..247d5100b4 --- /dev/null +++ b/test/CodeGen/X86/pr16360.ll @@ -0,0 +1,16 @@ +; RUN: llc < %s -mtriple=i686-pc-linux | FileCheck %s + +define i64 @foo(i32 %sum) { +entry: + %conv = sext i32 %sum to i64 + %shr = lshr i64 %conv, 2 + %or = or i64 4611686018360279040, %shr + ret i64 %or +} + +; CHECK: foo +; CHECK: shrl $2 +; CHECK: orl $-67108864 +; CHECK-NOT: movl $-1 +; CHECK: movl $1073741823 +; CHECK: ret |