source/libs/luajit/LuaJIT-src/dynasm/dasm_arm.lua

   1 ------------------------------------------------------------------------------
   2 -- DynASM ARM module.
   3 --
   4 -- Copyright (C) 2005-2015 Mike Pall. All rights reserved.
   5 -- See dynasm.lua for full copyright notice.
   6 ------------------------------------------------------------------------------
   7
   8 -- Module information:
   9 local _info = {
  10   arch =        "arm",
  11   description = "DynASM ARM module",
  12   version =     "1.3.0",
  13   vernum =       10300,
  14   release =     "2011-05-05",
  15   author =      "Mike Pall",
  16   license =     "MIT",
  17 }
  18
  19 -- Exported glue functions for the arch-specific module.
  20 local _M = { _info = _info }
  21
  22 -- Cache library functions.
  23 local type, tonumber, pairs, ipairs = type, tonumber, pairs, ipairs
  24 local assert, setmetatable, rawget = assert, setmetatable, rawget
  25 local _s = string
  26 local sub, format, byte, char = _s.sub, _s.format, _s.byte, _s.char
  27 local match, gmatch, gsub = _s.match, _s.gmatch, _s.gsub
  28 local concat, sort, insert = table.concat, table.sort, table.insert
  29 local bit = bit or require("bit")
  30 local band, shl, shr, sar = bit.band, bit.lshift, bit.rshift, bit.arshift
  31 local ror, tohex = bit.ror, bit.tohex
  32
  33 -- Inherited tables and callbacks.
  34 local g_opt, g_arch
  35 local wline, werror, wfatal, wwarn
  36
  37 -- Action name list.
  38 -- CHECK: Keep this in sync with the C code!
  39 local action_names = {
  40   "STOP", "SECTION", "ESC", "REL_EXT",
  41   "ALIGN", "REL_LG", "LABEL_LG",
  42   "REL_PC", "LABEL_PC", "IMM", "IMM12", "IMM16", "IMML8", "IMML12", "IMMV8",
  43 }
  44
  45 -- Maximum number of section buffer positions for dasm_put().
  46 -- CHECK: Keep this in sync with the C code!
  47 local maxsecpos = 25 -- Keep this low, to avoid excessively long C lines.
  48
  49 -- Action name -> action number.
  50 local map_action = {}
  51 for n,name in ipairs(action_names) do
  52   map_action[name] = n-1
  53 end
  54
  55 -- Action list buffer.
  56 local actlist = {}
  57
  58 -- Argument list for next dasm_put(). Start with offset 0 into action list.
  59 local actargs = { 0 }
  60
  61 -- Current number of section buffer positions for dasm_put().
  62 local secpos = 1
  63
  64 ------------------------------------------------------------------------------
  65
  66 -- Dump action names and numbers.
  67 local function dumpactions(out)
  68   out:write("DynASM encoding engine action codes:\n")
  69   for n,name in ipairs(action_names) do
  70     local num = map_action[name]
  71     out:write(format("  %-10s %02X  %d\n", name, num, num))
  72   end
  73   out:write("\n")
  74 end
  75
  76 -- Write action list buffer as a huge static C array.
  77 local function writeactions(out, name)
  78   local nn = #actlist
  79   if nn == 0 then nn = 1; actlist[0] = map_action.STOP end
  80   out:write("static const unsigned int ", name, "[", nn, "] = {\n")
  81   for i = 1,nn-1 do
  82     assert(out:write("0x", tohex(actlist[i]), ",\n"))
  83   end
  84   assert(out:write("0x", tohex(actlist[nn]), "\n};\n\n"))
  85 end
  86
  87 ------------------------------------------------------------------------------
  88
  89 -- Add word to action list.
  90 local function wputxw(n)
  91   assert(n >= 0 and n <= 0xffffffff and n % 1 == 0, "word out of range")
  92   actlist[#actlist+1] = n
  93 end
  94
  95 -- Add action to list with optional arg. Advance buffer pos, too.
  96 local function waction(action, val, a, num)
  97   local w = assert(map_action[action], "bad action name `"..action.."'")
  98   wputxw(w * 0x10000 + (val or 0))
  99   if a then actargs[#actargs+1] = a end
 100   if a or num then secpos = secpos + (num or 1) end
 101 end
 102
 103 -- Flush action list (intervening C code or buffer pos overflow).
 104 local function wflush(term)
 105   if #actlist == actargs[1] then return end -- Nothing to flush.
 106   if not term then waction("STOP") end -- Terminate action list.
 107   wline(format("dasm_put(Dst, %s);", concat(actargs, ", ")), true)
 108   actargs = { #actlist } -- Actionlist offset is 1st arg to next dasm_put().
 109   secpos = 1 -- The actionlist offset occupies a buffer position, too.
 110 end
 111
 112 -- Put escaped word.
 113 local function wputw(n)
 114   if n <= 0x000fffff then waction("ESC") end
 115   wputxw(n)
 116 end
 117
 118 -- Reserve position for word.
 119 local function wpos()
 120   local pos = #actlist+1
 121   actlist[pos] = ""
 122   return pos
 123 end
 124
 125 -- Store word to reserved position.
 126 local function wputpos(pos, n)
 127   assert(n >= 0 and n <= 0xffffffff and n % 1 == 0, "word out of range")
 128   if n <= 0x000fffff then
 129     insert(actlist, pos+1, n)
 130     n = map_action.ESC * 0x10000
 131   end
 132   actlist[pos] = n
 133 end
 134
 135 ------------------------------------------------------------------------------
 136
 137 -- Global label name -> global label number. With auto assignment on 1st use.
 138 local next_global = 20
 139 local map_global = setmetatable({}, { __index = function(t, name)
 140   if not match(name, "^[%a_][%w_]*$") then werror("bad global label") end
 141   local n = next_global
 142   if n > 2047 then werror("too many global labels") end
 143   next_global = n + 1
 144   t[name] = n
 145   return n
 146 end})
 147
 148 -- Dump global labels.
 149 local function dumpglobals(out, lvl)
 150   local t = {}
 151   for name, n in pairs(map_global) do t[n] = name end
 152   out:write("Global labels:\n")
 153   for i=20,next_global-1 do
 154     out:write(format("  %s\n", t[i]))
 155   end
 156   out:write("\n")
 157 end
 158
 159 -- Write global label enum.
 160 local function writeglobals(out, prefix)
 161   local t = {}
 162   for name, n in pairs(map_global) do t[n] = name end
 163   out:write("enum {\n")
 164   for i=20,next_global-1 do
 165     out:write("  ", prefix, t[i], ",\n")
 166   end
 167   out:write("  ", prefix, "_MAX\n};\n")
 168 end
 169
 170 -- Write global label names.
 171 local function writeglobalnames(out, name)
 172   local t = {}
 173   for name, n in pairs(map_global) do t[n] = name end
 174   out:write("static const char *const ", name, "[] = {\n")
 175   for i=20,next_global-1 do
 176     out:write("  \"", t[i], "\",\n")
 177   end
 178   out:write("  (const char *)0\n};\n")
 179 end
 180
 181 ------------------------------------------------------------------------------
 182
 183 -- Extern label name -> extern label number. With auto assignment on 1st use.
 184 local next_extern = 0
 185 local map_extern_ = {}
 186 local map_extern = setmetatable({}, { __index = function(t, name)
 187   -- No restrictions on the name for now.
 188   local n = next_extern
 189   if n > 2047 then werror("too many extern labels") end
 190   next_extern = n + 1
 191   t[name] = n
 192   map_extern_[n] = name
 193   return n
 194 end})
 195
 196 -- Dump extern labels.
 197 local function dumpexterns(out, lvl)
 198   out:write("Extern labels:\n")
 199   for i=0,next_extern-1 do
 200     out:write(format("  %s\n", map_extern_[i]))
 201   end
 202   out:write("\n")
 203 end
 204
 205 -- Write extern label names.
 206 local function writeexternnames(out, name)
 207   out:write("static const char *const ", name, "[] = {\n")
 208   for i=0,next_extern-1 do
 209     out:write("  \"", map_extern_[i], "\",\n")
 210   end
 211   out:write("  (const char *)0\n};\n")
 212 end
 213
 214 ------------------------------------------------------------------------------
 215
 216 -- Arch-specific maps.
 217
 218 -- Ext. register name -> int. name.
 219 local map_archdef = { sp = "r13", lr = "r14", pc = "r15", }
 220
 221 -- Int. register name -> ext. name.
 222 local map_reg_rev = { r13 = "sp", r14 = "lr", r15 = "pc", }
 223
 224 local map_type = {}             -- Type name -> { ctype, reg }
 225 local ctypenum = 0              -- Type number (for Dt... macros).
 226
 227 -- Reverse defines for registers.
 228 function _M.revdef(s)
 229   return map_reg_rev[s] or s
 230 end
 231
 232 local map_shift = { lsl = 0, lsr = 1, asr = 2, ror = 3, }
 233
 234 local map_cond = {
 235   eq = 0, ne = 1, cs = 2, cc = 3, mi = 4, pl = 5, vs = 6, vc = 7,
 236   hi = 8, ls = 9, ge = 10, lt = 11, gt = 12, le = 13, al = 14,
 237   hs = 2, lo = 3,
 238 }
 239
 240 ------------------------------------------------------------------------------
 241
 242 -- Template strings for ARM instructions.
 243 local map_op = {
 244   -- Basic data processing instructions.
 245   and_3 = "e0000000DNPs",
 246   eor_3 = "e0200000DNPs",
 247   sub_3 = "e0400000DNPs",
 248   rsb_3 = "e0600000DNPs",
 249   add_3 = "e0800000DNPs",
 250   adc_3 = "e0a00000DNPs",
 251   sbc_3 = "e0c00000DNPs",
 252   rsc_3 = "e0e00000DNPs",
 253   tst_2 = "e1100000NP",
 254   teq_2 = "e1300000NP",
 255   cmp_2 = "e1500000NP",
 256   cmn_2 = "e1700000NP",
 257   orr_3 = "e1800000DNPs",
 258   mov_2 = "e1a00000DPs",
 259   bic_3 = "e1c00000DNPs",
 260   mvn_2 = "e1e00000DPs",
 261
 262   and_4 = "e0000000DNMps",
 263   eor_4 = "e0200000DNMps",
 264   sub_4 = "e0400000DNMps",
 265   rsb_4 = "e0600000DNMps",
 266   add_4 = "e0800000DNMps",
 267   adc_4 = "e0a00000DNMps",
 268   sbc_4 = "e0c00000DNMps",
 269   rsc_4 = "e0e00000DNMps",
 270   tst_3 = "e1100000NMp",
 271   teq_3 = "e1300000NMp",
 272   cmp_3 = "e1500000NMp",
 273   cmn_3 = "e1700000NMp",
 274   orr_4 = "e1800000DNMps",
 275   mov_3 = "e1a00000DMps",
 276   bic_4 = "e1c00000DNMps",
 277   mvn_3 = "e1e00000DMps",
 278
 279   lsl_3 = "e1a00000DMws",
 280   lsr_3 = "e1a00020DMws",
 281   asr_3 = "e1a00040DMws",
 282   ror_3 = "e1a00060DMws",
 283   rrx_2 = "e1a00060DMs",
 284
 285   -- Multiply and multiply-accumulate.
 286   mul_3 = "e0000090NMSs",
 287   mla_4 = "e0200090NMSDs",
 288   umaal_4 = "e0400090DNMSs",    -- v6
 289   mls_4 = "e0600090DNMSs",      -- v6T2
 290   umull_4 = "e0800090DNMSs",
 291   umlal_4 = "e0a00090DNMSs",
 292   smull_4 = "e0c00090DNMSs",
 293   smlal_4 = "e0e00090DNMSs",
 294
 295   -- Halfword multiply and multiply-accumulate.
 296   smlabb_4 = "e1000080NMSD",    -- v5TE
 297   smlatb_4 = "e10000a0NMSD",    -- v5TE
 298   smlabt_4 = "e10000c0NMSD",    -- v5TE
 299   smlatt_4 = "e10000e0NMSD",    -- v5TE
 300   smlawb_4 = "e1200080NMSD",    -- v5TE
 301   smulwb_3 = "e12000a0NMS",     -- v5TE
 302   smlawt_4 = "e12000c0NMSD",    -- v5TE
 303   smulwt_3 = "e12000e0NMS",     -- v5TE
 304   smlalbb_4 = "e1400080NMSD",   -- v5TE
 305   smlaltb_4 = "e14000a0NMSD",   -- v5TE
 306   smlalbt_4 = "e14000c0NMSD",   -- v5TE
 307   smlaltt_4 = "e14000e0NMSD",   -- v5TE
 308   smulbb_3 = "e1600080NMS",     -- v5TE
 309   smultb_3 = "e16000a0NMS",     -- v5TE
 310   smulbt_3 = "e16000c0NMS",     -- v5TE
 311   smultt_3 = "e16000e0NMS",     -- v5TE
 312
 313   -- Miscellaneous data processing instructions.
 314   clz_2 = "e16f0f10DM", -- v5T
 315   rev_2 = "e6bf0f30DM", -- v6
 316   rev16_2 = "e6bf0fb0DM", -- v6
 317   revsh_2 = "e6ff0fb0DM", -- v6
 318   sel_3 = "e6800fb0DNM", -- v6
 319   usad8_3 = "e780f010NMS", -- v6
 320   usada8_4 = "e7800010NMSD", -- v6
 321   rbit_2 = "e6ff0f30DM", -- v6T2
 322   movw_2 = "e3000000DW", -- v6T2
 323   movt_2 = "e3400000DW", -- v6T2
 324   -- Note: the X encodes width-1, not width.
 325   sbfx_4 = "e7a00050DMvX", -- v6T2
 326   ubfx_4 = "e7e00050DMvX", -- v6T2
 327   -- Note: the X encodes the msb field, not the width.
 328   bfc_3 = "e7c0001fDvX", -- v6T2
 329   bfi_4 = "e7c00010DMvX", -- v6T2
 330
 331   -- Packing and unpacking instructions.
 332   pkhbt_3 = "e6800010DNM", pkhbt_4 = "e6800010DNMv", -- v6
 333   pkhtb_3 = "e6800050DNM", pkhtb_4 = "e6800050DNMv", -- v6
 334   sxtab_3 = "e6a00070DNM", sxtab_4 = "e6a00070DNMv", -- v6
 335   sxtab16_3 = "e6800070DNM", sxtab16_4 = "e6800070DNMv", -- v6
 336   sxtah_3 = "e6b00070DNM", sxtah_4 = "e6b00070DNMv", -- v6
 337   sxtb_2 = "e6af0070DM", sxtb_3 = "e6af0070DMv", -- v6
 338   sxtb16_2 = "e68f0070DM", sxtb16_3 = "e68f0070DMv", -- v6
 339   sxth_2 = "e6bf0070DM", sxth_3 = "e6bf0070DMv", -- v6
 340   uxtab_3 = "e6e00070DNM", uxtab_4 = "e6e00070DNMv", -- v6
 341   uxtab16_3 = "e6c00070DNM", uxtab16_4 = "e6c00070DNMv", -- v6
 342   uxtah_3 = "e6f00070DNM", uxtah_4 = "e6f00070DNMv", -- v6
 343   uxtb_2 = "e6ef0070DM", uxtb_3 = "e6ef0070DMv", -- v6
 344   uxtb16_2 = "e6cf0070DM", uxtb16_3 = "e6cf0070DMv", -- v6
 345   uxth_2 = "e6ff0070DM", uxth_3 = "e6ff0070DMv", -- v6
 346
 347   -- Saturating instructions.
 348   qadd_3 = "e1000050DMN",       -- v5TE
 349   qsub_3 = "e1200050DMN",       -- v5TE
 350   qdadd_3 = "e1400050DMN",      -- v5TE
 351   qdsub_3 = "e1600050DMN",      -- v5TE
 352   -- Note: the X for ssat* encodes sat_imm-1, not sat_imm.
 353   ssat_3 = "e6a00010DXM", ssat_4 = "e6a00010DXMp", -- v6
 354   usat_3 = "e6e00010DXM", usat_4 = "e6e00010DXMp", -- v6
 355   ssat16_3 = "e6a00f30DXM", -- v6
 356   usat16_3 = "e6e00f30DXM", -- v6
 357
 358   -- Parallel addition and subtraction.
 359   sadd16_3 = "e6100f10DNM", -- v6
 360   sasx_3 = "e6100f30DNM", -- v6
 361   ssax_3 = "e6100f50DNM", -- v6
 362   ssub16_3 = "e6100f70DNM", -- v6
 363   sadd8_3 = "e6100f90DNM", -- v6
 364   ssub8_3 = "e6100ff0DNM", -- v6
 365   qadd16_3 = "e6200f10DNM", -- v6
 366   qasx_3 = "e6200f30DNM", -- v6
 367   qsax_3 = "e6200f50DNM", -- v6
 368   qsub16_3 = "e6200f70DNM", -- v6
 369   qadd8_3 = "e6200f90DNM", -- v6
 370   qsub8_3 = "e6200ff0DNM", -- v6
 371   shadd16_3 = "e6300f10DNM", -- v6
 372   shasx_3 = "e6300f30DNM", -- v6
 373   shsax_3 = "e6300f50DNM", -- v6
 374   shsub16_3 = "e6300f70DNM", -- v6
 375   shadd8_3 = "e6300f90DNM", -- v6
 376   shsub8_3 = "e6300ff0DNM", -- v6
 377   uadd16_3 = "e6500f10DNM", -- v6
 378   uasx_3 = "e6500f30DNM", -- v6
 379   usax_3 = "e6500f50DNM", -- v6
 380   usub16_3 = "e6500f70DNM", -- v6
 381   uadd8_3 = "e6500f90DNM", -- v6
 382   usub8_3 = "e6500ff0DNM", -- v6
 383   uqadd16_3 = "e6600f10DNM", -- v6
 384   uqasx_3 = "e6600f30DNM", -- v6
 385   uqsax_3 = "e6600f50DNM", -- v6
 386   uqsub16_3 = "e6600f70DNM", -- v6
 387   uqadd8_3 = "e6600f90DNM", -- v6
 388   uqsub8_3 = "e6600ff0DNM", -- v6
 389   uhadd16_3 = "e6700f10DNM", -- v6
 390   uhasx_3 = "e6700f30DNM", -- v6
 391   uhsax_3 = "e6700f50DNM", -- v6
 392   uhsub16_3 = "e6700f70DNM", -- v6
 393   uhadd8_3 = "e6700f90DNM", -- v6
 394   uhsub8_3 = "e6700ff0DNM", -- v6
 395
 396   -- Load/store instructions.
 397   str_2 = "e4000000DL", str_3 = "e4000000DL", str_4 = "e4000000DL",
 398   strb_2 = "e4400000DL", strb_3 = "e4400000DL", strb_4 = "e4400000DL",
 399   ldr_2 = "e4100000DL", ldr_3 = "e4100000DL", ldr_4 = "e4100000DL",
 400   ldrb_2 = "e4500000DL", ldrb_3 = "e4500000DL", ldrb_4 = "e4500000DL",
 401   strh_2 = "e00000b0DL", strh_3 = "e00000b0DL",
 402   ldrh_2 = "e01000b0DL", ldrh_3 = "e01000b0DL",
 403   ldrd_2 = "e00000d0DL", ldrd_3 = "e00000d0DL", -- v5TE
 404   ldrsb_2 = "e01000d0DL", ldrsb_3 = "e01000d0DL",
 405   strd_2 = "e00000f0DL", strd_3 = "e00000f0DL", -- v5TE
 406   ldrsh_2 = "e01000f0DL", ldrsh_3 = "e01000f0DL",
 407
 408   ldm_2 = "e8900000oR", ldmia_2 = "e8900000oR", ldmfd_2 = "e8900000oR",
 409   ldmda_2 = "e8100000oR", ldmfa_2 = "e8100000oR",
 410   ldmdb_2 = "e9100000oR", ldmea_2 = "e9100000oR",
 411   ldmib_2 = "e9900000oR", ldmed_2 = "e9900000oR",
 412   stm_2 = "e8800000oR", stmia_2 = "e8800000oR", stmfd_2 = "e8800000oR",
 413   stmda_2 = "e8000000oR", stmfa_2 = "e8000000oR",
 414   stmdb_2 = "e9000000oR", stmea_2 = "e9000000oR",
 415   stmib_2 = "e9800000oR", stmed_2 = "e9800000oR",
 416   pop_1 = "e8bd0000R", push_1 = "e92d0000R",
 417
 418   -- Branch instructions.
 419   b_1 = "ea000000B",
 420   bl_1 = "eb000000B",
 421   blx_1 = "e12fff30C",
 422   bx_1 = "e12fff10M",
 423
 424   -- Miscellaneous instructions.
 425   nop_0 = "e1a00000",
 426   mrs_1 = "e10f0000D",
 427   bkpt_1 = "e1200070K", -- v5T
 428   svc_1 = "ef000000T", swi_1 = "ef000000T",
 429   ud_0 = "e7f001f0",
 430
 431   -- VFP instructions.
 432   ["vadd.f32_3"] = "ee300a00dnm",
 433   ["vadd.f64_3"] = "ee300b00Gdnm",
 434   ["vsub.f32_3"] = "ee300a40dnm",
 435   ["vsub.f64_3"] = "ee300b40Gdnm",
 436   ["vmul.f32_3"] = "ee200a00dnm",
 437   ["vmul.f64_3"] = "ee200b00Gdnm",
 438   ["vnmul.f32_3"] = "ee200a40dnm",
 439   ["vnmul.f64_3"] = "ee200b40Gdnm",
 440   ["vmla.f32_3"] = "ee000a00dnm",
 441   ["vmla.f64_3"] = "ee000b00Gdnm",
 442   ["vmls.f32_3"] = "ee000a40dnm",
 443   ["vmls.f64_3"] = "ee000b40Gdnm",
 444   ["vnmla.f32_3"] = "ee100a40dnm",
 445   ["vnmla.f64_3"] = "ee100b40Gdnm",
 446   ["vnmls.f32_3"] = "ee100a00dnm",
 447   ["vnmls.f64_3"] = "ee100b00Gdnm",
 448   ["vdiv.f32_3"] = "ee800a00dnm",
 449   ["vdiv.f64_3"] = "ee800b00Gdnm",
 450
 451   ["vabs.f32_2"] = "eeb00ac0dm",
 452   ["vabs.f64_2"] = "eeb00bc0Gdm",
 453   ["vneg.f32_2"] = "eeb10a40dm",
 454   ["vneg.f64_2"] = "eeb10b40Gdm",
 455   ["vsqrt.f32_2"] = "eeb10ac0dm",
 456   ["vsqrt.f64_2"] = "eeb10bc0Gdm",
 457   ["vcmp.f32_2"] = "eeb40a40dm",
 458   ["vcmp.f64_2"] = "eeb40b40Gdm",
 459   ["vcmpe.f32_2"] = "eeb40ac0dm",
 460   ["vcmpe.f64_2"] = "eeb40bc0Gdm",
 461   ["vcmpz.f32_1"] = "eeb50a40d",
 462   ["vcmpz.f64_1"] = "eeb50b40Gd",
 463   ["vcmpze.f32_1"] = "eeb50ac0d",
 464   ["vcmpze.f64_1"] = "eeb50bc0Gd",
 465
 466   vldr_2 = "ed100a00dl|ed100b00Gdl",
 467   vstr_2 = "ed000a00dl|ed000b00Gdl",
 468   vldm_2 = "ec900a00or",
 469   vldmia_2 = "ec900a00or",
 470   vldmdb_2 = "ed100a00or",
 471   vpop_1 = "ecbd0a00r",
 472   vstm_2 = "ec800a00or",
 473   vstmia_2 = "ec800a00or",
 474   vstmdb_2 = "ed000a00or",
 475   vpush_1 = "ed2d0a00r",
 476
 477   ["vmov.f32_2"] = "eeb00a40dm|eeb00a00dY",     -- #imm is VFPv3 only
 478   ["vmov.f64_2"] = "eeb00b40Gdm|eeb00b00GdY",   -- #imm is VFPv3 only
 479   vmov_2 = "ee100a10Dn|ee000a10nD",
 480   vmov_3 = "ec500a10DNm|ec400a10mDN|ec500b10GDNm|ec400b10GmDN",
 481
 482   vmrs_0 = "eef1fa10",
 483   vmrs_1 = "eef10a10D",
 484   vmsr_1 = "eee10a10D",
 485
 486   ["vcvt.s32.f32_2"] = "eebd0ac0dm",
 487   ["vcvt.s32.f64_2"] = "eebd0bc0dGm",
 488   ["vcvt.u32.f32_2"] = "eebc0ac0dm",
 489   ["vcvt.u32.f64_2"] = "eebc0bc0dGm",
 490   ["vcvtr.s32.f32_2"] = "eebd0a40dm",
 491   ["vcvtr.s32.f64_2"] = "eebd0b40dGm",
 492   ["vcvtr.u32.f32_2"] = "eebc0a40dm",
 493   ["vcvtr.u32.f64_2"] = "eebc0b40dGm",
 494   ["vcvt.f32.s32_2"] = "eeb80ac0dm",
 495   ["vcvt.f64.s32_2"] = "eeb80bc0GdFm",
 496   ["vcvt.f32.u32_2"] = "eeb80a40dm",
 497   ["vcvt.f64.u32_2"] = "eeb80b40GdFm",
 498   ["vcvt.f32.f64_2"] = "eeb70bc0dGm",
 499   ["vcvt.f64.f32_2"] = "eeb70ac0GdFm",
 500
 501   -- VFPv4 only:
 502   ["vfma.f32_3"] = "eea00a00dnm",
 503   ["vfma.f64_3"] = "eea00b00Gdnm",
 504   ["vfms.f32_3"] = "eea00a40dnm",
 505   ["vfms.f64_3"] = "eea00b40Gdnm",
 506   ["vfnma.f32_3"] = "ee900a40dnm",
 507   ["vfnma.f64_3"] = "ee900b40Gdnm",
 508   ["vfnms.f32_3"] = "ee900a00dnm",
 509   ["vfnms.f64_3"] = "ee900b00Gdnm",
 510
 511   -- NYI: Advanced SIMD instructions.
 512
 513   -- NYI: I have no need for these instructions right now:
 514   -- swp, swpb, strex, ldrex, strexd, ldrexd, strexb, ldrexb, strexh, ldrexh
 515   -- msr, nopv6, yield, wfe, wfi, sev, dbg, bxj, smc, srs, rfe
 516   -- cps, setend, pli, pld, pldw, clrex, dsb, dmb, isb
 517   -- stc, ldc, mcr, mcr2, mrc, mrc2, mcrr, mcrr2, mrrc, mrrc2, cdp, cdp2
 518 }
 519
 520 -- Add mnemonics for "s" variants.
 521 do
 522   local t = {}
 523   for k,v in pairs(map_op) do
 524     if sub(v, -1) == "s" then
 525       local v2 = sub(v, 1, 2)..char(byte(v, 3)+1)..sub(v, 4, -2)
 526       t[sub(k, 1, -3).."s"..sub(k, -2)] = v2
 527     end
 528   end
 529   for k,v in pairs(t) do
 530     map_op[k] = v
 531   end
 532 end
 533
 534 ------------------------------------------------------------------------------
 535
 536 local function parse_gpr(expr)
 537   local tname, ovreg = match(expr, "^([%w_]+):(r1?[0-9])$")
 538   local tp = map_type[tname or expr]
 539   if tp then
 540     local reg = ovreg or tp.reg
 541     if not reg then
 542       werror("type `"..(tname or expr).."' needs a register override")
 543     end
 544     expr = reg
 545   end
 546   local r = match(expr, "^r(1?[0-9])$")
 547   if r then
 548     r = tonumber(r)
 549     if r <= 15 then return r, tp end
 550   end
 551   werror("bad register name `"..expr.."'")
 552 end
 553
 554 local function parse_gpr_pm(expr)
 555   local pm, expr2 = match(expr, "^([+-]?)(.*)$")
 556   return parse_gpr(expr2), (pm == "-")
 557 end
 558
 559 local function parse_vr(expr, tp)
 560   local t, r = match(expr, "^([sd])([0-9]+)$")
 561   if t == tp then
 562     r = tonumber(r)
 563     if r <= 31 then
 564       if t == "s" then return shr(r, 1), band(r, 1) end
 565       return band(r, 15), shr(r, 4)
 566     end
 567   end
 568   werror("bad register name `"..expr.."'")
 569 end
 570
 571 local function parse_reglist(reglist)
 572   reglist = match(reglist, "^{%s*([^}]*)}$")
 573   if not reglist then werror("register list expected") end
 574   local rr = 0
 575   for p in gmatch(reglist..",", "%s*([^,]*),") do
 576     local rbit = shl(1, parse_gpr(gsub(p, "%s+$", "")))
 577     if band(rr, rbit) ~= 0 then
 578       werror("duplicate register `"..p.."'")
 579     end
 580     rr = rr + rbit
 581   end
 582   return rr
 583 end
 584
 585 local function parse_vrlist(reglist)
 586   local ta, ra, tb, rb = match(reglist,
 587                            "^{%s*([sd])([0-9]+)%s*%-%s*([sd])([0-9]+)%s*}$")
 588   ra, rb = tonumber(ra), tonumber(rb)
 589   if ta and ta == tb and ra and rb and ra <= 31 and rb <= 31 and ra <= rb then
 590     local nr = rb+1 - ra
 591     if ta == "s" then
 592       return shl(shr(ra,1),12)+shl(band(ra,1),22) + nr
 593     else
 594       return shl(band(ra,15),12)+shl(shr(ra,4),22) + nr*2 + 0x100
 595     end
 596   end
 597   werror("register list expected")
 598 end
 599
 600 local function parse_imm(imm, bits, shift, scale, signed)
 601   imm = match(imm, "^#(.*)$")
 602   if not imm then werror("expected immediate operand") end
 603   local n = tonumber(imm)
 604   if n then
 605     local m = sar(n, scale)
 606     if shl(m, scale) == n then
 607       if signed then
 608         local s = sar(m, bits-1)
 609         if s == 0 then return shl(m, shift)
 610         elseif s == -1 then return shl(m + shl(1, bits), shift) end
 611       else
 612         if sar(m, bits) == 0 then return shl(m, shift) end
 613       end
 614     end
 615     werror("out of range immediate `"..imm.."'")
 616   else
 617     waction("IMM", (signed and 32768 or 0)+scale*1024+bits*32+shift, imm)
 618     return 0
 619   end
 620 end
 621
 622 local function parse_imm12(imm)
 623   local n = tonumber(imm)
 624   if n then
 625     local m = band(n)
 626     for i=0,-15,-1 do
 627       if shr(m, 8) == 0 then return m + shl(band(i, 15), 8) end
 628       m = ror(m, 2)
 629     end
 630     werror("out of range immediate `"..imm.."'")
 631   else
 632     waction("IMM12", 0, imm)
 633     return 0
 634   end
 635 end
 636
 637 local function parse_imm16(imm)
 638   imm = match(imm, "^#(.*)$")
 639   if not imm then werror("expected immediate operand") end
 640   local n = tonumber(imm)
 641   if n then
 642     if shr(n, 16) == 0 then return band(n, 0x0fff) + shl(band(n, 0xf000), 4) end
 643     werror("out of range immediate `"..imm.."'")
 644   else
 645     waction("IMM16", 32*16, imm)
 646     return 0
 647   end
 648 end
 649
 650 local function parse_imm_load(imm, ext)
 651   local n = tonumber(imm)
 652   if n then
 653     if ext then
 654       if n >= -255 and n <= 255 then
 655         local up = 0x00800000
 656         if n < 0 then n = -n; up = 0 end
 657         return shl(band(n, 0xf0), 4) + band(n, 0x0f) + up
 658       end
 659     else
 660       if n >= -4095 and n <= 4095 then
 661         if n >= 0 then return n+0x00800000 end
 662         return -n
 663       end
 664     end
 665     werror("out of range immediate `"..imm.."'")
 666   else
 667     waction(ext and "IMML8" or "IMML12", 32768 + shl(ext and 8 or 12, 5), imm)
 668     return 0
 669   end
 670 end
 671
 672 local function parse_shift(shift, gprok)
 673   if shift == "rrx" then
 674     return 3 * 32
 675   else
 676     local s, s2 = match(shift, "^(%S+)%s*(.*)$")
 677     s = map_shift[s]
 678     if not s then werror("expected shift operand") end
 679     if sub(s2, 1, 1) == "#" then
 680       return parse_imm(s2, 5, 7, 0, false) + shl(s, 5)
 681     else
 682       if not gprok then werror("expected immediate shift operand") end
 683       return shl(parse_gpr(s2), 8) + shl(s, 5) + 16
 684     end
 685   end
 686 end
 687
 688 local function parse_label(label, def)
 689   local prefix = sub(label, 1, 2)
 690   -- =>label (pc label reference)
 691   if prefix == "=>" then
 692     return "PC", 0, sub(label, 3)
 693   end
 694   -- ->name (global label reference)
 695   if prefix == "->" then
 696     return "LG", map_global[sub(label, 3)]
 697   end
 698   if def then
 699     -- [1-9] (local label definition)
 700     if match(label, "^[1-9]$") then
 701       return "LG", 10+tonumber(label)
 702     end
 703   else
 704     -- [<>][1-9] (local label reference)
 705     local dir, lnum = match(label, "^([<>])([1-9])$")
 706     if dir then -- Fwd: 1-9, Bkwd: 11-19.
 707       return "LG", lnum + (dir == ">" and 0 or 10)
 708     end
 709     -- extern label (extern label reference)
 710     local extname = match(label, "^extern%s+(%S+)$")
 711     if extname then
 712       return "EXT", map_extern[extname]
 713     end
 714   end
 715   werror("bad label `"..label.."'")
 716 end
 717
 718 local function parse_load(params, nparams, n, op)
 719   local oplo = band(op, 255)
 720   local ext, ldrd = (oplo ~= 0), (oplo == 208)
 721   local d
 722   if (ldrd or oplo == 240) then
 723     d = band(shr(op, 12), 15)
 724     if band(d, 1) ~= 0 then werror("odd destination register") end
 725   end
 726   local pn = params[n]
 727   local p1, wb = match(pn, "^%[%s*(.-)%s*%](!?)$")
 728   local p2 = params[n+1]
 729   if not p1 then
 730     if not p2 then
 731       if match(pn, "^[<>=%-]") or match(pn, "^extern%s+") then
 732         local mode, n, s = parse_label(pn, false)
 733         waction("REL_"..mode, n + (ext and 0x1800 or 0x0800), s, 1)
 734         return op + 15 * 65536 + 0x01000000 + (ext and 0x00400000 or 0)
 735       end
 736       local reg, tailr = match(pn, "^([%w_:]+)%s*(.*)$")
 737       if reg and tailr ~= "" then
 738         local d, tp = parse_gpr(reg)
 739         if tp then
 740           waction(ext and "IMML8" or "IMML12", 32768 + 32*(ext and 8 or 12),
 741                   format(tp.ctypefmt, tailr))
 742           return op + shl(d, 16) + 0x01000000 + (ext and 0x00400000 or 0)
 743         end
 744       end
 745     end
 746     werror("expected address operand")
 747   end
 748   if wb == "!" then op = op + 0x00200000 end
 749   if p2 then
 750     if wb == "!" then werror("bad use of '!'") end
 751     local p3 = params[n+2]
 752     op = op + shl(parse_gpr(p1), 16)
 753     local imm = match(p2, "^#(.*)$")
 754     if imm then
 755       local m = parse_imm_load(imm, ext)
 756       if p3 then werror("too many parameters") end
 757       op = op + m + (ext and 0x00400000 or 0)
 758     else
 759       local m, neg = parse_gpr_pm(p2)
 760       if ldrd and (m == d or m-1 == d) then werror("register conflict") end
 761       op = op + m + (neg and 0 or 0x00800000) + (ext and 0 or 0x02000000)
 762       if p3 then op = op + parse_shift(p3) end
 763     end
 764   else
 765     local p1a, p2 = match(p1, "^([^,%s]*)%s*(.*)$")
 766     op = op + shl(parse_gpr(p1a), 16) + 0x01000000
 767     if p2 ~= "" then
 768       local imm = match(p2, "^,%s*#(.*)$")
 769       if imm then
 770         local m = parse_imm_load(imm, ext)
 771         op = op + m + (ext and 0x00400000 or 0)
 772       else
 773         local p2a, p3 = match(p2, "^,%s*([^,%s]*)%s*,?%s*(.*)$")
 774         local m, neg = parse_gpr_pm(p2a)
 775         if ldrd and (m == d or m-1 == d) then werror("register conflict") end
 776         op = op + m + (neg and 0 or 0x00800000) + (ext and 0 or 0x02000000)
 777         if p3 ~= "" then
 778           if ext then werror("too many parameters") end
 779           op = op + parse_shift(p3)
 780         end
 781       end
 782     else
 783       if wb == "!" then werror("bad use of '!'") end
 784       op = op + (ext and 0x00c00000 or 0x00800000)
 785     end
 786   end
 787   return op
 788 end
 789
 790 local function parse_vload(q)
 791   local reg, imm = match(q, "^%[%s*([^,%s]*)%s*(.*)%]$")
 792   if reg then
 793     local d = shl(parse_gpr(reg), 16)
 794     if imm == "" then return d end
 795     imm = match(imm, "^,%s*#(.*)$")
 796     if imm then
 797       local n = tonumber(imm)
 798       if n then
 799         if n >= -1020 and n <= 1020 and n%4 == 0 then
 800           return d + (n >= 0 and n/4+0x00800000 or -n/4)
 801         end
 802         werror("out of range immediate `"..imm.."'")
 803       else
 804         waction("IMMV8", 32768 + 32*8, imm)
 805         return d
 806       end
 807     end
 808   else
 809     if match(q, "^[<>=%-]") or match(q, "^extern%s+") then
 810       local mode, n, s = parse_label(q, false)
 811       waction("REL_"..mode, n + 0x2800, s, 1)
 812       return 15 * 65536
 813     end
 814     local reg, tailr = match(q, "^([%w_:]+)%s*(.*)$")
 815     if reg and tailr ~= "" then
 816       local d, tp = parse_gpr(reg)
 817       if tp then
 818         waction("IMMV8", 32768 + 32*8, format(tp.ctypefmt, tailr))
 819         return shl(d, 16)
 820       end
 821     end
 822   end
 823   werror("expected address operand")
 824 end
 825
 826 ------------------------------------------------------------------------------
 827
 828 -- Handle opcodes defined with template strings.
 829 local function parse_template(params, template, nparams, pos)
 830   local op = tonumber(sub(template, 1, 8), 16)
 831   local n = 1
 832   local vr = "s"
 833
 834   -- Process each character.
 835   for p in gmatch(sub(template, 9), ".") do
 836     local q = params[n]
 837     if p == "D" then
 838       op = op + shl(parse_gpr(q), 12); n = n + 1
 839     elseif p == "N" then
 840       op = op + shl(parse_gpr(q), 16); n = n + 1
 841     elseif p == "S" then
 842       op = op + shl(parse_gpr(q), 8); n = n + 1
 843     elseif p == "M" then
 844       op = op + parse_gpr(q); n = n + 1
 845     elseif p == "d" then
 846       local r,h = parse_vr(q, vr); op = op+shl(r,12)+shl(h,22); n = n + 1
 847     elseif p == "n" then
 848       local r,h = parse_vr(q, vr); op = op+shl(r,16)+shl(h,7); n = n + 1
 849     elseif p == "m" then
 850       local r,h = parse_vr(q, vr); op = op+r+shl(h,5); n = n + 1
 851     elseif p == "P" then
 852       local imm = match(q, "^#(.*)$")
 853       if imm then
 854         op = op + parse_imm12(imm) + 0x02000000
 855       else
 856         op = op + parse_gpr(q)
 857       end
 858       n = n + 1
 859     elseif p == "p" then
 860       op = op + parse_shift(q, true); n = n + 1
 861     elseif p == "L" then
 862       op = parse_load(params, nparams, n, op)
 863     elseif p == "l" then
 864       op = op + parse_vload(q)
 865     elseif p == "B" then
 866       local mode, n, s = parse_label(q, false)
 867       waction("REL_"..mode, n, s, 1)
 868     elseif p == "C" then -- blx gpr vs. blx label.
 869       if match(q, "^([%w_]+):(r1?[0-9])$") or match(q, "^r(1?[0-9])$") then
 870         op = op + parse_gpr(q)
 871       else
 872         if op < 0xe0000000 then werror("unconditional instruction") end
 873         local mode, n, s = parse_label(q, false)
 874         waction("REL_"..mode, n, s, 1)
 875         op = 0xfa000000
 876       end
 877     elseif p == "F" then
 878       vr = "s"
 879     elseif p == "G" then
 880       vr = "d"
 881     elseif p == "o" then
 882       local r, wb = match(q, "^([^!]*)(!?)$")
 883       op = op + shl(parse_gpr(r), 16) + (wb == "!" and 0x00200000 or 0)
 884       n = n + 1
 885     elseif p == "R" then
 886       op = op + parse_reglist(q); n = n + 1
 887     elseif p == "r" then
 888       op = op + parse_vrlist(q); n = n + 1
 889     elseif p == "W" then
 890       op = op + parse_imm16(q); n = n + 1
 891     elseif p == "v" then
 892       op = op + parse_imm(q, 5, 7, 0, false); n = n + 1
 893     elseif p == "w" then
 894       local imm = match(q, "^#(.*)$")
 895       if imm then
 896         op = op + parse_imm(q, 5, 7, 0, false); n = n + 1
 897       else
 898         op = op + shl(parse_gpr(q), 8) + 16
 899       end
 900     elseif p == "X" then
 901       op = op + parse_imm(q, 5, 16, 0, false); n = n + 1
 902     elseif p == "Y" then
 903       local imm = tonumber(match(q, "^#(.*)$")); n = n + 1
 904       if not imm or shr(imm, 8) ~= 0 then
 905         werror("bad immediate operand")
 906       end
 907       op = op + shl(band(imm, 0xf0), 12) + band(imm, 0x0f)
 908     elseif p == "K" then
 909       local imm = tonumber(match(q, "^#(.*)$")); n = n + 1
 910       if not imm or shr(imm, 16) ~= 0 then
 911         werror("bad immediate operand")
 912       end
 913       op = op + shl(band(imm, 0xfff0), 4) + band(imm, 0x000f)
 914     elseif p == "T" then
 915       op = op + parse_imm(q, 24, 0, 0, false); n = n + 1
 916     elseif p == "s" then
 917       -- Ignored.
 918     else
 919       assert(false)
 920     end
 921   end
 922   wputpos(pos, op)
 923 end
 924
 925 map_op[".template__"] = function(params, template, nparams)
 926   if not params then return template:gsub("%x%x%x%x%x%x%x%x", "") end
 927
 928   -- Limit number of section buffer positions used by a single dasm_put().
 929   -- A single opcode needs a maximum of 3 positions.
 930   if secpos+3 > maxsecpos then wflush() end
 931   local pos = wpos()
 932   local lpos, apos, spos = #actlist, #actargs, secpos
 933
 934   local ok, err
 935   for t in gmatch(template, "[^|]+") do
 936     ok, err = pcall(parse_template, params, t, nparams, pos)
 937     if ok then return end
 938     secpos = spos
 939     actlist[lpos+1] = nil
 940     actlist[lpos+2] = nil
 941     actlist[lpos+3] = nil
 942     actargs[apos+1] = nil
 943     actargs[apos+2] = nil
 944     actargs[apos+3] = nil
 945   end
 946   error(err, 0)
 947 end
 948
 949 ------------------------------------------------------------------------------
 950
 951 -- Pseudo-opcode to mark the position where the action list is to be emitted.
 952 map_op[".actionlist_1"] = function(params)
 953   if not params then return "cvar" end
 954   local name = params[1] -- No syntax check. You get to keep the pieces.
 955   wline(function(out) writeactions(out, name) end)
 956 end
 957
 958 -- Pseudo-opcode to mark the position where the global enum is to be emitted.
 959 map_op[".globals_1"] = function(params)
 960   if not params then return "prefix" end
 961   local prefix = params[1] -- No syntax check. You get to keep the pieces.
 962   wline(function(out) writeglobals(out, prefix) end)
 963 end
 964
 965 -- Pseudo-opcode to mark the position where the global names are to be emitted.
 966 map_op[".globalnames_1"] = function(params)
 967   if not params then return "cvar" end
 968   local name = params[1] -- No syntax check. You get to keep the pieces.
 969   wline(function(out) writeglobalnames(out, name) end)
 970 end
 971
 972 -- Pseudo-opcode to mark the position where the extern names are to be emitted.
 973 map_op[".externnames_1"] = function(params)
 974   if not params then return "cvar" end
 975   local name = params[1] -- No syntax check. You get to keep the pieces.
 976   wline(function(out) writeexternnames(out, name) end)
 977 end
 978
 979 ------------------------------------------------------------------------------
 980
 981 -- Label pseudo-opcode (converted from trailing colon form).
 982 map_op[".label_1"] = function(params)
 983   if not params then return "[1-9] | ->global | =>pcexpr" end
 984   if secpos+1 > maxsecpos then wflush() end
 985   local mode, n, s = parse_label(params[1], true)
 986   if mode == "EXT" then werror("bad label definition") end
 987   waction("LABEL_"..mode, n, s, 1)
 988 end
 989
 990 ------------------------------------------------------------------------------
 991
 992 -- Pseudo-opcodes for data storage.
 993 map_op[".long_*"] = function(params)
 994   if not params then return "imm..." end
 995   for _,p in ipairs(params) do
 996     local n = tonumber(p)
 997     if not n then werror("bad immediate `"..p.."'") end
 998     if n < 0 then n = n + 2^32 end
 999     wputw(n)
1000     if secpos+2 > maxsecpos then wflush() end
1001   end
1002 end
1003
1004 -- Alignment pseudo-opcode.
1005 map_op[".align_1"] = function(params)
1006   if not params then return "numpow2" end
1007   if secpos+1 > maxsecpos then wflush() end
1008   local align = tonumber(params[1])
1009   if align then
1010     local x = align
1011     -- Must be a power of 2 in the range (2 ... 256).
1012     for i=1,8 do
1013       x = x / 2
1014       if x == 1 then
1015         waction("ALIGN", align-1, nil, 1) -- Action byte is 2**n-1.
1016         return
1017       end
1018     end
1019   end
1020   werror("bad alignment")
1021 end
1022
1023 ------------------------------------------------------------------------------
1024
1025 -- Pseudo-opcode for (primitive) type definitions (map to C types).
1026 map_op[".type_3"] = function(params, nparams)
1027   if not params then
1028     return nparams == 2 and "name, ctype" or "name, ctype, reg"
1029   end
1030   local name, ctype, reg = params[1], params[2], params[3]
1031   if not match(name, "^[%a_][%w_]*$") then
1032     werror("bad type name `"..name.."'")
1033   end
1034   local tp = map_type[name]
1035   if tp then
1036     werror("duplicate type `"..name.."'")
1037   end
1038   -- Add #type to defines. A bit unclean to put it in map_archdef.
1039   map_archdef["#"..name] = "sizeof("..ctype..")"
1040   -- Add new type and emit shortcut define.
1041   local num = ctypenum + 1
1042   map_type[name] = {
1043     ctype = ctype,
1044     ctypefmt = format("Dt%X(%%s)", num),
1045     reg = reg,
1046   }
1047   wline(format("#define Dt%X(_V) (int)(ptrdiff_t)&(((%s *)0)_V)", num, ctype))
1048   ctypenum = num
1049 end
1050 map_op[".type_2"] = map_op[".type_3"]
1051
1052 -- Dump type definitions.
1053 local function dumptypes(out, lvl)
1054   local t = {}
1055   for name in pairs(map_type) do t[#t+1] = name end
1056   sort(t)
1057   out:write("Type definitions:\n")
1058   for _,name in ipairs(t) do
1059     local tp = map_type[name]
1060     local reg = tp.reg or ""
1061     out:write(format("  %-20s %-20s %s\n", name, tp.ctype, reg))
1062   end
1063   out:write("\n")
1064 end
1065
1066 ------------------------------------------------------------------------------
1067
1068 -- Set the current section.
1069 function _M.section(num)
1070   waction("SECTION", num)
1071   wflush(true) -- SECTION is a terminal action.
1072 end
1073
1074 ------------------------------------------------------------------------------
1075
1076 -- Dump architecture description.
1077 function _M.dumparch(out)
1078   out:write(format("DynASM %s version %s, released %s\n\n",
1079     _info.arch, _info.version, _info.release))
1080   dumpactions(out)
1081 end
1082
1083 -- Dump all user defined elements.
1084 function _M.dumpdef(out, lvl)
1085   dumptypes(out, lvl)
1086   dumpglobals(out, lvl)
1087   dumpexterns(out, lvl)
1088 end
1089
1090 ------------------------------------------------------------------------------
1091
1092 -- Pass callbacks from/to the DynASM core.
1093 function _M.passcb(wl, we, wf, ww)
1094   wline, werror, wfatal, wwarn = wl, we, wf, ww
1095   return wflush
1096 end
1097
1098 -- Setup the arch-specific module.
1099 function _M.setup(arch, opt)
1100   g_arch, g_opt = arch, opt
1101 end
1102
1103 -- Merge the core maps and the arch-specific maps.
1104 function _M.mergemaps(map_coreop, map_def)
1105   setmetatable(map_op, { __index = function(t, k)
1106     local v = map_coreop[k]
1107     if v then return v end
1108     local k1, cc, k2 = match(k, "^(.-)(..)([._].*)$")
1109     local cv = map_cond[cc]
1110     if cv then
1111       local v = rawget(t, k1..k2)
1112       if type(v) == "string" then
1113         local scv = format("%x", cv)
1114         return gsub(scv..sub(v, 2), "|e", "|"..scv)
1115       end
1116     end
1117   end })
1118   setmetatable(map_def, { __index = map_archdef })
1119   return map_op, map_def
1120 end
1121
1122 return _M
1123
1124 ------------------------------------------------------------------------------
1125