diff options
author | Daniel Dunbar <daniel@zuster.org> | 2010-08-25 16:58:05 +0000 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2010-08-25 16:58:05 +0000 |
commit | 3cc3283fcbb90924196cc38ee5977b35c4ee28b5 (patch) | |
tree | 724550bcbc6d879dd99793439f657154175cc4f5 /test/CodeGen/Thumb2/thumb2-cmp.ll | |
parent | 0a0073daab2c85b958566f0e84d59cb89585fc45 (diff) | |
download | llvm-3cc3283fcbb90924196cc38ee5977b35c4ee28b5.tar.gz llvm-3cc3283fcbb90924196cc38ee5977b35c4ee28b5.tar.bz2 llvm-3cc3283fcbb90924196cc38ee5977b35c4ee28b5.tar.xz |
ARM/Thumb2: Fix a misselect in getARMCmp, when attempting to adjust a signed
comparison that would overflow.
- The other under/overflow cases can't actually happen because the immediates
which would trigger them are legal (so we don't enter this code), but
adjusted the style to make it clear the transform is always valid.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112053 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/Thumb2/thumb2-cmp.ll')
-rw-r--r-- | test/CodeGen/Thumb2/thumb2-cmp.ll | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/CodeGen/Thumb2/thumb2-cmp.ll b/test/CodeGen/Thumb2/thumb2-cmp.ll index d4773bb580..63249f4cf1 100644 --- a/test/CodeGen/Thumb2/thumb2-cmp.ll +++ b/test/CodeGen/Thumb2/thumb2-cmp.ll @@ -39,3 +39,17 @@ define i1 @f5(i32 %a) { %tmp = icmp eq i32 %a, 1114112 ret i1 %tmp } + +; Check that we don't do an invalid (a > b) --> !(a < b + 1) transform. +; +; CHECK: f6: +; CHECK-NOT: cmp.w r0, #-2147483648 +; CHECK: bx lr +define i32 @f6(i32 %a) { + %tmp = icmp sgt i32 %a, 2147483647 + br i1 %tmp, label %true, label %false +true: + ret i32 2 +false: + ret i32 0 +} |