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