blob: 46ad70e736d83d689359b6fd70df0a395e6e657e [file] [log] [blame]
; RUN: opt < %s -loop-reduce -disable-output
; PR 2537
define void @a() {
entry:
br label %dobody
dobody: ; preds = %dobody, %entry
%y.0 = phi i128 [ 0, %entry ], [ %add, %dobody ]
%x.0 = phi i128 [ 0, %entry ], [ %add2, %dobody ]
%add = add i128 %y.0, shl (i128 1, i128 64)
%add2 = add i128 %x.0, shl (i128 1, i128 48)
call void @b( i128 %add )
%cmp = icmp ult i128 %add2, shl (i128 1, i128 64)
br i1 %cmp, label %dobody, label %afterdo
afterdo: ; preds = %dobody
ret void
}
declare void @b(i128 %add)