xref: /llvm-project/llvm/test/Transforms/LoopStrengthReduce/pr2537.ll (revision 76d3ab2cc33336c1eece6484c9a55577eac7e79a) 
1; RUN: opt < %s -loop-reduce -disable-output
2; PR 2537
3
4define void @a() {
5entry:
6        br label %dobody
7
8dobody:         ; preds = %dobody, %entry
9        %y.0 = phi i128 [ 0, %entry ], [ %add, %dobody ]
10        %x.0 = phi i128 [ 0, %entry ], [ %add2, %dobody ]
11        %add = add i128 %y.0, u0x10000000000000000
12        %add2 = add i128 %x.0, u0x1000000000000
13        call void @b( i128 %add )
14        %cmp = icmp ult i128 %add2, u0x10000000000000000
15        br i1 %cmp, label %dobody, label %afterdo
16
17afterdo:                ; preds = %dobody
18        ret void
19}
20
21declare void @b(i128 %add)
22