| # RUN: llc -O0 -run-pass=legalizer -global-isel %s -o - | FileCheck %s |
| |
| --- | |
| target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" |
| target triple = "aarch64--" |
| define void @test_vaarg() { ret void } |
| ... |
| |
| --- |
| name: test_vaarg |
| body: | |
| bb.0: |
| %0:_(p0) = COPY %x0 |
| |
| ; CHECK-LABEL: name: test_vaarg |
| ; CHECK: [[LIST:%[0-9]+]]:_(p0) = G_LOAD %0(p0) :: (load 8) |
| ; CHECK: %1:_(s8) = G_LOAD [[LIST]](p0) :: (load 1, align 8) |
| ; CHECK: [[SLOTSIZE:%[0-9]+]]:_(s64) = G_CONSTANT i64 8 |
| ; CHECK: [[NEXT:%[0-9]+]]:_(p0) = G_GEP [[LIST]], [[SLOTSIZE]](s64) |
| ; CHECK: G_STORE [[NEXT]](p0), %0(p0) :: (store 8) |
| %1:_(s8) = G_VAARG %0(p0), 1 |
| |
| ; CHECK: [[LIST:%[0-9]+]]:_(p0) = G_LOAD %0(p0) :: (load 8) |
| ; CHECK: %2:_(s64) = G_LOAD [[LIST]](p0) :: (load 8) |
| ; CHECK: [[SLOTSIZE:%[0-9]+]]:_(s64) = G_CONSTANT i64 8 |
| ; CHECK: [[NEXT:%[0-9]+]]:_(p0) = G_GEP [[LIST]], [[SLOTSIZE]](s64) |
| ; CHECK: G_STORE [[NEXT]](p0), %0(p0) :: (store 8) |
| %2:_(s64) = G_VAARG %0(p0), 8 |
| |
| ; CHECK: [[LIST:%[0-9]+]]:_(p0) = G_LOAD %0(p0) :: (load 8) |
| ; CHECK: [[ALIGNM1:%[0-9]+]]:_(s64) = G_CONSTANT i64 15 |
| ; CHECK: [[ALIGNTMP:%[0-9]+]]:_(p0) = G_GEP [[LIST]], [[ALIGNM1]](s64) |
| ; CHECK: [[LIST:%[0-9]+]]:_(p0) = G_PTR_MASK [[ALIGNTMP]], 4 |
| ; CHECK: %3:_(s64) = G_LOAD [[LIST]](p0) :: (load 8, align 16) |
| ; CHECK: [[SLOTSIZE:%[0-9]+]]:_(s64) = G_CONSTANT i64 8 |
| ; CHECK: [[NEXT:%[0-9]+]]:_(p0) = G_GEP [[LIST]], [[SLOTSIZE]](s64) |
| ; CHECK: G_STORE [[NEXT]](p0), %0(p0) :: (store 8) |
| %3:_(s64) = G_VAARG %0(p0), 16 |
| ... |