Calls don't really change the stack pointer.
[oota-llvm.git] / test / CodeGen / PowerPC / ppc32-vaarg.ll
1 ; RUN: llc -O0 < %s | FileCheck %s
2 ;ModuleID = 'test.c'
3 target datalayout = "E-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v128:128:128-n32"
4 target triple = "powerpc-unknown-freebsd9.0"
5
6 %struct.__va_list_tag = type { i8, i8, i16, i8*, i8* }
7
8 @var1 = common global i64 0, align 8
9 @var2 = common global double 0.0, align 8
10 @var3 = common global i32 0, align 4
11
12 define void @ppcvaargtest(%struct.__va_list_tag* %ap) nounwind {
13  entry:
14   %x = va_arg %struct.__va_list_tag* %ap, i64; Get from r5,r6
15 ; CHECK: addi 5, 4, 1
16 ; CHECK-NEXT: rlwinm 6, 4, 0, 31, 31
17 ; CHECK-NEXT: cmplwi 0, 6, 0
18 ; CHECK-NEXT: stw 3, -4(1)
19 ; CHECK-NEXT: stw 5, -8(1)
20 ; CHECK-NEXT: stw 4, -12(1)
21 ; CHECK-NEXT: bne 0, .LBB0_2
22 ; CHECK-NEXT: # BB#1:                                 # %entry
23 ; CHECK-NEXT: lwz 3, -12(1)
24 ; CHECK-NEXT: stw 3, -8(1)
25 ; CHECK-NEXT: .LBB0_2:                                # %entry
26 ; CHECK-NEXT: lwz 3, -8(1)
27 ; CHECK-NEXT: addi 4, 3, 2
28 ; CHECK-NEXT: lwz 5, -4(1)
29 ; CHECK-NEXT: lwz 6, 4(5)
30 ; CHECK-NEXT: lwz 7, 8(5)
31 ; CHECK-NEXT: stb 4, 0(5)
32 ; CHECK-NEXT: cmpwi 0, 3, 8
33 ; CHECK-NEXT: addi 4, 6, 4
34 ; CHECK-NEXT: mr 8, 6
35 ; CHECK-NEXT: stw 7, -16(1)
36 ; CHECK-NEXT: stw 4, -20(1)
37 ; CHECK-NEXT: stw 3, -24(1)
38 ; CHECK-NEXT: stw 8, -28(1)
39 ; CHECK-NEXT: stw 6, -32(1)
40 ; CHECK-NEXT: mfcr 0                          # cr0
41 ; CHECK-NEXT: stw 0, -36(1)
42 ; CHECK-NEXT: blt 0, .LBB0_4
43 ; CHECK-NEXT: # BB#3:                                 # %entry
44 ; CHECK-NEXT: lwz 3, -20(1)
45 ; CHECK-NEXT: stw 3, -28(1)
46 ; CHECK-NEXT: .LBB0_4:                                # %entry
47 ; CHECK-NEXT: lwz 3, -28(1)
48 ; CHECK-NEXT: lwz 4, -4(1)
49 ; CHECK-NEXT: stw 3, 4(4)
50   store i64 %x, i64* @var1, align 8
51 ; CHECK-NEXT: lwz 3, -24(1)
52 ; CHECK-NEXT: slwi 5, 3, 2
53 ; CHECK-NEXT: lwz 6, -16(1)
54 ; CHECK-NEXT: add 5, 6, 5
55 ; CHECK-NEXT: lwz 0, -36(1)
56 ; CHECK-NEXT: mtcrf 128, 0
57 ; CHECK-NEXT: stw 5, -40(1)
58 ; CHECK-NEXT: blt 0, .LBB0_6
59 ; CHECK-NEXT: # BB#5:                                 # %entry
60 ; CHECK-NEXT: lwz 3, -32(1)
61 ; CHECK-NEXT: stw 3, -40(1)
62 ; CHECK-NEXT: .LBB0_6:                                # %entry
63 ; CHECK-NEXT: lwz 3, -40(1)
64 ; CHECK-NEXT: lwz 4, 0(3)
65 ; CHECK-NEXT: lwz 3, 4(3)
66 ; CHECK-NEXT: lis 5, var1@ha
67 ; CHECK-NEXT: la 6, var1@l(5)
68 ; CHECK-NEXT: stw 3, 4(6)
69 ; CHECK-NEXT: stw 4, var1@l(5)
70 ; CHECK-NEXT: lwz 3, -4(1)
71   %y = va_arg %struct.__va_list_tag* %ap, double; From f1
72 ; CHECK-NEXT: lbz 4, 1(3)
73 ; CHECK-NEXT: lwz 5, 4(3)
74 ; CHECK-NEXT: lwz 6, 8(3)
75 ; CHECK-NEXT: addi 7, 4, 1
76 ; CHECK-NEXT: stb 7, 1(3)
77 ; CHECK-NEXT: cmpwi 0, 4, 8
78 ; CHECK-NEXT: addi 7, 5, 8
79 ; CHECK-NEXT: mr 8, 5
80 ; CHECK-NEXT: stw 5, -44(1)
81 ; CHECK-NEXT: stw 7, -48(1)
82 ; CHECK-NEXT: stw 4, -52(1)
83 ; CHECK-NEXT: stw 6, -56(1)
84 ; CHECK-NEXT: stw 8, -60(1)
85 ; CHECK-NEXT: mfcr 0                          # cr0
86 ; CHECK-NEXT: stw 0, -64(1)
87 ; CHECK-NEXT: blt 0, .LBB0_8
88 ; CHECK-NEXT: # BB#7:                                 # %entry
89 ; CHECK-NEXT: lwz 3, -48(1)
90 ; CHECK-NEXT: stw 3, -60(1)
91 ; CHECK-NEXT: .LBB0_8:                                # %entry
92 ; CHECK-NEXT: lwz 3, -60(1)
93 ; CHECK-NEXT: lwz 4, -4(1)
94 ; CHECK-NEXT: stw 3, 4(4)
95 ; CHECK-NEXT: lwz 3, -52(1)
96 ; CHECK-NEXT: slwi 5, 3, 3
97 ; CHECK-NEXT: lwz 6, -56(1)
98 ; CHECK-NEXT: add 5, 6, 5
99 ; CHECK-NEXT: addi 5, 5, 32
100 ; CHECK-NEXT: lwz 0, -64(1)
101 ; CHECK-NEXT: mtcrf 128, 0
102 ; CHECK-NEXT: stw 5, -68(1)
103 ; CHECK-NEXT: blt 0, .LBB0_10
104 ; CHECK-NEXT: # BB#9:                                 # %entry
105 ; CHECK-NEXT: lwz 3, -44(1)
106 ; CHECK-NEXT: stw 3, -68(1)
107 ; CHECK-NEXT: .LBB0_10:                               # %entry
108 ; CHECK-NEXT: lwz 3, -68(1)
109 ; CHECK-NEXT: lfd 0, 0(3)
110   store double %y, double* @var2, align 8
111 ; CHECK-NEXT: lis 3, var2@ha
112 ; CHECK-NEXT: stfd 0, var2@l(3)
113   %z = va_arg %struct.__va_list_tag* %ap, i32; From r7
114 ; CHECK-NEXT: lwz 3, -4(1)
115 ; CHECK-NEXT: lbz 4, 0(3)
116 ; CHECK-NEXT: lwz 5, 4(3)
117 ; CHECK-NEXT: lwz 6, 8(3)
118 ; CHECK-NEXT: addi 7, 4, 1
119 ; CHECK-NEXT: stb 7, 0(3)
120 ; CHECK-NEXT: cmpwi 0, 4, 8
121 ; CHECK-NEXT: addi 7, 5, 4
122 ; CHECK-NEXT: mr 8, 5
123 ; CHECK-NEXT: stw 4, -72(1)
124 ; CHECK-NEXT: stw 6, -76(1)
125 ; CHECK-NEXT: mfcr 0                          # cr0
126 ; CHECK-NEXT: stw 0, -80(1)
127 ; CHECK-NEXT: stw 5, -84(1)
128 ; CHECK-NEXT: stw 8, -88(1)
129 ; CHECK-NEXT: stw 7, -92(1)
130 ; CHECK-NEXT: blt 0, .LBB0_12
131 ; CHECK-NEXT: # BB#11:                                # %entry
132 ; CHECK-NEXT: lwz 3, -92(1)
133 ; CHECK-NEXT: stw 3, -88(1)
134 ; CHECK-NEXT: .LBB0_12:                               # %entry
135 ; CHECK-NEXT: lwz 3, -88(1)
136 ; CHECK-NEXT: lwz 4, -4(1)
137 ; CHECK-NEXT: stw 3, 4(4)
138 ; CHECK-NEXT: lwz 3, -72(1)
139 ; CHECK-NEXT: slwi 5, 3, 2
140 ; CHECK-NEXT: lwz 6, -76(1)
141 ; CHECK-NEXT: add 5, 6, 5
142 ; CHECK-NEXT: lwz 0, -80(1)
143 ; CHECK-NEXT: mtcrf 128, 0
144 ; CHECK-NEXT: stw 5, -96(1)
145 ; CHECK-NEXT: blt 0, .LBB0_14
146 ; CHECK-NEXT: # BB#13:                                # %entry
147 ; CHECK-NEXT: lwz 3, -84(1)
148 ; CHECK-NEXT: stw 3, -96(1)
149 ; CHECK-NEXT: .LBB0_14:                               # %entry
150 ; CHECK-NEXT: lwz 3, -96(1)
151 ; CHECK-NEXT: lwz 3, 0(3)
152   store i32 %z, i32* @var3, align 4
153 ; CHECK-NEXT: lis 4, var3@ha
154 ; CHECK-NEXT: stw 3, var3@l(4)
155 ; CHECK-NEXT: lwz 3, -4(1)
156   ret void
157 ; CHECK-NEXT: stw 3, -100(1)
158 ; CHECK-NEXT: blr 
159 }
160