maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/llvm/test/Analysis/ScalarEvolution/2008-07-29-SMinExpr.ll

25 lines
829 B
LLVM
Raw Normal View History

Another SCEV issue from PR2607; essentially the same issue, but this time applying to the implicit comparison in smin expressions. The correct way to transform an inequality into the opposite inequality, either signed or unsigned, is with a not expression. I looked through the SCEV code, and I don't think there are any more occurrences of this issue. llvm-svn: 54194
2008-07-30 12:36:32 +08:00
; RUN: llvm-as < %s | opt -analyze -scalar-evolution -disable-output \
; RUN: -scalar-evolution-max-iterations=0 | \
Make ScalarEvolution::isLoopGuardedByCond work even when the edge entering a loop is a non-split critical edge. llvm-svn: 72004
2009-05-18 23:36:09 +08:00
; RUN: grep -F "backedge-taken count is (-2147483632 + ((-1 + (-1 * %x)) smax (-1 + (-1 * %y))))"
Another SCEV issue from PR2607; essentially the same issue, but this time applying to the implicit comparison in smin expressions. The correct way to transform an inequality into the opposite inequality, either signed or unsigned, is with a not expression. I looked through the SCEV code, and I don't think there are any more occurrences of this issue. llvm-svn: 54194
2008-07-30 12:36:32 +08:00
; PR2607
Add nounwind to a few tests. llvm-svn: 72002
2009-05-18 23:16:49 +08:00
define i32 @b(i32 %x, i32 %y) nounwind {
Another SCEV issue from PR2607; essentially the same issue, but this time applying to the implicit comparison in smin expressions. The correct way to transform an inequality into the opposite inequality, either signed or unsigned, is with a not expression. I looked through the SCEV code, and I don't think there are any more occurrences of this issue. llvm-svn: 54194
2008-07-30 12:36:32 +08:00
entry:
%cmp2 = icmp slt i32 %y, %x
%cond3 = select i1 %cmp2, i32 %y, i32 %x
%cmp54 = icmp slt i32 %cond3, -2147483632
br i1 %cmp54, label %forinc, label %afterfor
forinc: ; preds = %forinc, %entry
%j.01 = phi i32 [ %dec, %forinc ], [ -2147483632, %entry ]
%dec = add i32 %j.01, -1
%cmp = icmp slt i32 %y, %x
%cond = select i1 %cmp, i32 %y, i32 %x
%cmp5 = icmp sgt i32 %dec, %cond
br i1 %cmp5, label %forinc, label %afterfor
afterfor: ; preds = %forinc, %entry
%j.0.lcssa = phi i32 [ -2147483632, %entry ], [ %dec, %forinc ]
ret i32 %j.0.lcssa
}