; RUN: opt < %s -analyze -enable-new-pm=0 -scalar-evolution -scalar-evolution-max-iterations=0 | FileCheck %s | |
; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" -scalar-evolution-max-iterations=0 2>&1 | FileCheck %s | |
; PR2088 | |
; CHECK: Unpredictable | |
define void @fun() { | |
entry: | |
br label %loop | |
loop: | |
%i = phi i8 [ 0, %entry ], [ %i.next, %loop ] | |
%i.next = add i8 %i, 4 | |
%cond = icmp ne i8 %i.next, 6 | |
br i1 %cond, label %loop, label %exit | |
exit: | |
ret void | |
} |