Subversion Repositories forwardcom

/****************************  format_tables.cpp  ***************************

* Author:        Agner Fog

* date created:  2018-02-18

* Last modified: 2021-06-30

* Version:       1.11

* Project:       Binary tools for ForwardCom instruction set

* Description:

* Format tables used by emulator, assembler, and disassembler

*

* Copyright 2018-2021 GN1 General Public License http://www.gnu.org/licenses

*****************************************************************************/

#include "stdafx.h"

// formatList is a list of instruction formats. All format-dependent code should preferably rely on this list.

// The list contains all details about each instruction format.

// This is used by both the assembler, disassembler, and emulator. 

// See definition of structure SFormat in disassem.h.

// A lookup in formatList uses a nested table lookup as follows:

// il.mode.M is used as index into formatI. The indexes have constants FX000, etc.

// formatI contains an index into formatJ and a criterion for division into subgroups.

// formatJ contains an index into formatList or an index into formatJ if further subdivision is needed.

// Indexes into formatList:

const int FX000 = 0;

const int FX010 = FX000 + 1;

const int FX020 = FX010 + 1;

const int FX030 = FX020 + 1;

const int FX040 = FX030 + 1;

const int FX050 = FX040 + 1;

const int FX060 = FX050 + 1;

const int FX070 = FX060 + 1;

const int FX080 = FX070 + 1;

const int FX090 = FX080 + 1;

const int FX100 = FX090 + 1;

const int FX110 = FX100 + 1;

const int FX120 = FX110 + 1;

const int FX130 = FX120 + 1;

const int FX141 = FX130 + 1;

const int FX142 = FX141 + 1;

const int FX143 = FX142 + 1;

const int FX144 = FX143 + 1;

const int FX150 = FX144 + 1;

const int FX160 = FX150 + 1;

const int FX161 = FX160 + 1;

const int FX162 = FX161 + 1;

const int FX163 = FX162 + 1;

const int FX170 = FX163 + 1;

const int FX171 = FX170 + 1;

const int FX172 = FX171 + 1;

const int FX173 = FX172 + 1;

const int FX174 = FX173 + 1;

const int FX175 = FX174 + 1;

const int FX17A = FX175 + 1;

const int FX180 = FX17A + 1;

const int FX200 = FX180 + 1;

const int FX201 = FX200 + 1;

const int FX202 = FX201 + 1;

const int FX203 = FX202 + 1;

const int FX205 = FX203 + 1;

const int FX206 = FX205 + 1;

const int FX207 = FX206 + 1;

const int FX210 = FX207 + 1;

const int FX220 = FX210 + 1;

const int FX221 = FX220 + 1;

const int FX222 = FX221 + 1;

const int FX223 = FX222 + 1;

const int FX224 = FX223 + 1;

const int FX225 = FX224 + 1;

const int FX226 = FX225 + 1;

const int FX227 = FX226 + 1;

const int FX230 = FX227 + 1;

const int FX240 = FX230 + 1;

const int FX250 = FX240 + 1;

const int FX251 = FX250 + 1;

const int FX251X= FX251 + 1;

const int FX252 = FX251X+ 1;

const int FX252X= FX252 + 1;

const int FX253 = FX252X+ 1;

const int FX254 = FX253 + 1;

const int FX254X= FX254 + 1;

const int FX255 = FX254X+ 1;

const int FX255X= FX255 + 1;

const int FX256 = FX255X+ 1;   // unused

const int FX257 = FX256 + 1;

const int FX258 = FX257 + 1;

const int FX259 = FX258 + 1;

const int FX25A = FX259 + 1;

const int FX260 = FX25A + 1;

const int FX270 = FX260 + 1;

const int FX280 = FX270 + 1;

const int FX290 = FX280 + 1;

const int FX291 = FX290 + 1;

const int FX300 = FX291 + 1;

const int FX301 = FX300 + 1;

const int FX302 = FX301 + 1;

const int FX303 = FX302 + 1;

const int FX305 = FX303 + 1;

const int FX307 = FX305 + 1;

const int FX310 = FX307 + 1;

const int FX311 = FX310 + 1;

const int FX311X= FX311 + 1;

const int FX312 = FX311X+ 1;

const int FX313 = FX312 + 1;

const int FX318 = FX313 + 1;

const int FX320 = FX318 + 1;

const int FX321 = FX320 + 1;

const int FX322 = FX321 + 1;

const int FX323 = FX322 + 1;

const int FX325 = FX323 + 1;

const int FX327 = FX325 + 1;

const int FX330 = FX327 + 1;

const int FX380 = FX330 + 1;

const int FXEND = FX380 + 1;

// Indexes into formatJ:

const int FJ140 = 0;

const int FJ160 = FJ140 + 8;

const int FJ167 = FJ160 + 8;

const int FJ170 = FJ167 + 8;

const int FJ171 = FJ170 + 8;

const int FJ172 = FJ171 + 8;

const int FJ174 = FJ172 + 8;

const int FJ200 = FJ174 + 2;

const int FJ220 = FJ200 + 8;

const int FJ25_ = FJ220 + 8;

const int FJ25J = FJ25_ + 8;

const int FJ250 = FJ25J + 8;

const int FJ251 = FJ250 + 8;

const int FJ252 = FJ251 + 8;

const int FJ254 = FJ252 + 8;

const int FJ254B= FJ254 + 8;

const int FJ255 = FJ254B+ 8;

const int FJ290 = FJ255 + 8;

const int FJ300 = FJ290 + 8;

const int FJ31_ = FJ300 + 8;

const int FJ31J = FJ31_ + 8;

const int FJ311 = FJ31J + 8;

const int FJ320 = FJ311 + 8;

const int FJEND = FJ320 + 8;

// First list in nested lookup lists. Index is il.mode.M

// Each record contains: criterion and index for next table

// Criterion for lookup into next table: 0 = format table. 

// 1: mode2, 2: op1 / 8, 3: op1 % 8, 4: IM1 % 64 / 8, 5: IM1 % 8, 

// 6: IM12 == 0xFFFF

SFormatIndex formatI[] = {

    {0, FX000}, {0, FX080}, // 0.0, 0.8

    {0, FX010}, {0, FX090}, // 0.1, 0.9

    {0, FX020}, {0, FX020}, // 0.2

    {0, FX030}, {0, FX030}, // 0.3

    {0, FX040}, {0, FX040}, // 0.4

    {0, FX050}, {0, FX050}, // 0.5

    {0, FX060}, {0, FX060}, // 0.6

    {0, FX070}, {0, FX070}, // 0.7

    {0, FX100}, {0, FX180}, // 1.0, 1.8

    {0, FX110}, {0, FX110}, // 1.1 // no 1.9

    {0, FX120}, {0, FX120}, // 1.2

    {0, FX130}, {0, FX130}, // 1.3 

    {2, FJ140}, {2, FJ140}, // 1.4 subdivided by op1 / 8

    {0, FX150}, {0, FX150}, // 1.5

    {2, FJ160}, {2, FJ160}, // 1.6 subdivided by op1 / 8

    {2, FJ170}, {2, FJ170}, // 1.7 subdivided by op1 / 8    

    {1, FJ200}, {0, FX280}, // 2.0 subdivided by mode2, 2.8 

    {0, FX210}, {2, FJ290}, // 2.1, 2.9 subdivided by op1 / 8

    {1, FJ220}, {1, FJ220}, // 2.2 

    {0, FX230}, {0, FX230}, // 2.3

    {0, FX240}, {0, FX240}, // 2.4

    {2, FJ25_}, {2, FJ25_}, // 2.5, subdivided by op1 / 8

    {0, FX260}, {0, FX260}, // 2.6

    {2, FX270}, {2, FX270}, // 2.7

    {1, FJ300}, {0, FX380}, // 3.0, subdivided by mode2, 3.8

    {2, FJ31_}, {2, FJ31_}, // 3.1, subdivided by op1 / 8, there is no format 3.9

    {1, FJ320}, {1, FJ320}, // 3.2, subdivided by mode2

    {0, FX330}, {0, FX330}, // 3.3

    {0, FX380}, {0, FX380}, // reserved for longer instructions

    {0, FX380}, {0, FX380}, // 

    {0, FX380}, {0, FX380}, // 

    {0, FX380}, {0, FX380}  // 

};

// Next level of nested tables.

// Do not add or delete lines here without updating the index constants FJ140 etc. above

SFormatIndex formatJ[FJEND] = {

    //  FJ140: subdivision of format 1.4 by by op1 / 8

    {0, FX141},                                     // 141: 0  - 7

    {0, FX142}, {0, FX142}, {0, FX142},             // 142: 8  - 31

    {0, FX143},                                     // 143: 32 - 39

    {0, FX144}, {0, FX144},                         // 144: 40 - 55

    {0, FX144},                                     // 144: 56 - 63

    //  FJ160: subdivision of format 1.6 by by op1 / 8

    {0, FX160}, {0, FX160}, {0, FX160}, {0, FX160}, {0, FX160}, {0, FX160}, {0, FX160},  // 160: 0 - 55

    {3, FJ167},                                                                          // 161-163: 56-63

    //  FJ167: subdivision of format 1.6:7 by by op1 % 8

    {0, FX161}, {0, FX161}, {0, FX161}, {0, FX161},   // 161: 56 - 59

    {0, FX162}, {0, FX162},                           // 162: 60 - 61

    {0, FX163}, {0, FX163},                           // 163: 62 - 63

    //  FJ170: subdivision of format 1.7 by by op1 / 8

    {0, FX170}, {0, FX170},                           // 150:  0 - 15  1.7D

    {0, FX171}, {0, FX171}, {0, FX171}, {0, FX171},   // 151: 16 - 47  1.7C

    {3, FJ171}, {3, FJ172},                           // FJ171, FJ172: subdivision by op1 % 8

    //  FJ171: subdivision of format 1.7:6 by by op1 % 8

    {0, FX171}, {0, FX171}, {0, FX171}, {0, FX171},        // 172: 48 - 51

    {0, FX17A}, {0, FX17A},                                // 17A: 52 - 53

    {0, FX171}, {0, FX171},                                // 172: 54 - 55

    //  FJ172: subdivision of format 1.7:7 by by op1 % 8

    {0, FX172}, {0, FX172}, {0, FX172}, {0, FX172},        // 152: 56 - 59

    {0, FX173}, {0, FX173}, {0, FX173},                    // 153: 60 - 62

    {8, FJ174},                                            // 154: 63

    //  FJ174: subdivision of format 1.7:63 by by IM12 == 0xFFFF

    {0, FX174}, {0, FX175},                               // 154: 63, trap / filler

    //  FJ200: 2.0 subdivided by mode2

    {0, FX200}, {0, FX201}, {0, FX202}, {0, FX203},        // 2.0.0 - 2.0.3

    {0, FX200}, {0, FX205}, {0, FX206}, {0, FX207},        // 2.0.6 - 2.0.7

    //  FJ220: 2.2 subdivided by mode2

    {0, FX220}, {0, FX221}, {0, FX222}, {0, FX223},        // 2.2.0 - 2.2.3

    {0, FX224}, {0, FX225}, {0, FX226}, {0, FX227},        // 2.2.4 - 2.2.7

    //  FJ25_: subdivision of format 2.5 by op1 / 8

    {3, FJ25J}, {0, FX258}, {0, FX259}, {0, FX25A},        // jump, 2.5.8 - ...

    {0, FX25A}, {0, FX25A}, {0, FX25A}, {0, FX25A},

    //  FJ25J: subdivision of format 2.5 jump instructions by op1 % 8

    {4, FJ250}, {4, FJ251}, {4, FJ252}, {0, FX253},

    {4, FJ254}, {4, FJ255}, {0, FX256}, {0, FX257},

    //  FJ250: subdivision of format 2.5.0 jump instructions by opj / 8

    {0, FX250}, {0, FX250}, {0, FX250}, {0, FX250},

    {0, FX250}, {0, FX250}, {0, FX250}, {0, FX250},

    //  FJ251: subdivision of format 2.5.1 jump instructions by opj / 8

    {0, FX251}, {0, FX251}, {0, FX251}, {0, FX251},

    {0, FX251}, {0, FX251}, {0, FX251}, {0, FX251X},

    //  FJ252: subdivision of format 2.5.2 jump instructions by opj / 8

    {0, FX252}, {0, FX252}, {0, FX252}, {0, FX252},

    {0, FX252}, {0, FX252}, {0, FX252}, {0, FX252X},

    //  FJ254: subdivision of format 2.5.4 jump instructions by opj / 8

    {0, FX254}, {0, FX254}, {0, FX254}, {0, FX254},       // opj 0 - 31

    {0, FX254}, {0, FX254}, {5, FJ254B},{0, FX254},       // opj 32 - 63

    //  FJ254B: subdivision of format 2.5.4:6 by by opj % 8

    {0, FX254}, {0, FX254}, {0, FX254}, {0, FX254},        // 254: 48 - 51

    {0, FX254X},{0, FX254X},                               // 254: 52 - 53

    {0, FX254}, {0, FX254},                                // 254: 54 - 55

    //  FJ255: subdivision of format 2.5.5 jump instructions by opj / 8

    {0, FX255}, {0, FX255}, {0, FX255}, {0, FX255},

    {0, FX255}, {0, FX255}, {0, FX255}, {0, FX255X},

    //  FJ290: subdivision of format 2.9 by by op1 / 8

    {0, FX290}, {0, FX290}, {0, FX290}, {0, FX290},         // 2.9.0

    {0, FX291}, {0, FX291}, {0, FX291}, {0, FX291},         // 2.9.1

    //  FJ300: 3.0 subdivided by mode2

    {0, FX300}, {0, FX301}, {0, FX302}, {0, FX303},        // 3.0.0 - 3.0.3

    {0, FX300}, {0, FX305}, {0, FX300}, {0, FX307},        // 3.0.4 - 3.0.7

    //  FJ31_: subdivision of format 3.1 instructions by op1 / 8

    {3, FJ31J}, {0, FX318}, {0, FX318}, {0, FX318},

    {0, FX318}, {0, FX318}, {0, FX318}, {0, FX318},

    //  FJ31J: subdivision of format 3.1.0-8 jump instructions by op1 % 8

    {0, FX310}, {4, FJ311}, {0, FX312}, {0, FX313},

    {0, FX310}, {0, FX310}, {0, FX310}, {0, FX310},

    //  FJ311 subdivision of format 3.1.1 instructions by opj / 8

    {0, FX311}, {0, FX311}, {0, FX311}, {0, FX311},

    {0, FX311}, {0, FX311}, {0, FX311}, {0, FX311X},

    //  FJ320: 3.2 subdivided by mode2

    {0, FX320}, {0, FX321}, {0, FX322}, {0, FX323},        // 3.2.0 - 3.2.3

    {0, FX320}, {0, FX325}, {0, FX320}, {0, FX327}         // 3.2.4 - 3.2.7

};

// Definition of bit fields in all formats. The members of SFormat are defined in disassem.h.

// Do not add or delete lines in formatList without updating the index constants FX000 etc. above.

const SFormat formatList[FXEND] = {

//  form   cat tmpl  opav  ot     jump   addr  imm         v     mem   scl fi  xt

    {0x000, 3, 0xA,  0xB0, 0x00,  0, 0,  0, 0, 0, 0, 0,    0,    0x00, 0,  0,  1},

    {0x010, 3, 0xB,  0xA1, 0x00,  0, 0,  0, 0, 1, 0, 0,    0,    0x00, 0,  1,  1},

    {0x020, 3, 0xA,  0xB0, 0x00,  0, 0,  0, 0, 0, 0, 0,    1,    0x00, 0,  2,  1},

    {0x030, 3, 0xB,  0xA1, 0x00,  0, 0,  0, 0, 1, 0, 0,    1,    0x00, 0,  3,  1},

    {0x040, 3, 0xA,  0x82, 0x00,  0, 0,  0, 0, 0, 0, 0,    3,    0x02, 0,  4,  1},

    {0x050, 3, 0xA,  0x82, 0x00,  0, 0,  0, 0, 0, 0, 0,    3,    0x06, 4,  5,  1},

    {0x060, 3, 0xA,  0x82, 0x00,  0, 0,  0, 0, 0, 0, 0,    1,    0x06, 2,  6,  1},

    {0x070, 3, 0xB,  0x82, 0x00,  0, 0,  1, 0, 0, 0, 0,    1,    0x12, 1,  7,  1},

    {0x080, 3, 0xA,  0x82, 0x00,  0, 0,  0, 0, 0, 0, 0,    0,    0x06, 2,  8,  1},

    {0x090, 3, 0xB,  0x82, 0x00,  0, 0,  1, 0, 0, 0, 0,    0,    0x12, 1,  9,  1},

    // FX100

    {0x100, 1, 0xA,  0xB0, 0x00,  0, 0,  0, 0, 0, 0, 0,    0,    0x00, 0,   0,  4},  // Format 1.0 A

    {0x110, 1, 0xC,  0x81, 0x32,  0, 0,  0, 0, 2, 0, 0,    0,    0x00, 0,   0,  5},  // Format 1.1 C

    {0x120, 1, 0xA,  0xB0, 0x00,  0, 0,  0, 0, 0, 0, 0,    1,    0x00, 0,   0,  6},  // Format 1.2 A

    {0x130, 1, 0xB,  0xA1, 0x00,  0, 0,  0, 0, 1, 0, 0,    1,    0x00, 0,   0,  7},  // Format 1.3 B

    {0x141, 1, 0xC,  0x81, 0x11,  0, 0,  0, 0, 2, 0, 0,    1,    0x00, 0,   0,  8},  // Format 1.4 C, in16. op1 = 0-7

    {0x142, 1, 0xC,  0x81, 0x32,  0, 0,  0, 0, 2, 0, 0,    1,    0x00, 0,   0,  8},  // Format 1.4 C, int32/int64. op1 = 8-31

    {0x143, 1, 0xC,  0x81, 0x35,  0, 0,  0, 0, 2, 0, 0,    1,    0x00, 0,   0,  8},  // Format 1.4 C, float/double. op1 = 32-39

    {0x144, 1, 0xC,  0x81, 0x11,  0, 0,  0, 0, 2, 0, 0,    1,    0x00, 0,   0,  8},  // Format 1.4 C, half. op1 = 40-63

    {0x150, 1, 0xB,  0xA1, 0x00,  0, 0,  0, 0, 1, 0, 0,    1,    0x00, 0,   0,  8},  // Format 1.5 B. op1 = 0-63

    {0x160, 4, 0xB,  0xA0, 0x00,  1, 0,  0, 0, 0, 0, 0,    0x10, 0x00, 0,   0,  2},  // Format 1.6 jump. op1 = 0-55

    {0x161, 4, 0xB,  0x02, 0x13,  0, 0,  1, 0, 0, 0, 0,    0,    0x12, 1,  16,  2},  // Format 1.6.1 jump [mem] like format 0.9. op1 = 56-59

    {0x162, 4, 0xA,  0x82, 0x00,  0, 0,  0, 0, 0, 0, 0,    0,    0x06, 2,  17,  2},  // Format 1.6.2 jump (refpoint, [mem]). op1 = 60-61

    {0x163, 4, 0xA,  0xB0, 0x00,  0, 0,  0, 0, 0, 0, 0,    0,    0x00, 0,  18,  2},  // Format 1.6.3 return, sys_call. op1 = 62-63

    {0x170, 4, 0xD,  0x00, 0x13,  3, 0,  0, 0, 0, 0, 1,    0,    0x00, 0,  20,  3},  // Format 1.7 D. op1 = 0-15

    {0x171, 4, 0xC,  0x81, 0x12,  1, 0,  0, 0, 1, 1, 0,    0x10, 0x00, 0,   1,  2},  // Format 1.7 C. op1 = 16-55, except 52-53

    {0x172, 0, 0xC,  0x81, 0x13,  2, 0,  0, 0, 0, 0, 0,    0,    0x00, 0,  21,  2},  // Format 1.7.2 C, unconditional 16 bit jump. op1 = 56-59. Unused

    {0x173, 4, 0xC,  0x80, 0x13,  0, 0,  0, 0, 0, 0, 0,    0,    0x00, 0,  22,  2},  // Format 1.7.3 C, jump to register, sys_return. op1 = 60-62

    {0x174, 4, 0xC,  0x01, 0x13,  0, 0,  0, 0, 2, 0, 0,    0,    0x00, 0,  23,  2},  // Format 1.7.4 C, trap. op1 = 63

    {0x175, 4, 0xC,  0x00, 0x13,  0, 0,  0, 0, 2, 0, 0x40, 0,    0x00, 0,  24,  2},  // Format 1.7.5 C, filler. op1 = 63. IM12 = 0xFFFF

    {0x17A, 4, 0xC,  0x81, 0x13,  1, 0,  0, 0, 1, 1, 0,    0,    0x00, 0,  25,  2},  // Format 1.7.A C, sub_maxlen. op1 = 52-53

    {0x180, 1, 0xB,  0xA1, 0x00,  0, 0,  0, 0, 1, 0, 0,    0,    0x00, 0,   0,  9},

// FX200

    {0x200, 3, 0xE,  0xD2, 0x00,  0, 0,  2, 4, 0, 0, 2,    0,    0x12, 0, 16,  1},

    {0x201, 3, 0xE,  0xC2, 0x00,  0, 0,  2, 4, 0, 0, 2,    0,    0x16, 0, 17,  1},

    {0x202, 3, 0xE,  0xC2, 0x00,  0, 0,  2, 4, 0, 0, 2,    0,    0x16, 2, 18,  1},

    {0x203, 3, 0xE,  0xC2, 0x00,  0, 0,  2, 4, 0, 0, 2,    0,    0x26, 2, 19,  1},

    {0x205, 3, 0xE,  0xC3, 0x00,  0, 0,  2, 4, 1, 6, 0x100,0,    0x16, 2, 21,  1},

    {0x206, 3, 0xE,  0xF0, 0x00,  0, 0,  0, 0, 0, 0, 2,    0,    0x00, 0, 22,  1},

    {0x207, 3, 0xE,  0xF1, 0x00,  0, 0,  0, 0, 2, 4, 6,    0,    0x00, 0, 23,  1},

    {0x210, 3, 0xA,  0x92, 0x00,  0, 0,  4, 4, 0, 0, 0,    0,    0x12, 0, 13,  1},

    {0x220, 3, 0xE,  0xC2, 0x00,  0, 0,  2, 4, 0, 0, 2,    5,    0x12, 0, 24,  1},

    {0x221, 3, 0xE,  0xC2, 0x00,  0, 0,  2, 4, 0, 0, 2,    3,    0x12, 0, 25,  1},

    {0x222, 3, 0xE,  0xC2, 0x00,  0, 0,  2, 4, 0, 0, 2,    1,    0x16, 2, 26,  1},

    {0x223, 3, 0xE,  0xC2, 0x00,  0, 0,  2, 4, 0, 0, 2,    1,    0x26, 2, 27,  1},

    {0x224, 3, 0xE,  0xC2, 0x00,  0, 0,  2, 4, 0, 0, 2,    3,    0x16, 4, 28,  1},

    {0x225, 3, 0xE,  0xC3, 0x00,  0, 0,  2, 4, 1, 6, 0x100,3,    0x16, 0, 29,  1},

    {0x226, 3, 0xE,  0xF0, 0x00,  0, 0,  0, 0, 0, 0, 2,    1,    0x00, 0, 30,  1},

    {0x227, 3, 0xE,  0xF1, 0x00,  0, 0,  0, 0, 2, 4, 6,    1,    0x00, 0, 31,  1},

    {0x230, 3, 0xA,  0xB1, 0x00,  0, 0,  0, 0, 4, 4, 0,    1,    0x00, 0, 14,  1},

    {0x240, 3, 0xA,  0x82, 0x00,  0, 0,  4, 4, 0, 0, 0,    3,    0x12, 0, 15,  1},

    // FX250

//  form   cat tmpl  opav  ot     jump   addr  imm         v     mem  scl fi   xt

    {0x250, 4, 0xA,  0xB0, 0x00,  3, 4,  0, 0, 0, 0, 0x90, 0x10, 0x00, 0,  4,  2},  // Format 2.5.0. jump w three registers, 24-bit offset

    {0x251, 4, 0xB,  0xA1, 0x00,  2, 6,  0, 0, 2, 4, 0x80, 0x10, 0x00, 0,  5,  2},  // Format 2.5.1. jump w 16-bit imm + 16 bit offset. op1 = 0-55

    {0x251, 4, 0xB,  0xA1, 0x00,  0, 0,  0, 0, 4, 4, 0x80, 0,    0x00, 0, 28,  2},  // Format 2.5.1x system call. op1 = 56-63

    {0x252, 4, 0xB,  0x82, 0x00,  2, 6,  2, 4, 0, 0, 0x80, 0,    0x12, 0,  6,  2},  // Format 2.5.2. jump w memory operand and 16 bit jump offset

    {0x252, 4, 0xB,  0x82, 0x00,  0, 0,  4, 4, 0, 0, 0x80, 0,    0x12, 0, 29,  2},  // Format 2.5.2x jump [mem+i]. op1 = 56-63

    {0x253, 0, 0xA,  0xB0, 0x00,  3, 4,  0, 0, 0, 0, 0x90, 0x10, 0x00, 0,  7,  2},  // Format 2.5.3. unused

    {0x254, 4, 0xC,  0x81, 0x12,  4, 4,  0, 0, 1, 1, 0x80, 0x10, 0x00, 0,  8,  2},  // Format 2.5.4. jump w 8-bit imm + 32 bit offset. op1 = 0-55

    {0x254, 4, 0xC,  0x81, 0x13,  4, 4,  0, 0, 1, 1, 0x80, 0,    0x00, 0, 30,  2},  // Format 2.5.4x Same as 2.5.4, 64 bit operand size

    {0x255, 4, 0xC,  0x81, 0x12,  1, 1,  0, 0, 4, 4, 0x80, 0x10, 0x00, 0,  9,  2},  // Format 2.5.5. jump w 32-bit imm + 8 bit offset. op1 = 0-55

    {0x255, 4, 0xC,  0x81, 0x13,  0, 0,  0, 0, 4, 4, 0x80, 0,    0x00, 0, 31,  2},  // Format 2.5.5x conditional trap. op1 = 56-63

    {0x256, 0, 0xB,  0xA0, 0x00,  4, 4,  0, 0, 0, 0, 0x80, 0x10, 0x00, 0, 10,  2},  // Format 2.5.6. unused

    {0x257, 4, 0xC,  0x01, 0x13,  0, 0,  0, 0, 2, 0, 0xC0, 0,    0x00, 0, 32,  2},  // Format 2.5.7. system call w 16+32 bit imm 

    {0x258, 1, 0xB,  0x83, 0x00,  0, 0,  1, 0, 4, 4, 0,    0x10, 0x12, 1,  0, 10},  // single format instructions, format 2.5 B with both memory and immediate: store. op1 = 0-15

    {0x259, 1, 0xB,  0x82, 0x00,  0, 0,  4, 4, 0, 0, 0,    0,    0x12, 0,  0, 10},  // single format instructions, format 2.5 B with memory: compare_swap. op1 = 16-23

    {0x25A, 1, 0xA,  0x92, 0x00,  0, 0,  4, 4, 0, 0, 0,    1,    0x12, 0,  0, 10},  // Miscellaneous single format instructions, format 2.5 A with memory operand. op1 = 24-63

    {0x260, 1, 0xA,  0xB1, 0x00,  0, 0,  0, 0, 4, 4, 0,    1,    0x00, 0,  0, 11},

    {0x270, 0, 0xA,  0x00, 0x00,  0, 0,  0, 0, 0, 0, 0,    0,    0x00, 0,  0,  0},  // currently unused

    {0x280, 3, 0xA,  0xB1, 0x00,  0, 0,  0, 0, 4, 4, 0,    0,    0x00, 0, 12,  1},

    {0x290, 1, 0xA,  0xB1, 0x00,  0, 0,  0, 0, 4, 4, 0,    0,    0x00, 0,  0, 12},

    {0x291, 1, 0xA,  0xA2, 0x00,  0, 0,  4, 4, 0, 0, 0,    0,    0x12, 0,  0, 12},

    // FX300

    {0x300, 3, 0xE,  0xD2, 0x00,  0, 0,  4, 8, 0, 0, 2,    0,    0x12, 0, 36,  1},

    {0x301, 0, 0xE,  0xD2, 0x00,  0, 0,  4, 8, 0, 0, 2,    0,    0x12, 0, 36,  1},  // Format 3.0.1. unused

    {0x302, 3, 0xE,  0xC2, 0x00,  0, 0,  4, 8, 0, 0, 2,    0,    0x16, 2, 38,  1},

    {0x303, 3, 0xE,  0xC2, 0x00,  0, 0,  4, 8, 0, 0, 2,    0,    0x26, 2, 39,  1},

    {0x305, 3, 0xE,  0xC3, 0x00,  0, 0,  2, 4, 4, 8, 2,    0,    0x16, 2, 41,  1},

    {0x307, 3, 0xE,  0xF1, 0x00,  0, 0,  0, 0, 4, 8, 0xA,  0,    0x00, 0, 43,  1},

    {0x310, 4, 0xA,  0x92, 0x00,  3, 4,  4, 8, 0, 0, 0x90, 0x10, 0x12, 0, 12,  2},  // Jump w memory operand and 32 bit jump offset

    {0x311, 4, 0xB,  0xA1, 0x00,  4, 4,  0, 0, 4, 8, 0x80, 0x10, 0x00, 0, 13,  2},  // Jump w 32 bit offset + 32-bit imm. op1 = 0-55

    {0x311, 4, 0xB,  0xA1, 0x13,  0, 0,  0, 0, 8, 4, 0x80, 0,    0x00, 0, 40,  2},  // 3.1.1X. Syscall. op1 = 56-63

    {0x312, 0, 0xB,  0xA0, 0x00,  4, 4,  0, 0, 0, 0, 0x80, 0x10, 0x00, 0, 14,  2},  // Format 3.1.2. unused

    {0x313, 0, 0xB,  0xD2, 0x00,  0, 0,  4, 8, 0, 0, 2,    0,    0x12, 0, 15,  2},  // Format 3.1.3. unused

    {0x318, 1, 0xA,  0xB1, 0x00,  0, 0,  0, 0, 8, 4, 0,    1,    0x00, 0,  0, 13},  // Triple size single format instructions. op1 = 8-15

    {0x320, 3, 0xE,  0xC2, 0x00,  0, 0,  4, 8, 0, 0, 2,    5,    0x12, 0, 44,  1},

    {0x321, 3, 0xE,  0xC2, 0x00,  0, 0,  4, 8, 0, 0, 2,    3,    0x12, 0, 45,  1},

    {0x322, 3, 0xE,  0xC2, 0x00,  0, 0,  4, 8, 0, 0, 2,    1,    0x16, 2, 46,  1},

    {0x323, 3, 0xE,  0xC2, 0x00,  0, 0,  4, 8, 0, 0, 2,    1,    0x26, 2, 47,  1},

    {0x325, 3, 0xE,  0xC3, 0x00,  0, 0,  2, 4, 4, 8, 2,    3,    0x12, 0, 49,  1},

    {0x327, 3, 0xE,  0xF1, 0x00,  0, 0,  0, 0, 4, 8, 0xA,  1,    0x00, 0, 51,  1},

    {0x330, 3, 0xA,  0xB1, 0x00,  0, 0,  0, 0, 8, 4, 0x10, 1,    0x00, 0, 34,  1},  // 340 - 370 do not exist. reserved for larger instruction sizes

    {0x380, 3, 0xA,  0xB1, 0x00,  0, 0,  0, 0, 8, 4, 0x10, 0,    0x00, 0, 32,  1}

};

uint32_t formatListSize = TableSize(formatList);  // export size to other modules

// Data size for each operant type, max = 8

const uint32_t dataSizeTable[8] = {1, 2, 4, 8, 16, 4, 8, 16};   // data size in bytes

const uint32_t dataSizeTableMax8[8] = {1, 2, 4, 8, 8, 4, 8, 8}; // same, max 8

const uint32_t dataSizeTableLog[8] = {0, 1, 2, 3, 4, 2, 3, 4};  // log2(dataSizeTable)

const uint32_t dataSizeTableBits[8] = {8, 16, 32, 64, 128, 32, 64, 128};   // data size in bits

const uint64_t dataSizeMask[8] = {0xFF, 0xFFFF, 0xFFFFFFFFU, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFU, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF};

// Check integrity of format lists

void checkFormatListIntegrity() {

    if (FXEND != TableSize(formatList)) {

        printf("\nInternal error in formatList");

        exit(1);

    }

    if (FJEND != TableSize(formatJ)) {

        printf("\nInternal error in formatJ");

        exit(1);

    }

    if (sizeof(formatI) != 128) {

        printf("\nInternal error in formatI");

        exit(1);

    }

}

// Look up format in nested format lists.

// The parameter is the first 64 bits of the instruction

// The return value is a structure containing all information about the instruction format.

// (This method is optimized for speed for the sake of the emulator. The tables use

//  a minimum of cache size).

uint32_t lookupFormat(uint64_t instruct) {

    // Index into formatI is il.mode.M

    uint8_t il_mode_m = (instruct >> 26 & 0x3E) | (instruct >> 15 & 1);

    uint8_t crit = formatI[il_mode_m].crit;

    uint8_t t    = formatI[il_mode_m].index;

    uint8_t i;

    STemplate F;

    F.q = instruct;

    // Nested table lookup

    while (crit) {

        // Index into next table determined by criterion

        switch (crit) {

        case 1:  // mode2

            i = F.a.mode2; // instruct >> 59 & 7;