diff options
author | Chris Lattner <sabre@nondot.org> | 2011-02-09 17:15:04 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2011-02-09 17:15:04 +0000 |
commit | 81a0dc911586c77421c2255aa417dc9b350b9e20 (patch) | |
tree | f6a7b1c0a47ed7fa813cb89a3c0f5d48923bbdf5 /test/Transforms/InstSimplify/exact-nsw-nuw.ll | |
parent | 6bfd77e3158b10861c76529492eae24a573390a8 (diff) | |
download | llvm-81a0dc911586c77421c2255aa417dc9b350b9e20.tar.gz llvm-81a0dc911586c77421c2255aa417dc9b350b9e20.tar.bz2 llvm-81a0dc911586c77421c2255aa417dc9b350b9e20.tar.xz |
Teach instsimplify some tricks about exact/nuw/nsw shifts.
improve interfaces to instsimplify to take this info.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125196 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstSimplify/exact-nsw-nuw.ll')
-rw-r--r-- | test/Transforms/InstSimplify/exact-nsw-nuw.ll | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/test/Transforms/InstSimplify/exact-nsw-nuw.ll b/test/Transforms/InstSimplify/exact-nsw-nuw.ll new file mode 100644 index 0000000000..f3a804eb5b --- /dev/null +++ b/test/Transforms/InstSimplify/exact-nsw-nuw.ll @@ -0,0 +1,44 @@ +; RUN: opt < %s -instsimplify -S | FileCheck %s + +; PR8862 + +; CHECK: @shift1 +; CHECK: ret i32 %A +define i32 @shift1(i32 %A, i32 %B) { + %C = lshr exact i32 %A, %B + %D = shl nuw i32 %C, %B + ret i32 %D +} + +; CHECK: @shift2 +; CHECK: lshr +; CHECK: ret i32 %D +define i32 @shift2(i32 %A, i32 %B) { + %C = lshr i32 %A, %B + %D = shl nuw i32 %C, %B + ret i32 %D +} + +; CHECK: @shift3 +; CHECK: ret i32 %A +define i32 @shift3(i32 %A, i32 %B) { + %C = ashr exact i32 %A, %B + %D = shl nuw i32 %C, %B + ret i32 %D +} + +; CHECK: @shift4 +; CHECK: ret i32 %A +define i32 @shift4(i32 %A, i32 %B) { + %C = shl nuw i32 %A, %B + %D = lshr i32 %C, %B + ret i32 %D +} + +; CHECK: @shift5 +; CHECK: ret i32 %A +define i32 @shift5(i32 %A, i32 %B) { + %C = shl nsw i32 %A, %B + %D = ashr i32 %C, %B + ret i32 %D +} |