1 ; RUN: llc < %s -march=arm64 | FileCheck %s
6 define i128 @t1(i64 %a, i64 %b) nounwind readnone ssp {
9 ; CHECK: mul {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}
10 ; CHECK: umulh {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}
11 %tmp1 = zext i64 %a to i128
12 %tmp2 = zext i64 %b to i128
13 %tmp3 = mul i128 %tmp1, %tmp2
17 define i128 @t2(i64 %a, i64 %b) nounwind readnone ssp {
20 ; CHECK: mul {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}
21 ; CHECK: smulh {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}
22 %tmp1 = sext i64 %a to i128
23 %tmp2 = sext i64 %b to i128
24 %tmp3 = mul i128 %tmp1, %tmp2
28 define i64 @t3(i32 %a, i32 %b) nounwind {
31 ; CHECK: umull {{x[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
32 %tmp1 = zext i32 %a to i64
33 %tmp2 = zext i32 %b to i64
34 %tmp3 = mul i64 %tmp1, %tmp2
38 define i64 @t4(i32 %a, i32 %b) nounwind {
41 ; CHECK: smull {{x[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
42 %tmp1 = sext i32 %a to i64
43 %tmp2 = sext i32 %b to i64
44 %tmp3 = mul i64 %tmp1, %tmp2
48 define i64 @t5(i32 %a, i32 %b, i64 %c) nounwind {
51 ; CHECK: umaddl {{x[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, {{x[0-9]+}}
52 %tmp1 = zext i32 %a to i64
53 %tmp2 = zext i32 %b to i64
54 %tmp3 = mul i64 %tmp1, %tmp2
55 %tmp4 = add i64 %c, %tmp3
59 define i64 @t6(i32 %a, i32 %b, i64 %c) nounwind {
62 ; CHECK: smsubl {{x[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, {{x[0-9]+}}
63 %tmp1 = sext i32 %a to i64
64 %tmp2 = sext i32 %b to i64
65 %tmp3 = mul i64 %tmp1, %tmp2
66 %tmp4 = sub i64 %c, %tmp3
70 define i64 @t7(i32 %a, i32 %b) nounwind {
73 ; CHECK: umnegl {{x[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
74 %tmp1 = zext i32 %a to i64
75 %tmp2 = zext i32 %b to i64
76 %tmp3 = mul i64 %tmp1, %tmp2
77 %tmp4 = sub i64 0, %tmp3
81 define i64 @t8(i32 %a, i32 %b) nounwind {
84 ; CHECK: smnegl {{x[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
85 %tmp1 = sext i32 %a to i64
86 %tmp2 = sext i32 %b to i64
87 %tmp3 = mul i64 %tmp1, %tmp2
88 %tmp4 = sub i64 0, %tmp3