1; RUN: llc -global-isel -mtriple=aarch64-unknown-unknown -stop-after=irtranslator -verify-machineinstrs %s -o - | FileCheck %s 2 3; The byval object should not be immutable, but the non-byval stack 4; passed argument should be. 5 6; CHECK-LABEL: name: stack_passed_i64 7; CHECK: fixedStack: 8; CHECK: - { id: 0, type: default, offset: 16, size: 8, alignment: 16, stack-id: default, 9; CHECK-NEXT: isImmutable: false, isAliased: false, 10; CHECK: - { id: 1, type: default, offset: 8, size: 8, alignment: 8, stack-id: default, 11; CHECK-NEXT: isImmutable: false, isAliased: false, 12; CHECK: - { id: 2, type: default, offset: 0, size: 8, alignment: 16, stack-id: default, 13; CHECK-NEXT: isImmutable: true, isAliased: false, 14define void @stack_passed_i64(i64 %arg, i64 %arg1, i64 %arg2, i64 %arg3, i64 %arg4, i64 %arg5, i64 %arg6, 15 i64 %arg7, i64 %arg8, ptr byval(i64) %arg9, ptr byval(i64) align(8) %arg10) { 16 ; CHECK: bb.1 (%ir-block.0): 17 ; CHECK: [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.2 18 ; CHECK: [[LOAD:%[0-9]+]]:_(s64) = G_LOAD [[FRAME_INDEX]](p0) :: (invariant load (s64) from %fixed-stack.2, align 16) 19 ; CHECK: [[FRAME_INDEX1:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.1 20 ; CHECK: [[COPY8:%[0-9]+]]:_(p0) = COPY [[FRAME_INDEX1]](p0) 21 ; CHECK: [[FRAME_INDEX2:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.0 22 ; CHECK: [[COPY9:%[0-9]+]]:_(p0) = COPY [[FRAME_INDEX2]](p0) 23 ; CHECK: [[LOAD1:%[0-9]+]]:_(s64) = G_LOAD [[COPY8]](p0) :: (load (s64) from %ir.arg9) 24 ; CHECK: [[ADD0:%[0-9]+]]:_(s64) = G_ADD [[LOAD1]], [[LOAD]] 25 ; CHECK: [[LOAD2:%[0-9]+]]:_(s64) = G_LOAD [[COPY9]](p0) :: (dereferenceable load (s64) from %ir.arg10) 26 ; CHECK: [[ADD1:%[0-9]+]]:_(s64) = G_ADD [[ADD0]], [[LOAD2]] 27 ; CHECK: G_STORE [[ADD1]](s64), [[COPY8]](p0) :: (volatile store (s64) into %ir.arg9) 28 29 30; CHECK: RET_ReallyLR 31 %load0 = load i64, ptr %arg9 32 %add0 = add i64 %load0, %arg8 33 %load1 = load i64, ptr %arg10 34 %add1 = add i64 %add0, %load1 35 store volatile i64 %add1, ptr %arg9 36 ret void 37} 38