|
1 | 1 | # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
|
2 |
| -# RUN: llc -mtriple aarch64 -run-pass=aarch64-prelegalizer-combiner -verify-machineinstrs %s -o - | FileCheck %s |
| 2 | +# RUN: llc -mtriple aarch64 -run-pass=aarch64-prelegalizer-combiner %s -o - | FileCheck %s |
3 | 3 |
|
4 | 4 |
|
5 | 5 | ---
|
@@ -220,6 +220,37 @@ body: |
|
220 | 220 | $x0 = COPY %add
|
221 | 221 | RET_ReallyLR implicit $x0
|
222 | 222 |
|
| 223 | +... |
| 224 | +--- |
| 225 | +name: APlusBMinusCPlusA_BV |
| 226 | +body: | |
| 227 | + bb.0: |
| 228 | + liveins: $w0, $w1 |
| 229 | +
|
| 230 | + ; CHECK-LABEL: name: APlusBMinusCPlusA_BV |
| 231 | + ; CHECK: liveins: $w0, $w1 |
| 232 | + ; CHECK-NEXT: {{ $}} |
| 233 | + ; CHECK-NEXT: %a1:_(s64) = COPY $x0 |
| 234 | + ; CHECK-NEXT: %b1:_(s64) = COPY $x1 |
| 235 | + ; CHECK-NEXT: %c1:_(s64) = COPY $x2 |
| 236 | + ; CHECK-NEXT: %b:_(<2 x s64>) = G_BUILD_VECTOR %b1(s64), %ba:_(s64) |
| 237 | + ; CHECK-NEXT: %c:_(<2 x s64>) = G_BUILD_VECTOR %a1(s64), %c1(s64) |
| 238 | + ; CHECK-NEXT: %add:_(<2 x s64>) = G_SUB %b, %c |
| 239 | + ; CHECK-NEXT: $q0 = COPY %add(<2 x s64>) |
| 240 | + ; CHECK-NEXT: RET_ReallyLR implicit $x0 |
| 241 | + %a1:_(s64) = COPY $x0 |
| 242 | + %b1:_(s64) = COPY $x1 |
| 243 | + %c1:_(s64) = COPY $x2 |
| 244 | + %a:_(<2 x s64>) = G_BUILD_VECTOR %a1:_(s64), %b1:_(s64) |
| 245 | + %b:_(<2 x s64>) = G_BUILD_VECTOR %b1:_(s64), %ba:_(s64) |
| 246 | + %c:_(<2 x s64>) = G_BUILD_VECTOR %a1:_(s64), %c1:_(s64) |
| 247 | + %zero:_(s64) = G_CONSTANT i64 0 |
| 248 | + %add1:_(<2 x s64>) = G_ADD %c, %a |
| 249 | + %sub1:_(<2 x s64>) = G_SUB %b, %add1 |
| 250 | + %add:_(<2 x s64>) = G_ADD %a, %sub1 |
| 251 | + $q0 = COPY %add |
| 252 | + RET_ReallyLR implicit $x0 |
| 253 | +
|
223 | 254 |
|
224 | 255 |
|
225 | 256 |
|
|
0 commit comments