1; Test high-part i32->i64 multiplications.
2;
3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
4
5; We don't provide *MUL_LOHI or MULH* for the patterns in this file,
6; but they should at least still work.
7
8; Check zero-extended multiplication in which only the high part is used.
9define i32 @f1(i32 %a, i32 %b) {
10; CHECK-LABEL: f1:
11; CHECK: msgr
12; CHECK: br %r14
13  %ax = zext i32 %a to i64
14  %bx = zext i32 %b to i64
15  %mulx = mul i64 %ax, %bx
16  %highx = lshr i64 %mulx, 32
17  %high = trunc i64 %highx to i32
18  ret i32 %high
19}
20
21; Check sign-extended multiplication in which only the high part is used.
22define i32 @f2(i32 %a, i32 %b) {
23; CHECK-LABEL: f2:
24; CHECK: msgfr
25; CHECK: br %r14
26  %ax = sext i32 %a to i64
27  %bx = sext i32 %b to i64
28  %mulx = mul i64 %ax, %bx
29  %highx = lshr i64 %mulx, 32
30  %high = trunc i64 %highx to i32
31  ret i32 %high
32}
33
34; Check zero-extended multiplication in which the result is split into
35; high and low halves.
36define i32 @f3(i32 %a, i32 %b) {
37; CHECK-LABEL: f3:
38; CHECK: msgr
39; CHECK: br %r14
40  %ax = zext i32 %a to i64
41  %bx = zext i32 %b to i64
42  %mulx = mul i64 %ax, %bx
43  %highx = lshr i64 %mulx, 32
44  %high = trunc i64 %highx to i32
45  %low = trunc i64 %mulx to i32
46  %or = or i32 %high, %low
47  ret i32 %or
48}
49
50; Check sign-extended multiplication in which the result is split into
51; high and low halves.
52define i32 @f4(i32 %a, i32 %b) {
53; CHECK-LABEL: f4:
54; CHECK: msgfr
55; CHECK: br %r14
56  %ax = sext i32 %a to i64
57  %bx = sext i32 %b to i64
58  %mulx = mul i64 %ax, %bx
59  %highx = lshr i64 %mulx, 32
60  %high = trunc i64 %highx to i32
61  %low = trunc i64 %mulx to i32
62  %or = or i32 %high, %low
63  ret i32 %or
64}
65