1; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
2; PR1810
3
4define void @fun() {
5entry:
6        br label %header
7header:
8        %i = phi i32 [ 1, %entry ], [ %i.next, %body ]
9        %cond = icmp eq i32 %i, 10
10        br i1 %cond, label %exit, label %body
11body:
12        %a = mul i32 %i, 5
13        %b = or i32 %a, 1
14        %i.next = add i32 %i, 1
15        br label %header
16exit:
17        ret void
18}
19
20; CHECK: -->  %b
21
22