1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
; RUN: llvm-as < %s | opt -scalar-evolution -analyze | grep {Loop header: (0 smax %n) iterations!} ; XFAIL: * define void @foo(i32 %n) { entry: br label %header header: %i = phi i32 [ 0, %entry ], [ %i.inc, %next ] %cond = icmp sgt i32 %n, %i br i1 %cond, label %next, label %return next: %i.inc = add i32 %i, 1 br label %header return: ret void }