[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / ARM / pr34045-2.ll
blob94bc3ea3e4fc0f417c668601266e08c7d4bbabf5
1 ; RUN: llc < %s -mtriple thumbv7 | FileCheck %s
3 define hidden void @foo(i32* %ptr, i1 zeroext %long_blocks) {
4 entry:
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
22 while.body.i:                                     ; preds = %while.body.i, %entry
23   br label %while.body.i