1; RUN: llc < %s -mtriple thumbv7 | FileCheck %s
2
3define hidden void @foo(i32* %ptr, i1 zeroext %long_blocks) {
4entry:
5; This test is actually checking that no cycle is introduced but at least we
6; want to see one umull.
7; CHECK: umull
8  %0 = load i32, i32* %ptr, align 4
9  %conv.i.i13.i = zext i32 %0 to i64
10  %mul.i.i14.i = mul nuw nsw i64 %conv.i.i13.i, 18782
11  %1 = load i32, i32* undef, align 4
12  %conv4.i.i16.i = zext i32 %1 to i64
13  %add5.i.i17.i = add nuw nsw i64 %mul.i.i14.i, %conv4.i.i16.i
14  %shr.i.i18.i = lshr i64 %add5.i.i17.i, 32
15  %add10.i.i20.i = add nuw nsw i64 %shr.i.i18.i, %add5.i.i17.i
16  %conv11.i.i21.i = trunc i64 %add10.i.i20.i to i32
17  %x.0.neg.i.i26.i = sub i32 -2, %conv11.i.i21.i
18  %sub.i.i27.i = add i32 %x.0.neg.i.i26.i, 0
19  store i32 %sub.i.i27.i, i32* %ptr, align 4
20  br label %while.body.i
21
22while.body.i:                                     ; preds = %while.body.i, %entry
23  br label %while.body.i
24}
25
26