diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2014-12-26 09:50:35 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2014-12-26 09:50:35 +0000 |
| commit | 7627d9c2297151bebe5b6ae06252d2434c8b445a (patch) | |
| tree | e894729008723557c41679906cc19c8561e1043a /test/Transforms/InstCombine/intrinsics.ll | |
| parent | 597e1ab1aa8c80553021c5c6422588aed85e09b7 (diff) | |
InstCombine: Infer nuw for multiplies
A multiply cannot unsigned wrap if there are bitwidth, or more, leading
zero bits between the two operands.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@224849 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstCombine/intrinsics.ll')
| -rw-r--r-- | test/Transforms/InstCombine/intrinsics.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Transforms/InstCombine/intrinsics.ll b/test/Transforms/InstCombine/intrinsics.ll index c745ea8a59b..eae14de6a31 100644 --- a/test/Transforms/InstCombine/intrinsics.ll +++ b/test/Transforms/InstCombine/intrinsics.ll @@ -148,7 +148,7 @@ define %ov.result.32 @smultest1_nsw(i32 %a, i32 %b) { %x = call %ov.result.32 @llvm.smul.with.overflow.i32(i32 %A, i32 %B) ret %ov.result.32 %x ; CHECK-LABEL: @smultest1_nsw -; CHECK: %x = mul nsw i32 %A, %B +; CHECK: %x = mul nuw nsw i32 %A, %B ; CHECK-NEXT: %1 = insertvalue %ov.result.32 { i32 undef, i1 false }, i32 %x, 0 ; CHECK-NEXT: ret %ov.result.32 %1 } |