LinxISA Encoding Space Report¶
Spec: isa/v0.4/linxisa-v0.4.json
Conflicts (part0 mask/match overlaps)¶
Conflicts are reported at the full instruction length (all parts), not just part0.
parts: 16¶
- none
parts: 32¶
- none
parts: 48¶
- none
parts: 32 + 32¶
- none
Prefix Ambiguity (multi-part prefix vs 32-bit single)¶
- none
Major Opcode Occupancy (summary)¶
C16-major[5:0]¶
- width_bits: 16
- major bits: [5:0] (6b)
- covered slots: 17/64
- patterns not fully constraining major bits: 2
- used slot indices: 0x00, 0x06, 0x08, 0x0a, 0x0c, 0x16, 0x18, 0x1a, 0x1c, 0x26, 0x28, 0x2a, 0x2c, 0x36, 0x38, 0x3a, 0x3c
- unused slot indices: 0x01..0x05, 0x07, 0x09, 0x0b, 0x0d..0x15, 0x17, 0x19, 0x1b, 0x1d..0x25, 0x27, 0x29, 0x2b, 0x2d..0x35, 0x37, 0x39, 0x3b, 0x3d..0x3f
LX32-major[6:0]¶
- width_bits: 32
- major bits: [6:0] (7b)
- covered slots: 41/128
- patterns not fully constraining major bits: 1
- used slot indices: 0x01, 0x03, 0x05, 0x07, 0x09, 0x0b, 0x11, 0x13, 0x15, 0x17, 0x19, 0x21, 0x23, 0x25, 0x27, 0x29, 0x2b, 0x31, 0x33, 0x35, 0x37, 0x39, 0x3b, 0x41, 0x43, 0x45, 0x47, 0x49, 0x4b, 0x55, 0x57, 0x59, 0x5b, 0x65, 0x67, 0x69, 0x6b, 0x75, 0x77, 0x7b, 0x7f
- unused slot indices: 0x00, 0x02, 0x04, 0x06, 0x08, 0x0a, 0x0c..0x10, 0x12, 0x14, 0x16, 0x18, 0x1a..0x20, 0x22, 0x24, 0x26, 0x28, 0x2a, 0x2c..0x30, 0x32, 0x34, 0x36, 0x38, 0x3a, 0x3c..0x40, 0x42, 0x44, 0x46, 0x48, 0x4a, 0x4c..0x54, 0x56, 0x58, 0x5a, 0x5c..0x64, 0x66, 0x68, 0x6a, 0x6c..0x74, 0x76, 0x78..0x7a, 0x7c..0x7e
HL48-major[19:17,16,3:0]¶
- width_bits: 48
- major bits: [19:17],[16],[3:0] (8b)
- covered slots: 6/256
- patterns not fully constraining major bits: 1
- used slot indices: 0x1e, 0x5e, 0x7e, 0x9e, 0xbe, 0xde
- unused slot indices: 0x00..0x1d, 0x1f..0x5d, 0x5f..0x7d, 0x7f..0x9d, 0x9f..0xbd, 0xbf..0xdd, 0xdf..0xff
16-bit Exhaustive Coverage¶
- unmatched encodings (holes): 42572
- multiply-matched encodings (conflicts): 0
- hole ranges: 22964
Largest 16-bit hole ranges¶
0xffeb..0xfff1(count=7)0xffdb..0xffe1(count=7)0xffab..0xffb1(count=7)0xff9b..0xffa1(count=7)0xff6b..0xff71(count=7)0xff5b..0xff61(count=7)0xff2b..0xff31(count=7)0xff1b..0xff21(count=7)0xfeeb..0xfef1(count=7)0xfedb..0xfee1(count=7)0xfeab..0xfeb1(count=7)0xfe9b..0xfea1(count=7)0xfe6b..0xfe71(count=7)0xfe5b..0xfe61(count=7)0xfe2b..0xfe31(count=7)0xfe1b..0xfe21(count=7)0xfdeb..0xfdf1(count=7)0xfddb..0xfde1(count=7)0xfdab..0xfdb1(count=7)0xfd9b..0xfda1(count=7)0xfd6b..0xfd71(count=7)0xfd5b..0xfd61(count=7)0xfd2b..0xfd31(count=7)0xfd1b..0xfd21(count=7)0xfceb..0xfcf1(count=7)
Status¶
- OK: no encoding conflicts detected