1 ; RUN: opt -indvars -S < %s | FileCheck %s 2 3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" 4 target triple = "x86_64-apple-macosx10.11.0" 5 6 define void @fn1(i1 %c0, i1 %c1) { 7 ; CHECK-LABEL: @fn1( 8 entry: 9 br i1 %c0, label %for.end.34, label %for.cond.1thread-pre-split 10 11 for.cond.loopexit: ; preds = %for.end.29, %for.end.7 12 %f.lcssa = phi i32 [ %f.1, %for.end.29 ], [ %f.1, %for.end.7 ] 13 br i1 %c1, label %for.end.34, label %for.cond.1thread-pre-split 14 15 for.cond.1thread-pre-split: ; preds = %for.cond.loopexit, %entry 16 %f.047 = phi i32 [ %f.lcssa, %for.cond.loopexit ], [ 0, %entry ] 17 br label %for.cond.1 18 19 for.cond.1: ; preds = %for.cond.1, %for.cond.1thread-pre-split 20 br i1 %c1, label %for.cond.4, label %for.cond.1 21 22 for.cond.4: ; preds = %for.end.29, %for.cond.1 23 %f.1 = phi i32 [ 0, %for.end.29 ], [ %f.047, %for.cond.1 ] 24 br label %for.cond.5 25 26 for.cond.5: ; preds = %for.cond.5, %for.cond.4 27 %h.0 = phi i32 [ 0, %for.cond.4 ], [ %inc, %for.cond.5 ] 28 %cmp = icmp slt i32 %h.0, 1 29 %inc = add nsw i32 %h.0, 1 30 br i1 %cmp, label %for.cond.5, label %for.end.7 31 32 for.end.7: ; preds = %for.cond.5 33 %g.lcssa = phi i32 [ %h.0, %for.cond.5 ] 34 %tobool10 = icmp eq i32 %g.lcssa, 0 35 br i1 %tobool10, label %for.end.8, label %for.cond.loopexit 36 37 for.end.8: ; preds = %for.end.7 38 br i1 %c1, label %for.cond.19, label %for.end.29 39 40 for.cond.19: ; preds = %for.cond.19, %for.end.8 41 br label %for.cond.19 42 43 for.end.29: ; preds = %for.end.8 44 %tobool30 = icmp eq i32 %f.1, 0 45 br i1 %tobool30, label %for.cond.4, label %for.cond.loopexit 46 47 for.end.34: ; preds = %for.cond.loopexit, %entry 48 ret void 49 } 50
