1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
|
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple=powerpc64le-unknown-linux-gnu < %s | FileCheck %s
; RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple=powerpc64-ibm-aix-xcoff -vec-extabi < %s | FileCheck %s
define i64 @test1(i64 %x) {
; CHECK-LABEL: test1:
; CHECK: # %bb.0:
; CHECK-NEXT: mulli 3, 3, 625
; CHECK-NEXT: sldi 3, 3, 36
; CHECK-NEXT: blr
%y = mul i64 %x, 42949672960000
ret i64 %y
}
define i64 @test2(i64 %x) {
; CHECK-LABEL: test2:
; CHECK: # %bb.0:
; CHECK-NEXT: mulli 3, 3, -625
; CHECK-NEXT: sldi 3, 3, 36
; CHECK-NEXT: blr
%y = mul i64 %x, -42949672960000
ret i64 %y
}
define i64 @test3(i64 %x) {
; CHECK-LABEL: test3:
; CHECK: # %bb.0:
; CHECK-NEXT: mulli 3, 3, 297
; CHECK-NEXT: sldi 3, 3, 14
; CHECK-NEXT: blr
%y = mul i64 %x, 4866048
ret i64 %y
}
define i64 @test4(i64 %x) {
; CHECK-LABEL: test4:
; CHECK: # %bb.0:
; CHECK-NEXT: mulli 3, 3, -297
; CHECK-NEXT: sldi 3, 3, 14
; CHECK-NEXT: blr
%y = mul i64 %x, -4866048
ret i64 %y
}
define i64 @test5(i64 %x) {
; CHECK-LABEL: test5:
; CHECK: # %bb.0:
; CHECK-NEXT: sldi 4, 3, 12
; CHECK-NEXT: sldi 3, 3, 32
; CHECK-NEXT: add 3, 3, 4
; CHECK-NEXT: blr
%y = mul i64 %x, 4294971392
ret i64 %y
}
define i64 @test6(i64 %x) {
; CHECK-LABEL: test6:
; CHECK: # %bb.0:
; CHECK-NEXT: sldi 4, 3, 12
; CHECK-NEXT: sldi 3, 3, 32
; CHECK-NEXT: add 3, 3, 4
; CHECK-NEXT: neg 3, 3
; CHECK-NEXT: blr
%y = mul i64 %x, -4294971392
ret i64 %y
}
define i64 @test7(i64 %x) {
; CHECK-LABEL: test7:
; CHECK: # %bb.0:
; CHECK-NEXT: sldi 4, 3, 34
; CHECK-NEXT: sldi 3, 3, 13
; CHECK-NEXT: sub 3, 4, 3
; CHECK-NEXT: blr
%y = mul i64 %x, 17179860992
ret i64 %y
}
define i64 @test8(i64 %x) {
; CHECK-LABEL: test8:
; CHECK: # %bb.0:
; CHECK-NEXT: sldi 4, 3, 13
; CHECK-NEXT: sldi 3, 3, 34
; CHECK-NEXT: sub 3, 4, 3
; CHECK-NEXT: blr
%y = mul i64 %x, -17179860992
ret i64 %y
}
define i64 @test9(i64 %x) {
; CHECK-LABEL: test9:
; CHECK: # %bb.0:
; CHECK-NEXT: sldi 4, 3, 12
; CHECK-NEXT: sldi 5, 3, 32
; CHECK-NEXT: add 4, 5, 4
; CHECK-NEXT: mulli 3, 3, 8193
; CHECK-NEXT: sldi 3, 3, 19
; CHECK-NEXT: sub 3, 4, 3
; CHECK-NEXT: blr
%y = mul i64 %x, 4294971392
%z = mul i64 %x, 4295491584
%res = sub i64 %y, %z
ret i64 %res
}
define i64 @test10(i64 %x) {
; CHECK-LABEL: test10:
; CHECK: # %bb.0:
; CHECK-NEXT: sldi 4, 3, 34
; CHECK-NEXT: sldi 3, 3, 30
; CHECK-NEXT: sub 3, 4, 3
; CHECK-NEXT: blr
%y = mul i64 %x, 17179860992
%z = mul i64 %x, 1073733632
%res = sub i64 %y, %z
ret i64 %res
}
define i32 @test11(i32 %x) {
; CHECK-LABEL: test11:
; CHECK: # %bb.0:
; CHECK-NEXT: mulli 3, 3, 21845
; CHECK-NEXT: slwi 3, 3, 5
; CHECK-NEXT: blr
%y = mul nsw i32 %x, 699040
ret i32 %y
}
|
