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