diff options
| author | Rafael Espindola <rafael.espindola@gmail.com> | 2014-05-29 14:39:16 +0000 |
|---|---|---|
| committer | Rafael Espindola <rafael.espindola@gmail.com> | 2014-05-29 14:39:16 +0000 |
| commit | 843ac4747a6e02884a93e04a5463de340d044a0f (patch) | |
| tree | 197bb4f1bb31a8ce7bb0286a3f42c1e0fcc16d0b /test | |
| parent | 897fd5f0edd15ddfc569d3f4ff2a4bcbbb644af2 (diff) | |
| download | llvm-843ac4747a6e02884a93e04a5463de340d044a0f.tar.gz llvm-843ac4747a6e02884a93e04a5463de340d044a0f.tar.bz2 llvm-843ac4747a6e02884a93e04a5463de340d044a0f.tar.xz | |
Revert "Revert "Revert "InstCombine: Improvement to check if signed addition overflows."""
This reverts commit r209776.
It was miscompiling llvm::SelectionDAGISel::MorphNode.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@209817 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Transforms/InstCombine/AddOverflow.ll | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/test/Transforms/InstCombine/AddOverflow.ll b/test/Transforms/InstCombine/AddOverflow.ll deleted file mode 100644 index 1bbd1fc59a..0000000000 --- a/test/Transforms/InstCombine/AddOverflow.ll +++ /dev/null @@ -1,56 +0,0 @@ -; RUN: opt < %s -instcombine -S | FileCheck %s - -target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" -target triple = "x86_64-unknown-linux-gnu" - -; CHECK-LABEL: @ripple( -; CHECK: add nsw i16 %tmp1, 1 -define i32 @ripple(i16 signext %x) { -bb: - %tmp = sext i16 %x to i32 - %tmp1 = and i32 %tmp, -5 - %tmp2 = trunc i32 %tmp1 to i16 - %tmp3 = sext i16 %tmp2 to i32 - %tmp4 = add i32 %tmp3, 1 - ret i32 %tmp4 -} - -; CHECK-LABEL: @ripplenot( -; CHECK: add i32 %tmp3, 4 -define i32 @ripplenot(i16 signext %x) { -bb: - %tmp = sext i16 %x to i32 - %tmp1 = and i32 %tmp, -3 - %tmp2 = trunc i32 %tmp1 to i16 - %tmp3 = sext i16 %tmp2 to i32 - %tmp4 = add i32 %tmp3, 4 - ret i32 %tmp4 -} - -; CHECK-LABEL: @oppositesign( -; CHECK: add nsw i16 %tmp1, 4 -define i32 @oppositesign(i16 signext %x) { -bb: - %tmp = sext i16 %x to i32 - %tmp1 = or i32 %tmp, 32768 - %tmp2 = trunc i32 %tmp1 to i16 - %tmp3 = sext i16 %tmp2 to i32 - %tmp4 = add i32 %tmp3, 4 - ret i32 %tmp4 -} - -; CHECK-LABEL: @ripplenot_var( -; CHECK: add i32 %tmp6, %tmp7 -define i32 @ripplenot_var(i16 signext %x, i16 signext %y) { -bb: - %tmp = sext i16 %x to i32 - %tmp1 = and i32 %tmp, -5 - %tmp2 = trunc i32 %tmp1 to i16 - %tmp3 = sext i16 %y to i32 - %tmp4 = or i32 %tmp3, 2 - %tmp5 = trunc i32 %tmp4 to i16 - %tmp6 = sext i16 %tmp5 to i32 - %tmp7 = sext i16 %tmp2 to i32 - %tmp8 = add i32 %tmp6, %tmp7 - ret i32 %tmp8 -} |