1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -O0 -mtriple=mipsel-linux-gnu -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=MIPS32
5 @.str = private unnamed_addr constant [11 x i8] c"string %s\0A\00", align 1
6 declare void @llvm.va_start(ptr) #0
7 declare void @llvm.va_copy(ptr, ptr) #0
8 declare i32 @printf(ptr, ...)
10 define void @testVaCopyArg(ptr %fmt, ...) {
12 %fmt.addr = alloca ptr, align 4
13 %ap = alloca ptr, align 4
14 %aq = alloca ptr, align 4
15 %s = alloca ptr, align 4
16 store ptr %fmt, ptr %fmt.addr, align 4
17 %ap1 = bitcast ptr %ap to ptr
18 call void @llvm.va_start(ptr %ap1)
19 %0 = bitcast ptr %aq to ptr
20 %1 = bitcast ptr %ap to ptr
21 call void @llvm.va_copy(ptr %0, ptr %1)
22 %argp.cur = load ptr, ptr %aq, align 4
23 %argp.next = getelementptr inbounds i8, ptr %argp.cur, i32 4
24 store ptr %argp.next, ptr %aq, align 4
25 %2 = bitcast ptr %argp.cur to ptr
26 %3 = load ptr, ptr %2, align 4
27 store ptr %3, ptr %s, align 4
28 %4 = load ptr, ptr %s, align 4
29 %call = call i32 (ptr, ...) @printf(ptr @.str, ptr %4)
37 tracksRegLiveness: true
41 - { id: 0, offset: 12, size: 4, alignment: 4, isImmutable: true }
42 - { id: 1, offset: 8, size: 4, alignment: 8, isImmutable: true }
43 - { id: 2, offset: 4, size: 4, alignment: 4, isImmutable: true }
44 - { id: 3, offset: 4, size: 4, alignment: 4, isImmutable: true }
46 - { id: 0, name: fmt.addr, size: 4, alignment: 4 }
47 - { id: 1, name: ap, size: 4, alignment: 4 }
48 - { id: 2, name: aq, size: 4, alignment: 4 }
49 - { id: 3, name: s, size: 4, alignment: 4 }
50 machineFunctionInfo: {}
53 liveins: $a0, $a1, $a2, $a3
55 ; MIPS32-LABEL: name: testVaCopyArg
56 ; MIPS32: liveins: $a0, $a1, $a2, $a3
57 ; MIPS32: [[COPY:%[0-9]+]]:_(p0) = COPY $a0
58 ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
59 ; MIPS32: [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.1
60 ; MIPS32: G_STORE [[COPY1]](s32), [[FRAME_INDEX]](p0) :: (store (s32) into %fixed-stack.1)
61 ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY $a2
62 ; MIPS32: [[FRAME_INDEX1:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.2
63 ; MIPS32: G_STORE [[COPY2]](s32), [[FRAME_INDEX1]](p0) :: (store (s32) into %fixed-stack.2)
64 ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY $a3
65 ; MIPS32: [[FRAME_INDEX2:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.3
66 ; MIPS32: G_STORE [[COPY3]](s32), [[FRAME_INDEX2]](p0) :: (store (s32) into %fixed-stack.3)
67 ; MIPS32: [[GV:%[0-9]+]]:_(p0) = G_GLOBAL_VALUE @.str
68 ; MIPS32: [[COPY4:%[0-9]+]]:_(p0) = COPY [[GV]](p0)
69 ; MIPS32: [[FRAME_INDEX3:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.0.fmt.addr
70 ; MIPS32: [[FRAME_INDEX4:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.1.ap
71 ; MIPS32: [[FRAME_INDEX5:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.2.aq
72 ; MIPS32: [[FRAME_INDEX6:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.3.s
73 ; MIPS32: G_STORE [[COPY]](p0), [[FRAME_INDEX3]](p0) :: (store (p0) into %ir.fmt.addr)
74 ; MIPS32: G_VASTART [[FRAME_INDEX4]](p0) :: (store (p0) into %ir.ap1, align 1)
75 ; MIPS32: [[LOAD:%[0-9]+]]:_(p0) = G_LOAD [[FRAME_INDEX4]](p0) :: (load (p0))
76 ; MIPS32: G_STORE [[LOAD]](p0), [[FRAME_INDEX5]](p0) :: (store (p0))
77 ; MIPS32: [[LOAD1:%[0-9]+]]:_(p0) = G_LOAD [[FRAME_INDEX5]](p0) :: (load (p0) from %ir.aq)
78 ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
79 ; MIPS32: [[PTR_ADD:%[0-9]+]]:_(p0) = G_PTR_ADD [[LOAD1]], [[C]](s32)
80 ; MIPS32: G_STORE [[PTR_ADD]](p0), [[FRAME_INDEX5]](p0) :: (store (p0) into %ir.aq)
81 ; MIPS32: [[LOAD2:%[0-9]+]]:_(p0) = G_LOAD [[LOAD1]](p0) :: (load (p0) from %ir.2)
82 ; MIPS32: G_STORE [[LOAD2]](p0), [[FRAME_INDEX6]](p0) :: (store (p0) into %ir.s)
83 ; MIPS32: [[LOAD3:%[0-9]+]]:_(p0) = G_LOAD [[FRAME_INDEX6]](p0) :: (load (p0) from %ir.s)
84 ; MIPS32: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
85 ; MIPS32: $a0 = COPY [[COPY4]](p0)
86 ; MIPS32: $a1 = COPY [[LOAD3]](p0)
87 ; MIPS32: JAL @printf, csr_o32, implicit-def $ra, implicit-def $sp, implicit $a0, implicit $a1, implicit-def $v0
88 ; MIPS32: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
92 %2:_(p0) = G_FRAME_INDEX %fixed-stack.2
93 G_STORE %1(s32), %2(p0) :: (store (s32) into %fixed-stack.2)
95 %4:_(p0) = G_FRAME_INDEX %fixed-stack.1
96 G_STORE %3(s32), %4(p0) :: (store (s32) into %fixed-stack.1)
98 %6:_(p0) = G_FRAME_INDEX %fixed-stack.0
99 G_STORE %5(s32), %6(p0) :: (store (s32) into %fixed-stack.0)
100 %18:_(p0) = G_GLOBAL_VALUE @.str
101 %17:_(p0) = COPY %18(p0)
102 %7:_(p0) = G_FRAME_INDEX %stack.0.fmt.addr
103 %8:_(p0) = G_FRAME_INDEX %stack.1.ap
104 %9:_(p0) = G_FRAME_INDEX %stack.2.aq
105 %10:_(p0) = G_FRAME_INDEX %stack.3.s
106 G_STORE %0(p0), %7(p0) :: (store (p0) into %ir.fmt.addr)
107 G_VASTART %8(p0) :: (store (p0) into %ir.ap1, align 1)
108 G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.va_copy), %9(p0), %8(p0)
109 %11:_(p0) = G_LOAD %9(p0) :: (load (p0) from %ir.aq)
110 %12:_(s32) = G_CONSTANT i32 4
111 %13:_(p0) = G_PTR_ADD %11, %12(s32)
112 G_STORE %13(p0), %9(p0) :: (store (p0) into %ir.aq)
113 %14:_(p0) = G_LOAD %11(p0) :: (load (p0) from %ir.2)
114 G_STORE %14(p0), %10(p0) :: (store (p0) into %ir.s)
115 %15:_(p0) = G_LOAD %10(p0) :: (load (p0) from %ir.s)
116 ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
119 JAL @printf, csr_o32, implicit-def $ra, implicit-def $sp, implicit $a0, implicit $a1, implicit-def $v0
120 ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp