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
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
|
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 4
# RUN: llc %s -mtriple=riscv64 -run-pass=riscv-opt-w-instrs -verify-machineinstrs \
# RUN: -mattr=+m -o - | FileCheck %s -check-prefixes=NO-PREFER-W-INST
# RUN: llc %s -mtriple=riscv64 -run-pass=riscv-opt-w-instrs -verify-machineinstrs \
# RUN: -mattr=+m,+prefer-w-inst -o - | FileCheck %s -check-prefixes=PREFER-W-INST
---
name: addi
body: |
bb.0.entry:
liveins: $x10, $x11
; NO-PREFER-W-INST-LABEL: name: addi
; NO-PREFER-W-INST: liveins: $x10, $x11
; NO-PREFER-W-INST-NEXT: {{ $}}
; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; NO-PREFER-W-INST-NEXT: [[ADDI:%[0-9]+]]:gpr = ADDI [[COPY]], 1
; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[ADDI]], 1
; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; NO-PREFER-W-INST-NEXT: PseudoRET
;
; PREFER-W-INST-LABEL: name: addi
; PREFER-W-INST: liveins: $x10, $x11
; PREFER-W-INST-NEXT: {{ $}}
; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[COPY]], 1
; PREFER-W-INST-NEXT: [[ADDIW1:%[0-9]+]]:gpr = ADDIW [[ADDIW]], 1
; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW1]]
; PREFER-W-INST-NEXT: PseudoRET
%1:gpr = COPY $x10
%2:gpr = COPY $x11
%3:gpr = ADDI %1, 1
%4:gpr = ADDIW %3, 1
$x10 = COPY %4
PseudoRET
...
---
name: add
body: |
bb.0.entry:
liveins: $x10, $x11
; NO-PREFER-W-INST-LABEL: name: add
; NO-PREFER-W-INST: liveins: $x10, $x11
; NO-PREFER-W-INST-NEXT: {{ $}}
; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; NO-PREFER-W-INST-NEXT: [[ADD:%[0-9]+]]:gpr = ADD [[COPY]], [[COPY1]]
; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[ADD]], 1
; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; NO-PREFER-W-INST-NEXT: PseudoRET
;
; PREFER-W-INST-LABEL: name: add
; PREFER-W-INST: liveins: $x10, $x11
; PREFER-W-INST-NEXT: {{ $}}
; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; PREFER-W-INST-NEXT: [[ADDW:%[0-9]+]]:gpr = ADDW [[COPY]], [[COPY1]]
; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[ADDW]], 1
; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; PREFER-W-INST-NEXT: PseudoRET
%1:gpr = COPY $x10
%2:gpr = COPY $x11
%3:gpr = ADD %1, %2
%4:gpr = ADDIW %3, 1
$x10 = COPY %4
PseudoRET
...
---
name: sub
body: |
bb.0.entry:
liveins: $x10, $x11
; NO-PREFER-W-INST-LABEL: name: sub
; NO-PREFER-W-INST: liveins: $x10, $x11
; NO-PREFER-W-INST-NEXT: {{ $}}
; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; NO-PREFER-W-INST-NEXT: [[SUB:%[0-9]+]]:gpr = SUB [[COPY]], [[COPY1]]
; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[SUB]], 1
; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; NO-PREFER-W-INST-NEXT: PseudoRET
;
; PREFER-W-INST-LABEL: name: sub
; PREFER-W-INST: liveins: $x10, $x11
; PREFER-W-INST-NEXT: {{ $}}
; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; PREFER-W-INST-NEXT: [[SUBW:%[0-9]+]]:gpr = SUBW [[COPY]], [[COPY1]]
; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[SUBW]], 1
; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; PREFER-W-INST-NEXT: PseudoRET
%1:gpr = COPY $x10
%2:gpr = COPY $x11
%3:gpr = SUB %1, %2
%4:gpr = ADDIW %3, 1
$x10 = COPY %4
PseudoRET
...
---
name: mul
body: |
bb.0.entry:
liveins: $x10, $x11
; NO-PREFER-W-INST-LABEL: name: mul
; NO-PREFER-W-INST: liveins: $x10, $x11
; NO-PREFER-W-INST-NEXT: {{ $}}
; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; NO-PREFER-W-INST-NEXT: [[MUL:%[0-9]+]]:gpr = MUL [[COPY]], [[COPY1]]
; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[MUL]], 1
; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; NO-PREFER-W-INST-NEXT: PseudoRET
;
; PREFER-W-INST-LABEL: name: mul
; PREFER-W-INST: liveins: $x10, $x11
; PREFER-W-INST-NEXT: {{ $}}
; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; PREFER-W-INST-NEXT: [[MULW:%[0-9]+]]:gpr = MULW [[COPY]], [[COPY1]]
; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[MULW]], 1
; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; PREFER-W-INST-NEXT: PseudoRET
%1:gpr = COPY $x10
%2:gpr = COPY $x11
%3:gpr = MUL %1, %2
%4:gpr = ADDIW %3, 1
$x10 = COPY %4
PseudoRET
...
---
name: slli_31
body: |
bb.0.entry:
liveins: $x10, $x11
; NO-PREFER-W-INST-LABEL: name: slli_31
; NO-PREFER-W-INST: liveins: $x10, $x11
; NO-PREFER-W-INST-NEXT: {{ $}}
; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; NO-PREFER-W-INST-NEXT: [[SLLI:%[0-9]+]]:gpr = SLLI [[COPY]], 31
; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[SLLI]], 1
; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; NO-PREFER-W-INST-NEXT: PseudoRET
;
; PREFER-W-INST-LABEL: name: slli_31
; PREFER-W-INST: liveins: $x10, $x11
; PREFER-W-INST-NEXT: {{ $}}
; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; PREFER-W-INST-NEXT: [[SLLIW:%[0-9]+]]:gpr = SLLIW [[COPY]], 31
; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[SLLIW]], 1
; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; PREFER-W-INST-NEXT: PseudoRET
%1:gpr = COPY $x10
%2:gpr = COPY $x11
%3:gpr = SLLI %1, 31
%4:gpr = ADDIW %3, 1
$x10 = COPY %4
PseudoRET
...
---
name: slli_32
body: |
bb.0.entry:
liveins: $x10, $x11
; NO-PREFER-W-INST-LABEL: name: slli_32
; NO-PREFER-W-INST: liveins: $x10, $x11
; NO-PREFER-W-INST-NEXT: {{ $}}
; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; NO-PREFER-W-INST-NEXT: [[SLLI:%[0-9]+]]:gpr = SLLI [[COPY]], 32
; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[SLLI]], 1
; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; NO-PREFER-W-INST-NEXT: PseudoRET
;
; PREFER-W-INST-LABEL: name: slli_32
; PREFER-W-INST: liveins: $x10, $x11
; PREFER-W-INST-NEXT: {{ $}}
; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; PREFER-W-INST-NEXT: [[SLLI:%[0-9]+]]:gpr = SLLI [[COPY]], 32
; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[SLLI]], 1
; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; PREFER-W-INST-NEXT: PseudoRET
%1:gpr = COPY $x10
%2:gpr = COPY $x11
%3:gpr = SLLI %1, 32
%4:gpr = ADDIW %3, 1
$x10 = COPY %4
PseudoRET
...
---
name: ld
body: |
bb.0.entry:
liveins: $x10, $x11
; NO-PREFER-W-INST-LABEL: name: ld
; NO-PREFER-W-INST: liveins: $x10, $x11
; NO-PREFER-W-INST-NEXT: {{ $}}
; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; NO-PREFER-W-INST-NEXT: [[LD:%[0-9]+]]:gpr = LD [[COPY]], 0
; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[LD]], 1
; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; NO-PREFER-W-INST-NEXT: PseudoRET
;
; PREFER-W-INST-LABEL: name: ld
; PREFER-W-INST: liveins: $x10, $x11
; PREFER-W-INST-NEXT: {{ $}}
; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; PREFER-W-INST-NEXT: [[LW:%[0-9]+]]:gpr = LW [[COPY]], 0
; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[LW]], 1
; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; PREFER-W-INST-NEXT: PseudoRET
%1:gpr = COPY $x10
%2:gpr = COPY $x11
%3:gpr = LD %1, 0
%4:gpr = ADDIW %3, 1
$x10 = COPY %4
PseudoRET
...
---
name: lwu
body: |
bb.0.entry:
liveins: $x10, $x11
; NO-PREFER-W-INST-LABEL: name: lwu
; NO-PREFER-W-INST: liveins: $x10, $x11
; NO-PREFER-W-INST-NEXT: {{ $}}
; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; NO-PREFER-W-INST-NEXT: [[LWU:%[0-9]+]]:gpr = LWU [[COPY]], 0
; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[LWU]], 1
; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; NO-PREFER-W-INST-NEXT: PseudoRET
;
; PREFER-W-INST-LABEL: name: lwu
; PREFER-W-INST: liveins: $x10, $x11
; PREFER-W-INST-NEXT: {{ $}}
; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10
; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11
; PREFER-W-INST-NEXT: [[LW:%[0-9]+]]:gpr = LW [[COPY]], 0
; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[LW]], 1
; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]]
; PREFER-W-INST-NEXT: PseudoRET
%1:gpr = COPY $x10
%2:gpr = COPY $x11
%3:gpr = LWU %1, 0
%4:gpr = ADDIW %3, 1
$x10 = COPY %4
PseudoRET
...
|
