llvm/test/CodeGen/AArch64/GlobalISel/irtranslator-stack-objects.ll

   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,
  14 define 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 }