1; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2; RUN: llc -global-isel -mtriple aarch64-apple-ios -stop-after=instruction-select %s -o - | FileCheck %s
3
4; Check that packing incoming arguments into a big vector type
5; and unpacking them in registers for the call to @bar gets selected as just
6; simple copies. I.e., we don't artificial try to keep the big
7; vector (%vec) alive.
8define void @shuffle_to_concat_vector(<2 x i64> %a, <2 x i64> %b) {
9  ; CHECK-LABEL: name: shuffle_to_concat_vector
10  ; CHECK: bb.1 (%ir-block.0):
11  ; CHECK:   liveins: $q0, $q1
12  ; CHECK:   [[COPY:%[0-9]+]]:fpr128 = COPY $q0
13  ; CHECK:   [[COPY1:%[0-9]+]]:fpr128 = COPY $q1
14  ; CHECK:   ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp
15  ; CHECK:   $q0 = COPY [[COPY]]
16  ; CHECK:   $q1 = COPY [[COPY1]]
17  ; CHECK:   BL @bar, csr_darwin_aarch64_aapcs, implicit-def $lr, implicit $sp, implicit $q0, implicit $q1
18  ; CHECK:   ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp
19  ; CHECK:   RET_ReallyLR
20  %vec = shufflevector <2 x i64> %a, <2 x i64> %b, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
21  call void @bar(<4 x i64> %vec)
22  ret void
23}
24
25declare void @bar(<4 x i64> %vec)
26