|
2
|
1
|
|
|
2 Blueprint Registers
|
|
|
3 {
|
|
|
4 Names
|
|
|
5 Can Data
|
|
|
6 Can Pointer
|
|
|
7 Available?
|
|
|
8 Need Save
|
|
|
9 Max Size
|
|
|
10 }
|
|
|
11
|
|
|
12 Set Yes[in:out]
|
|
|
13 {
|
|
|
14 out <- Yes
|
|
|
15 }
|
|
|
16
|
|
|
17 _Flip[dest,val,index:out]
|
|
|
18 {
|
|
|
19 out <- [dest]Set[val,index]
|
|
|
20 }
|
|
|
21 Flip[list,dest:out]
|
|
|
22 {
|
|
|
23 out <- Fold["_Flip", dest, list]
|
|
|
24 }
|
|
|
25
|
|
|
26 Registers[names, data, pointer, need save, max size:out]
|
|
|
27 {
|
|
|
28 out <- [[[[[[Build["Registers"]
|
|
|
29 ]Names << [names]
|
|
|
30 ]Can Data << [data]
|
|
|
31 ]Can Pointer << [pointer]
|
|
|
32 ]Available? << [ Map[names, "Set Yes"] ]
|
|
|
33 ]Need Save << [ Flip[need save, ()] ]
|
|
|
34 ]Max Size <<[max size]
|
|
|
35 }
|
|
|
36
|
|
|
37 Name@Registers[regs,num:out]
|
|
|
38 {
|
|
|
39 out <- [[regs]Names >>]Index[num]
|
|
|
40 }
|
|
|
41
|
|
|
42 Allocate Helper@Registers[regs, try, current:found, not found]
|
|
|
43 {
|
|
|
44 reg <- [try]Index[current]
|
|
|
45 If[[[regs]Available? >>]Index[reg]]
|
|
|
46 {
|
|
|
47 found <- Val[reg]
|
|
|
48 }{
|
|
|
49 [try]Next[current]
|
|
|
50 {
|
|
|
51 found, not found <- [regs]Allocate Helper[try, ~]
|
|
|
52 }{
|
|
|
53 not found <- Yes
|
|
|
54 }
|
|
|
55 }
|
|
|
56 }
|
|
|
57
|
|
|
58 Allocate Reg@Registers[regs,try:next regs,found,need save?,not found]
|
|
|
59 {
|
|
|
60 [try]First
|
|
|
61 {
|
|
|
62 found, not found <- [regs]Allocate Helper[try, ~]
|
|
|
63 {
|
|
|
64 next regs <- [regs]Available? << [ [[regs]Available? >>]Set[~, No] ]
|
|
|
65 [[regs]Need Save >>]Index[~]
|
|
|
66 {
|
|
|
67 need save? <- Yes
|
|
|
68 }{
|
|
|
69 need save? <- No
|
|
|
70 }
|
|
|
71 }
|
|
|
72 }{
|
|
|
73 not found <- Yes
|
|
|
74 }
|
|
|
75 }
|
|
|
76
|
|
|
77 Free Reg@Registers[regs,num:out]
|
|
|
78 {
|
|
|
79 out <- [regs]Available? <<[ [[regs]Available? >>]Set[num, Yes] ]
|
|
|
80 }
|
|
|
81
|
|
|
82 Processor Reg[func,type:next func,num,not found]
|
|
|
83 {
|
|
|
84 regs <- [func]Registers >>
|
|
|
85 If[[type] = ["pointer"]]
|
|
|
86 {
|
|
|
87 source <- [regs]Can Pointer >>
|
|
|
88 }{
|
|
|
89 source <- [regs]Can Data >>
|
|
|
90 }
|
|
|
91 next regs, reg num, need save?, not found <- [regs]Allocate Reg[source] {}
|
|
|
92 {
|
|
|
93 If[need save?]
|
|
|
94 {
|
|
|
95 next func <- [[func]Need Save << [ [[func]Need Save >>]Set[reg num, Yes] ]
|
|
|
96 ]Registers << [next regs]
|
|
|
97 }{
|
|
|
98 next func <- [func]Registers << [next regs]
|
|
|
99 }
|
|
|
100 num <- Val[reg num]
|
|
|
101 }
|
|
|
102 }
|
|
|
103
|
|
|
104 Processor Free Reg[func,num:out func]
|
|
|
105 {
|
|
|
106 out func <- [func]Registers <<[ [[func]Registers >>]Free Reg[num] ]
|
|
|
107 }
|
|
|
108
|
|
|
109 Processor Allocate[func,name,size,type:out func,out]
|
|
|
110 {
|
|
|
111 regs <- [func]Registers >>
|
|
|
112 If[[type] = ["pointer"]]
|
|
|
113 {
|
|
|
114 alloc size <- [func]Pointer Size
|
|
|
115 }{
|
|
|
116 alloc size <- size
|
|
|
117 }
|
|
|
118 If[[alloc size] > [[regs]Max Size >>]] {
|
|
|
119 stack alloc <- Val[alloc size]
|
|
|
120 }{
|
|
|
121 next func <- [func]Processor Reg[type] {}
|
|
|
122 {
|
|
|
123 location <- Register[~, alloc size]
|
|
|
124 }{
|
|
|
125 stack alloc <- Val[alloc size]
|
|
|
126 }
|
|
|
127 }
|
|
|
128 Val[stack alloc]
|
|
|
129 {
|
|
|
130 next func, location <- [func]Allocate Stack[alloc size]
|
|
|
131 }
|
|
|
132 out func <- [next func]Variables <<[ [[next func]Variables >>]Set[name, location] ]
|
|
|
133 out <- Val[location]
|
|
|
134 }
|
|
|
135
|
|
|
136 Blueprint Register
|
|
|
137 {
|
|
|
138 Number
|
|
|
139 Value Size
|
|
|
140 }
|
|
|
141 Register[num,size:out]
|
|
|
142 {
|
|
|
143 If[[size] = [3]]
|
|
|
144 {
|
|
|
145 value size <- 4
|
|
|
146 }{
|
|
|
147 value size <- size
|
|
|
148 }
|
|
|
149 out <- [[Build["Register"]]Number <<[num]]Value Size <<[value size]
|
|
|
150 }
|
|
|
151
|
|
|
152 In Memory?@Register[reg:out]
|
|
|
153 {
|
|
|
154 out <- No
|
|
|
155 }
|
|
|
156
|
|
|
157 =@Register[reg,other:out]
|
|
|
158 {
|
|
|
159 ,out <- If[[Type Of[reg]] = [Type Of[other]]]
|
|
|
160 {
|
|
|
161 out <- [[reg]Number >>] = [[other]Number >>]
|
|
|
162 }
|
|
|
163 }
|
|
|
164
|
|
|
165 Op ASM@Register[reg,func,regs,extra offset:out]
|
|
|
166 {
|
|
|
167 out <- [regs]Index[ [reg]Number >> ]
|
|
|
168 }
|
|
|
169
|
|
|
170 Size@Register[reg:out]
|
|
|
171 {
|
|
|
172 out <- [reg]Value Size >>
|
|
|
173 }
|
|
|
174
|
|
|
175 Blueprint Immediate
|
|
|
176 {
|
|
|
177 Value
|
|
|
178 }
|
|
|
179
|
|
|
180 Immediate[val:out]
|
|
|
181 {
|
|
|
182 out <- [Build["Immediate"]]Value <<[val]
|
|
|
183 }
|
|
|
184
|
|
|
185 In Memory?@Immediate[val:out]
|
|
|
186 {
|
|
|
187 out <- No
|
|
|
188 }
|
|
|
189
|
|
|
190 =@Immediate[val,other:out]
|
|
|
191 {
|
|
|
192 ,out <- If[[Type Of[val]] = [Type Of[other]]]
|
|
|
193 {
|
|
|
194 out <- [[val]Value >>] = [[other]Value >>]
|
|
|
195 }
|
|
|
196 }
|
|
|
197
|
|
|
198 Op ASM@Immediate[val,func,regs,extra offset:out]
|
|
|
199 {
|
|
|
200 out <- [val]Value >>
|
|
|
201 }
|
|
|
202
|
|
|
203 Size@Immediate[val:out]
|
|
|
204 {
|
|
|
205 out <- 4
|
|
|
206 }
|
|
|
207
|
|
|
208 Blueprint None
|
|
|
209 {
|
|
|
210 Dummy
|
|
|
211 }
|
|
|
212
|
|
|
213 None[:out]
|
|
|
214 {
|
|
|
215 out <- Build["None"]
|
|
|
216 }
|
|
|
217
|
|
|
218 In Memory?@None[none:out]
|
|
|
219 {
|
|
|
220 out <- No
|
|
|
221 }
|
|
|
222
|
|
|
223 Op ASM@None[none,func,regs,extra offset:out]
|
|
|
224 {
|
|
|
225 out <- ""
|
|
|
226 }
|
|
|
227
|
|
|
228 Size@None[none:out]
|
|
|
229 {
|
|
|
230 out <- 0
|
|
|
231 }
|
|
|
232
|
|
|
233 Blueprint Stack Location
|
|
|
234 {
|
|
|
235 Offset
|
|
|
236 Size
|
|
|
237 }
|
|
|
238
|
|
|
239 Stack Location[offset,size:out]
|
|
|
240 {
|
|
|
241 out <- [[Build["Stack Location"]]Offset <<[offset]]Size <<[size]
|
|
|
242 }
|
|
|
243
|
|
|
244 In Memory?@Stack Location[location:out]
|
|
|
245 {
|
|
|
246 out <- Yes
|
|
|
247 }
|
|
|
248
|
|
|
249 =@Stack Location[loc,other:out]
|
|
|
250 {
|
|
|
251 ,out <- If[[Type Of[loc]] = [Type Of[other]]]
|
|
|
252 {
|
|
|
253 out <- [[loc]Offset >>] = [[other]Offset >>]
|
|
|
254 }
|
|
|
255 }
|
|
|
256
|
|
|
257 Op ASM@Stack Location[loc,func,regs,extra offset:out]
|
|
|
258 {
|
|
|
259 offset <- [[[func]Stack Size >>] - [[loc]Offset >>]] - [[loc]Size >>]
|
|
|
260 If[[offset] > [0]]
|
|
|
261 {
|
|
|
262 toffset <- ["+"]Append[offset]
|
|
|
263 }{
|
|
|
264 toffset <- ""
|
|
|
265 }
|
|
|
266 out <- [["[esp"]Append[toffset]]Append["]"]
|
|
|
267 }
|
|
|
268
|
|
|
269 Size@Stack Location[loc:out]
|
|
|
270 {
|
|
|
271 out <- [loc]Size >>
|
|
|
272 }
|
|
|
273
|
|
|
274 Blueprint Pointer
|
|
|
275 {
|
|
|
276 Base
|
|
|
277 Offset
|
|
|
278 Target Size
|
|
|
279 }
|
|
|
280
|
|
|
281 Pointer[base,offset,size:out]
|
|
|
282 {
|
|
|
283 out <- [[[Build["Pointer"]]Base <<[base]]Offset <<[offset]]Target Size <<[size]
|
|
|
284 }
|
|
|
285
|
|
|
286 In Memory?@Pointer[location:out]
|
|
|
287 {
|
|
|
288 out <- Yes
|
|
|
289 }
|
|
|
290
|
|
|
291 =@Pointer[pointer,other:out]
|
|
|
292 {
|
|
|
293 ,out <- If[[Type Of[loc]] = [Type Of[other]]]
|
|
|
294 {
|
|
|
295 out <- [[loc]Storage >>] = [[other]Storage >>]
|
|
|
296 }
|
|
|
297 }
|
|
|
298
|
|
|
299 Op ASM@Pointer[pointer,func,regs,extra offset:out]
|
|
|
300 {
|
|
|
301 If[[Type Of[ [pointer]Offset >> ]] = ["None"]]
|
|
|
302 {
|
|
|
303 out <- [["["]Append[ [[pointer]Base >>]Op ASM[func,regs,extra offset] ]]Append["]"]
|
|
|
304 }{
|
|
|
305 out <- [[[["["
|
|
|
306 ]Append[ [[pointer]Base >>]Op ASM[func,regs,extra offset] ]
|
|
|
307 ]Append["+"]
|
|
|
308 ]Append[ [[pointer]Offset >>]Op ASM[func,regs,extra offset] ]
|
|
|
309 ]Append["]"]
|
|
|
310 }
|
|
|
311 }
|
|
|
312
|
|
|
313 Size@Pointer[pointer:out]
|
|
|
314 {
|
|
|
315 out <- [pointer]Target Size >>
|
|
|
316 }
|
|
|
317
|
|
|
318 CAppend[left,right:out]
|
|
|
319 {
|
|
|
320 If[[right] = [""]]
|
|
|
321 {
|
|
|
322 out <- ""
|
|
|
323 }{
|
|
|
324 out <- [left]Append[right]
|
|
|
325 }
|
|
|
326 }
|
|
|
327
|
