diff options
author | Tim Northover <tnorthover@apple.com> | 2017-06-20 15:01:38 +0000 |
---|---|---|
committer | Tim Northover <tnorthover@apple.com> | 2017-06-20 15:01:38 +0000 |
commit | f37b0dbf162b809e389f17fa4fe7b7dd96eb1014 (patch) | |
tree | ee35f799341c2121460ae6c2d8e2c1a2f9d2127a /test/CodeGen/ARM/v6m-umul-with-overflow.ll | |
parent | 46f62d55fa4bbf1970c053c2a222c1afdc7d5c92 (diff) |
DAG: correctly legalize UMULO.
We were incorrectly sign extending into the high word (as you would for
SMULO) when legalizing UMULO in terms of a wider full multiplication.
Patch by James Duley.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@305800 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/ARM/v6m-umul-with-overflow.ll')
-rw-r--r-- | test/CodeGen/ARM/v6m-umul-with-overflow.ll | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/CodeGen/ARM/v6m-umul-with-overflow.ll b/test/CodeGen/ARM/v6m-umul-with-overflow.ll new file mode 100644 index 00000000000..4e3146d7110 --- /dev/null +++ b/test/CodeGen/ARM/v6m-umul-with-overflow.ll @@ -0,0 +1,16 @@ +; RUN: llc < %s -mtriple=thumbv6m-none-eabi | FileCheck %s + +define i1 @unsigned_multiplication_did_overflow(i32, i32) { +; CHECK-LABEL: unsigned_multiplication_did_overflow: +entry-block: + %2 = tail call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %0, i32 %1) + %3 = extractvalue { i32, i1 } %2, 1 + ret i1 %3 + +; CHECK: mov{{s?}} r2, r1 +; CHECK: mov{{s?}} r1, #0 +; CHECK: mov{{s?}} r3, {{#0|r1}} +; CHECK: bl __aeabi_lmul +} + +declare { i32, i1 } @llvm.umul.with.overflow.i32(i32, i32) |