1 ------------------------------------------------------------------------------
4 -- Copyright (C) 2005-2016 Mike Pall. All rights reserved.
5 -- See dynasm.lua for full copyright notice.
6 ------------------------------------------------------------------------------
11 description
= "DynASM MIPS module",
14 release
= "2015-10-18",
19 -- Exported glue functions for the arch-specific module.
20 local _M
= { _info
= _info
}
22 -- Cache library functions.
23 local type, tonumber, pairs
, ipairs
= type, tonumber, pairs
, ipairs
24 local assert, setmetatable
= assert, setmetatable
26 local sub
, format, byte
, char
= _s
.sub
, _s
.format, _s
.byte
, _s
.char
27 local match
, gmatch
= _s
.match
, _s
.gmatch
28 local concat
, sort = table.concat
, table.sort
29 local bit
= bit
or require("bit")
30 local band
, shl
, sar
, tohex
= bit
.band
, bit
.lshift
, bit
.arshift
, bit
.tohex
32 -- Inherited tables and callbacks.
34 local wline
, werror
, wfatal
, wwarn
37 -- CHECK: Keep this in sync with the C code!
38 local action_names
= {
39 "STOP", "SECTION", "ESC", "REL_EXT",
40 "ALIGN", "REL_LG", "LABEL_LG",
41 "REL_PC", "LABEL_PC", "IMM",
44 -- Maximum number of section buffer positions for dasm_put().
45 -- CHECK: Keep this in sync with the C code!
46 local maxsecpos
= 25 -- Keep this low, to avoid excessively long C lines.
48 -- Action name -> action number.
50 for n
,name
in ipairs(action_names
) do
51 map_action
[name
] = n
-1
54 -- Action list buffer.
57 -- Argument list for next dasm_put(). Start with offset 0 into action list.
60 -- Current number of section buffer positions for dasm_put().
63 ------------------------------------------------------------------------------
65 -- Dump action names and numbers.
66 local function dumpactions(out
)
67 out
:write("DynASM encoding engine action codes:\n")
68 for n
,name
in ipairs(action_names
) do
69 local num
= map_action
[name
]
70 out
:write(format(" %-10s %02X %d\n", name
, num
, num
))
75 -- Write action list buffer as a huge static C array.
76 local function writeactions(out
, name
)
78 if nn
== 0 then nn
= 1; actlist
[0] = map_action
.STOP
end
79 out
:write("static const unsigned int ", name
, "[", nn
, "] = {\n")
81 assert(out
:write("0x", tohex(actlist
[i
]), ",\n"))
83 assert(out
:write("0x", tohex(actlist
[nn
]), "\n};\n\n"))
86 ------------------------------------------------------------------------------
88 -- Add word to action list.
89 local function wputxw(n
)
90 assert(n
>= 0 and n
<= 0xffffffff and n
% 1 == 0, "word out of range")
91 actlist
[#actlist
+1] = n
94 -- Add action to list with optional arg. Advance buffer pos, too.
95 local function waction(action
, val
, a
, num
)
96 local w
= assert(map_action
[action
], "bad action name `"..action
.."'")
97 wputxw(0xff000000 + w
* 0x10000 + (val
or 0))
98 if a
then actargs
[#actargs
+1] = a
end
99 if a
or num
then secpos
= secpos
+ (num
or 1) end
102 -- Flush action list (intervening C code or buffer pos overflow).
103 local function wflush(term
)
104 if #actlist
== actargs
[1] then return end -- Nothing to flush.
105 if not term
then waction("STOP") end -- Terminate action list.
106 wline(format("dasm_put(Dst, %s);", concat(actargs
, ", ")), true)
107 actargs
= { #actlist
} -- Actionlist offset is 1st arg to next dasm_put().
108 secpos
= 1 -- The actionlist offset occupies a buffer position, too.
112 local function wputw(n
)
113 if n
>= 0xff000000 then waction("ESC") end
117 -- Reserve position for word.
118 local function wpos()
119 local pos
= #actlist
+1
124 -- Store word to reserved position.
125 local function wputpos(pos
, n
)
126 assert(n
>= 0 and n
<= 0xffffffff and n
% 1 == 0, "word out of range")
130 ------------------------------------------------------------------------------
132 -- Global label name -> global label number. With auto assignment on 1st use.
133 local next_global
= 20
134 local map_global
= setmetatable({}, { __index
= function(t
, name
)
135 if not match(name
, "^[%a_][%w_]*$") then werror("bad global label") end
136 local n
= next_global
137 if n
> 2047 then werror("too many global labels") end
143 -- Dump global labels.
144 local function dumpglobals(out
, lvl
)
146 for name
, n
in pairs(map_global
) do t
[n
] = name
end
147 out
:write("Global labels:\n")
148 for i
=20,next_global
-1 do
149 out
:write(format(" %s\n", t
[i
]))
154 -- Write global label enum.
155 local function writeglobals(out
, prefix
)
157 for name
, n
in pairs(map_global
) do t
[n
] = name
end
158 out
:write("enum {\n")
159 for i
=20,next_global
-1 do
160 out
:write(" ", prefix
, t
[i
], ",\n")
162 out
:write(" ", prefix
, "_MAX\n};\n")
165 -- Write global label names.
166 local function writeglobalnames(out
, name
)
168 for name
, n
in pairs(map_global
) do t
[n
] = name
end
169 out
:write("static const char *const ", name
, "[] = {\n")
170 for i
=20,next_global
-1 do
171 out
:write(" \"", t
[i
], "\",\n")
173 out
:write(" (const char *)0\n};\n")
176 ------------------------------------------------------------------------------
178 -- Extern label name -> extern label number. With auto assignment on 1st use.
179 local next_extern
= 0
180 local map_extern_
= {}
181 local map_extern
= setmetatable({}, { __index
= function(t
, name
)
182 -- No restrictions on the name for now.
183 local n
= next_extern
184 if n
> 2047 then werror("too many extern labels") end
187 map_extern_
[n
] = name
191 -- Dump extern labels.
192 local function dumpexterns(out
, lvl
)
193 out
:write("Extern labels:\n")
194 for i
=0,next_extern
-1 do
195 out
:write(format(" %s\n", map_extern_
[i
]))
200 -- Write extern label names.
201 local function writeexternnames(out
, name
)
202 out
:write("static const char *const ", name
, "[] = {\n")
203 for i
=0,next_extern
-1 do
204 out
:write(" \"", map_extern_
[i
], "\",\n")
206 out
:write(" (const char *)0\n};\n")
209 ------------------------------------------------------------------------------
211 -- Arch-specific maps.
212 local map_archdef
= { sp
="r29", ra
="r31" } -- Ext. register name -> int. name.
214 local map_type
= {} -- Type name -> { ctype, reg }
215 local ctypenum
= 0 -- Type number (for Dt... macros).
217 -- Reverse defines for registers.
218 function _M
.revdef(s
)
219 if s
== "r29" then return "sp"
220 elseif s
== "r31" then return "ra" end
224 ------------------------------------------------------------------------------
226 -- Template strings for MIPS instructions.
228 -- First-level opcodes.
232 beqz_2
= "10000000SB",
233 beq_3
= "10000000STB",
234 bnez_2
= "14000000SB",
235 bne_3
= "14000000STB",
236 blez_2
= "18000000SB",
237 bgtz_2
= "1c000000SB",
238 addi_3
= "20000000TSI",
240 addiu_3
= "24000000TSI",
241 slti_3
= "28000000TSI",
242 sltiu_3
= "2c000000TSI",
243 andi_3
= "30000000TSU",
245 ori_3
= "34000000TSU",
246 xori_3
= "38000000TSU",
247 lui_2
= "3c000000TU",
248 beqzl_2
= "50000000SB",
249 beql_3
= "50000000STB",
250 bnezl_2
= "54000000SB",
251 bnel_3
= "54000000STB",
252 blezl_2
= "58000000SB",
253 bgtzl_2
= "5c000000SB",
256 lwl_2
= "88000000TO",
258 lbu_2
= "90000000TO",
259 lhu_2
= "94000000TO",
260 lwr_2
= "98000000TO",
263 swl_2
= "a8000000TO",
265 swr_2
= "b8000000TO",
266 cache_2
= "bc000000NO",
268 lwc1_2
= "c4000000HO",
269 pref_2
= "cc000000NO",
270 ldc1_2
= "d4000000HO",
272 swc1_2
= "e4000000HO",
273 sdc1_2
= "f4000000HO",
277 sll_3
= "00000000DTA",
278 movf_2
= "00000001DS",
279 movf_3
= "00000001DSC",
280 movt_2
= "00010001DS",
281 movt_3
= "00010001DSC",
282 srl_3
= "00000002DTA",
283 rotr_3
= "00200002DTA",
284 sra_3
= "00000003DTA",
285 sllv_3
= "00000004DTS",
286 srlv_3
= "00000006DTS",
287 rotrv_3
= "00000046DTS",
288 srav_3
= "00000007DTS",
290 jalr_1
= "0000f809S",
291 jalr_2
= "00000009DS",
292 movz_3
= "0000000aDST",
293 movn_3
= "0000000bDST",
294 syscall_0
= "0000000c",
295 syscall_1
= "0000000cY",
296 break_0
= "0000000d",
297 break_1
= "0000000dY",
299 mfhi_1
= "00000010D",
300 mthi_1
= "00000011S",
301 mflo_1
= "00000012D",
302 mtlo_1
= "00000013S",
303 mult_2
= "00000018ST",
304 multu_2
= "00000019ST",
305 div_2
= "0000001aST",
306 divu_2
= "0000001bST",
307 add_3
= "00000020DST",
308 move_2
= "00000021DS",
309 addu_3
= "00000021DST",
310 sub_3
= "00000022DST",
311 negu_2
= "00000023DT",
312 subu_3
= "00000023DST",
313 and_3
= "00000024DST",
314 or_3
= "00000025DST",
315 xor_3
= "00000026DST",
316 not_2
= "00000027DS",
317 nor_3
= "00000027DST",
318 slt_3
= "0000002aDST",
319 sltu_3
= "0000002bDST",
320 tge_2
= "00000030ST",
321 tge_3
= "00000030STZ",
322 tgeu_2
= "00000031ST",
323 tgeu_3
= "00000031STZ",
324 tlt_2
= "00000032ST",
325 tlt_3
= "00000032STZ",
326 tltu_2
= "00000033ST",
327 tltu_3
= "00000033STZ",
328 teq_2
= "00000034ST",
329 teq_3
= "00000034STZ",
330 tne_2
= "00000036ST",
331 tne_3
= "00000036STZ",
334 bltz_2
= "04000000SB",
335 bgez_2
= "04010000SB",
336 bltzl_2
= "04020000SB",
337 bgezl_2
= "04030000SB",
338 tgei_2
= "04080000SI",
339 tgeiu_2
= "04090000SI",
340 tlti_2
= "040a0000SI",
341 tltiu_2
= "040b0000SI",
342 teqi_2
= "040c0000SI",
343 tnei_2
= "040e0000SI",
344 bltzal_2
= "04100000SB",
346 bgezal_2
= "04110000SB",
347 bltzall_2
= "04120000SB",
348 bgezall_2
= "04130000SB",
349 synci_1
= "041f0000O",
352 madd_2
= "70000000ST",
353 maddu_2
= "70000001ST",
354 mul_3
= "70000002DST",
355 msub_2
= "70000004ST",
356 msubu_2
= "70000005ST",
357 clz_2
= "70000020DS=",
358 clo_2
= "70000021DS=",
359 sdbbp_0
= "7000003f",
360 sdbbp_1
= "7000003fY",
363 ext_4
= "7c000000TSAM", -- Note: last arg is msbd = size-1
364 ins_4
= "7c000004TSAM", -- Note: last arg is msb = pos+size-1
365 wsbh_2
= "7c0000a0DT",
366 seb_2
= "7c000420DT",
367 seh_2
= "7c000620DT",
368 rdhwr_2
= "7c00003bTD",
371 mfc0_2
= "40000000TD",
372 mfc0_3
= "40000000TDW",
373 mtc0_2
= "40800000TD",
374 mtc0_3
= "40800000TDW",
375 rdpgpr_2
= "41400000DT",
380 wrpgpr_2
= "41c00000DT",
382 tlbwi_0
= "42000002",
383 tlbwr_0
= "42000006",
386 deret_0
= "4200001f",
390 mfc1_2
= "44000000TG",
391 cfc1_2
= "44400000TG",
392 mfhc1_2
= "44600000TG",
393 mtc1_2
= "44800000TG",
394 ctc1_2
= "44c00000TG",
395 mthc1_2
= "44e00000TG",
397 bc1f_1
= "45000000B",
398 bc1f_2
= "45000000CB",
399 bc1t_1
= "45010000B",
400 bc1t_2
= "45010000CB",
401 bc1fl_1
= "45020000B",
402 bc1fl_2
= "45020000CB",
403 bc1tl_1
= "45030000B",
404 bc1tl_2
= "45030000CB",
406 ["add.s_3"] = "46000000FGH",
407 ["sub.s_3"] = "46000001FGH",
408 ["mul.s_3"] = "46000002FGH",
409 ["div.s_3"] = "46000003FGH",
410 ["sqrt.s_2"] = "46000004FG",
411 ["abs.s_2"] = "46000005FG",
412 ["mov.s_2"] = "46000006FG",
413 ["neg.s_2"] = "46000007FG",
414 ["round.l.s_2"] = "46000008FG",
415 ["trunc.l.s_2"] = "46000009FG",
416 ["ceil.l.s_2"] = "4600000aFG",
417 ["floor.l.s_2"] = "4600000bFG",
418 ["round.w.s_2"] = "4600000cFG",
419 ["trunc.w.s_2"] = "4600000dFG",
420 ["ceil.w.s_2"] = "4600000eFG",
421 ["floor.w.s_2"] = "4600000fFG",
422 ["movf.s_2"] = "46000011FG",
423 ["movf.s_3"] = "46000011FGC",
424 ["movt.s_2"] = "46010011FG",
425 ["movt.s_3"] = "46010011FGC",
426 ["movz.s_3"] = "46000012FGT",
427 ["movn.s_3"] = "46000013FGT",
428 ["recip.s_2"] = "46000015FG",
429 ["rsqrt.s_2"] = "46000016FG",
430 ["cvt.d.s_2"] = "46000021FG",
431 ["cvt.w.s_2"] = "46000024FG",
432 ["cvt.l.s_2"] = "46000025FG",
433 ["cvt.ps.s_3"] = "46000026FGH",
434 ["c.f.s_2"] = "46000030GH",
435 ["c.f.s_3"] = "46000030VGH",
436 ["c.un.s_2"] = "46000031GH",
437 ["c.un.s_3"] = "46000031VGH",
438 ["c.eq.s_2"] = "46000032GH",
439 ["c.eq.s_3"] = "46000032VGH",
440 ["c.ueq.s_2"] = "46000033GH",
441 ["c.ueq.s_3"] = "46000033VGH",
442 ["c.olt.s_2"] = "46000034GH",
443 ["c.olt.s_3"] = "46000034VGH",
444 ["c.ult.s_2"] = "46000035GH",
445 ["c.ult.s_3"] = "46000035VGH",
446 ["c.ole.s_2"] = "46000036GH",
447 ["c.ole.s_3"] = "46000036VGH",
448 ["c.ule.s_2"] = "46000037GH",
449 ["c.ule.s_3"] = "46000037VGH",
450 ["c.sf.s_2"] = "46000038GH",
451 ["c.sf.s_3"] = "46000038VGH",
452 ["c.ngle.s_2"] = "46000039GH",
453 ["c.ngle.s_3"] = "46000039VGH",
454 ["c.seq.s_2"] = "4600003aGH",
455 ["c.seq.s_3"] = "4600003aVGH",
456 ["c.ngl.s_2"] = "4600003bGH",
457 ["c.ngl.s_3"] = "4600003bVGH",
458 ["c.lt.s_2"] = "4600003cGH",
459 ["c.lt.s_3"] = "4600003cVGH",
460 ["c.nge.s_2"] = "4600003dGH",
461 ["c.nge.s_3"] = "4600003dVGH",
462 ["c.le.s_2"] = "4600003eGH",
463 ["c.le.s_3"] = "4600003eVGH",
464 ["c.ngt.s_2"] = "4600003fGH",
465 ["c.ngt.s_3"] = "4600003fVGH",
467 ["add.d_3"] = "46200000FGH",
468 ["sub.d_3"] = "46200001FGH",
469 ["mul.d_3"] = "46200002FGH",
470 ["div.d_3"] = "46200003FGH",
471 ["sqrt.d_2"] = "46200004FG",
472 ["abs.d_2"] = "46200005FG",
473 ["mov.d_2"] = "46200006FG",
474 ["neg.d_2"] = "46200007FG",
475 ["round.l.d_2"] = "46200008FG",
476 ["trunc.l.d_2"] = "46200009FG",
477 ["ceil.l.d_2"] = "4620000aFG",
478 ["floor.l.d_2"] = "4620000bFG",
479 ["round.w.d_2"] = "4620000cFG",
480 ["trunc.w.d_2"] = "4620000dFG",
481 ["ceil.w.d_2"] = "4620000eFG",
482 ["floor.w.d_2"] = "4620000fFG",
483 ["movf.d_2"] = "46200011FG",
484 ["movf.d_3"] = "46200011FGC",
485 ["movt.d_2"] = "46210011FG",
486 ["movt.d_3"] = "46210011FGC",
487 ["movz.d_3"] = "46200012FGT",
488 ["movn.d_3"] = "46200013FGT",
489 ["recip.d_2"] = "46200015FG",
490 ["rsqrt.d_2"] = "46200016FG",
491 ["cvt.s.d_2"] = "46200020FG",
492 ["cvt.w.d_2"] = "46200024FG",
493 ["cvt.l.d_2"] = "46200025FG",
494 ["c.f.d_2"] = "46200030GH",
495 ["c.f.d_3"] = "46200030VGH",
496 ["c.un.d_2"] = "46200031GH",
497 ["c.un.d_3"] = "46200031VGH",
498 ["c.eq.d_2"] = "46200032GH",
499 ["c.eq.d_3"] = "46200032VGH",
500 ["c.ueq.d_2"] = "46200033GH",
501 ["c.ueq.d_3"] = "46200033VGH",
502 ["c.olt.d_2"] = "46200034GH",
503 ["c.olt.d_3"] = "46200034VGH",
504 ["c.ult.d_2"] = "46200035GH",
505 ["c.ult.d_3"] = "46200035VGH",
506 ["c.ole.d_2"] = "46200036GH",
507 ["c.ole.d_3"] = "46200036VGH",
508 ["c.ule.d_2"] = "46200037GH",
509 ["c.ule.d_3"] = "46200037VGH",
510 ["c.sf.d_2"] = "46200038GH",
511 ["c.sf.d_3"] = "46200038VGH",
512 ["c.ngle.d_2"] = "46200039GH",
513 ["c.ngle.d_3"] = "46200039VGH",
514 ["c.seq.d_2"] = "4620003aGH",
515 ["c.seq.d_3"] = "4620003aVGH",
516 ["c.ngl.d_2"] = "4620003bGH",
517 ["c.ngl.d_3"] = "4620003bVGH",
518 ["c.lt.d_2"] = "4620003cGH",
519 ["c.lt.d_3"] = "4620003cVGH",
520 ["c.nge.d_2"] = "4620003dGH",
521 ["c.nge.d_3"] = "4620003dVGH",
522 ["c.le.d_2"] = "4620003eGH",
523 ["c.le.d_3"] = "4620003eVGH",
524 ["c.ngt.d_2"] = "4620003fGH",
525 ["c.ngt.d_3"] = "4620003fVGH",
527 ["add.ps_3"] = "46c00000FGH",
528 ["sub.ps_3"] = "46c00001FGH",
529 ["mul.ps_3"] = "46c00002FGH",
530 ["abs.ps_2"] = "46c00005FG",
531 ["mov.ps_2"] = "46c00006FG",
532 ["neg.ps_2"] = "46c00007FG",
533 ["movf.ps_2"] = "46c00011FG",
534 ["movf.ps_3"] = "46c00011FGC",
535 ["movt.ps_2"] = "46c10011FG",
536 ["movt.ps_3"] = "46c10011FGC",
537 ["movz.ps_3"] = "46c00012FGT",
538 ["movn.ps_3"] = "46c00013FGT",
539 ["cvt.s.pu_2"] = "46c00020FG",
540 ["cvt.s.pl_2"] = "46c00028FG",
541 ["pll.ps_3"] = "46c0002cFGH",
542 ["plu.ps_3"] = "46c0002dFGH",
543 ["pul.ps_3"] = "46c0002eFGH",
544 ["puu.ps_3"] = "46c0002fFGH",
545 ["c.f.ps_2"] = "46c00030GH",
546 ["c.f.ps_3"] = "46c00030VGH",
547 ["c.un.ps_2"] = "46c00031GH",
548 ["c.un.ps_3"] = "46c00031VGH",
549 ["c.eq.ps_2"] = "46c00032GH",
550 ["c.eq.ps_3"] = "46c00032VGH",
551 ["c.ueq.ps_2"] = "46c00033GH",
552 ["c.ueq.ps_3"] = "46c00033VGH",
553 ["c.olt.ps_2"] = "46c00034GH",
554 ["c.olt.ps_3"] = "46c00034VGH",
555 ["c.ult.ps_2"] = "46c00035GH",
556 ["c.ult.ps_3"] = "46c00035VGH",
557 ["c.ole.ps_2"] = "46c00036GH",
558 ["c.ole.ps_3"] = "46c00036VGH",
559 ["c.ule.ps_2"] = "46c00037GH",
560 ["c.ule.ps_3"] = "46c00037VGH",
561 ["c.sf.ps_2"] = "46c00038GH",
562 ["c.sf.ps_3"] = "46c00038VGH",
563 ["c.ngle.ps_2"] = "46c00039GH",
564 ["c.ngle.ps_3"] = "46c00039VGH",
565 ["c.seq.ps_2"] = "46c0003aGH",
566 ["c.seq.ps_3"] = "46c0003aVGH",
567 ["c.ngl.ps_2"] = "46c0003bGH",
568 ["c.ngl.ps_3"] = "46c0003bVGH",
569 ["c.lt.ps_2"] = "46c0003cGH",
570 ["c.lt.ps_3"] = "46c0003cVGH",
571 ["c.nge.ps_2"] = "46c0003dGH",
572 ["c.nge.ps_3"] = "46c0003dVGH",
573 ["c.le.ps_2"] = "46c0003eGH",
574 ["c.le.ps_3"] = "46c0003eVGH",
575 ["c.ngt.ps_2"] = "46c0003fGH",
576 ["c.ngt.ps_3"] = "46c0003fVGH",
578 ["cvt.s.w_2"] = "46800020FG",
579 ["cvt.d.w_2"] = "46800021FG",
581 ["cvt.s.l_2"] = "46a00020FG",
582 ["cvt.d.l_2"] = "46a00021FG",
585 lwxc1_2
= "4c000000FX",
586 ldxc1_2
= "4c000001FX",
587 luxc1_2
= "4c000005FX",
588 swxc1_2
= "4c000008FX",
589 sdxc1_2
= "4c000009FX",
590 suxc1_2
= "4c00000dFX",
591 prefx_2
= "4c00000fMX",
592 ["alnv.ps_4"] = "4c00001eFGHS",
593 ["madd.s_4"] = "4c000020FRGH",
594 ["madd.d_4"] = "4c000021FRGH",
595 ["madd.ps_4"] = "4c000026FRGH",
596 ["msub.s_4"] = "4c000028FRGH",
597 ["msub.d_4"] = "4c000029FRGH",
598 ["msub.ps_4"] = "4c00002eFRGH",
599 ["nmadd.s_4"] = "4c000030FRGH",
600 ["nmadd.d_4"] = "4c000031FRGH",
601 ["nmadd.ps_4"] = "4c000036FRGH",
602 ["nmsub.s_4"] = "4c000038FRGH",
603 ["nmsub.d_4"] = "4c000039FRGH",
604 ["nmsub.ps_4"] = "4c00003eFRGH",
607 ------------------------------------------------------------------------------
609 local function parse_gpr(expr
)
610 local tname
, ovreg
= match(expr
, "^([%w_]+):(r[1-3]?[0-9])$")
611 local tp
= map_type
[tname
or expr
]
613 local reg
= ovreg
or tp
.reg
615 werror("type `"..(tname
or expr
).."' needs a register override")
619 local r
= match(expr
, "^r([1-3]?[0-9])$")
622 if r
<= 31 then return r
, tp
end
624 werror("bad register name `"..expr
.."'")
627 local function parse_fpr(expr
)
628 local r
= match(expr
, "^f([1-3]?[0-9])$")
631 if r
<= 31 then return r
end
633 werror("bad register name `"..expr
.."'")
636 local function parse_imm(imm
, bits
, shift
, scale
, signed
)
637 local n
= tonumber(imm
)
639 local m
= sar(n
, scale
)
640 if shl(m
, scale
) == n
then
642 local s
= sar(m
, bits
-1)
643 if s
== 0 then return shl(m
, shift
)
644 elseif s
== -1 then return shl(m
+ shl(1, bits
), shift
) end
646 if sar(m
, bits
) == 0 then return shl(m
, shift
) end
649 werror("out of range immediate `"..imm
.."'")
650 elseif match(imm
, "^[rf]([1-3]?[0-9])$") or
651 match(imm
, "^([%w_]+):([rf][1-3]?[0-9])$") then
652 werror("expected immediate operand, got register")
654 waction("IMM", (signed
and 32768 or 0)+scale
*1024+bits
*32+shift
, imm
)
659 local function parse_disp(disp
)
660 local imm
, reg
= match(disp
, "^(.*)%(([%w_:]+)%)$")
662 local r
= shl(parse_gpr(reg
), 21)
663 local extname
= match(imm
, "^extern%s+(%S+)$")
665 waction("REL_EXT", map_extern
[extname
], nil, 1)
668 return r
+ parse_imm(imm
, 16, 0, 0, true)
671 local reg
, tailr
= match(disp
, "^([%w_:]+)%s*(.*)$")
672 if reg
and tailr
~= "" then
673 local r
, tp
= parse_gpr(reg
)
675 waction("IMM", 32768+16*32, format(tp
.ctypefmt
, tailr
))
679 werror("bad displacement `"..disp
.."'")
682 local function parse_index(idx
)
683 local rt
, rs
= match(idx
, "^(.*)%(([%w_:]+)%)$")
687 return shl(rt
, 16) + shl(rs
, 21)
689 werror("bad index `"..idx
.."'")
692 local function parse_label(label
, def
)
693 local prefix
= sub(label
, 1, 2)
694 -- =>label (pc label reference)
695 if prefix
== "=>" then
696 return "PC", 0, sub(label
, 3)
698 -- ->name (global label reference)
699 if prefix
== "->" then
700 return "LG", map_global
[sub(label
, 3)]
703 -- [1-9] (local label definition)
704 if match(label
, "^[1-9]$") then
705 return "LG", 10+tonumber(label
)
708 -- [<>][1-9] (local label reference)
709 local dir
, lnum
= match(label
, "^([<>])([1-9])$")
710 if dir
then -- Fwd: 1-9, Bkwd: 11-19.
711 return "LG", lnum
+ (dir
== ">" and 0 or 10)
713 -- extern label (extern label reference)
714 local extname
= match(label
, "^extern%s+(%S+)$")
716 return "EXT", map_extern
[extname
]
719 werror("bad label `"..label
.."'")
722 ------------------------------------------------------------------------------
724 -- Handle opcodes defined with template strings.
725 map_op
[".template__"] = function(params
, template
, nparams
)
726 if not params
then return sub(template
, 9) end
727 local op
= tonumber(sub(template
, 1, 8), 16)
730 -- Limit number of section buffer positions used by a single dasm_put().
731 -- A single opcode needs a maximum of 2 positions (ins/ext).
732 if secpos
+2 > maxsecpos
then wflush() end
735 -- Process each character.
736 for p
in gmatch(sub(template
, 9), ".") do
738 op
= op
+ shl(parse_gpr(params
[n
]), 11); n
= n
+ 1
740 op
= op
+ shl(parse_gpr(params
[n
]), 16); n
= n
+ 1
742 op
= op
+ shl(parse_gpr(params
[n
]), 21); n
= n
+ 1
744 op
= op
+ shl(parse_fpr(params
[n
]), 6); n
= n
+ 1
746 op
= op
+ shl(parse_fpr(params
[n
]), 11); n
= n
+ 1
748 op
= op
+ shl(parse_fpr(params
[n
]), 16); n
= n
+ 1
750 op
= op
+ shl(parse_fpr(params
[n
]), 21); n
= n
+ 1
752 op
= op
+ parse_imm(params
[n
], 16, 0, 0, true); n
= n
+ 1
754 op
= op
+ parse_imm(params
[n
], 16, 0, 0, false); n
= n
+ 1
756 op
= op
+ parse_disp(params
[n
]); n
= n
+ 1
758 op
= op
+ parse_index(params
[n
]); n
= n
+ 1
759 elseif p
== "B" or p
== "J" then
760 local mode
, n
, s
= parse_label(params
[n
], false)
761 if p
== "B" then n
= n
+ 2048 end
762 waction("REL_"..mode
, n
, s
, 1)
765 op
= op
+ parse_imm(params
[n
], 5, 6, 0, false); n
= n
+ 1
767 op
= op
+ parse_imm(params
[n
], 5, 11, 0, false); n
= n
+ 1
769 op
= op
+ parse_imm(params
[n
], 5, 16, 0, false); n
= n
+ 1
771 op
= op
+ parse_imm(params
[n
], 3, 18, 0, false); n
= n
+ 1
773 op
= op
+ parse_imm(params
[n
], 3, 8, 0, false); n
= n
+ 1
775 op
= op
+ parse_imm(params
[n
], 3, 0, 0, false); n
= n
+ 1
777 op
= op
+ parse_imm(params
[n
], 20, 6, 0, false); n
= n
+ 1
779 op
= op
+ parse_imm(params
[n
], 10, 6, 0, false); n
= n
+ 1
781 op
= op
+ shl(band(op
, 0xf800), 5) -- Copy D to T for clz, clo.
789 ------------------------------------------------------------------------------
791 -- Pseudo-opcode to mark the position where the action list is to be emitted.
792 map_op
[".actionlist_1"] = function(params
)
793 if not params
then return "cvar" end
794 local name
= params
[1] -- No syntax check. You get to keep the pieces.
795 wline(function(out
) writeactions(out
, name
) end)
798 -- Pseudo-opcode to mark the position where the global enum is to be emitted.
799 map_op
[".globals_1"] = function(params
)
800 if not params
then return "prefix" end
801 local prefix
= params
[1] -- No syntax check. You get to keep the pieces.
802 wline(function(out
) writeglobals(out
, prefix
) end)
805 -- Pseudo-opcode to mark the position where the global names are to be emitted.
806 map_op
[".globalnames_1"] = function(params
)
807 if not params
then return "cvar" end
808 local name
= params
[1] -- No syntax check. You get to keep the pieces.
809 wline(function(out
) writeglobalnames(out
, name
) end)
812 -- Pseudo-opcode to mark the position where the extern names are to be emitted.
813 map_op
[".externnames_1"] = function(params
)
814 if not params
then return "cvar" end
815 local name
= params
[1] -- No syntax check. You get to keep the pieces.
816 wline(function(out
) writeexternnames(out
, name
) end)
819 ------------------------------------------------------------------------------
821 -- Label pseudo-opcode (converted from trailing colon form).
822 map_op
[".label_1"] = function(params
)
823 if not params
then return "[1-9] | ->global | =>pcexpr" end
824 if secpos
+1 > maxsecpos
then wflush() end
825 local mode
, n
, s
= parse_label(params
[1], true)
826 if mode
== "EXT" then werror("bad label definition") end
827 waction("LABEL_"..mode
, n
, s
, 1)
830 ------------------------------------------------------------------------------
832 -- Pseudo-opcodes for data storage.
833 map_op
[".long_*"] = function(params
)
834 if not params
then return "imm..." end
835 for _
,p
in ipairs(params
) do
836 local n
= tonumber(p
)
837 if not n
then werror("bad immediate `"..p
.."'") end
838 if n
< 0 then n
= n
+ 2^
32 end
840 if secpos
+2 > maxsecpos
then wflush() end
844 -- Alignment pseudo-opcode.
845 map_op
[".align_1"] = function(params
)
846 if not params
then return "numpow2" end
847 if secpos
+1 > maxsecpos
then wflush() end
848 local align
= tonumber(params
[1])
851 -- Must be a power of 2 in the range (2 ... 256).
855 waction("ALIGN", align
-1, nil, 1) -- Action byte is 2**n-1.
860 werror("bad alignment")
863 ------------------------------------------------------------------------------
865 -- Pseudo-opcode for (primitive) type definitions (map to C types).
866 map_op
[".type_3"] = function(params
, nparams
)
868 return nparams
== 2 and "name, ctype" or "name, ctype, reg"
870 local name
, ctype
, reg
= params
[1], params
[2], params
[3]
871 if not match(name
, "^[%a_][%w_]*$") then
872 werror("bad type name `"..name
.."'")
874 local tp
= map_type
[name
]
876 werror("duplicate type `"..name
.."'")
878 -- Add #type to defines. A bit unclean to put it in map_archdef.
879 map_archdef
["#"..name
] = "sizeof("..ctype
..")"
880 -- Add new type and emit shortcut define.
881 local num
= ctypenum
+ 1
884 ctypefmt
= format("Dt%X(%%s)", num
),
887 wline(format("#define Dt%X(_V) (int)(ptrdiff_t)&(((%s *)0)_V)", num
, ctype
))
890 map_op
[".type_2"] = map_op
[".type_3"]
892 -- Dump type definitions.
893 local function dumptypes(out
, lvl
)
895 for name
in pairs(map_type
) do t
[#t
+1] = name
end
897 out
:write("Type definitions:\n")
898 for _
,name
in ipairs(t
) do
899 local tp
= map_type
[name
]
900 local reg
= tp
.reg
or ""
901 out
:write(format(" %-20s %-20s %s\n", name
, tp
.ctype
, reg
))
906 ------------------------------------------------------------------------------
908 -- Set the current section.
909 function _M
.section(num
)
910 waction("SECTION", num
)
911 wflush(true) -- SECTION is a terminal action.
914 ------------------------------------------------------------------------------
916 -- Dump architecture description.
917 function _M
.dumparch(out
)
918 out
:write(format("DynASM %s version %s, released %s\n\n",
919 _info
.arch
, _info
.version
, _info
.release
))
923 -- Dump all user defined elements.
924 function _M
.dumpdef(out
, lvl
)
926 dumpglobals(out
, lvl
)
927 dumpexterns(out
, lvl
)
930 ------------------------------------------------------------------------------
932 -- Pass callbacks from/to the DynASM core.
933 function _M
.passcb(wl
, we
, wf
, ww
)
934 wline
, werror
, wfatal
, wwarn
= wl
, we
, wf
, ww
938 -- Setup the arch-specific module.
939 function _M
.setup(arch
, opt
)
940 g_arch
, g_opt
= arch
, opt
943 -- Merge the core maps and the arch-specific maps.
944 function _M
.mergemaps(map_coreop
, map_def
)
945 setmetatable(map_op
, { __index
= map_coreop
})
946 setmetatable(map_def
, { __index
= map_archdef
})
947 return map_op
, map_def
952 ------------------------------------------------------------------------------