| Dan Gohman | 80386c10 | 2010-01-26 19:25:59 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -analyze -scalar-evolution \ |
| Edward O'Callaghan | f96ce30 | 2009-10-27 14:54:46 +0000 | [diff] [blame] | 2 | ; RUN: -scalar-evolution-max-iterations=0 | FileCheck %s |
| Eli Friedman | 4736916 | 2008-07-30 04:36:32 +0000 | [diff] [blame] | 3 | ; PR2607 |
| 4 | |
| Dan Gohman | b81dd48 | 2009-05-18 15:16:49 +0000 | [diff] [blame] | 5 | define i32 @b(i32 %x, i32 %y) nounwind { |
| Eli Friedman | 4736916 | 2008-07-30 04:36:32 +0000 | [diff] [blame] | 6 | entry: |
| 7 | %cmp2 = icmp slt i32 %y, %x |
| 8 | %cond3 = select i1 %cmp2, i32 %y, i32 %x |
| 9 | %cmp54 = icmp slt i32 %cond3, -2147483632 |
| 10 | br i1 %cmp54, label %forinc, label %afterfor |
| 11 | |
| 12 | forinc: ; preds = %forinc, %entry |
| 13 | %j.01 = phi i32 [ %dec, %forinc ], [ -2147483632, %entry ] |
| 14 | %dec = add i32 %j.01, -1 |
| 15 | %cmp = icmp slt i32 %y, %x |
| 16 | %cond = select i1 %cmp, i32 %y, i32 %x |
| 17 | %cmp5 = icmp sgt i32 %dec, %cond |
| 18 | br i1 %cmp5, label %forinc, label %afterfor |
| 19 | |
| 20 | afterfor: ; preds = %forinc, %entry |
| 21 | %j.0.lcssa = phi i32 [ -2147483632, %entry ], [ %dec, %forinc ] |
| 22 | ret i32 %j.0.lcssa |
| 23 | } |
| Edward O'Callaghan | f96ce30 | 2009-10-27 14:54:46 +0000 | [diff] [blame] | 24 | |
| Dan Gohman | 24ceda8 | 2010-06-18 19:54:20 +0000 | [diff] [blame] | 25 | ; CHECK: backedge-taken count is (-2147483632 + ((-1 + (-1 * %{{[xy]}})) smax (-1 + (-1 * %{{[xy]}})))) |
| Edward O'Callaghan | f96ce30 | 2009-10-27 14:54:46 +0000 | [diff] [blame] | 26 | |