| Jakob Stoklund Olesen | 59bde4d | 2012-07-04 00:09:58 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -enable-early-ifcvt -stress-early-ifcvt | FileCheck %s |
| 2 | target triple = "x86_64-apple-macosx10.8.0" |
| 3 | |
| 4 | ; CHECK: mm2 |
| 5 | define i32 @mm2(i32* nocapture %p, i32 %n) nounwind uwtable readonly ssp { |
| 6 | entry: |
| 7 | br label %do.body |
| 8 | |
| 9 | ; CHECK: do.body |
| 10 | ; Loop body has no branches before the backedge. |
| 11 | ; CHECK-NOT: LBB |
| 12 | do.body: |
| 13 | %max.0 = phi i32 [ 0, %entry ], [ %max.1, %do.cond ] |
| 14 | %min.0 = phi i32 [ 0, %entry ], [ %min.1, %do.cond ] |
| 15 | %n.addr.0 = phi i32 [ %n, %entry ], [ %dec, %do.cond ] |
| 16 | %p.addr.0 = phi i32* [ %p, %entry ], [ %incdec.ptr, %do.cond ] |
| 17 | %incdec.ptr = getelementptr inbounds i32* %p.addr.0, i64 1 |
| 18 | %0 = load i32* %p.addr.0, align 4 |
| 19 | %cmp = icmp sgt i32 %0, %max.0 |
| 20 | br i1 %cmp, label %do.cond, label %if.else |
| 21 | |
| 22 | if.else: |
| 23 | %cmp1 = icmp slt i32 %0, %min.0 |
| 24 | %.min.0 = select i1 %cmp1, i32 %0, i32 %min.0 |
| 25 | br label %do.cond |
| 26 | |
| 27 | do.cond: |
| 28 | %max.1 = phi i32 [ %0, %do.body ], [ %max.0, %if.else ] |
| 29 | %min.1 = phi i32 [ %min.0, %do.body ], [ %.min.0, %if.else ] |
| 30 | ; CHECK: decl %esi |
| 31 | ; CHECK: jne LBB |
| 32 | %dec = add i32 %n.addr.0, -1 |
| 33 | %tobool = icmp eq i32 %dec, 0 |
| 34 | br i1 %tobool, label %do.end, label %do.body |
| 35 | |
| 36 | do.end: |
| 37 | %sub = sub nsw i32 %max.1, %min.1 |
| 38 | ret i32 %sub |
| 39 | } |