| blob | 0ecfcb104eec7f74f59471d403ff87cd1be34631 |
1 ; RUN: llc < %s -mtriple thumbv7 | FileCheck %s
3 ; ModuleID = 'bugpoint-reduced-simplified.bc'
4 define hidden void @bn_mul_comba8(ptr nocapture %r, ptr nocapture readonly %a, ptr nocapture readonly %b) local_unnamed_addr {
5 entry:
6 ; This test is actually checking that no cycle is introduced but at least we
7 ; want to see a couple of umull and one umlal in the output
8 ; CHECK: umull
9 ; CHECK: umull
10 ; CHECK: umlal
11 %0 = load i32, ptr %a, align 4
12 %conv = zext i32 %0 to i64
13 %1 = load i32, ptr %b, align 4
14 %conv2 = zext i32 %1 to i64
15 %mul = mul nuw i64 %conv2, %conv
16 %shr = lshr i64 %mul, 32
17 %2 = load i32, ptr %a, align 4
18 %conv13 = zext i32 %2 to i64
19 %3 = load i32, ptr undef, align 4
20 %conv15 = zext i32 %3 to i64
21 %mul16 = mul nuw i64 %conv15, %conv13
22 %add18 = add i64 %mul16, %shr
23 %shr20 = lshr i64 %add18, 32
24 %conv21 = trunc i64 %shr20 to i32
25 %4 = load i32, ptr undef, align 4
26 %conv34 = zext i32 %4 to i64
27 %5 = load i32, ptr %b, align 4
28 %conv36 = zext i32 %5 to i64
29 %mul37 = mul nuw i64 %conv36, %conv34
30 %conv38 = and i64 %add18, 4294967295
31 %add39 = add i64 %mul37, %conv38
32 %shr41 = lshr i64 %add39, 32
33 %conv42 = trunc i64 %shr41 to i32
34 %add43 = add i32 %conv42, %conv21
35 %cmp44 = icmp ult i32 %add43, %conv42
36 %c1.1 = zext i1 %cmp44 to i32
37 %add65 = add i32 0, %c1.1
38 %add86 = add i32 %add65, 0
39 %add107 = add i32 %add86, 0
40 %conv124 = zext i32 %add107 to i64
41 %add125 = add i64 0, %conv124
42 %conv145 = and i64 %add125, 4294967295
43 %add146 = add i64 %conv145, 0
44 %conv166 = and i64 %add146, 4294967295
45 %add167 = add i64 %conv166, 0
46 %conv187 = and i64 %add167, 4294967295
47 %add188 = add i64 %conv187, 0
48 %conv189 = trunc i64 %add188 to i32
49 %arrayidx200 = getelementptr inbounds i32, ptr %r, i32 3
50 store i32 %conv189, ptr %arrayidx200, align 4
51 ret void
52 }