ton-assembly
Version:
TON assembler and disassembler
2,603 lines (2,602 loc) • 145 kB
JavaScript
"use strict";
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
if (k2 === undefined) k2 = k;
var desc = Object.getOwnPropertyDescriptor(m, k);
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
desc = { enumerable: true, get: function() { return m[k]; } };
}
Object.defineProperty(o, k2, desc);
}) : (function(o, m, k, k2) {
if (k2 === undefined) k2 = k;
o[k2] = m[k];
}));
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
Object.defineProperty(o, "default", { enumerable: true, value: v });
}) : function(o, v) {
o["default"] = v;
});
var __importStar = (this && this.__importStar) || (function () {
var ownKeys = function(o) {
ownKeys = Object.getOwnPropertyNames || function (o) {
var ar = [];
for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
return ar;
};
return ownKeys(o);
};
return function (mod) {
if (mod && mod.__esModule) return mod;
var result = {};
if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
__setModuleDefault(result, mod);
return result;
};
})();
Object.defineProperty(exports, "__esModule", { value: true });
exports.storeMapping = exports.rangeToType = void 0;
const types = __importStar(require("./types"));
const ftypes = __importStar(require("./fift-instr"));
exports.rangeToType = [
{
min: 8650496,
max: 8650752,
load: types.PUSHNAN.load,
},
{
min: 10485760,
max: 10551296,
load: types.ADD.load,
},
{
min: 10551296,
max: 10616832,
load: types.SUB.load,
},
{
min: 10616832,
max: 10682368,
load: types.SUBR.load,
},
{
min: 10682368,
max: 10747904,
load: types.NEGATE.load,
},
{
min: 10747904,
max: 10813440,
load: types.INC.load,
},
{
min: 10813440,
max: 10878976,
load: types.DEC.load,
},
{
min: 11010048,
max: 11075584,
load: types.MUL.load,
},
{
min: 11403264,
max: 11468800,
load: types.POW2.load,
},
{
min: 11534336,
max: 11599872,
load: types.AND.load,
},
{
min: 11599872,
max: 11665408,
load: types.OR.load,
},
{
min: 11665408,
max: 11730944,
load: types.XOR.load,
},
{
min: 11730944,
max: 11796480,
load: types.NOT.load,
},
{
min: 11927552,
max: 11927808,
load: types.FITSX.load,
},
{
min: 11927808,
max: 11928064,
load: types.UFITSX.load,
},
{
min: 11928064,
max: 11928320,
load: types.BITSIZE.load,
},
{
min: 11928320,
max: 11928576,
load: types.UBITSIZE.load,
},
{
min: 11929600,
max: 11929856,
load: types.MIN.load,
},
{
min: 11929856,
max: 11930112,
load: types.MAX.load,
},
{
min: 11930112,
max: 11930368,
load: types.MINMAX.load,
},
{
min: 11930368,
max: 11930624,
load: types.ABS.load,
},
{
min: 12034048,
max: 12034304,
load: types.QADD.load,
},
{
min: 12034304,
max: 12034560,
load: types.QSUB.load,
},
{
min: 12034560,
max: 12034816,
load: types.QSUBR.load,
},
{
min: 12034816,
max: 12035072,
load: types.QNEGATE.load,
},
{
min: 12035072,
max: 12035328,
load: types.QINC.load,
},
{
min: 12035328,
max: 12035584,
load: types.QDEC.load,
},
{
min: 12036096,
max: 12036352,
load: types.QMUL.load,
},
{
min: 12037632,
max: 12037888,
load: types.QPOW2.load,
},
{
min: 12038144,
max: 12038400,
load: types.QAND.load,
},
{
min: 12038400,
max: 12038656,
load: types.QOR.load,
},
{
min: 12038656,
max: 12038912,
load: types.QXOR.load,
},
{
min: 12038912,
max: 12039168,
load: types.QNOT.load,
},
{
min: 12039680,
max: 12039681,
load: types.QFITSX.load,
},
{
min: 12039681,
max: 12039682,
load: types.QUFITSX.load,
},
{
min: 12039682,
max: 12039683,
load: types.QBITSIZE.load,
},
{
min: 12039683,
max: 12039684,
load: types.QUBITSIZE.load,
},
{
min: 12039688,
max: 12039689,
load: types.QMIN.load,
},
{
min: 12039689,
max: 12039690,
load: types.QMAX.load,
},
{
min: 12039690,
max: 12039691,
load: types.QMINMAX.load,
},
{
min: 12039691,
max: 12039692,
load: types.QABS.load,
},
{
min: 12058624,
max: 12124160,
load: types.SGN.load,
},
{
min: 12124160,
max: 12189696,
load: types.LESS.load,
},
{
min: 12189696,
max: 12255232,
load: types.EQUAL.load,
},
{
min: 12255232,
max: 12320768,
load: types.LEQ.load,
},
{
min: 12320768,
max: 12386304,
load: types.GREATER.load,
},
{
min: 12386304,
max: 12451840,
load: types.NEQ.load,
},
{
min: 12451840,
max: 12517376,
load: types.GEQ.load,
},
{
min: 12517376,
max: 12582912,
load: types.CMP.load,
},
{
min: 12845056,
max: 12910592,
load: types.ISNAN.load,
},
{
min: 12910592,
max: 12976128,
load: types.CHKNAN.load,
},
{
min: 12040192,
max: 12040448,
load: types.QSGN.load,
},
{
min: 12040448,
max: 12040704,
load: types.QLESS.load,
},
{
min: 12040704,
max: 12040960,
load: types.QEQUAL.load,
},
{
min: 12040960,
max: 12041216,
load: types.QLEQ.load,
},
{
min: 12041216,
max: 12041472,
load: types.QGREATER.load,
},
{
min: 12041472,
max: 12041728,
load: types.QNEQ.load,
},
{
min: 12041728,
max: 12041984,
load: types.QGEQ.load,
},
{
min: 12041984,
max: 12042240,
load: types.QCMP.load,
},
{
min: 13041664,
max: 13041920,
load: types.SEMPTY.load,
},
{
min: 13041920,
max: 13042176,
load: types.SDEMPTY.load,
},
{
min: 13042176,
max: 13042432,
load: types.SREMPTY.load,
},
{
min: 13042432,
max: 13042688,
load: types.SDFIRST.load,
},
{
min: 13042688,
max: 13042944,
load: types.SDLEXCMP.load,
},
{
min: 13042944,
max: 13043200,
load: types.SDEQ.load,
},
{
min: 13043712,
max: 13043968,
load: types.SDPFX.load,
},
{
min: 13043968,
max: 13044224,
load: types.SDPFXREV.load,
},
{
min: 13044224,
max: 13044480,
load: types.SDPPFX.load,
},
{
min: 13044480,
max: 13044736,
load: types.SDPPFXREV.load,
},
{
min: 13044736,
max: 13044992,
load: types.SDSFX.load,
},
{
min: 13044992,
max: 13045248,
load: types.SDSFXREV.load,
},
{
min: 13045248,
max: 13045504,
load: types.SDPSFX.load,
},
{
min: 13045504,
max: 13045760,
load: types.SDPSFXREV.load,
},
{
min: 13045760,
max: 13046016,
load: types.SDCNTLEAD0.load,
},
{
min: 13046016,
max: 13046272,
load: types.SDCNTLEAD1.load,
},
{
min: 13046272,
max: 13046528,
load: types.SDCNTTRAIL0.load,
},
{
min: 13046528,
max: 13046784,
load: types.SDCNTTRAIL1.load,
},
{
min: 13107200,
max: 13172736,
load: types.NEWC.load,
},
{
min: 13172736,
max: 13238272,
load: types.ENDC.load,
},
{
min: 13434880,
max: 13500416,
load: types.ENDCST.load,
},
{
min: 13570304,
max: 13570560,
load: types.STBREF.load,
},
{
min: 13570816,
max: 13571072,
load: types.STB.load,
},
{
min: 13571072,
max: 13571328,
load: types.STREFR.load,
},
{
min: 13571328,
max: 13571584,
load: types.STBREFR.load,
},
{
min: 13571584,
max: 13571840,
load: types.STSLICER.load,
},
{
min: 13571840,
max: 13572096,
load: types.STBR.load,
},
{
min: 13572096,
max: 13572352,
load: types.STREFQ.load,
},
{
min: 13572352,
max: 13572608,
load: types.STBREFQ.load,
},
{
min: 13572608,
max: 13572864,
load: types.STSLICEQ.load,
},
{
min: 13572864,
max: 13573120,
load: types.STBQ.load,
},
{
min: 13573120,
max: 13573376,
load: types.STREFRQ.load,
},
{
min: 13573376,
max: 13573632,
load: types.STBREFRQ.load,
},
{
min: 13573632,
max: 13573888,
load: types.STSLICERQ.load,
},
{
min: 13573888,
max: 13574144,
load: types.STBRQ.load,
},
{
min: 13574912,
max: 13575168,
load: types.ENDXC.load,
},
{
min: 13578240,
max: 13578496,
load: types.BDEPTH.load,
},
{
min: 13578496,
max: 13578752,
load: types.BBITS.load,
},
{
min: 13578752,
max: 13579008,
load: types.BREFS.load,
},
{
min: 13579008,
max: 13579264,
load: types.BBITREFS.load,
},
{
min: 13579520,
max: 13579776,
load: types.BREMBITS.load,
},
{
min: 13579776,
max: 13580032,
load: types.BREMREFS.load,
},
{
min: 13580032,
max: 13580288,
load: types.BREMBITREFS.load,
},
{
min: 13580800,
max: 13581056,
load: types.BCHKREFS.load,
},
{
min: 13581056,
max: 13581312,
load: types.BCHKBITREFS.load,
},
{
min: 13581824,
max: 13582080,
load: types.BCHKREFSQ.load,
},
{
min: 13582080,
max: 13582336,
load: types.BCHKBITREFSQ.load,
},
{
min: 13582336,
max: 13582592,
load: types.STZEROES.load,
},
{
min: 13582592,
max: 13582848,
load: types.STONES.load,
},
{
min: 13582848,
max: 13583104,
load: types.STSAME.load,
},
{
min: 13631488,
max: 13697024,
load: types.CTOS.load,
},
{
min: 13697024,
max: 13762560,
load: types.ENDS.load,
},
{
min: 13893632,
max: 13959168,
load: types.LDREF.load,
},
{
min: 13959168,
max: 14024704,
load: types.LDREFRTOS.load,
},
{
min: 14098432,
max: 14098688,
load: types.SDCUTFIRST.load,
},
{
min: 14098688,
max: 14098944,
load: types.SDSKIPFIRST.load,
},
{
min: 14098944,
max: 14099200,
load: types.SDCUTLAST.load,
},
{
min: 14099200,
max: 14099456,
load: types.SDSKIPLAST.load,
},
{
min: 14099456,
max: 14099712,
load: types.SDSUBSTR.load,
},
{
min: 14102528,
max: 14102784,
load: types.SCUTFIRST.load,
},
{
min: 14102784,
max: 14103040,
load: types.SSKIPFIRST.load,
},
{
min: 14103040,
max: 14103296,
load: types.SCUTLAST.load,
},
{
min: 14103296,
max: 14103552,
load: types.SSKIPLAST.load,
},
{
min: 14103552,
max: 14103808,
load: types.SUBSLICE.load,
},
{
min: 14104064,
max: 14104320,
load: types.SPLIT.load,
},
{
min: 14104320,
max: 14104576,
load: types.SPLITQ.load,
},
{
min: 14104832,
max: 14105088,
load: types.XCTOS.load,
},
{
min: 14105088,
max: 14105344,
load: types.XLOAD.load,
},
{
min: 14105344,
max: 14105600,
load: types.XLOADQ.load,
},
{
min: 14106880,
max: 14107136,
load: types.SCHKBITS.load,
},
{
min: 14107136,
max: 14107392,
load: types.SCHKREFS.load,
},
{
min: 14107392,
max: 14107648,
load: types.SCHKBITREFS.load,
},
{
min: 14107904,
max: 14108160,
load: types.SCHKBITSQ.load,
},
{
min: 14108160,
max: 14108416,
load: types.SCHKREFSQ.load,
},
{
min: 14108416,
max: 14108672,
load: types.SCHKBITREFSQ.load,
},
{
min: 14108672,
max: 14108928,
load: types.PLDREFVAR.load,
},
{
min: 14108928,
max: 14109184,
load: types.SBITS.load,
},
{
min: 14109184,
max: 14109440,
load: types.SREFS.load,
},
{
min: 14109440,
max: 14109696,
load: types.SBITREFS.load,
},
{
min: 14114816,
max: 14115072,
load: types.LDZEROES.load,
},
{
min: 14115072,
max: 14115328,
load: types.LDONES.load,
},
{
min: 14115328,
max: 14115584,
load: types.LDSAME.load,
},
{
min: 14115840,
max: 14116096,
load: types.SDEPTH.load,
},
{
min: 14116096,
max: 14116352,
load: types.CDEPTH.load,
},
{
min: 14116352,
max: 14116608,
load: types.CLEVEL.load,
},
{
min: 14116608,
max: 14116864,
load: types.CLEVELMASK.load,
},
{
min: 14118912,
max: 14119168,
load: types.CHASHIX.load,
},
{
min: 14119168,
max: 14119424,
load: types.CDEPTHIX.load,
},
{
min: 14155776,
max: 14221312,
load: types.EXECUTE.load,
},
{
min: 14221312,
max: 14286848,
load: types.JMPX.load,
},
{
min: 14364672,
max: 14364928,
load: types.RET.load,
},
{
min: 14364928,
max: 14365184,
load: types.RETALT.load,
},
{
min: 14365184,
max: 14365440,
load: types.RETBOOL.load,
},
{
min: 14365696,
max: 14365952,
load: types.CALLCC.load,
},
{
min: 14365952,
max: 14366208,
load: types.JMPXDATA.load,
},
{
min: 14366720,
max: 14366976,
load: types.CALLXVARARGS.load,
},
{
min: 14366976,
max: 14367232,
load: types.RETVARARGS.load,
},
{
min: 14367232,
max: 14367488,
load: types.JMPXVARARGS.load,
},
{
min: 14367488,
max: 14367744,
load: types.CALLCCVARARGS.load,
},
{
min: 14368512,
max: 14368768,
load: types.RETDATA.load,
},
{
min: 14372864,
max: 14373120,
load: types.RUNVMX.load,
},
{
min: 14417920,
max: 14483456,
load: types.IFRET.load,
},
{
min: 14483456,
max: 14548992,
load: types.IFNOTRET.load,
},
{
min: 14548992,
max: 14614528,
load: types.IF.load,
},
{
min: 14614528,
max: 14680064,
load: types.IFNOT.load,
},
{
min: 14680064,
max: 14745600,
load: types.IFJMP.load,
},
{
min: 14745600,
max: 14811136,
load: types.IFNOTJMP.load,
},
{
min: 14811136,
max: 14876672,
load: types.IFELSE.load,
},
{
min: 14877696,
max: 14877952,
load: types.CONDSEL.load,
},
{
min: 14877952,
max: 14878208,
load: types.CONDSELCHK.load,
},
{
min: 14878720,
max: 14878976,
load: types.IFRETALT.load,
},
{
min: 14878976,
max: 14879232,
load: types.IFNOTRETALT.load,
},
{
min: 14942208,
max: 15007744,
load: types.REPEAT.load,
},
{
min: 15007744,
max: 15073280,
load: types.REPEATEND.load,
},
{
min: 15073280,
max: 15138816,
load: types.UNTIL.load,
},
{
min: 15138816,
max: 15204352,
load: types.UNTILEND.load,
},
{
min: 15204352,
max: 15269888,
load: types.WHILE.load,
},
{
min: 15269888,
max: 15335424,
load: types.WHILEEND.load,
},
{
min: 15335424,
max: 15400960,
load: types.AGAIN.load,
},
{
min: 15400960,
max: 15466496,
load: types.AGAINEND.load,
},
{
min: 14881792,
max: 14882048,
load: types.REPEATBRK.load,
},
{
min: 14882048,
max: 14882304,
load: types.REPEATENDBRK.load,
},
{
min: 14882304,
max: 14882560,
load: types.UNTILBRK.load,
},
{
min: 14882560,
max: 14882816,
load: types.UNTILENDBRK.load,
},
{
min: 14882816,
max: 14883072,
load: types.WHILEBRK.load,
},
{
min: 14883072,
max: 14883328,
load: types.WHILEENDBRK.load,
},
{
min: 14883328,
max: 14883584,
load: types.AGAINBRK.load,
},
{
min: 14883584,
max: 14883840,
load: types.AGAINENDBRK.load,
},
{
min: 15536128,
max: 15536384,
load: types.RETURNVARARGS.load,
},
{
min: 15536384,
max: 15536640,
load: types.SETCONTVARARGS.load,
},
{
min: 15536640,
max: 15536896,
load: types.SETNUMVARARGS.load,
},
{
min: 15539712,
max: 15539968,
load: types.BLESS.load,
},
{
min: 15539968,
max: 15540224,
load: types.BLESSVARARGS.load,
},
{
min: 15589376,
max: 15589632,
load: types.PUSHCTRX.load,
},
{
min: 15589632,
max: 15589888,
load: types.POPCTRX.load,
},
{
min: 15589888,
max: 15590144,
load: types.SETCONTCTRX.load,
},
{
min: 15590400,
max: 15590656,
load: types.SETCONTCTRMANYX.load,
},
{
min: 15593472,
max: 15593728,
load: types.BOOLAND.load,
},
{
min: 15593728,
max: 15593984,
load: types.BOOLOR.load,
},
{
min: 15593984,
max: 15594240,
load: types.COMPOSBOTH.load,
},
{
min: 15594240,
max: 15594496,
load: types.ATEXIT.load,
},
{
min: 15594496,
max: 15594752,
load: types.ATEXITALT.load,
},
{
min: 15594752,
max: 15595008,
load: types.SETEXITALT.load,
},
{
min: 15595008,
max: 15595264,
load: types.THENRET.load,
},
{
min: 15595264,
max: 15595520,
load: types.THENRETALT.load,
},
{
min: 15595520,
max: 15595776,
load: types.INVERT.load,
},
{
min: 15595776,
max: 15596032,
load: types.BOOLEVAL.load,
},
{
min: 15596032,
max: 15596288,
load: types.SAMEALT.load,
},
{
min: 15596288,
max: 15596544,
load: types.SAMEALTSAVE.load,
},
{
min: 15924992,
max: 15925248,
load: types.TRY.load,
},
{
min: 15990784,
max: 15991040,
load: types.STDICT.load,
},
{
min: 15991040,
max: 15991296,
load: types.SKIPDICT.load,
},
{
min: 15991296,
max: 15991552,
load: types.LDDICTS.load,
},
{
min: 15991552,
max: 15991808,
load: types.PLDDICTS.load,
},
{
min: 15991808,
max: 15992064,
load: types.LDDICT.load,
},
{
min: 15992064,
max: 15992320,
load: types.PLDDICT.load,
},
{
min: 15992320,
max: 15992576,
load: types.LDDICTQ.load,
},
{
min: 15992576,
max: 15992832,
load: types.PLDDICTQ.load,
},
{
min: 16019456,
max: 16019712,
load: types.PFXDICTSET.load,
},
{
min: 16019712,
max: 16019968,
load: types.PFXDICTREPLACE.load,
},
{
min: 16019968,
max: 16020224,
load: types.PFXDICTADD.load,
},
{
min: 16020224,
max: 16020480,
load: types.PFXDICTDEL.load,
},
{
min: 16033792,
max: 16034048,
load: types.PFXDICTGETQ.load,
},
{
min: 16034048,
max: 16034304,
load: types.PFXDICTGET.load,
},
{
min: 16034304,
max: 16034560,
load: types.PFXDICTGETJMP.load,
},
{
min: 16034560,
max: 16034816,
load: types.PFXDICTGETEXEC.load,
},
{
min: 0,
max: 65536,
load: types.NOP.load,
},
{
min: 65536,
max: 131072,
load: types.SWAP.load,
},
{
min: 2097152,
max: 2162688,
load: types.DUP.load,
},
{
min: 2162688,
max: 2228224,
load: types.OVER.load,
},
{
min: 3145728,
max: 3211264,
load: types.DROP.load,
},
{
min: 3211264,
max: 3276800,
load: types.NIP.load,
},
{
min: 5767168,
max: 5832704,
load: types.ROT.load,
},
{
min: 5832704,
max: 5898240,
load: types.ROTREV.load,
},
{
min: 6291456,
max: 6356992,
load: types.PICK.load,
},
{
min: 6356992,
max: 6422528,
load: types.ROLL.load,
},
{
min: 6422528,
max: 6488064,
load: types.ROLLREV.load,
},
{
min: 6488064,
max: 6553600,
load: types.BLKSWX.load,
},
{
min: 6553600,
max: 6619136,
load: types.REVX.load,
},
{
min: 6619136,
max: 6684672,
load: types.DROPX.load,
},
{
min: 6684672,
max: 6750208,
load: types.TUCK.load,
},
{
min: 6750208,
max: 6815744,
load: types.XCHGX.load,
},
{
min: 6815744,
max: 6881280,
load: types.DEPTH.load,
},
{
min: 6881280,
max: 6946816,
load: types.CHKDEPTH.load,
},
{
min: 6946816,
max: 7012352,
load: types.ONLYTOPX.load,
},
{
min: 7012352,
max: 7077888,
load: types.ONLYX.load,
},
{
min: 16252928,
max: 16253184,
load: types.ACCEPT.load,
},
{
min: 16253184,
max: 16253440,
load: types.SETGASLIMIT.load,
},
{
min: 16254720,
max: 16254976,
load: types.GASCONSUMED.load,
},
{
min: 16256768,
max: 16257024,
load: types.COMMIT.load,
},
{
min: 16261888,
max: 16262144,
load: types.NOW.load,
},
{
min: 16262144,
max: 16262400,
load: types.BLOCKLT.load,
},
{
min: 16262400,
max: 16262656,
load: types.LTIME.load,
},
{
min: 16262656,
max: 16262912,
load: types.RANDSEED.load,
},
{
min: 16262912,
max: 16263168,
load: types.BALANCE.load,
},
{
min: 16263168,
max: 16263424,
load: types.MYADDR.load,
},
{
min: 16263424,
max: 16263680,
load: types.CONFIGROOT.load,
},
{
min: 16263680,
max: 16263936,
load: types.MYCODE.load,
},
{
min: 16263936,
max: 16264192,
load: types.INCOMINGVALUE.load,
},
{
min: 16264192,
max: 16264448,
load: types.STORAGEFEES.load,
},
{
min: 16264448,
max: 16264704,
load: types.PREVBLOCKSINFOTUPLE.load,
},
{
min: 16264704,
max: 16264960,
load: types.UNPACKEDCONFIGTUPLE.load,
},
{
min: 16264960,
max: 16265216,
load: types.DUEPAYMENT.load,
},
{
min: 16265216,
max: 16265472,
load: types.CONFIGDICT.load,
},
{
min: 16265728,
max: 16265984,
load: types.CONFIGPARAM.load,
},
{
min: 16265984,
max: 16266240,
load: types.CONFIGOPTPARAM.load,
},
{
min: 16266240,
max: 16266241,
load: types.PREVMCBLOCKS.load,
},
{
min: 16266241,
max: 16266242,
load: types.PREVKEYBLOCK.load,
},
{
min: 16266242,
max: 16266243,
load: types.PREVMCBLOCKS_100.load,
},
{
min: 16266496,
max: 16266752,
load: types.GLOBALID.load,
},
{
min: 16266752,
max: 16267008,
load: types.GETGASFEE.load,
},
{
min: 16267008,
max: 16267264,
load: types.GETSTORAGEFEE.load,
},
{
min: 16267264,
max: 16267520,
load: types.GETFORWARDFEE.load,
},
{
min: 16267520,
max: 16267776,
load: types.GETPRECOMPILEDGAS.load,
},
{
min: 16267776,
max: 16268032,
load: types.GETORIGINALFWDFEE.load,
},
{
min: 16268032,
max: 16268288,
load: types.GETGASFEESIMPLE.load,
},
{
min: 16268288,
max: 16268544,
load: types.GETFORWARDFEESIMPLE.load,
},
{
min: 16269312,
max: 16269568,
load: types.GETGLOBVAR.load,
},
{
min: 16277504,
max: 16277760,
load: types.SETGLOBVAR.load,
},
{
min: 16257024,
max: 16257280,
load: types.RANDU256.load,
},
{
min: 16257280,
max: 16257536,
load: types.RAND.load,
},
{
min: 16258048,
max: 16258304,
load: types.SETRAND.load,
},
{
min: 16258304,
max: 16258560,
load: types.ADDRAND.load,
},
{
min: 16318464,
max: 16318720,
load: types.HASHCU.load,
},
{
min: 16318720,
max: 16318976,
load: types.HASHSU.load,
},
{
min: 16318976,
max: 16319232,
load: types.SHA256U.load,
},
{
min: 16322560,
max: 16322816,
load: types.CHKSIGNU.load,
},
{
min: 16322816,
max: 16323072,
load: types.CHKSIGNS.load,
},
{
min: 16323072,
max: 16323328,
load: types.ECRECOVER.load,
},
{
min: 16323328,
max: 16323584,
load: types.SECP256K1_XONLY_PUBKEY_TWEAK_ADD.load,
},
{
min: 16323584,
max: 16323840,
load: types.P256_CHKSIGNU.load,
},
{
min: 16323840,
max: 16324096,
load: types.P256_CHKSIGNS.load,
},
{
min: 16326656,
max: 16326912,
load: types.RIST255_FROMHASH.load,
},
{
min: 16326912,
max: 16327168,
load: types.RIST255_VALIDATE.load,
},
{
min: 16327168,
max: 16327424,
load: types.RIST255_ADD.load,
},
{
min: 16327424,
max: 16327680,
load: types.RIST255_SUB.load,
},
{
min: 16327680,
max: 16327936,
load: types.RIST255_MUL.load,
},
{
min: 16327936,
max: 16328192,
load: types.RIST255_MULBASE.load,
},
{
min: 16328192,
max: 16328448,
load: types.RIST255_PUSHL.load,
},
{
min: 12056865,
max: 12056866,
load: types.RIST255_QVALIDATE.load,
},
{
min: 12056866,
max: 12056867,
load: types.RIST255_QADD.load,
},
{
min: 12056867,
max: 12056868,
load: types.RIST255_QSUB.load,
},
{
min: 12056868,
max: 12056869,
load: types.RIST255_QMUL.load,
},
{
min: 12056869,
max: 12056870,
load: types.RIST255_QMULBASE.load,
},
{
min: 16330752,
max: 16330753,
load: types.BLS_VERIFY.load,
},
{
min: 16330753,
max: 16330754,
load: types.BLS_AGGREGATE.load,
},
{
min: 16330754,
max: 16330755,
load: types.BLS_FASTAGGREGATEVERIFY.load,
},
{
min: 16330755,
max: 16330756,
load: types.BLS_AGGREGATEVERIFY.load,
},
{
min: 16330768,
max: 16330769,
load: types.BLS_G1_ADD.load,
},
{
min: 16330769,
max: 16330770,
load: types.BLS_G1_SUB.load,
},
{
min: 16330770,
max: 16330771,
load: types.BLS_G1_NEG.load,
},
{
min: 16330771,
max: 16330772,
load: types.BLS_G1_MUL.load,
},
{
min: 16330772,
max: 16330773,
load: types.BLS_G1_MULTIEXP.load,
},
{
min: 16330773,
max: 16330774,
load: types.BLS_G1_ZERO.load,
},
{
min: 16330774,
max: 16330775,
load: types.BLS_MAP_TO_G1.load,
},
{
min: 16330775,
max: 16330776,
load: types.BLS_G1_INGROUP.load,
},
{
min: 16330776,
max: 16330777,
load: types.BLS_G1_ISZERO.load,
},
{
min: 16330784,
max: 16330785,
load: types.BLS_G2_ADD.load,
},
{
min: 16330785,
max: 16330786,
load: types.BLS_G2_SUB.load,
},
{
min: 16330786,
max: 16330787,
load: types.BLS_G2_NEG.load,
},
{
min: 16330787,
max: 16330788,
load: types.BLS_G2_MUL.load,
},
{
min: 16330788,
max: 16330789,
load: types.BLS_G2_MULTIEXP.load,
},
{
min: 16330789,
max: 16330790,
load: types.BLS_G2_ZERO.load,
},
{
min: 16330790,
max: 16330791,
load: types.BLS_MAP_TO_G2.load,
},
{
min: 16330791,
max: 16330792,
load: types.BLS_G2_INGROUP.load,
},
{
min: 16330792,
max: 16330793,
load: types.BLS_G2_ISZERO.load,
},
{
min: 16330800,
max: 16330801,
load: types.BLS_PAIRING.load,
},
{
min: 16330801,
max: 16330802,
load: types.BLS_PUSHR.load,
},
{
min: 16334848,
max: 16335104,
load: types.CDATASIZEQ.load,
},
{
min: 16335104,
max: 16335360,
load: types.CDATASIZE.load,
},
{
min: 16335360,
max: 16335616,
load: types.SDATASIZEQ.load,
},
{
min: 16335616,
max: 16335872,
load: types.SDATASIZE.load,
},
{
min: 16384000,
max: 16384256,
load: types.LDGRAMS.load,
},
{
min: 16384256,
max: 16384512,
load: types.LDVARINT16.load,
},
{
min: 16384512,
max: 16384768,
load: types.STGRAMS.load,
},
{
min: 16384768,
max: 16385024,
load: types.STVARINT16.load,
},
{
min: 16385024,
max: 16385280,
load: types.LDVARUINT32.load,
},
{
min: 16385280,
max: 16385536,
load: types.LDVARINT32.load,
},
{
min: 16385536,
max: 16385792,
load: types.STVARUINT32.load,
},
{
min: 16385792,
max: 16386048,
load: types.STVARINT32.load,
},
{
min: 16400384,
max: 16400640,
load: types.LDMSGADDR.load,
},
{
min: 16400640,
max: 16400896,
load: types.LDMSGADDRQ.load,
},
{
min: 16400896,
max: 16401152,
load: types.PARSEMSGADDR.load,
},
{
min: 16401152,
max: 16401408,
load: types.PARSEMSGADDRQ.load,
},
{
min: 16401408,
max: 16401664,
load: types.REWRITESTDADDR.load,
},
{
min: 16401664,
max: 16401920,
load: types.REWRITESTDADDRQ.load,
},
{
min: 16401920,
max: 16402176,
load: types.REWRITEVARADDR.load,
},
{
min: 16402176,
max: 16402432,
load: types.REWRITEVARADDRQ.load,
},
{
min: 16449536,
max: 16449792,
load: types.SENDRAWMSG.load,
},
{
min: 16450048,
max: 16450304,
load: types.RAWRESERVE.load,
},
{
min: 16450304,
max: 16450560,
load: types.RAWRESERVEX.load,
},
{
min: 16450560,
max: 16450816,
load: types.SETCODE.load,
},
{
min: 16451072,
max: 16451328,
load: types.SETLIBCODE.load,
},
{
min: 16451328,
max: 16451584,
load: types.CHANGELIB.load,
},
{
min: 16451584,
max: 16451840,
load: types.SENDMSG.load,
},
{
min: 7143424,
max: 7208960,
load: types.PUSHNULL.load,
},
{
min: 7208960,
max: 7274496,
load: types.ISNULL.load,
},
{
min: 7307264,
max: 7307520,
load: types.TUPLEVAR.load,
},
{
min: 7307520,
max: 7307776,
load: types.INDEXVAR.load,
},
{
min: 7307776,
max: 7308032,
load: types.UNTUPLEVAR.load,
},
{
min: 7308032,
max: 7308288,
load: types.UNPACKFIRSTVAR.load,
},
{
min: 7308288,
max: 7308544,
load: types.EXPLODEVAR.load,
},
{
min: 7308544,
max: 7308800,
load: types.SETINDEXVAR.load,
},
{
min: 7308800,
max: 7309056,
load: types.INDEXVARQ.load,
},
{
min: 7309056,
max: 7309312,
load: types.SETINDEXVARQ.load,
},
{
min: 7309312,
max: 7309568,
load: types.TLEN.load,
},
{
min: 7309568,
max: 7309824,
load: types.QTLEN.load,
},
{
min: 7309824,
max: 7310080,
load: types.ISTUPLE.load,
},
{
min: 7310080,
max: 7310336,
load: types.LAST.load,
},
{
min: 7310336,
max: 7310592,
load: types.TPUSH.load,
},
{
min: 7310592,
max: 7310848,
load: types.TPOP.load,
},
{
min: 7315456,
max: 7315712,
load: types.NULLSWAPIF.load,
},
{
min: 7315712,
max: 7315968,
load: types.NULLSWAPIFNOT.load,
},
{
min: 7315968,
max: 7316224,
load: types.NULLROTRIF.load,
},
{
min: 7316224,
max: 7316480,
load: types.NULLROTRIFNOT.load,
},
{
min: 7316480,
max: 7316736,
load: types.NULLSWAPIF2.load,
},
{
min: 7316736,
max: 7316992,
load: types.NULLSWAPIFNOT2.load,
},
{
min: 7316992,
max: 7317248,
load: types.NULLROTRIF2.load,
},
{
min: 7317248,
max: 7317504,
load: types.NULLROTRIFNOT2.load,
},
{
min: 11075584,
max: 11075840,
load: types.ADDDIVMOD.load,
},
{
min: 11075840,
max: 11076096,
load: types.ADDDIVMODR.load,
},
{
min: 11076096,
max: 11076352,
load: types.ADDDIVMODC.load,
},
{
min: 11076608,
max: 11076864,
load: types.DIV.load,
},
{
min: 11076864,
max: 11077120,
load: types.DIVR.load,
},
{
min: 11077120,
max: 11077376,
load: types.DIVC.load,
},
{
min: 11077632,
max: 11077888,
load: types.MOD.load,
},
{
min: 11077888,
max: 11078144,
load: types.MODR.load,
},
{
min: 11078144,
max: 11078400,
load: types.MODC.load,
},
{
min: 11078656,
max: 11078912,
load: types.DIVMOD.load,
},
{
min: 11078912,
max: 11079168,
load: types.DIVMODR.load,
},
{
min: 11079168,
max: 11079424,
load: types.DIVMODC.load,
},
{
min: 12036352,
max: 12036353,
load: types.QADDDIVMOD.load,
},
{
min: 12036353,
max: 12036354,
load: types.QADDDIVMODR.load,
},
{
min: 12036354,
max: 12036355,
load: types.QADDDIVMODC.load,
},
{
min: 12036356,
max: 12036357,
load: types.QDIV.load,
},
{
min: 12036357,
max: 12036358,
load: types.QDIVR.load,
},
{
min: 12036358,
max: 12036359,
load: types.QDIVC.load,
},
{
min: 12036360,
max: 12036361,
load: types.QMOD.load,
},
{
min: 12036361,
max: 12036362,
load: types.QMODR.load,
},
{
min: 12036362,
max: 12036363,
load: types.QMODC.load,
},
{
min: 12036364,
max: 12036365,
load: types.QDIVMOD.load,
},
{
min: 12036365,
max: 12036366,
load: types.QDIVMODR.load,
},
{
min: 12036366,
max: 12036367,
load: types.QDIVMODC.load,
},
{
min: 11083776,
max: 11084032,
load: types.ADDRSHIFTMOD.load,
},
{
min: 11084032,
max: 11084288,
load: types.ADDRSHIFTMODR.load,
},
{
min: 11084288,
max: 11084544,
load: types.ADDRSHIFTMODC.load,
},
{
min: 11085056,
max: 11085312,
load: types.RSHIFTR.load,
},
{
min: 11085312,
max: 11085568,
load: types.RSHIFTC.load,
},
{
min: 11085824,
max: 11086080,
load: types.MODPOW2.load,
},
{
min: 11086080,
max: 11086336,
load: types.MODPOW2R.load,
},
{
min: 11086336,
max: 11086592,
load: types.MODPOW2C.load,
},
{
min: 11086848,
max: 11087104,
load: types.RSHIFTMOD.load,
},
{
min: 11087104,
max: 11087360,
load: types.RSHIFTMODR.load,
},
{
min: 11087360,
max: 11087616,
load: types.RSHIFTMODC.load,
},
{
min: 12036384,
max: 12036385,
load: types.QADDRSHIFTMOD.load,
},
{
min: 12036385,
max: 12036386,
load: types.QADDRSHIFTMODR.load,
},
{
min: 12036386,
max: 12036387,
load: types.QADDRSHIFTMODC.load,
},
{
min: 12036389,
max: 12036390,
load: types.QRSHIFTR.load,
},
{
min: 12036390,
max: 12036391,
load: types.QRSHIFTC.load,
},
{
min: 12036392,
max: 12036393,
load: types.QMODPOW2.load,
},
{
min: 12036393,
max: 12036394,
load: types.QMODPOW2R.load,
},
{
min: 12036394,
max: 12036395,
load: types.QMODPOW2C.load,
},
{
min: 12036396,
max: 12036397,
load: types.QRSHIFTMOD.load,
},
{
min: 12036397,
max: 12036398,
load: types.QRSHIFTMODR.load,
},
{
min: 12036398,
max: 12036399,
load: types.QRSHIFTMODC.load,
},
{
min: 11108352,
max: 11108608,
load: types.MULADDDIVMOD.load,
},
{
min: 11108608,
max: 11108864,
load: types.MULADDDIVMODR.load,
},
{
min: 11108864,
max: 11109120,
load: types.MULADDDIVMODC.load,
},
{
min: 11109376,
max: 11109632,
load: types.MULDIV.load,
},
{
min: 11109632,
max: 11109888,
load: types.MULDIVR.load,
},
{
min: 11109888,
max: 11110144,
load: types.MULDIVC.load,
},
{
min: 11110400,
max: 11110656,
load: types.MULMOD.load,
},
{
min: 11110656,
max: 11110912,
load: types.MULMODR.load,
},
{
min: 11110912,
max: 11111168,
load: types.MULMODC.load,
},
{
min: 11111424,
max: 11111680,
load: types.MULDIVMOD.load,
},
{
min: 11111680,
max: 11111936,
load: types.MULDIVMODR.load,
},
{
min: 11111936,
max: 11112192,
load: types.MULDIVMODC.load,
},
{
min: 12036480,
max: 12036481,
load: types.QMULADDDIVMOD.load,
},
{
min: 12036481,
max: 12036482,
load: types.QMULADDDIVMODR.load,
},
{
min: 12036482,
max: 12036483,
load: types.QMULADDDIVMODC.load,
},
{
min: 12036484,
max: 12036485,
load: types.QMULDIV.load,
},
{
min: 12036485,
max: 12036486,
load: types.QMULDIVR.load,
},
{
min: 12036486,
max: 12036487,
load: types.QMULDIVC.load,
},
{
min: 12036488,
max: 12036489,
load: types.QMULMOD.load,
},
{
min: 12036489,
max: 12036490,
load: types.QMULMODR.load,
},
{
min: 12036490,
max: 12036491,
load: types.QMULMODC.load,
},
{
min: 12036492,
max: 12036493,
load: types.QMULDIVMOD.load,
},
{
min: 12036493,
max: 12036494,
load: types.QMULDIVMODR.load,
},
{
min: 12036494,
max: 12036495,
load: types.QMULDIVMODC.load,
},
{
min: 11116544,
max: 11116800,
load: types.MULADDRSHIFTMOD.load,
},
{
min: 11116800,
max: 11117056,
load: types.MULADDRSHIFTRMOD.load,
},
{
min: 11117056,
max: 11117312,
load: types.MULADDRSHIFTCMOD.load,
},
{
min: 11117568,
max: 11117824,
load: types.MULRSHIFT.load,
},
{
min: 11117824,
max: 11118080,
load: types.MULRSHIFTR.load,
},
{
min: 11118080,
max: 11118336,
load: types.MULRSHIFTC.load,
},
{
min: 11118592,
max: 11118848,
load: types.MULMODPOW2.load,
},
{
min: 11118848,
max: 11119104,
load: types.MULMODPOW2R.load,
},
{
min: 11119104,
max: 11119360,
load: types.MULMODPOW2C.load,
},
{
min: 11119616,
max: 11119872,
load: types.MULRSHIFTMOD.load,
},
{
min: 11119872,
max: 11120128,
load: types.MULRSHIFTRMOD.load,
},
{
min: 11120128,
max: 11120384,
load: types.MULRSHIFTCMOD.load,
},
{
min: 12036512,
max: 12036513,
load: types.QMULADDRSHIFTMOD.load,
},
{
min: 12036513,
max: 12036514,
load: types.QMULADDRSHIFTRMOD.load,
},
{
min: 12036514,
max: 12036515,
load: types.QMULADDRSHIFTCMOD.load,
},
{
min: 12036516,
max: 12036517,
load: types.QMULRSHIFT.load,
},
{
min: 12036517,
max: 12036518,
load: types.QMULRSHIFTR.load,
},
{
min: 12036518,
max: 12036519,
load: types.QMULRSHIFTC.load,
},
{
min: 12036520,
max: 12036521,
load: types.QMULMODPOW2.load,
},
{
min: 12036521,
max: 12036522,
load: types.QMULMODPOW2R.load,
},
{
min: 12036522,
max: 12036523,
load: types.QMULMODPOW2C.load,
},
{
min: 12036524,
max: 12036525,
load: types.QMULRSHIFTMOD.load,
},
{
min: 12036525,
max: 12036526,
load: types.QMULRSHIFTRMOD.load,
},
{
min: 12036526,
max: 12036527,
load: types.QMULRSHIFTCMOD.load,
},
{
min: 11124736,
max: 11124992,
load: types.LSHIFTADDDIVMOD.load,
},
{
min: 11124992,
max: 11125248,
load: types.LSHIFTADDDIVMODR.load,
},
{
min: 11125248,
max: 11125504,
load: types.LSHIFTADDDIVMODC.load,
},
{
min: 11125760,
max: 11126016,
load: types.LSHIFTDIV.load,
},
{
min: 11126016,
max: 11126272,
load: types.LSHIFTDIVR.load,
},
{
min: 11126272,
max: 11126528,
load: types.LSHIFTDIVC.load,
},
{
min: 11126784,
max: 11127040,
load: types.LSHIFTMOD.load,
},
{
min: 11127040,
max: 11127296,
load: types.LSHIFTMODR.load,
},
{
min: 11127296,
max: 11127552,
load: types.LSHIFTMODC.load,
},
{
min: 11127808,
max: 11128064,
load: types.LSHIFTDIVMOD.load,
},
{
min: 11128064,
max: 11128320,
load: types.LSHIFTDIVMODR.load,
},
{
min: 11128320,
max: 11128576,
load: types.LSHIFTDIVMODC.load,
},
{
min: 12036544,
max: 12036545,
load: types.QLSHIFTADDDIVMOD.load,
},
{
min: 12036545,
max: 12036546,
load: types.QLSHIFTADDDIVMODR.load,
},
{
min: 12036546,
max: 12036547,
load: types.QLSHIFTADDDIVMODC.load,
},
{
min: 12036548,
max: 12036549,
load: types.QLSHIFTDIV.load,
},
{
min: 12036549,
max: 12036550,
load: types.QLSHIFTDIVR.load,
},
{
min: 12036550,
max: 12036551,
load: types.QLSHIFTDIVC.load,
},
{
min: 12036552,
max: 12036553,
load: types.QLSHIFTMOD.load,
},
{
min: 12036553,
max: 12036554,
load: types.QLSHIFTMODR.load,
},
{
min: 12036554,
max: 12036555,
load: types.QLSHIFTMODC.load,
},
{
min: 12036556,
max: 12036557,
load: types.QLSHIFTDIVMOD.load,
},
{
min: 12036557,
max: 12036558,
load: types.QLSHIFTDIVMODR.load,
},
{
min: 12036558,
max: 12036559,
load: types.QLSHIFTDIVMODC.load,
},
{
min: 13565952,
max: 13566208,
load: types.STIX.load,
},
{
min: 13566208,
max: 13566464,
load: types.STUX.load,
},
{
min: 13566464,
max: 13566720,
load: types.STIXR.load,
},
{
min: 13566720,
max: 13566976,
load: types.STUXR.load,
},
{
min: 13566976,
max: 13567232,
load: types.STIXQ.load,
},
{
min: 13567232,
max: 13567488,
load: types.STUXQ.load,
},
{
min: 13567488,
max: 13567744,
load: types.STIXRQ.load,
},
{
min: 13567744,
max: 13568000,
load: types.STUXRQ.load,
},
{
min: 13576192,
max: 13576448,
load: types.STILE4.load,
},
{
min: 13576448,
max: 13576704,
load: types.STULE4.load,
},
{
min: 13576704,
max: 13576960,
load: types.STILE8.load,
},
{
min: 13576960,
max: 13577216,
load: types.STULE8.load,
},
{
min: 14090240,
max: 14090496,
load: types.LDIX.load,
},
{
min: 14090496,
max: 14090752,
load: types.LDUX.load,
},
{
min: 14090752,
max: 14091008,
load: types.PLDIX.load,
},
{
min: 14091008,
max: 14091264,
load: types.PLDUX.load,
},
{
min: 14091264,
max: 14091520,