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
...
|