135 lines
5.0 KiB
Plaintext
135 lines
5.0 KiB
Plaintext
|
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
|
||
|
|
# RUN: llc -mtriple aarch64-apple-ios -run-pass=aarch64-prelegalizer-combiner %s -o - | FileCheck %s
|
||
|
|
|
||
|
|
# Check that we canonicalize concat_vectors(build_vector, build_vector)
|
||
|
|
# into build_vector.
|
||
|
|
---
|
||
|
|
name: concat_to_build_vector
|
||
|
|
tracksRegLiveness: true
|
||
|
|
body: |
|
||
|
|
bb.1:
|
||
|
|
liveins: $x0, $x1, $x2, $x3
|
||
|
|
|
||
|
|
; CHECK-LABEL: name: concat_to_build_vector
|
||
|
|
; CHECK: liveins: $x0, $x1, $x2, $x3
|
||
|
|
; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
|
||
|
|
; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
|
||
|
|
; CHECK: [[COPY2:%[0-9]+]]:_(s64) = COPY $x2
|
||
|
|
; CHECK: [[COPY3:%[0-9]+]]:_(s64) = COPY $x3
|
||
|
|
; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s64>) = G_BUILD_VECTOR [[COPY]](s64), [[COPY1]](s64), [[COPY2]](s64), [[COPY3]](s64)
|
||
|
|
; CHECK: RET_ReallyLR implicit [[BUILD_VECTOR]](<4 x s64>)
|
||
|
|
%0:_(s64) = COPY $x0
|
||
|
|
%1:_(s64) = COPY $x1
|
||
|
|
%2:_(s64) = COPY $x2
|
||
|
|
%3:_(s64) = COPY $x3
|
||
|
|
%4:_(<2 x s64>) = G_BUILD_VECTOR %0(s64), %1
|
||
|
|
%5:_(<2 x s64>) = G_BUILD_VECTOR %2(s64), %3
|
||
|
|
%6:_(<4 x s64>) = G_CONCAT_VECTORS %4(<2 x s64>), %5
|
||
|
|
RET_ReallyLR implicit %6
|
||
|
|
...
|
||
|
|
# Same test as concat_to_build_vector but with pointer types.
|
||
|
|
---
|
||
|
|
name: concat_to_build_vector_ptr
|
||
|
|
tracksRegLiveness: true
|
||
|
|
body: |
|
||
|
|
bb.1:
|
||
|
|
liveins: $x0, $x1, $x2, $x3
|
||
|
|
|
||
|
|
; CHECK-LABEL: name: concat_to_build_vector_ptr
|
||
|
|
; CHECK: liveins: $x0, $x1, $x2, $x3
|
||
|
|
; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
|
||
|
|
; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
|
||
|
|
; CHECK: [[COPY2:%[0-9]+]]:_(p0) = COPY $x2
|
||
|
|
; CHECK: [[COPY3:%[0-9]+]]:_(p0) = COPY $x3
|
||
|
|
; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x p0>) = G_BUILD_VECTOR [[COPY]](p0), [[COPY1]](p0), [[COPY2]](p0), [[COPY3]](p0)
|
||
|
|
; CHECK: RET_ReallyLR implicit [[BUILD_VECTOR]](<4 x p0>)
|
||
|
|
%0:_(p0) = COPY $x0
|
||
|
|
%1:_(p0) = COPY $x1
|
||
|
|
%2:_(p0) = COPY $x2
|
||
|
|
%3:_(p0) = COPY $x3
|
||
|
|
%4:_(<2 x p0>) = G_BUILD_VECTOR %0(p0), %1
|
||
|
|
%5:_(<2 x p0>) = G_BUILD_VECTOR %2(p0), %3
|
||
|
|
%6:_(<4 x p0>) = G_CONCAT_VECTORS %4(<2 x p0>), %5
|
||
|
|
RET_ReallyLR implicit %6
|
||
|
|
...
|
||
|
|
# Check that we canonicalize concat_vectors(undef, undef) into undef.
|
||
|
|
---
|
||
|
|
name: concat_to_undef
|
||
|
|
tracksRegLiveness: true
|
||
|
|
body: |
|
||
|
|
bb.1:
|
||
|
|
; CHECK-LABEL: name: concat_to_undef
|
||
|
|
; CHECK: [[DEF:%[0-9]+]]:_(<4 x s64>) = G_IMPLICIT_DEF
|
||
|
|
; CHECK: RET_ReallyLR implicit [[DEF]](<4 x s64>)
|
||
|
|
%4:_(<2 x s64>) = G_IMPLICIT_DEF
|
||
|
|
%5:_(<2 x s64>) = G_IMPLICIT_DEF
|
||
|
|
%6:_(<4 x s64>) = G_CONCAT_VECTORS %4(<2 x s64>), %5
|
||
|
|
RET_ReallyLR implicit %6
|
||
|
|
...
|
||
|
|
# Check that when combining concat_vectors(build_vector, undef) into
|
||
|
|
# build_vector, we correctly break the undef vector into a sequence
|
||
|
|
# of undef scalar.
|
||
|
|
---
|
||
|
|
name: concat_to_build_vector_with_undef
|
||
|
|
tracksRegLiveness: true
|
||
|
|
body: |
|
||
|
|
bb.1:
|
||
|
|
liveins: $x0, $x1
|
||
|
|
|
||
|
|
; CHECK-LABEL: name: concat_to_build_vector_with_undef
|
||
|
|
; CHECK: liveins: $x0, $x1
|
||
|
|
; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
|
||
|
|
; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
|
||
|
|
; CHECK: [[DEF:%[0-9]+]]:_(s64) = G_IMPLICIT_DEF
|
||
|
|
; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s64>) = G_BUILD_VECTOR [[COPY]](s64), [[COPY1]](s64), [[DEF]](s64), [[DEF]](s64)
|
||
|
|
; CHECK: RET_ReallyLR implicit [[BUILD_VECTOR]](<4 x s64>)
|
||
|
|
%0:_(s64) = COPY $x0
|
||
|
|
%1:_(s64) = COPY $x1
|
||
|
|
%4:_(<2 x s64>) = G_BUILD_VECTOR %0(s64), %1
|
||
|
|
%5:_(<2 x s64>) = G_IMPLICIT_DEF
|
||
|
|
%6:_(<4 x s64>) = G_CONCAT_VECTORS %4(<2 x s64>), %5
|
||
|
|
RET_ReallyLR implicit %6
|
||
|
|
...
|
||
|
|
# Same as concat_to_build_vector_with_undef but with pointer types.
|
||
|
|
---
|
||
|
|
name: concat_to_build_vector_with_undef_ptr
|
||
|
|
tracksRegLiveness: true
|
||
|
|
body: |
|
||
|
|
bb.1:
|
||
|
|
liveins: $x0, $x1
|
||
|
|
|
||
|
|
; CHECK-LABEL: name: concat_to_build_vector_with_undef_ptr
|
||
|
|
; CHECK: liveins: $x0, $x1
|
||
|
|
; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
|
||
|
|
; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
|
||
|
|
; CHECK: [[DEF:%[0-9]+]]:_(p0) = G_IMPLICIT_DEF
|
||
|
|
; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x p0>) = G_BUILD_VECTOR [[COPY]](p0), [[COPY1]](p0), [[DEF]](p0), [[DEF]](p0)
|
||
|
|
; CHECK: RET_ReallyLR implicit [[BUILD_VECTOR]](<4 x p0>)
|
||
|
|
%0:_(p0) = COPY $x0
|
||
|
|
%1:_(p0) = COPY $x1
|
||
|
|
%4:_(<2 x p0>) = G_BUILD_VECTOR %0(p0), %1
|
||
|
|
%5:_(<2 x p0>) = G_IMPLICIT_DEF
|
||
|
|
%6:_(<4 x p0>) = G_CONCAT_VECTORS %4(<2 x p0>), %5
|
||
|
|
RET_ReallyLR implicit %6
|
||
|
|
...
|
||
|
|
# Check that we keep a concat_vectors as soon as one of the operand is
|
||
|
|
# not undef or build_vector. I.e., we cannot flatten the concat_vectors.
|
||
|
|
---
|
||
|
|
name: concat_to_build_vector_negative_test
|
||
|
|
tracksRegLiveness: true
|
||
|
|
body: |
|
||
|
|
bb.1:
|
||
|
|
liveins: $q0
|
||
|
|
|
||
|
|
; CHECK-LABEL: name: concat_to_build_vector_negative_test
|
||
|
|
; CHECK: liveins: $q0
|
||
|
|
; CHECK: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $q0
|
||
|
|
; CHECK: [[DEF:%[0-9]+]]:_(<2 x s64>) = G_IMPLICIT_DEF
|
||
|
|
; CHECK: [[CONCAT_VECTORS:%[0-9]+]]:_(<4 x s64>) = G_CONCAT_VECTORS [[COPY]](<2 x s64>), [[DEF]](<2 x s64>)
|
||
|
|
; CHECK: RET_ReallyLR implicit [[CONCAT_VECTORS]](<4 x s64>)
|
||
|
|
%4:_(<2 x s64>) = COPY $q0
|
||
|
|
%5:_(<2 x s64>) = G_IMPLICIT_DEF
|
||
|
|
%6:_(<4 x s64>) = G_CONCAT_VECTORS %4(<2 x s64>), %5
|
||
|
|
RET_ReallyLR implicit %6
|
||
|
|
...
|