1 ; RUN: opt -S -indvars < %s | FileCheck %s 2 3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 4 target triple = "x86_64-unknown-linux-gnu" 5 6 define void @fn1() { 7 ; CHECK-LABEL: @fn1( 8 entry: 9 br label %for.cond.loopexit 10 11 for.cond.loopexit: ; preds = %for.inc7, %for.cond.loopexit, %entry 12 %c.1.lcssa = phi i32 [ %inc8, %for.inc7 ], [ 0, %for.cond.loopexit ], [ 0, %entry ] 13 br i1 undef, label %for.cond.loopexit, label %for.cond4.preheader 14 15 for.cond4.preheader: ; preds = %for.inc7, %for.cond.loopexit 16 %c.17 = phi i32 [ %inc8, %for.inc7 ], [ 0, %for.cond.loopexit ] 17 br label %for.body6 18 19 for.body6: ; preds = %for.body6, %for.cond4.preheader 20 %inc14 = phi i32 [ 0, %for.cond4.preheader ], [ %inc, %for.body6 ] 21 %idxprom = zext i32 %inc14 to i64 22 %inc = add i32 %inc14, 1 23 %cmp5 = icmp ult i32 %inc, 2 24 br i1 %cmp5, label %for.body6, label %for.inc7 25 26 for.inc7: ; preds = %for.body6 27 %inc.lcssa = phi i32 [ %inc, %for.body6 ] 28 %inc8 = add i32 %c.17, 1 29 %cmp = icmp ult i32 %inc8, %inc.lcssa 30 br i1 %cmp, label %for.cond4.preheader, label %for.cond.loopexit 31 } 32
