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