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
3--- |
4
5  @.str = private unnamed_addr constant [11 x i8] c"string %s\0A\00", align 1
6  declare void @llvm.va_start(i8*) #0
7  declare void @llvm.va_copy(i8*, i8*) #0
8  declare i32 @printf(i8*, ...)
9
10  define void @testVaCopyArg(i8* %fmt, ...) {
11  entry:
12    %fmt.addr = alloca i8*, align 4
13    %ap = alloca i8*, align 4
14    %aq = alloca i8*, align 4
15    %s = alloca i8*, align 4
16    store i8* %fmt, i8** %fmt.addr, align 4
17    %ap1 = bitcast i8** %ap to i8*
18    call void @llvm.va_start(i8* %ap1)
19    %0 = bitcast i8** %aq to i8*
20    %1 = bitcast i8** %ap to i8*
21    call void @llvm.va_copy(i8* %0, i8* %1)
22    %argp.cur = load i8*, i8** %aq, align 4
23    %argp.next = getelementptr inbounds i8, i8* %argp.cur, i32 4
24    store i8* %argp.next, i8** %aq, align 4
25    %2 = bitcast i8* %argp.cur to i8**
26    %3 = load i8*, i8** %2, align 4
27    store i8* %3, i8** %s, align 4
28    %4 = load i8*, i8** %s, align 4
29    %call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i32 0, i32 0), i8* %4)
30    ret void
31  }
32
33...
34---
35name:            testVaCopyArg
36alignment:       4
37tracksRegLiveness: true
38liveins:
39  - { reg: '$a0' }
40fixedStack:
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 }
45stack:
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 }
50machineFunctionInfo: {}
51body:             |
52  bb.1.entry:
53    liveins: $a0, $a1, $a2, $a3
54
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 4 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 4 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 4 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 4 into %ir.fmt.addr)
74    ; MIPS32: G_VASTART [[FRAME_INDEX4]](p0) :: (store 4 into %ir.ap1, align 1)
75    ; MIPS32: [[LOAD:%[0-9]+]]:_(p0) = G_LOAD [[FRAME_INDEX4]](p0) :: (load 4)
76    ; MIPS32: G_STORE [[LOAD]](p0), [[FRAME_INDEX5]](p0) :: (store 4)
77    ; MIPS32: [[LOAD1:%[0-9]+]]:_(p0) = G_LOAD [[FRAME_INDEX5]](p0) :: (load 4 from %ir.aq)
78    ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
79    ; MIPS32: [[GEP:%[0-9]+]]:_(p0) = G_PTR_ADD [[LOAD1]], [[C]](s32)
80    ; MIPS32: G_STORE [[GEP]](p0), [[FRAME_INDEX5]](p0) :: (store 4 into %ir.aq)
81    ; MIPS32: [[LOAD2:%[0-9]+]]:_(p0) = G_LOAD [[LOAD1]](p0) :: (load 4 from %ir.2)
82    ; MIPS32: G_STORE [[LOAD2]](p0), [[FRAME_INDEX6]](p0) :: (store 4 into %ir.s)
83    ; MIPS32: [[LOAD3:%[0-9]+]]:_(p0) = G_LOAD [[FRAME_INDEX6]](p0) :: (load 4 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
89    ; MIPS32: RetRA
90    %0:_(p0) = COPY $a0
91    %1:_(s32) = COPY $a1
92    %2:_(p0) = G_FRAME_INDEX %fixed-stack.2
93    G_STORE %1(s32), %2(p0) :: (store 4 into %fixed-stack.2)
94    %3:_(s32) = COPY $a2
95    %4:_(p0) = G_FRAME_INDEX %fixed-stack.1
96    G_STORE %3(s32), %4(p0) :: (store 4 into %fixed-stack.1)
97    %5:_(s32) = COPY $a3
98    %6:_(p0) = G_FRAME_INDEX %fixed-stack.0
99    G_STORE %5(s32), %6(p0) :: (store 4 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 4 into %ir.fmt.addr)
107    G_VASTART %8(p0) :: (store 4 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 4 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 4 into %ir.aq)
113    %14:_(p0) = G_LOAD %11(p0) :: (load 4 from %ir.2)
114    G_STORE %14(p0), %10(p0) :: (store 4 into %ir.s)
115    %15:_(p0) = G_LOAD %10(p0) :: (load 4 from %ir.s)
116    ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
117    $a0 = COPY %17(p0)
118    $a1 = COPY %15(p0)
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
121    RetRA
122
123...
124