; RUN: opt < %s -analyze -enable-new-pm=0 -scalar-evolution | FileCheck %s | |
; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" 2>&1 | FileCheck %s | |
; PR1810 | |
define void @fun() { | |
entry: | |
br label %header | |
header: | |
%i = phi i32 [ 1, %entry ], [ %i.next, %body ] | |
%cond = icmp eq i32 %i, 10 | |
br i1 %cond, label %exit, label %body | |
body: | |
%a = mul i32 %i, 5 | |
%b = or i32 %a, 1 | |
%i.next = add i32 %i, 1 | |
br label %header | |
exit: | |
ret void | |
} | |
; CHECK: --> %b | |