| ; RUN: opt -loop-reduce -S < %s | FileCheck %s |
| ; |
| ; <rdar://10701050> "Cannot split an edge from an IndirectBrInst" assert. |
| |
| target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" |
| target triple = "x86_64-apple-darwin10.0.0" |
| |
| ; while.cond197 is a dominates the simplified loop while.cond238 but |
| ; has no with no preheader. |
| ; |
| ; CHECK-LABEL: @nopreheader( |
| ; CHECK: %while.cond238 |
| ; CHECK: phi i64 |
| ; CHECK-NOT: phi |
| ; CHECK: indirectbr |
| define void @nopreheader(i8* %end) nounwind { |
| entry: |
| br label %while.cond179 |
| |
| while.cond179: ; preds = %if.end434, %if.end369, %if.end277, %if.end165 |
| %s.1 = phi i8* [ undef, %if.end434 ], [ %incdec.ptr356, %if.end348 ], [ undef, %entry ] |
| indirectbr i8* undef, [label %land.rhs184, label %while.end453] |
| |
| land.rhs184: ; preds = %while.cond179 |
| indirectbr i8* undef, [label %while.end453, label %while.cond197] |
| |
| while.cond197: ; preds = %land.rhs202, %land.rhs184 |
| %0 = phi i64 [ %indvar.next11, %land.rhs202 ], [ 0, %land.rhs184 ] |
| indirectbr i8* undef, [label %land.rhs202, label %while.end215] |
| |
| land.rhs202: ; preds = %while.cond197 |
| %indvar.next11 = add i64 %0, 1 |
| indirectbr i8* undef, [label %while.end215, label %while.cond197] |
| |
| while.end215: ; preds = %land.rhs202, %while.cond197 |
| indirectbr i8* undef, [label %PREMATURE, label %if.end221] |
| |
| if.end221: ; preds = %while.end215 |
| indirectbr i8* undef, [label %while.cond238.preheader, label %lor.lhs.false227] |
| |
| lor.lhs.false227: ; preds = %if.end221 |
| indirectbr i8* undef, [label %while.cond238.preheader, label %if.else] |
| |
| while.cond238.preheader: ; preds = %lor.lhs.false227, %if.end221 |
| %tmp16 = add i64 %0, 2 |
| indirectbr i8* undef, [label %while.cond238] |
| |
| while.cond238: ; preds = %land.rhs243, %while.cond238.preheader |
| %1 = phi i64 [ %indvar.next15, %land.rhs243 ], [ 0, %while.cond238.preheader ] |
| %tmp36 = add i64 %tmp16, %1 |
| %s.3 = getelementptr i8, i8* %s.1, i64 %tmp36 |
| %cmp241 = icmp ult i8* %s.3, %end |
| indirectbr i8* undef, [label %land.rhs243, label %while.end256] |
| |
| land.rhs243: ; preds = %while.cond238 |
| %indvar.next15 = add i64 %1, 1 |
| indirectbr i8* undef, [label %while.end256, label %while.cond238] |
| |
| while.end256: ; preds = %land.rhs243, %while.cond238 |
| indirectbr i8* undef, [label %PREMATURE] |
| |
| if.else: ; preds = %lor.lhs.false227 |
| indirectbr i8* undef, [label %if.then297, label %if.else386] |
| |
| if.then297: ; preds = %if.else |
| indirectbr i8* undef, [label %PREMATURE, label %if.end307] |
| |
| if.end307: ; preds = %if.then297 |
| indirectbr i8* undef, [label %if.end314, label %FAIL] |
| |
| if.end314: ; preds = %if.end307 |
| indirectbr i8* undef, [label %if.end340] |
| |
| if.end340: ; preds = %while.end334 |
| indirectbr i8* undef, [label %PREMATURE, label %if.end348] |
| |
| if.end348: ; preds = %if.end340 |
| %incdec.ptr356 = getelementptr inbounds i8, i8* undef, i64 2 |
| indirectbr i8* undef, [label %while.cond179] |
| |
| if.else386: ; preds = %if.else |
| indirectbr i8* undef, [label %while.end453, label %if.end434] |
| |
| if.end434: ; preds = %if.then428, %if.end421 |
| indirectbr i8* undef, [label %while.cond179] |
| |
| while.end453: ; preds = %if.else386, %land.rhs184, %while.cond179 |
| indirectbr i8* undef, [label %PREMATURE, label %if.end459] |
| |
| if.end459: ; preds = %while.end453 |
| indirectbr i8* undef, [label %if.then465, label %FAIL] |
| |
| if.then465: ; preds = %if.end459 |
| indirectbr i8* undef, [label %return, label %if.then479] |
| |
| if.then479: ; preds = %if.then465 |
| indirectbr i8* undef, [label %return] |
| |
| FAIL: ; preds = %if.end459, %if.end307, %land.lhs.true142, %land.lhs.true131, %while.end |
| indirectbr i8* undef, [label %DECL_FAIL] |
| |
| PREMATURE: ; preds = %while.end453, %while.end415, %if.end340, %while.end334, %if.then297, %while.end256, %while.end215 |
| indirectbr i8* undef, [label %return, label %if.then495] |
| |
| if.then495: ; preds = %PREMATURE |
| indirectbr i8* undef, [label %return] |
| |
| DECL_FAIL: ; preds = %if.then488, %FAIL, %land.lhs.true99, %lor.lhs.false, %if.end83, %if.then39, %if.end |
| indirectbr i8* undef, [label %return] |
| |
| return: ; preds = %if.then512, %if.end504, %DECL_FAIL, %if.then495, %PREMATURE, %if.then479, %if.then465, %if.then69, %if.end52, %if.end19, %if.then |
| ret void |
| } |