diff options
| author | Bill Wendling <isanbard@gmail.com> | 2012-03-10 17:56:03 +0000 |
|---|---|---|
| committer | Bill Wendling <isanbard@gmail.com> | 2012-03-10 17:56:03 +0000 |
| commit | c17731d65d2c059a71256ee995cbb057ff28a109 (patch) | |
| tree | ef447e97a03696376e42c465b741d913ae844b1f /test/Transforms/InstCombine/2012-03-10-InstCombine.ll | |
| parent | 63155f967c6f97ba1c9958a7282ea67517b8abf8 (diff) | |
| download | llvm-c17731d65d2c059a71256ee995cbb057ff28a109.tar.gz llvm-c17731d65d2c059a71256ee995cbb057ff28a109.tar.bz2 llvm-c17731d65d2c059a71256ee995cbb057ff28a109.tar.xz | |
Make this transformation slightly less agressive and more correct.
The 'CmpInst::isFalseWhenEqual' function returns 'false' for values other than
simply equality. For instance, it returns 'false' for <= or >=. This isn't the
correct behavior for this transformation, which is checking for strict equality
and non-equality. It was causing the gcc.c-torture/execute/frame-address.c test
to fail because it would completely (and incorrectly) optimize a whole function
into a 'ret i32 0'.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@152497 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstCombine/2012-03-10-InstCombine.ll')
| -rw-r--r-- | test/Transforms/InstCombine/2012-03-10-InstCombine.ll | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/2012-03-10-InstCombine.ll b/test/Transforms/InstCombine/2012-03-10-InstCombine.ll new file mode 100644 index 0000000000..6898997254 --- /dev/null +++ b/test/Transforms/InstCombine/2012-03-10-InstCombine.ll @@ -0,0 +1,35 @@ +; RUN: opt < %s -instcombine | FileCheck %s + +; Derived from gcc.c-torture/execute/frame-address.c + +; CHECK: @func +; CHECK: return: +; CHECK-NOT: ret i32 0 +; CHECK: ret i32 %retval + +define i32 @func(i8* %c, i8* %f) nounwind uwtable readnone noinline ssp { +entry: + %d = alloca i8, align 1 + store i8 0, i8* %d, align 1 + %cmp = icmp ugt i8* %d, %c + br i1 %cmp, label %if.else, label %if.then + +if.then: ; preds = %entry + %cmp2 = icmp ule i8* %d, %f + %not.cmp1 = icmp uge i8* %c, %f + %.cmp2 = and i1 %cmp2, %not.cmp1 + %land.ext = zext i1 %.cmp2 to i32 + br label %return + +if.else: ; preds = %entry + %cmp5 = icmp uge i8* %d, %f + %not.cmp3 = icmp ule i8* %c, %f + %.cmp5 = and i1 %cmp5, %not.cmp3 + %land.ext7 = zext i1 %.cmp5 to i32 + br label %return + +return: ; preds = %if.else, %if.then + %retval.0 = phi i32 [ %land.ext, %if.then ], [ %land.ext7, %if.else ] + ret i32 %retval.0 +} + |