diff options
| author | Stephen Hines <srhines@google.com> | 2014-12-04 02:59:27 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2014-12-04 02:59:28 +0000 |
| commit | 876d6995443e99d13696f3941c3a789a4daa7c7a (patch) | |
| tree | 8fb36d3910e3ee4c4e1b7422f4f017108efc52f5 /test/Transforms/Reassociate/wrap-flags.ll | |
| parent | d2327b22152ced7bc46dc629fc908959e8a52d03 (diff) | |
| parent | 37ed9c199ca639565f6ce88105f9e39e898d82d0 (diff) | |
| download | external_llvm-876d6995443e99d13696f3941c3a789a4daa7c7a.zip external_llvm-876d6995443e99d13696f3941c3a789a4daa7c7a.tar.gz external_llvm-876d6995443e99d13696f3941c3a789a4daa7c7a.tar.bz2 | |
Merge "Update aosp/master LLVM for rebase to r222494."
Diffstat (limited to 'test/Transforms/Reassociate/wrap-flags.ll')
| -rw-r--r-- | test/Transforms/Reassociate/wrap-flags.ll | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/test/Transforms/Reassociate/wrap-flags.ll b/test/Transforms/Reassociate/wrap-flags.ll new file mode 100644 index 0000000..e3304b6 --- /dev/null +++ b/test/Transforms/Reassociate/wrap-flags.ll @@ -0,0 +1,34 @@ +; RUN: opt < %s -reassociate -dce -S | FileCheck %s +; PR12985 + +; Verify the nsw flags are preserved when converting shl to mul. + +; CHECK-LABEL: @shl_to_mul_nsw( +; CHECK: %mul = mul i32 %i, -2147483648 +; CHECK: add i32 %mul, 1 +define i32 @shl_to_mul_nsw(i32 %i) { +entry: + %mul = shl nsw i32 %i, 31 + %mul2 = add i32 %mul, 1 + ret i32 %mul2 +} + +; CHECK-LABEL: @shl_to_mul_nuw( +; CHECK: %mul = mul nuw i32 %i, 4 +; CHECK: add i32 %mul, 1 +define i32 @shl_to_mul_nuw(i32 %i) { +entry: + %mul = shl nuw i32 %i, 2 + %mul2 = add i32 %mul, 1 + ret i32 %mul2 +} + +; CHECK-LABEL: @shl_to_mul_nuw_nsw( +; CHECK: %mul = mul nuw nsw i32 %i, 4 +; CHECK: add i32 %mul, 1 +define i32 @shl_to_mul_nuw_nsw(i32 %i) { +entry: + %mul = shl nuw nsw i32 %i, 2 + %mul2 = add i32 %mul, 1 + ret i32 %mul2 +} |