1*9880d681SAndroid Build Coastguard Worker;RUN: llc -march=hexagon < %s | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; Test that a hardware loop is not generaetd due to a potential 4*9880d681SAndroid Build Coastguard Worker; underflow. 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: loop0 7*9880d681SAndroid Build Coastguard Worker 8*9880d681SAndroid Build Coastguard Workerdefine i32 @main() #0 { 9*9880d681SAndroid Build Coastguard Workerentry: 10*9880d681SAndroid Build Coastguard Worker br label %while.cond.outer 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Workerwhile.cond.outer.loopexit: 13*9880d681SAndroid Build Coastguard Worker %.lcssa = phi i32 [ %0, %for.body.preheader ] 14*9880d681SAndroid Build Coastguard Worker br label %while.cond.outer 15*9880d681SAndroid Build Coastguard Worker 16*9880d681SAndroid Build Coastguard Workerwhile.cond.outer: 17*9880d681SAndroid Build Coastguard Worker %i.0.ph = phi i32 [ 0, %entry ], [ 3, %while.cond.outer.loopexit ] 18*9880d681SAndroid Build Coastguard Worker %j.0.ph = phi i32 [ 0, %entry ], [ %.lcssa, %while.cond.outer.loopexit ] 19*9880d681SAndroid Build Coastguard Worker %k.0.ph = phi i32 [ 0, %entry ], [ 1, %while.cond.outer.loopexit ] 20*9880d681SAndroid Build Coastguard Worker br label %while.cond 21*9880d681SAndroid Build Coastguard Worker 22*9880d681SAndroid Build Coastguard Workerwhile.cond: 23*9880d681SAndroid Build Coastguard Worker %i.0 = phi i32 [ %i.0.ph, %while.cond.outer ], [ %inc, %for.body.preheader ] 24*9880d681SAndroid Build Coastguard Worker %j.0 = phi i32 [ %j.0.ph, %while.cond.outer ], [ %0, %for.body.preheader ] 25*9880d681SAndroid Build Coastguard Worker %inc = add nsw i32 %i.0, 1 26*9880d681SAndroid Build Coastguard Worker %cmp = icmp slt i32 %i.0, 4 27*9880d681SAndroid Build Coastguard Worker br i1 %cmp, label %for.body.preheader, label %while.end 28*9880d681SAndroid Build Coastguard Worker 29*9880d681SAndroid Build Coastguard Workerfor.body.preheader: 30*9880d681SAndroid Build Coastguard Worker %0 = add i32 %j.0, 3 31*9880d681SAndroid Build Coastguard Worker %cmp5 = icmp eq i32 %inc, 3 32*9880d681SAndroid Build Coastguard Worker br i1 %cmp5, label %while.cond.outer.loopexit, label %while.cond 33*9880d681SAndroid Build Coastguard Worker 34*9880d681SAndroid Build Coastguard Workerwhile.end: 35*9880d681SAndroid Build Coastguard Worker %k.0.ph.lcssa = phi i32 [ %k.0.ph, %while.cond ] 36*9880d681SAndroid Build Coastguard Worker %inc.lcssa = phi i32 [ %inc, %while.cond ] 37*9880d681SAndroid Build Coastguard Worker %j.0.lcssa = phi i32 [ %j.0, %while.cond ] 38*9880d681SAndroid Build Coastguard Worker %cmp6 = icmp ne i32 %inc.lcssa, 5 39*9880d681SAndroid Build Coastguard Worker %cmp7 = icmp ne i32 %j.0.lcssa, 12 40*9880d681SAndroid Build Coastguard Worker %or.cond = or i1 %cmp6, %cmp7 41*9880d681SAndroid Build Coastguard Worker %cmp9 = icmp ne i32 %k.0.ph.lcssa, 1 42*9880d681SAndroid Build Coastguard Worker %or.cond12 = or i1 %or.cond, %cmp9 43*9880d681SAndroid Build Coastguard Worker %locflg.0 = zext i1 %or.cond12 to i32 44*9880d681SAndroid Build Coastguard Worker ret i32 %locflg.0 45*9880d681SAndroid Build Coastguard Worker} 46