diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/InstCombine/nsw.ll | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/nsw.ll b/test/Transforms/InstCombine/nsw.ll new file mode 100644 index 0000000..3218371 --- /dev/null +++ b/test/Transforms/InstCombine/nsw.ll @@ -0,0 +1,20 @@ +; RUN: llvm-as < %s | opt -instcombine | llvm-dis | FileCheck %s + +; CHECK: define i32 @foo +; %y = sub i32 0, %x +; %z = sdiv i32 %y, 337 +; ret i32 %y +define i32 @foo(i32 %x) { + %y = sub i32 0, %x + %z = sdiv i32 %y, 337 + ret i32 %y +} + +; CHECK: define i32 @bar +; %y = sdiv i32 %x, -337 +; ret i32 %y +define i32 @bar(i32 %x) { + %y = sub nsw i32 0, %x + %z = sdiv i32 %y, 337 + ret i32 %y +} |