xref: /llvm-project/llvm/test/Analysis/ScalarEvolution/2007-11-18-OrInstruction.ll (revision 50153213c80286c6c91da4612aaf234cc6438c63) 
1; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" 2>&1 | 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