17842e56b97ce677b83bdab09cda48bc2d89ac75aJust"""ttLib.tables.ttProgram.py -- Assembler/disassembler for TrueType bytecode programs."""
27842e56b97ce677b83bdab09cda48bc2d89ac75aJust
31ae29591efbb29492ce05378909ccf4028d7c1eeBehdad Esfahbodfrom __future__ import print_function, division, absolute_import
430e691edd056ba22fa8970280e986747817bec3dBehdad Esfahbodfrom fontTools.misc.py23 import *
530e691edd056ba22fa8970280e986747817bec3dBehdad Esfahbodfrom fontTools.misc.textTools import num2binary, binary2num, readHex
67842e56b97ce677b83bdab09cda48bc2d89ac75aJustimport array
714fb031125b773f0a15eb19be4f02ed8540b2db6Behdad Esfahbodimport re
87842e56b97ce677b83bdab09cda48bc2d89ac75aJust
97842e56b97ce677b83bdab09cda48bc2d89ac75aJust# first, the list of instructions that eat bytes or words from the instruction stream
107842e56b97ce677b83bdab09cda48bc2d89ac75aJust
117842e56b97ce677b83bdab09cda48bc2d89ac75aJuststreamInstructions = [
127842e56b97ce677b83bdab09cda48bc2d89ac75aJust#	------  -----------  -----  ------------------------ ---  ------  ----------------------------------  --------------
1351e75db43e60555d2c92c015756ebaf74a3a1ebdJust#	opcode     mnemonic argBits         descriptive name pops pushes        eats from instruction stream          pushes
147842e56b97ce677b83bdab09cda48bc2d89ac75aJust#	------  -----------  -----  ------------------------ ---  ------  ----------------------------------  --------------
157842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x40,    'NPUSHB',     0,             'PushNBytes',  0, -1), #                      n, b1, b2,...bn      b1,b2...bn
167842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x41,    'NPUSHW',     0,             'PushNWords',  0, -1), #                       n, w1, w2,...w      w1,w2...wn
177842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0xb0,     'PUSHB',     3,              'PushBytes',  0, -1), #                          b0, b1,..bn  b0, b1, ...,bn
187842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0xb8,     'PUSHW',     3,              'PushWords',  0, -1), #                           w0,w1,..wn   w0 ,w1, ...wn
197842e56b97ce677b83bdab09cda48bc2d89ac75aJust#	------  -----------  -----  ------------------------ ---  ------  ----------------------------------  --------------
207842e56b97ce677b83bdab09cda48bc2d89ac75aJust]
217842e56b97ce677b83bdab09cda48bc2d89ac75aJust
227842e56b97ce677b83bdab09cda48bc2d89ac75aJust
237842e56b97ce677b83bdab09cda48bc2d89ac75aJust# next, the list of "normal" instructions
247842e56b97ce677b83bdab09cda48bc2d89ac75aJust
257842e56b97ce677b83bdab09cda48bc2d89ac75aJustinstructions = [
267842e56b97ce677b83bdab09cda48bc2d89ac75aJust#	------  -----------  -----  ------------------------ ---  ------  ----------------------------------  --------------
2751e75db43e60555d2c92c015756ebaf74a3a1ebdJust#	opcode     mnemonic  argBits        descriptive name pops pushes                                pops          pushes
287842e56b97ce677b83bdab09cda48bc2d89ac75aJust#	------  -----------  -----  ------------------------ ---  ------  ----------------------------------  --------------
297842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x7f,        'AA',     0,            'AdjustAngle',  1,  0), #                                    p               -
307842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x64,       'ABS',     0,               'Absolute',  1,  1), #                                    n             |n|
317842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x60,       'ADD',     0,                    'Add',  2,  1), #                               n2, n1       (n1 + n2)
327842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x27,  'ALIGNPTS',     0,               'AlignPts',  2,  0), #                               p2, p1               -
337842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x3c,   'ALIGNRP',     0,        'AlignRelativePt', -1,  0), #             p1, p2, ... , ploopvalue               -
347842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x5a,       'AND',     0,             'LogicalAnd',  2,  1), #                               e2, e1               b
357842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x2b,      'CALL',     0,           'CallFunction',  1,  0), #                                    f               -
367842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x67,   'CEILING',     0,                'Ceiling',  1,  1), #                                    n         ceil(n)
377842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x25,    'CINDEX',     0,        'CopyXToTopStack',  1,  1), #                                    k              ek
387842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x22,     'CLEAR',     0,             'ClearStack', -1,  0), #               all items on the stack               -
397842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x4f,     'DEBUG',     0,              'DebugCall',  1,  0), #                                    n               -
407842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x73,   'DELTAC1',     0,       'DeltaExceptionC1', -1,  0), #    argn, cn, argn-1,cn-1, , arg1, c1               -
417842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x74,   'DELTAC2',     0,       'DeltaExceptionC2', -1,  0), #    argn, cn, argn-1,cn-1, , arg1, c1               -
427842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x75,   'DELTAC3',     0,       'DeltaExceptionC3', -1,  0), #    argn, cn, argn-1,cn-1, , arg1, c1               -
437842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x5d,   'DELTAP1',     0,       'DeltaExceptionP1', -1,  0), #   argn, pn, argn-1, pn-1, , arg1, p1               -
447842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x71,   'DELTAP2',     0,       'DeltaExceptionP2', -1,  0), #   argn, pn, argn-1, pn-1, , arg1, p1               -
457842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x72,   'DELTAP3',     0,       'DeltaExceptionP3', -1,  0), #   argn, pn, argn-1, pn-1, , arg1, p1               -
467842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x24,     'DEPTH',     0,          'GetDepthStack',  0,  1), #                                    -               n
477842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x62,       'DIV',     0,                 'Divide',  2,  1), #                               n2, n1   (n1 * 64)/ n2
487842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x20,       'DUP',     0,      'DuplicateTopStack',  1,  2), #                                    e            e, e
497842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x59,       'EIF',     0,                  'EndIf',  0,  0), #                                    -               -
507842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x1b,      'ELSE',     0,                   'Else',  0,  0), #                                    -               -
517842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x2d,      'ENDF',     0,  'EndFunctionDefinition',  0,  0), #                                    -               -
527842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x54,        'EQ',     0,                  'Equal',  2,  1), #                               e2, e1               b
537842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x57,      'EVEN',     0,                   'Even',  1,  1), #                                    e               b
547842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x2c,      'FDEF',     0,     'FunctionDefinition',  1,  0), #                                    f               -
557842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x4e,   'FLIPOFF',     0,         'SetAutoFlipOff',  0,  0), #                                    -               -
567842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x4d,    'FLIPON',     0,          'SetAutoFlipOn',  0,  0), #                                    -               -
577842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x80,    'FLIPPT',     0,              'FlipPoint', -1,  0), #              p1, p2, ..., ploopvalue               -
587842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x82, 'FLIPRGOFF',     0,           'FlipRangeOff',  2,  0), #                                 h, l               -
597842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x81,  'FLIPRGON',     0,            'FlipRangeOn',  2,  0), #                                 h, l               -
607842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x66,     'FLOOR',     0,                  'Floor',  1,  1), #                                    n        floor(n)
617842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x46,        'GC',     1,      'GetCoordOnPVector',  1,  1), #                                    p               c
627842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x88,   'GETINFO',     0,                'GetInfo',  1,  1), #                             selector          result
637842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x0d,       'GFV',     0,             'GetFVector',  0,  2), #                                    -          px, py
647842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x0c,       'GPV',     0,             'GetPVector',  0,  2), #                                    -          px, py
657842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x52,        'GT',     0,            'GreaterThan',  2,  1), #                               e2, e1               b
667842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x53,      'GTEQ',     0,     'GreaterThanOrEqual',  2,  1), #                               e2, e1               b
677842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x89,      'IDEF',     0,  'InstructionDefinition',  1,  0), #                                    f               -
687842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x58,        'IF',     0,                     'If',  1,  0), #                                    e               -
697842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x8e,  'INSTCTRL',     0,    'SetInstrExecControl',  2,  0), #                                 s, v               -
707842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x39,        'IP',     0,         'InterpolatePts', -1,  0), #             p1, p2, ... , ploopvalue               -
717842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x0f,     'ISECT',     0,      'MovePtToIntersect',  5,  0), #                    a1, a0, b1, b0, p               -
727842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x30,       'IUP',     1,      'InterpolateUntPts',  0,  0), #                                    -               -
737842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x1c,      'JMPR',     0,                   'Jump',  1,  0), #                               offset               -
747842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x79,      'JROF',     0,    'JumpRelativeOnFalse',  2,  0), #                            e, offset               -
757842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x78,      'JROT',     0,     'JumpRelativeOnTrue',  2,  0), #                            e, offset               -
767842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x2a,  'LOOPCALL',     0,    'LoopAndCallFunction',  2,  0), #                             f, count               -
777842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x50,        'LT',     0,               'LessThan',  2,  1), #                               e2, e1               b
787842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x51,      'LTEQ',     0,        'LessThenOrEqual',  2,  1), #                               e2, e1               b
797842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x8b,       'MAX',     0,                'Maximum',  2,  1), #                               e2, e1     max(e1, e2)
807842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x49,        'MD',     1,        'MeasureDistance',  2,  1), #                                p2,p1               d
817842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x2e,      'MDAP',     1,        'MoveDirectAbsPt',  1,  0), #                                    p               -
827842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0xc0,      'MDRP',     5,        'MoveDirectRelPt',  1,  0), #                                    p               -
837842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x3e,      'MIAP',     1,      'MoveIndirectAbsPt',  2,  0), #                                 n, p               -
847842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x8c,       'MIN',     0,                'Minimum',  2,  1), #                               e2, e1     min(e1, e2)
85ae43d92ea9e8f9dee1e886bd0116ff7706bbf7c0jvr	(0x26,    'MINDEX',     0,        'MoveXToTopStack',  1,  1), #                                    k              ek
86ae43d92ea9e8f9dee1e886bd0116ff7706bbf7c0jvr	(0xe0,      'MIRP',     5,      'MoveIndirectRelPt',  2,  0), #                                 n, p               -
877842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x4b,     'MPPEM',     0,      'MeasurePixelPerEm',  0,  1), #                                    -            ppem
887842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x4c,       'MPS',     0,       'MeasurePointSize',  0,  1), #                                    -       pointSize
897842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x3a,     'MSIRP',     1,    'MoveStackIndirRelPt',  2,  0), #                                 d, p               -
907842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x63,       'MUL',     0,               'Multiply',  2,  1), #                               n2, n1    (n1 * n2)/64
917842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x65,       'NEG',     0,                 'Negate',  1,  1), #                                    n              -n
927842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x55,       'NEQ',     0,               'NotEqual',  2,  1), #                               e2, e1               b
937842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x5c,       'NOT',     0,             'LogicalNot',  1,  1), #                                    e       ( not e )
947842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x6c,    'NROUND',     2,                'NoRound',  1,  1), #                                   n1              n2
957842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x56,       'ODD',     0,                    'Odd',  1,  1), #                                    e               b
967842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x5b,        'OR',     0,              'LogicalOr',  2,  1), #                               e2, e1               b
977842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x21,       'POP',     0,            'PopTopStack',  1,  0), #                                    e               -
987842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x45,      'RCVT',     0,                'ReadCVT',  1,  1), #                             location           value
997842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x7d,      'RDTG',     0,        'RoundDownToGrid',  0,  0), #                                    -               -
1007842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x7a,      'ROFF',     0,               'RoundOff',  0,  0), #                                    -               -
1017842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x8a,      'ROLL',     0,      'RollTopThreeStack',  3,  3), #                                a,b,c           b,a,c
1027842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x68,     'ROUND',     2,                  'Round',  1,  1), #                                   n1              n2
1037842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x43,        'RS',     0,              'ReadStore',  1,  1), #                                    n               v
1047842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x3d,      'RTDG',     0,      'RoundToDoubleGrid',  0,  0), #                                    -               -
1057842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x18,       'RTG',     0,            'RoundToGrid',  0,  0), #                                    -               -
1067842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x19,      'RTHG',     0,        'RoundToHalfGrid',  0,  0), #                                    -               -
1077842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x7c,      'RUTG',     0,          'RoundUpToGrid',  0,  0), #                                    -               -
1087842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x77,  'S45ROUND',     0,    'SuperRound45Degrees',  1,  0), #                                    n               -
1097842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x7e,     'SANGW',     0,         'SetAngleWeight',  1,  0), #                               weight               -
1107842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x85,  'SCANCTRL',     0,  'ScanConversionControl',  1,  0), #                                    n               -
1117842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x8d,  'SCANTYPE',     0,               'ScanType',  1,  0), #                                    n               -
1127842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x48,      'SCFS',     0,    'SetCoordFromStackFP',  2,  0), #                                 c, p               -
1137842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x1d,    'SCVTCI',     0,            'SetCVTCutIn',  1,  0), #                                    n               -
1147842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x5e,       'SDB',     0,   'SetDeltaBaseInGState',  1,  0), #                                    n               -
1157842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x86,    'SDPVTL',     1,   'SetDualPVectorToLine',  2,  0), #                               p2, p1               -
1167842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x5f,       'SDS',     0,  'SetDeltaShiftInGState',  1,  0), #                                    n               -
1177842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x0b,     'SFVFS',     0,    'SetFVectorFromStack',  2,  0), #                                 y, x               -
1187842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x04,    'SFVTCA',     1,       'SetFVectorToAxis',  0,  0), #                                    -               -
1197842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x08,     'SFVTL',     1,       'SetFVectorToLine',  2,  0), #                               p2, p1               -
1207842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x0e,    'SFVTPV',     0,    'SetFVectorToPVector',  0,  0), #                                    -               -
1217842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x34,       'SHC',     1,   'ShiftContourByLastPt',  1,  0), #                                    c               -
1227842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x32,       'SHP',     1,  'ShiftPointByLastPoint', -1,  0), #              p1, p2, ..., ploopvalue               -
1237842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x38,     'SHPIX',     0,       'ShiftZoneByPixel', -1,  0), #           d, p1, p2, ..., ploopvalue               -
1247842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x36,       'SHZ',     1,   'ShiftZoneByLastPoint',  1,  0), #                                    e               -
1257842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x17,     'SLOOP',     0,        'SetLoopVariable',  1,  0), #                                    n               -
1267842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x1a,       'SMD',     0,     'SetMinimumDistance',  1,  0), #                             distance               -
1277842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x0a,     'SPVFS',     0,    'SetPVectorFromStack',  2,  0), #                                 y, x               -
1287842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x02,    'SPVTCA',     1,       'SetPVectorToAxis',  0,  0), #                                    -               -
1297842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x06,     'SPVTL',     1,       'SetPVectorToLine',  2,  0), #                               p2, p1               -
1307842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x76,    'SROUND',     0,             'SuperRound',  1,  0), #                                    n               -
1317842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x10,      'SRP0',     0,           'SetRefPoint0',  1,  0), #                                    p               -
1327842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x11,      'SRP1',     0,           'SetRefPoint1',  1,  0), #                                    p               -
1337842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x12,      'SRP2',     0,           'SetRefPoint2',  1,  0), #                                    p               -
1347842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x1f,       'SSW',     0,         'SetSingleWidth',  1,  0), #                                    n               -
1357842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x1e,     'SSWCI',     0,    'SetSingleWidthCutIn',  1,  0), #                                    n               -
1367842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x61,       'SUB',     0,               'Subtract',  2,  1), #                               n2, n1       (n1 - n2)
1377842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x00,     'SVTCA',     1,      'SetFPVectorToAxis',  0,  0), #                                    -               -
1387842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x23,      'SWAP',     0,           'SwapTopStack',  2,  2), #                               e2, e1          e1, e2
1397842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x13,      'SZP0',     0,        'SetZonePointer0',  1,  0), #                                    n               -
1407842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x14,      'SZP1',     0,        'SetZonePointer1',  1,  0), #                                    n               -
1417842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x15,      'SZP2',     0,        'SetZonePointer2',  1,  0), #                                    n               -
1427842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x16,      'SZPS',     0,        'SetZonePointerS',  1,  0), #                                    n               -
1437842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x29,       'UTP',     0,              'UnTouchPt',  1,  0), #                                    p               -
1447842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x70,     'WCVTF',     0,       'WriteCVTInFUnits',  2,  0), #                                 n, l               -
1457842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x44,     'WCVTP',     0,       'WriteCVTInPixels',  2,  0), #                                 v, l               -
1467842e56b97ce677b83bdab09cda48bc2d89ac75aJust	(0x42,        'WS',     0,             'WriteStore',  2,  0), #                                 v, l               -
1477842e56b97ce677b83bdab09cda48bc2d89ac75aJust#	------  -----------  -----  ------------------------ ---  ------  ----------------------------------  --------------
1487842e56b97ce677b83bdab09cda48bc2d89ac75aJust]
1497842e56b97ce677b83bdab09cda48bc2d89ac75aJust
1507842e56b97ce677b83bdab09cda48bc2d89ac75aJust
1517842e56b97ce677b83bdab09cda48bc2d89ac75aJustdef bitRepr(value, bits):
1527842e56b97ce677b83bdab09cda48bc2d89ac75aJust	s = ""
1537842e56b97ce677b83bdab09cda48bc2d89ac75aJust	for i in range(bits):
1547842e56b97ce677b83bdab09cda48bc2d89ac75aJust		s = "01"[value & 0x1] + s
1557842e56b97ce677b83bdab09cda48bc2d89ac75aJust		value = value >> 1
1567842e56b97ce677b83bdab09cda48bc2d89ac75aJust	return s
1577842e56b97ce677b83bdab09cda48bc2d89ac75aJust
15851e75db43e60555d2c92c015756ebaf74a3a1ebdJust
15951e75db43e60555d2c92c015756ebaf74a3a1ebdJust_mnemonicPat = re.compile("[A-Z][A-Z0-9]*$")
16051e75db43e60555d2c92c015756ebaf74a3a1ebdJust
16151e75db43e60555d2c92c015756ebaf74a3a1ebdJustdef _makeDict(instructionList):
1627842e56b97ce677b83bdab09cda48bc2d89ac75aJust	opcodeDict = {}
16351e75db43e60555d2c92c015756ebaf74a3a1ebdJust	mnemonicDict = {}
16451e75db43e60555d2c92c015756ebaf74a3a1ebdJust	for op, mnemonic, argBits, name, pops, pushes in instructionList:
16551e75db43e60555d2c92c015756ebaf74a3a1ebdJust		assert _mnemonicPat.match(mnemonic)
1664fab60ca5b023855fc35e14b5d1aa99e4cc03317Behdad Esfahbod		mnemonicDict[mnemonic] = op, argBits
16751e75db43e60555d2c92c015756ebaf74a3a1ebdJust		if argBits:
1687842e56b97ce677b83bdab09cda48bc2d89ac75aJust			argoffset = op
16951e75db43e60555d2c92c015756ebaf74a3a1ebdJust			for i in range(1 << argBits):
1704fab60ca5b023855fc35e14b5d1aa99e4cc03317Behdad Esfahbod				opcodeDict[op+i] = mnemonic, argBits, argoffset
1717842e56b97ce677b83bdab09cda48bc2d89ac75aJust		else:
1724fab60ca5b023855fc35e14b5d1aa99e4cc03317Behdad Esfahbod				opcodeDict[op] = mnemonic, 0, 0
17351e75db43e60555d2c92c015756ebaf74a3a1ebdJust	return opcodeDict, mnemonicDict
1747842e56b97ce677b83bdab09cda48bc2d89ac75aJust
17551e75db43e60555d2c92c015756ebaf74a3a1ebdJuststreamOpcodeDict, streamMnemonicDict = _makeDict(streamInstructions)
17651e75db43e60555d2c92c015756ebaf74a3a1ebdJustopcodeDict, mnemonicDict = _makeDict(instructions)
1777842e56b97ce677b83bdab09cda48bc2d89ac75aJust
17886368e7ac0565f965a71cfa50b0bcfcb38046609pabsclass tt_instructions_error(Exception):
17986368e7ac0565f965a71cfa50b0bcfcb38046609pabs	def __init__(self, error):
18086368e7ac0565f965a71cfa50b0bcfcb38046609pabs		self.error = error
18186368e7ac0565f965a71cfa50b0bcfcb38046609pabs	def __str__(self):
18286368e7ac0565f965a71cfa50b0bcfcb38046609pabs		return "TT instructions error: %s" % repr(self.error)
1837842e56b97ce677b83bdab09cda48bc2d89ac75aJust
1847842e56b97ce677b83bdab09cda48bc2d89ac75aJust
18551e75db43e60555d2c92c015756ebaf74a3a1ebdJust_comment = r"/\*.*?\*/"
18651e75db43e60555d2c92c015756ebaf74a3a1ebdJust_instruction = r"([A-Z][A-Z0-9]*)\s*\[(.*?)\]"
18751e75db43e60555d2c92c015756ebaf74a3a1ebdJust_number = r"-?[0-9]+"
18851e75db43e60555d2c92c015756ebaf74a3a1ebdJust_token = "(%s)|(%s)|(%s)" % (_instruction, _number, _comment)
18951e75db43e60555d2c92c015756ebaf74a3a1ebdJust
19051e75db43e60555d2c92c015756ebaf74a3a1ebdJust_tokenRE = re.compile(_token)
19151e75db43e60555d2c92c015756ebaf74a3a1ebdJust_whiteRE = re.compile(r"\s*")
19251e75db43e60555d2c92c015756ebaf74a3a1ebdJust
193b263e4d118e1d109763dd000df8559ad68654788Just_pushCountPat = re.compile(r"[A-Z][A-Z0-9]*\s*\[.*?\]\s*/\* ([0-9]*).*?\*/")
194b263e4d118e1d109763dd000df8559ad68654788Just
195b263e4d118e1d109763dd000df8559ad68654788Just
196153ec402094adbea673e914385b87f1d99191d0bBehdad Esfahboddef _skipWhite(data, pos):
19751e75db43e60555d2c92c015756ebaf74a3a1ebdJust	m = _whiteRE.match(data, pos)
19851e75db43e60555d2c92c015756ebaf74a3a1ebdJust	newPos = m.regs[0][1]
19951e75db43e60555d2c92c015756ebaf74a3a1ebdJust	assert newPos >= pos
20051e75db43e60555d2c92c015756ebaf74a3a1ebdJust	return newPos
20151e75db43e60555d2c92c015756ebaf74a3a1ebdJust
20251e75db43e60555d2c92c015756ebaf74a3a1ebdJust
203e388db566b9ba42669c7e353db4293cf27bc2a5bBehdad Esfahbodclass Program(object):
2047842e56b97ce677b83bdab09cda48bc2d89ac75aJust
2057842e56b97ce677b83bdab09cda48bc2d89ac75aJust	def __init__(self):
2067842e56b97ce677b83bdab09cda48bc2d89ac75aJust		pass
2077842e56b97ce677b83bdab09cda48bc2d89ac75aJust
2087842e56b97ce677b83bdab09cda48bc2d89ac75aJust	def fromBytecode(self, bytecode):
20951e75db43e60555d2c92c015756ebaf74a3a1ebdJust		self.bytecode = array.array("B", bytecode)
21051e75db43e60555d2c92c015756ebaf74a3a1ebdJust		if hasattr(self, "assembly"):
21151e75db43e60555d2c92c015756ebaf74a3a1ebdJust			del self.assembly
2127842e56b97ce677b83bdab09cda48bc2d89ac75aJust
2137842e56b97ce677b83bdab09cda48bc2d89ac75aJust	def fromAssembly(self, assembly):
2147842e56b97ce677b83bdab09cda48bc2d89ac75aJust		self.assembly = assembly
21551e75db43e60555d2c92c015756ebaf74a3a1ebdJust		if hasattr(self, "bytecode"):
21651e75db43e60555d2c92c015756ebaf74a3a1ebdJust			del self.bytecode
2177842e56b97ce677b83bdab09cda48bc2d89ac75aJust
2187842e56b97ce677b83bdab09cda48bc2d89ac75aJust	def getBytecode(self):
2197842e56b97ce677b83bdab09cda48bc2d89ac75aJust		if not hasattr(self, "bytecode"):
2207842e56b97ce677b83bdab09cda48bc2d89ac75aJust			self._assemble()
2217842e56b97ce677b83bdab09cda48bc2d89ac75aJust		return self.bytecode.tostring()
2227842e56b97ce677b83bdab09cda48bc2d89ac75aJust
2237842e56b97ce677b83bdab09cda48bc2d89ac75aJust	def getAssembly(self):
2247842e56b97ce677b83bdab09cda48bc2d89ac75aJust		if not hasattr(self, "assembly"):
2257842e56b97ce677b83bdab09cda48bc2d89ac75aJust			self._disassemble()
2267842e56b97ce677b83bdab09cda48bc2d89ac75aJust		return self.assembly
2277842e56b97ce677b83bdab09cda48bc2d89ac75aJust
22851e75db43e60555d2c92c015756ebaf74a3a1ebdJust	def toXML(self, writer, ttFont):
2296d658cf0ea4f0d0e26c0138ff0845fd37b558b89Behdad Esfahbod		if not hasattr (ttFont, "disassembleInstructions") or ttFont.disassembleInstructions:
23051e75db43e60555d2c92c015756ebaf74a3a1ebdJust			assembly = self.getAssembly()
23151e75db43e60555d2c92c015756ebaf74a3a1ebdJust			writer.begintag("assembly")
23251e75db43e60555d2c92c015756ebaf74a3a1ebdJust			writer.newline()
23351e75db43e60555d2c92c015756ebaf74a3a1ebdJust			i = 0
23451e75db43e60555d2c92c015756ebaf74a3a1ebdJust			nInstr = len(assembly)
23551e75db43e60555d2c92c015756ebaf74a3a1ebdJust			while i < nInstr:
23651e75db43e60555d2c92c015756ebaf74a3a1ebdJust				instr = assembly[i]
23751e75db43e60555d2c92c015756ebaf74a3a1ebdJust				writer.write(instr)
23851e75db43e60555d2c92c015756ebaf74a3a1ebdJust				writer.newline()
23951e75db43e60555d2c92c015756ebaf74a3a1ebdJust				m = _pushCountPat.match(instr)
24051e75db43e60555d2c92c015756ebaf74a3a1ebdJust				i = i + 1
24151e75db43e60555d2c92c015756ebaf74a3a1ebdJust				if m:
24251e75db43e60555d2c92c015756ebaf74a3a1ebdJust					nValues = int(m.group(1))
24351e75db43e60555d2c92c015756ebaf74a3a1ebdJust					line = []
24451e75db43e60555d2c92c015756ebaf74a3a1ebdJust					j = 0
24551e75db43e60555d2c92c015756ebaf74a3a1ebdJust					for j in range(nValues):
24651e75db43e60555d2c92c015756ebaf74a3a1ebdJust						if j and not (j % 25):
24714fb031125b773f0a15eb19be4f02ed8540b2db6Behdad Esfahbod							writer.write(' '.join(line))
24851e75db43e60555d2c92c015756ebaf74a3a1ebdJust							writer.newline()
24951e75db43e60555d2c92c015756ebaf74a3a1ebdJust							line = []
25051e75db43e60555d2c92c015756ebaf74a3a1ebdJust						line.append(assembly[i+j])
25114fb031125b773f0a15eb19be4f02ed8540b2db6Behdad Esfahbod					writer.write(' '.join(line))
25251e75db43e60555d2c92c015756ebaf74a3a1ebdJust					writer.newline()
25351e75db43e60555d2c92c015756ebaf74a3a1ebdJust					i = i + j + 1
25451e75db43e60555d2c92c015756ebaf74a3a1ebdJust			writer.endtag("assembly")
25551e75db43e60555d2c92c015756ebaf74a3a1ebdJust		else:
25651e75db43e60555d2c92c015756ebaf74a3a1ebdJust			writer.begintag("bytecode")
25751e75db43e60555d2c92c015756ebaf74a3a1ebdJust			writer.newline()
25851e75db43e60555d2c92c015756ebaf74a3a1ebdJust			writer.dumphex(self.getBytecode())
25951e75db43e60555d2c92c015756ebaf74a3a1ebdJust			writer.endtag("bytecode")
26051e75db43e60555d2c92c015756ebaf74a3a1ebdJust
2613a9fd301808f5a8991ca9ac44028d1ecb22d307fBehdad Esfahbod	def fromXML(self, name, attrs, content, ttFont):
26251e75db43e60555d2c92c015756ebaf74a3a1ebdJust		if name == "assembly":
26318316aa769566eeb6f3f4a6ed2685fa8f8e861c2Behdad Esfahbod			self.fromAssembly(strjoin(content))
26451e75db43e60555d2c92c015756ebaf74a3a1ebdJust			self._assemble()
26551e75db43e60555d2c92c015756ebaf74a3a1ebdJust			del self.assembly
26651e75db43e60555d2c92c015756ebaf74a3a1ebdJust		else:
26751e75db43e60555d2c92c015756ebaf74a3a1ebdJust			assert name == "bytecode"
26851e75db43e60555d2c92c015756ebaf74a3a1ebdJust			self.fromBytecode(readHex(content))
26951e75db43e60555d2c92c015756ebaf74a3a1ebdJust
270153ec402094adbea673e914385b87f1d99191d0bBehdad Esfahbod	def _assemble(self):
27151e75db43e60555d2c92c015756ebaf74a3a1ebdJust		assembly = self.assembly
272ac1b4359467ca3deab03186a15eae1d55eb35567Behdad Esfahbod		if isinstance(assembly, type([])):
27314fb031125b773f0a15eb19be4f02ed8540b2db6Behdad Esfahbod			assembly = ' '.join(assembly)
27451e75db43e60555d2c92c015756ebaf74a3a1ebdJust		bytecode = []
27551e75db43e60555d2c92c015756ebaf74a3a1ebdJust		push = bytecode.append
27651e75db43e60555d2c92c015756ebaf74a3a1ebdJust		lenAssembly = len(assembly)
277153ec402094adbea673e914385b87f1d99191d0bBehdad Esfahbod		pos = _skipWhite(assembly, 0)
27851e75db43e60555d2c92c015756ebaf74a3a1ebdJust		while pos < lenAssembly:
27951e75db43e60555d2c92c015756ebaf74a3a1ebdJust			m = _tokenRE.match(assembly, pos)
28051e75db43e60555d2c92c015756ebaf74a3a1ebdJust			if m is None:
281cd5aad92f23737ff93a110d5c73d624658a28da8Behdad Esfahbod				raise tt_instructions_error("Syntax error in TT program (%s)" % assembly[pos-5:pos+15])
28251e75db43e60555d2c92c015756ebaf74a3a1ebdJust			dummy, mnemonic, arg, number, comment = m.groups()
28351e75db43e60555d2c92c015756ebaf74a3a1ebdJust			pos = m.regs[0][1]
28451e75db43e60555d2c92c015756ebaf74a3a1ebdJust			if comment:
28551e75db43e60555d2c92c015756ebaf74a3a1ebdJust				continue
28651e75db43e60555d2c92c015756ebaf74a3a1ebdJust
28714fb031125b773f0a15eb19be4f02ed8540b2db6Behdad Esfahbod			arg = arg.strip()
28867fef70631891279de499473c4e528f1b8f92663Behdad Esfahbod			if mnemonic.startswith("INSTR"):
28967fef70631891279de499473c4e528f1b8f92663Behdad Esfahbod				# Unknown instruction
29067fef70631891279de499473c4e528f1b8f92663Behdad Esfahbod				op = int(mnemonic[5:])
29167fef70631891279de499473c4e528f1b8f92663Behdad Esfahbod				push(op)
2923714c78c92c511e0e54a78bccfd8cc57c9880906Behdad Esfahbod			elif mnemonic not in ("PUSH", "NPUSHB", "NPUSHW", "PUSHB", "PUSHW"):
2934fab60ca5b023855fc35e14b5d1aa99e4cc03317Behdad Esfahbod				op, argBits = mnemonicDict[mnemonic]
294180ace6a5ff1399ec53bc696e8bef7cce6eef39aBehdad Esfahbod				if len(arg) != argBits:
295cd5aad92f23737ff93a110d5c73d624658a28da8Behdad Esfahbod					raise tt_instructions_error("Incorrect number of argument bits (%s[%s])" % (mnemonic, arg))
29651e75db43e60555d2c92c015756ebaf74a3a1ebdJust				if arg:
29751e75db43e60555d2c92c015756ebaf74a3a1ebdJust					arg = binary2num(arg)
29851e75db43e60555d2c92c015756ebaf74a3a1ebdJust					push(op + arg)
29951e75db43e60555d2c92c015756ebaf74a3a1ebdJust				else:
30051e75db43e60555d2c92c015756ebaf74a3a1ebdJust					push(op)
30151e75db43e60555d2c92c015756ebaf74a3a1ebdJust			else:
30251e75db43e60555d2c92c015756ebaf74a3a1ebdJust				args = []
303153ec402094adbea673e914385b87f1d99191d0bBehdad Esfahbod				pos = _skipWhite(assembly, pos)
30451e75db43e60555d2c92c015756ebaf74a3a1ebdJust				while pos < lenAssembly:
30551e75db43e60555d2c92c015756ebaf74a3a1ebdJust					m = _tokenRE.match(assembly, pos)
30651e75db43e60555d2c92c015756ebaf74a3a1ebdJust					if m is None:
307cd5aad92f23737ff93a110d5c73d624658a28da8Behdad Esfahbod						raise tt_instructions_error("Syntax error in TT program (%s)" % assembly[pos:pos+15])
3083714c78c92c511e0e54a78bccfd8cc57c9880906Behdad Esfahbod					dummy, _mnemonic, arg, number, comment = m.groups()
30951e75db43e60555d2c92c015756ebaf74a3a1ebdJust					if number is None and comment is None:
31051e75db43e60555d2c92c015756ebaf74a3a1ebdJust						break
31151e75db43e60555d2c92c015756ebaf74a3a1ebdJust					pos = m.regs[0][1]
312153ec402094adbea673e914385b87f1d99191d0bBehdad Esfahbod					pos = _skipWhite(assembly, pos)
31351e75db43e60555d2c92c015756ebaf74a3a1ebdJust					if comment is not None:
31451e75db43e60555d2c92c015756ebaf74a3a1ebdJust						continue
31551e75db43e60555d2c92c015756ebaf74a3a1ebdJust					args.append(int(number))
31651e75db43e60555d2c92c015756ebaf74a3a1ebdJust				nArgs = len(args)
3173714c78c92c511e0e54a78bccfd8cc57c9880906Behdad Esfahbod				if mnemonic == "PUSH":
318fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod					# Automatically choose the most compact representation
319fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod					nWords = 0
320fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod					while nArgs:
321fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						while nWords < nArgs and nWords < 255 and not (0 <= args[nWords] <= 255):
322fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod							nWords += 1
323fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						nBytes = 0
324fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						while nWords+nBytes < nArgs and nBytes < 255 and 0 <= args[nWords+nBytes] <= 255:
325fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod							nBytes += 1
32642d305a8245c46e2c3962f5d1757a63b8a552b5cBehdad Esfahbod						if nBytes < 2 and nWords + nBytes < 255 and nWords + nBytes != nArgs:
327fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod							# Will write bytes as words
328fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod							nWords += nBytes
329fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod							continue
3303714c78c92c511e0e54a78bccfd8cc57c9880906Behdad Esfahbod
331fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						# Write words
332fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						if nWords:
333fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod							if nWords <= 8:
334fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								op, argBits = streamMnemonicDict["PUSHW"]
335fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								op = op + nWords - 1
336fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								push(op)
337fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod							else:
338fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								op, argBits = streamMnemonicDict["NPUSHW"]
339fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								push(op)
340fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								push(nWords)
341fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod							for value in args[:nWords]:
342fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								assert -32768 <= value < 32768, "PUSH value out of range %d" % value
343fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								push((value >> 8) & 0xff)
344fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								push(value & 0xff)
3453714c78c92c511e0e54a78bccfd8cc57c9880906Behdad Esfahbod
346fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						# Write bytes
347fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						if nBytes:
348fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod							pass
349fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod							if nBytes <= 8:
350fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								op, argBits = streamMnemonicDict["PUSHB"]
351fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								op = op + nBytes - 1
352fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								push(op)
353fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod							else:
354fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								op, argBits = streamMnemonicDict["NPUSHB"]
355fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								push(op)
356fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								push(nBytes)
357fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod							for value in args[nWords:nWords+nBytes]:
358fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod								push(value)
359fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod
360fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						nTotal = nWords + nBytes
361fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						args = args[nTotal:]
362fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						nArgs -= nTotal
363fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						nWords = 0
364fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod				else:
365fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod					# Write exactly what we've been asked to
366fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod					words = mnemonic[-1] == "W"
367fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod					op, argBits = streamMnemonicDict[mnemonic]
368fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod					if mnemonic[0] != "N":
369fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						assert nArgs <= 8, nArgs
370fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						op = op + nArgs - 1
371fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						push(op)
372fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod					else:
373fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						assert nArgs < 256
374fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						push(op)
375fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						push(nArgs)
3763714c78c92c511e0e54a78bccfd8cc57c9880906Behdad Esfahbod					if words:
377fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod						for value in args:
3783714c78c92c511e0e54a78bccfd8cc57c9880906Behdad Esfahbod							assert -32768 <= value < 32768, "PUSHW value out of range %d" % value
3793714c78c92c511e0e54a78bccfd8cc57c9880906Behdad Esfahbod							push((value >> 8) & 0xff)
3803714c78c92c511e0e54a78bccfd8cc57c9880906Behdad Esfahbod							push(value & 0xff)
3813714c78c92c511e0e54a78bccfd8cc57c9880906Behdad Esfahbod					else:
3823714c78c92c511e0e54a78bccfd8cc57c9880906Behdad Esfahbod						for value in args:
3833714c78c92c511e0e54a78bccfd8cc57c9880906Behdad Esfahbod							assert 0 <= value < 256, "PUSHB value out of range %d" % value
3843714c78c92c511e0e54a78bccfd8cc57c9880906Behdad Esfahbod							push(value)
385fcc56e637afd7d593baa5fe0a54a0b0a667b8fbfBehdad Esfahbod
386153ec402094adbea673e914385b87f1d99191d0bBehdad Esfahbod			pos = _skipWhite(assembly, pos)
38751e75db43e60555d2c92c015756ebaf74a3a1ebdJust
38851e75db43e60555d2c92c015756ebaf74a3a1ebdJust		if bytecode:
38951e75db43e60555d2c92c015756ebaf74a3a1ebdJust			assert max(bytecode) < 256 and min(bytecode) >= 0
39051e75db43e60555d2c92c015756ebaf74a3a1ebdJust		self.bytecode = array.array("B", bytecode)
3917842e56b97ce677b83bdab09cda48bc2d89ac75aJust
392a36c74e8b894801d36aecfb4402801b5542c2347Behdad Esfahbod	def _disassemble(self, preserve=False):
3937842e56b97ce677b83bdab09cda48bc2d89ac75aJust		assembly = []
3947842e56b97ce677b83bdab09cda48bc2d89ac75aJust		i = 0
3957842e56b97ce677b83bdab09cda48bc2d89ac75aJust		bytecode = self.bytecode
3967842e56b97ce677b83bdab09cda48bc2d89ac75aJust		numBytecode = len(bytecode)
3977842e56b97ce677b83bdab09cda48bc2d89ac75aJust		while i < numBytecode:
3987842e56b97ce677b83bdab09cda48bc2d89ac75aJust			op = bytecode[i]
3997842e56b97ce677b83bdab09cda48bc2d89ac75aJust			try:
4004fab60ca5b023855fc35e14b5d1aa99e4cc03317Behdad Esfahbod				mnemonic, argBits, argoffset = opcodeDict[op]
4017842e56b97ce677b83bdab09cda48bc2d89ac75aJust			except KeyError:
4024ff77121313e2af3b43ef8285495a2d4669dff2aBehdad Esfahbod				if op in streamOpcodeDict:
403965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod					values = []
404965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod
405965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod					# Merge consecutive PUSH operations
406965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod					while bytecode[i] in streamOpcodeDict:
407965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod						op = bytecode[i]
408965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod						mnemonic, argBits, argoffset = streamOpcodeDict[op]
409965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod						words = mnemonic[-1] == "W"
410965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod						if argBits:
411965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod							nValues = op - argoffset + 1
412965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod						else:
413965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod							i = i + 1
414965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod							nValues = bytecode[i]
4154ff77121313e2af3b43ef8285495a2d4669dff2aBehdad Esfahbod						i = i + 1
416965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod						assert nValues > 0
417965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod						if not words:
418965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod							for j in range(nValues):
419965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod								value = bytecode[i]
420965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod								values.append(repr(value))
421965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod								i = i + 1
422965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod						else:
423965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod							for j in range(nValues):
424965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod								# cast to signed int16
425965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod								value = (bytecode[i] << 8) | bytecode[i+1]
426965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod								if value >= 0x8000:
427965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod									value = value - 0x10000
428965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod								values.append(repr(value))
429965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod								i = i + 2
430a36c74e8b894801d36aecfb4402801b5542c2347Behdad Esfahbod						if preserve:
431a36c74e8b894801d36aecfb4402801b5542c2347Behdad Esfahbod							break
432965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod
433a36c74e8b894801d36aecfb4402801b5542c2347Behdad Esfahbod					if not preserve:
434a36c74e8b894801d36aecfb4402801b5542c2347Behdad Esfahbod						mnemonic = "PUSH"
435965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod					nValues = len(values)
4364ff77121313e2af3b43ef8285495a2d4669dff2aBehdad Esfahbod					if nValues == 1:
437a36c74e8b894801d36aecfb4402801b5542c2347Behdad Esfahbod						assembly.append("%s[ ]" % mnemonic)
438ce84d3215e08ab82dc78f25b5219730b8532046dBehdad Esfahbod					else:
439a36c74e8b894801d36aecfb4402801b5542c2347Behdad Esfahbod						assembly.append("%s[ ]  /* %s values pushed */" % (mnemonic, nValues))
440965c87fb4a7a89fced0a267fa02952094b523955Behdad Esfahbod					assembly.extend(values)
44151e75db43e60555d2c92c015756ebaf74a3a1ebdJust				else:
44267fef70631891279de499473c4e528f1b8f92663Behdad Esfahbod					assembly.append("INSTR%d[ ]" % op)
44367fef70631891279de499473c4e528f1b8f92663Behdad Esfahbod					i = i + 1
4447842e56b97ce677b83bdab09cda48bc2d89ac75aJust			else:
44551e75db43e60555d2c92c015756ebaf74a3a1ebdJust				if argBits:
44651e75db43e60555d2c92c015756ebaf74a3a1ebdJust					assembly.append(mnemonic + "[%s]" % num2binary(op - argoffset, argBits))
4477842e56b97ce677b83bdab09cda48bc2d89ac75aJust				else:
4487842e56b97ce677b83bdab09cda48bc2d89ac75aJust					assembly.append(mnemonic + "[ ]")
4497842e56b97ce677b83bdab09cda48bc2d89ac75aJust				i = i + 1
4507842e56b97ce677b83bdab09cda48bc2d89ac75aJust		self.assembly = assembly
4517842e56b97ce677b83bdab09cda48bc2d89ac75aJust
4527842e56b97ce677b83bdab09cda48bc2d89ac75aJust
45351e75db43e60555d2c92c015756ebaf74a3a1ebdJustif __name__ == "__main__":
45451e75db43e60555d2c92c015756ebaf74a3a1ebdJust	bc = """@;:9876543210/.-,+*)(\'&%$#"! \037\036\035\034\033\032\031\030\027\026\025\024\023\022\021\020\017\016\015\014\013\012\011\010\007\006\005\004\003\002\001\000,\001\260\030CXEj\260\031C`\260F#D#\020 \260FN\360M/\260\000\022\033!#\0213Y-,\001\260\030CX\260\005+\260\000\023K\260\024PX\261\000@8Y\260\006+\033!#\0213Y-,\001\260\030CXN\260\003%\020\362!\260\000\022M\033 E\260\004%\260\004%#Jad\260(RX!#\020\326\033\260\003%\020\362!\260\000\022YY-,\260\032CX!!\033\260\002%\260\002%I\260\003%\260\003%Ja d\260\020PX!!!\033\260\003%\260\003%I\260\000PX\260\000PX\270\377\3428!\033\260\0208!Y\033\260\000RX\260\0368!\033\270\377\3608!YYYY-,\001\260\030CX\260\005+\260\000\023K\260\024PX\271\000\000\377\3008Y\260\006+\033!#\0213Y-,N\001\212\020\261F\031CD\260\000\024\261\000F\342\260\000\025\271\000\000\377\3608\000\260\000<\260(+\260\002%\020\260\000<-,\001\030\260\000/\260\001\024\362\260\001\023\260\001\025M\260\000\022-,\001\260\030CX\260\005+\260\000\023\271\000\000\377\3408\260\006+\033!#\0213Y-,\001\260\030CXEdj#Edi\260\031Cd``\260F#D#\020 \260F\360/\260\000\022\033!! \212 \212RX\0213\033!!YY-,\001\261\013\012C#Ce\012-,\000\261\012\013C#C\013-,\000\260F#p\261\001F>\001\260F#p\261\002FE:\261\002\000\010\015-,\260\022+\260\002%E\260\002%Ej\260@\213`\260\002%#D!!!-,\260\023+\260\002%E\260\002%Ej\270\377\300\214`\260\002%#D!!!-,\260\000\260\022+!!!-,\260\000\260\023+!!!-,\001\260\006C\260\007Ce\012-, i\260@a\260\000\213 \261,\300\212\214\270\020\000b`+\014d#da\\X\260\003aY-,\261\000\003%EhT\260\034KPZX\260\003%E\260\003%E`h \260\004%#D\260\004%#D\033\260\003% Eh \212#D\260\003%Eh`\260\003%#DY-,\260\003% Eh \212#D\260\003%Edhe`\260\004%\260\001`#D-,\260\011CX\207!\300\033\260\022CX\207E\260\021+\260G#D\260Gz\344\033\003\212E\030i \260G#D\212\212\207 \260\240QX\260\021+\260G#D\260Gz\344\033!\260Gz\344YYY\030-, \212E#Eh`D-,EjB-,\001\030/-,\001\260\030CX\260\004%\260\004%Id#Edi\260@\213a \260\200bj\260\002%\260\002%a\214\260\031C`\260F#D!\212\020\260F\366!\033!!!!Y-,\001\260\030CX\260\002%E\260\002%Ed`j\260\003%Eja \260\004%Ej \212\213e\260\004%#D\214\260\003%#D!!\033 EjD EjDY-,\001 E\260\000U\260\030CZXEh#Ei\260@\213a \260\200bj \212#a \260\003%\213e\260\004%#D\214\260\003%#D!!\033!!\260\031+Y-,\001\212\212Ed#EdadB-,\260\004%\260\004%\260\031+\260\030CX\260\004%\260\004%\260\003%\260\033+\001\260\002%C\260@T\260\002%C\260\000TZX\260\003% E\260@aDY\260\002%C\260\000T\260\002%C\260@TZX\260\004% E\260@`DYY!!!!-,\001KRXC\260\002%E#aD\033!!Y-,\001KRXC\260\002%E#`D\033!!Y-,KRXED\033!!Y-,\001 \260\003%#I\260@`\260 c \260\000RX#\260\002%8#\260\002%e8\000\212c8\033!!!!!Y\001-,KPXED\033!!Y-,\001\260\005%\020# \212\365\000\260\001`#\355\354-,\001\260\005%\020# \212\365\000\260\001a#\355\354-,\001\260\006%\020\365\000\355\354-,F#F`\212\212F# F\212`\212a\270\377\200b# \020#\212\261KK\212pE` \260\000PX\260\001a\270\377\272\213\033\260F\214Y\260\020`h\001:-, E\260\003%FRX\260\002%F ha\260\003%\260\003%?#!8\033!\021Y-, E\260\003%FPX\260\002%F ha\260\003%\260\003%?#!8\033!\021Y-,\000\260\007C\260\006C\013-,\212\020\354-,\260\014CX!\033 F\260\000RX\270\377\3608\033\260\0208YY-, \260\000UX\270\020\000c\260\003%Ed\260\003%Eda\260\000SX\260\002\033\260@a\260\003Y%EiSXED\033!!Y\033!\260\002%E\260\002%Ead\260(QXED\033!!YY-,!!\014d#d\213\270@\000b-,!\260\200QX\014d#d\213\270 \000b\033\262\000@/+Y\260\002`-,!\260\300QX\014d#d\213\270\025Ub\033\262\000\200/+Y\260\002`-,\014d#d\213\270@\000b`#!-,KSX\260\004%\260\004%Id#Edi\260@\213a \260\200bj\260\002%\260\002%a\214\260F#D!\212\020\260F\366!\033!\212\021#\022 9/Y-,\260\002%\260\002%Id\260\300TX\270\377\3708\260\0108\033!!Y-,\260\023CX\003\033\002Y-,\260\023CX\002\033\003Y-,\260\012+#\020 <\260\027+-,\260\002%\270\377\3608\260(+\212\020# \320#\260\020+\260\005CX\300\033<Y \020\021\260\000\022\001-,KS#KQZX8\033!!Y-,\001\260\002%\020\320#\311\001\260\001\023\260\000\024\020\260\001<\260\001\026-,\001\260\000\023\260\001\260\003%I\260\003\0278\260\001\023-,KS#KQZX E\212`D\033!!Y-, 9/-"""
45551e75db43e60555d2c92c015756ebaf74a3a1ebdJust
45651e75db43e60555d2c92c015756ebaf74a3a1ebdJust	p = Program()
45751e75db43e60555d2c92c015756ebaf74a3a1ebdJust	p.fromBytecode(bc)
458d67cf25974ab1d9c022d3a2d24a31cace48bbd60jvr	asm = p.getAssembly()
459d67cf25974ab1d9c022d3a2d24a31cace48bbd60jvr	p.fromAssembly(asm)
4603ec6a258238b6068e4eef3fe579f1f5c0a06bbbaBehdad Esfahbod	print(bc == p.getBytecode())
4617842e56b97ce677b83bdab09cda48bc2d89ac75aJust
462