# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -O0 -mtriple=mipsel-linux-gnu -run-pass=regbankselect -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=MIPS32
--- |
@.str = private unnamed_addr constant [11 x i8] c"string %s\0A\00", align 1
declare void @llvm.va_start(ptr) #0
declare void @llvm.va_copy(ptr, ptr) #0
declare i32 @printf(ptr, ...)
define void @testVaCopyArg(ptr %fmt, ...) {
entry:
%fmt.addr = alloca ptr, align 4
%ap = alloca ptr, align 4
%aq = alloca ptr, align 4
%s = alloca ptr, align 4
store ptr %fmt, ptr %fmt.addr, align 4
%ap1 = bitcast ptr %ap to ptr
call void @llvm.va_start(ptr %ap1)
%0 = bitcast ptr %aq to ptr
%1 = bitcast ptr %ap to ptr
call void @llvm.va_copy(ptr %0, ptr %1)
%argp.cur = load ptr, ptr %aq, align 4
%argp.next = getelementptr inbounds i8, ptr %argp.cur, i32 4
store ptr %argp.next, ptr %aq, align 4
%2 = bitcast ptr %argp.cur to ptr
%3 = load ptr, ptr %2, align 4
store ptr %3, ptr %s, align 4
%4 = load ptr, ptr %s, align 4
%call = call i32 (ptr, ...) @printf(ptr @.str, ptr %4)
ret void
}
...
---
name: testVaCopyArg
alignment: 4
legalized: true
tracksRegLiveness: true
liveins:
- { reg: '$a0' }
fixedStack:
- { id: 0, offset: 12, size: 4, alignment: 4, isImmutable: true }
- { id: 1, offset: 8, size: 4, alignment: 8, isImmutable: true }
- { id: 2, offset: 4, size: 4, alignment: 4, isImmutable: true }
- { id: 3, offset: 4, size: 4, alignment: 4, isImmutable: true }
stack:
- { id: 0, name: fmt.addr, size: 4, alignment: 4 }
- { id: 1, name: ap, size: 4, alignment: 4 }
- { id: 2, name: aq, size: 4, alignment: 4 }
- { id: 3, name: s, size: 4, alignment: 4 }
machineFunctionInfo: {}
body: |
bb.1.entry:
liveins: $a0, $a1, $a2, $a3
; MIPS32-LABEL: name: testVaCopyArg
; MIPS32: liveins: $a0, $a1, $a2, $a3
; MIPS32: [[COPY:%[0-9]+]]:gprb(p0) = COPY $a0
; MIPS32: [[COPY1:%[0-9]+]]:gprb(s32) = COPY $a1
; MIPS32: [[FRAME_INDEX:%[0-9]+]]:gprb(p0) = G_FRAME_INDEX %fixed-stack.1
; MIPS32: G_STORE [[COPY1]](s32), [[FRAME_INDEX]](p0) :: (store (s32) into %fixed-stack.1)
; MIPS32: [[COPY2:%[0-9]+]]:gprb(s32) = COPY $a2
; MIPS32: [[FRAME_INDEX1:%[0-9]+]]:gprb(p0) = G_FRAME_INDEX %fixed-stack.2
; MIPS32: G_STORE [[COPY2]](s32), [[FRAME_INDEX1]](p0) :: (store (s32) into %fixed-stack.2)
; MIPS32: [[COPY3:%[0-9]+]]:gprb(s32) = COPY $a3
; MIPS32: [[FRAME_INDEX2:%[0-9]+]]:gprb(p0) = G_FRAME_INDEX %fixed-stack.3
; MIPS32: G_STORE [[COPY3]](s32), [[FRAME_INDEX2]](p0) :: (store (s32) into %fixed-stack.3)
; MIPS32: [[GV:%[0-9]+]]:gprb(p0) = G_GLOBAL_VALUE @.str
; MIPS32: [[COPY4:%[0-9]+]]:gprb(p0) = COPY [[GV]](p0)
; MIPS32: [[FRAME_INDEX3:%[0-9]+]]:gprb(p0) = G_FRAME_INDEX %stack.0.fmt.addr
; MIPS32: [[FRAME_INDEX4:%[0-9]+]]:gpr32(p0) = G_FRAME_INDEX %stack.1.ap
; MIPS32: [[FRAME_INDEX5:%[0-9]+]]:gpr32(p0) = G_FRAME_INDEX %stack.2.aq
; MIPS32: [[FRAME_INDEX6:%[0-9]+]]:gprb(p0) = G_FRAME_INDEX %stack.3.s
; MIPS32: G_STORE [[COPY]](p0), [[FRAME_INDEX3]](p0) :: (store (p0) into %ir.fmt.addr)
; MIPS32: G_VASTART [[FRAME_INDEX4]](p0) :: (store (s32) into %ir.ap1, align 1)
; MIPS32: [[LW:%[0-9]+]]:gpr32 = LW [[FRAME_INDEX4]](p0), 0 :: (load (s32))
; MIPS32: SW [[LW]], [[FRAME_INDEX5]](p0), 0 :: (store (s32))
; MIPS32: [[LOAD:%[0-9]+]]:gprb(p0) = G_LOAD [[FRAME_INDEX5]](p0) :: (load (p0) from %ir.aq)
; MIPS32: [[C:%[0-9]+]]:gprb(s32) = G_CONSTANT i32 4
; MIPS32: [[GEP:%[0-9]+]]:gprb(p0) = G_PTR_ADD [[LOAD]], [[C]](s32)
; MIPS32: G_STORE [[GEP]](p0), [[FRAME_INDEX5]](p0) :: (store (p0) into %ir.aq)
; MIPS32: [[LOAD1:%[0-9]+]]:gprb(p0) = G_LOAD [[LOAD]](p0) :: (load (p0) from %ir.2)
; MIPS32: G_STORE [[LOAD1]](p0), [[FRAME_INDEX6]](p0) :: (store (p0) into %ir.s)
; MIPS32: [[LOAD2:%[0-9]+]]:gprb(p0) = G_LOAD [[FRAME_INDEX6]](p0) :: (load (p0) from %ir.s)
; MIPS32: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
; MIPS32: $a0 = COPY [[COPY4]](p0)
; MIPS32: $a1 = COPY [[LOAD2]](p0)
; MIPS32: JAL @printf, csr_o32, implicit-def $ra, implicit-def $sp, implicit $a0, implicit $a1, implicit-def $v0
; MIPS32: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
; MIPS32: RetRA
%0:_(p0) = COPY $a0
%1:_(s32) = COPY $a1
%2:_(p0) = G_FRAME_INDEX %fixed-stack.2
G_STORE %1(s32), %2(p0) :: (store (s32) into %fixed-stack.2)
%3:_(s32) = COPY $a2
%4:_(p0) = G_FRAME_INDEX %fixed-stack.1
G_STORE %3(s32), %4(p0) :: (store (s32) into %fixed-stack.1)
%5:_(s32) = COPY $a3
%6:_(p0) = G_FRAME_INDEX %fixed-stack.0
G_STORE %5(s32), %6(p0) :: (store (s32) into %fixed-stack.0)
%18:_(p0) = G_GLOBAL_VALUE @.str
%17:_(p0) = COPY %18(p0)
%7:_(p0) = G_FRAME_INDEX %stack.0.fmt.addr
%8:gpr32(p0) = G_FRAME_INDEX %stack.1.ap
%9:gpr32(p0) = G_FRAME_INDEX %stack.2.aq
%10:_(p0) = G_FRAME_INDEX %stack.3.s
G_STORE %0(p0), %7(p0) :: (store (p0) into %ir.fmt.addr)
G_VASTART %8(p0) :: (store (s32) into %ir.ap1, align 1)
%19:gpr32 = LW %8(p0), 0 :: (load (s32))
SW %19, %9(p0), 0 :: (store (s32))
%11:_(p0) = G_LOAD %9(p0) :: (load (p0) from %ir.aq)
%12:_(s32) = G_CONSTANT i32 4
%13:_(p0) = G_PTR_ADD %11, %12(s32)
G_STORE %13(p0), %9(p0) :: (store (p0) into %ir.aq)
%14:_(p0) = G_LOAD %11(p0) :: (load (p0) from %ir.2)
G_STORE %14(p0), %10(p0) :: (store (p0) into %ir.s)
%15:_(p0) = G_LOAD %10(p0) :: (load (p0) from %ir.s)
ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
$a0 = COPY %17(p0)
$a1 = COPY %15(p0)
JAL @printf, csr_o32, implicit-def $ra, implicit-def $sp, implicit $a0, implicit $a1, implicit-def $v0
ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
RetRA
...