1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
; RUN: opt < %s -scalar-evolution -analyze | FileCheck %s ; CHECK: Loop %header: backedge-taken count is (0 smax %n) 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 }