checklink: first import of Valentin Robert's validator for asm and link

cparser: renamed Errors to Cerrors; removed packing into Cparser.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1856 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 399 insertions, 0 deletions

diff --git a/checklink/PPC_parsers.ml b/checklink/PPC_parsers.ml
new file mode 100644
index 0000000..ffbbc2f
--- /dev/null
+++ b/checklink/PPC_parsers.ml
@@ -0,0 +1,399 @@
+open Library
+open PPC_types
+
+let parse_instr bs =
+  bitmatch bs with
+  | { 31:6; d:5;    a:5;    b:5;    oe:1;   266:9;  rc:1 }
+    -> ADDx(d, a, b, oe, rc)
+  | { 31:6; d:5;    a:5;    b:5;    oe:1;   10:9;   rc:1 }
+    -> ADDCx(d, a, b, oe, rc)
+  | { 31:6; d:5;    a:5;    b:5;    oe:1;   138:9;  rc:1 }
+    -> ADDEx(d, a, b, oe, rc)
+  | { 14:6; d:5;    a:5;    simm:16:bitstring }
+    -> ADDI(d, a, simm)
+  | { 12:6; d:5;    a:5;    simm:16:bitstring }
+    -> ADDIC(d, a, simm)
+  | { 13:6; d:5;    a:5;    simm:16:bitstring }
+    -> ADDIC_(d, a, simm)
+  | { 15:6; d:5;    a:5;    simm:16 }
+    -> ADDIS(d, a, simm)
+  | { 31:6; d:5;    a:5;    0:5;    oe:1;   234:9;  rc:1 }
+    -> ADDMEx(d, a, oe, rc)
+  | { 31:6; d:5;    a:5;    0:5;    oe:1;   202:9;  rc:1 }
+    -> ADDZEx(d, a, oe, rc)
+  | { 31:6; s:5;    a:5;    b:5;    28:10;  rc:1 }
+    -> ANDx(s, a, b, rc)
+  | { 31:6; s:5;    a:5;    b:5;    60:10;  rc:1 }
+    -> ANDCx(s, a, b, rc)
+  | { 28:6; s:5;    a:5;    uimm:16 }
+    -> ANDI_(s, a, uimm)
+  | { 29:6; s:5;    a:5;    uimm:16 }
+    -> ANDIS_(s, a, uimm)
+  | { 18:6; li:24:bitstring;  aa:1;   lk:1 }
+    -> Bx(li, aa, lk)
+  | { 16:6; bo:5:bitstring;   bi:5;   bd:14:bitstring;  aa:1;   lk:1 }
+    -> BCx(bo, bi, bd, aa, lk)
+  | { 19:6; bo:5:bitstring;   bi:5;   0:5;    528:10; lk:1 }
+    -> BCCTRx(bo, bi, lk)
+  | { 19:6; bo:5:bitstring;   bi:5;   0:5;    16:10;  lk:1 }
+    -> BCLRx(bo, bi, lk)
+  | { 31:6; crfD:3; false:1;    l:1;    a:5;    b:5;    0:10;   false:1 }
+    -> CMP(crfD, l, a, b)
+  | { 11:6; crfD:3; false:1;    l:1;    a:5;    simm:16:bitstring }
+    -> CMPI(crfD, l, a, simm)
+  | { 31:6; crfD:3; false:1;    l:1;    a:5;    b:5;    32:10;  false:1 }
+    -> CMPL(crfD, l, a, b)
+  | { 10:6; crfD:3; false:1;    l:1;    a:5;    uimm:16 }
+    -> CMPLI(crfD, l, a, uimm)
+  | { 31:6; s:5;    a:5;    0:5;    26:10;  rc:1 }
+    -> CNTLZWx(s, a, rc)
+  | { 19:6; crbD:5; crbA:5; crbB:5; 257:10; false:1 }
+    -> CRAND(crbD, crbA, crbB)
+  | { 19:6; crbD:5; crbA:5; crbB:5; 129:10; false:1 }
+    -> CRANDC(crbD, crbA, crbB)
+  | { 19:6; crbD:5; crbA:5; crbB:5; 289:10; false:1 }
+    -> CREQV(crbD, crbA, crbB)
+  | { 19:6; crbD:5; crbA:5; crbB:5; 225:10; false:1 }
+    -> CRNAND(crbD, crbA, crbB)
+  | { 19:6; crbD:5; crbA:5; crbB:5; 33:10;  false:1 }
+    -> CRNOR(crbD, crbA, crbB)
+  | { 19:6; crbD:5; crbA:5; crbB:5; 449:10; false:1 }
+    -> CROR(crbD, crbA, crbB)
+  | { 19:6; crbD:5; crbA:5; crbB:5; 417:10; false:1 }
+    -> CRORC(crbD, crbA, crbB)
+  | { 19:6; crbD:5; crbA:5; crbB:5; 193:10; false:1 }
+    -> CRXOR(crbD, crbA, crbB)
+  | { 31:6; 0:5;    a:5;    b:5;    758:10; false:1 }
+    -> DCBA(a, b)
+  | { 31:6; 0:5;    a:5;    b:5;    86:10;  false:1 }
+    -> DCBF(a, b)
+  | { 31:6; 0:5;    a:5;    b:5;    470:10; false:1 }
+    -> DCBI(a, b)
+  | { 31:6; 0:5;    a:5;    b:5;    54:10;  false:1 }
+    -> DCBST(a, b)
+  | { 31:6; 0:5;    a:5;    b:5;    278:10; false:1 }
+    -> DCBT(a, b)
+  | { 31:6; 0:5;    a:5;    b:5;    246:10; false:1 }
+    -> DCBTST(a, b)
+  | { 31:6; 0:5;    a:5;    b:5;    1014:10;    false:1 }
+    -> DCBZ(a, b)
+  | { 31:6; d:5;    a:5;    b:5;    oe:1;   491:9;  rc:1 }
+    -> DIVWx(d, a, b, oe, rc)
+  | { 31:6; d:5;    a:5;    b:5;    oe:1;   459:9;  rc:1 }
+    -> DIVWUx(d, a, b, oe, rc)
+  | { 31:6; d:5;    a:5;    b:5;    310:10;     false:1 }
+    -> ECIWX(d, a, b)
+  | { 31:6; s:5;    a:5;    b:5;    438:10; false:1 }
+    -> ECOWX(s, a, b)
+  | { 31:6; 0:5;    0:5;    0:5;    854:10; false:1 }
+    -> EIEIO
+  | { 31:6; s:5;    a:5;    b:5;    284:10; rc:1 }
+    -> EQVx(s, a, b, rc)
+  | { 31:6; s:5;    a:5;    0:5;    954:10; rc:1 }
+    -> EXTSBx(s, a, rc)
+  | { 31:6; s:5;    a:5;    0:5;    922:10; rc:1 }
+    -> EXTSHx(s, a, rc)
+  | { 63:6; d:5;    0:5;    b:5;    264:10; rc:1 }
+    -> FABSx(d, b, rc)
+  | { 63:6; d:5;    a:5;    b:5;    0:5;    21:5;   rc:1 }
+    -> FADDx(d, a, b, rc)
+  | { 59:6; d:5;    a:5;    b:5;    0:5;    21:5;   rc:1 }
+    -> FADDSx(d, a, b, rc)
+  | { 63:6; crfD:3; 0:2;    a:5;    b:5;    32:10;  false:1 }
+    -> FCMPO(crfD, a, b)
+  | { 63:6; crfD:3; 0:2;    a:5;    b:5;    0:10;   false:1 }
+    -> FCMPU(crfD, a, b)
+  | { 63:6; d:5;    0:5;    b:5;    14:10;  rc:1 }
+    -> FCTIWx(d, b, rc)
+  | { 63:6; d:5;    0:5;    b:5;    15:10;  rc:1 }
+    -> FCTIWZx(d, b, rc)
+  | { 63:6; d:5;    a:5;    b:5;    0:5;    18:5;   rc:1 }
+    -> FDIVx(d, a, b, rc)
+  | { 59:6; d:5;    a:5;    b:5;    0:5;    18:5;   rc:1 }
+    -> FDIVSx(d, a, b, rc)
+  | { 63:6; d:5;    a:5;    b:5;    c:5;    29:5;   rc:1 }
+    -> FMADDx(d, a, b, c, rc)
+  | { 59:6; d:5;    a:5;    b:5;    c:5;    29:5;   rc:1 }
+    -> FMADDSx(d, a, b, c, rc)
+  | { 63:6; d:5;    0:5;    b:5;    72:10;  rc:1 }
+    -> FMRx(d, b, rc)
+  | { 63:6; d:5;    a:5;    b:5;    c:5;    28:5;   rc:1 }
+    -> FMSUBx(d, a, b, c, rc)
+  | { 59:6; d:5;    a:5;    b:5;    c:5;    28:5;   rc:1 }
+    -> FMSUBSx(d, a, b, c, rc)
+  | { 63:6; d:5;    a:5;    0:5;    c:5;    25:5;   rc:1 }
+    -> FMULx(d, a, c, rc)
+  | { 59:6; d:5;    a:5;    0:5;    c:5;    25:5;   rc:1 }
+    -> FMULSx(d, a, c, rc)
+  | { 63:6; d:5;    0:5;    b:5;    136:10; rc:1 }
+    -> FNABSx(d, b, rc)
+  | { 63:6; d:5;    0:5;    b:5;    40:10;  rc:1 }
+    -> FNEGx(d, b, rc)
+  | { 63:6; d:5;    a:5;    b:5;    c:5;    31:5;   rc:1 }
+    -> FNMADDx(d, a, b, c, rc)
+  | { 59:6; d:5;    a:5;    b:5;    c:5;    31:5;   rc:1 }
+    -> FNMADDSx(d, a, b, c, rc)
+  | { 63:6; d:5;    a:5;    b:5;    c:5;    30:5;   rc:1 }
+    -> FNMSUBx(d, a, b, c, rc)
+  | { 59:6; d:5;    a:5;    b:5;    c:5;    30:5;   rc:1 }
+    -> FNMSUBSx(d, a, b, c, rc)
+  | { 59:6; d:5;    0:5;    b:5;    0:5;    24:5;   rc:1 }
+    -> FRESx(d, b, rc)
+  | { 63:6; d:5;    0:5;    b:5;    12:10;  rc:1 }
+    -> FRSPx(d, b, rc)
+  | { 63:6; d:5;    0:5;    b:5;    0:5;    22:5;   rc:1 }
+    -> FRSQRTEx(d, b, rc)
+  | { 63:6; d:5;    a:5;    b:5;    c:5;    23:5;   rc:1 }
+    -> FSELx(d, a, b, c, rc)
+  | { 63:6; d:5;    0:5;    b:5;    0:5;    22:5;   rc:1 }
+    -> FSQRTx(d, b, rc)
+  | { 59:6; d:5;    0:5;    b:5;    0:5;    22:5;   rc:1 }
+    -> FSQRTSx(d, b, rc)
+  | { 63:6; d:5;    a:5;    b:5;    0:5;    20:5;   rc:1 }
+    -> FSUBx(d, a, b, rc)
+  | { 59:6; d:5;    a:5;    b:5;    0:5;    20:5;   rc:1 }
+    -> FSUBSx(d, a, b, rc)
+  | { 31:6; 0:5;    a:5;    b:5;    982:10; false:1 }
+    -> ICBI(a, b)
+  | { 19:6; 0:5;    0:5;    0:5;    150:10; false:1 }
+    -> ISYNC
+  | { 34:6; d:5;    a:5;    dd:16:bitstring }
+    -> LBZ(d, a, dd)
+  | { 35:6; d:5;    a:5;    dd:16:bitstring }
+    -> LBZU(d, a, dd)
+  | { 31:6; d:5;    a:5;    b:5;    119:10; false:1 }
+    -> LBZUX(d, a, b)
+  | { 31:6; d:5;    a:5;    b:5;    87:10;  false:1 }
+    -> LBZX(d, a, b)
+  | { 50:6; d:5;    a:5;    dd:16:bitstring }
+    -> LFD(d, a, dd)
+  | { 51:6; d:5;    a:5;    dd:16:bitstring }
+    -> LFDU(d, a, dd)
+  | { 31:6; d:5;    a:5;    b:5;    631:10; false:1 }
+    -> LFDUX(d, a, b)
+  | { 31:6; d:5;    a:5;    b:5;    599:10; false:1 }
+    -> LFDX(d, a, b)
+  | { 48:6; d:5;    a:5;    dd:16:bitstring }
+    -> LFS(d, a, dd)
+  | { 49:6; d:5;    a:5;    dd:16:bitstring }
+    -> LFSU(d, a, dd)
+  | { 31:6; d:5;    a:5;    b:5;    567:10; false:1 }
+    -> LFSUX(d, a, b)
+  | { 31:6; d:5;    a:5;    b:5;    535:10; false:1 }
+    -> LFSX(d, a, b)
+  | { 42:6; d:5;    a:5;    dd:16:bitstring }
+    -> LHA(d, a, dd)
+  | { 43:6; d:5;    a:5;    dd:16:bitstring }
+    -> LHAU(d, a, dd)
+  | { 31:6; d:5;    a:5;    b:5;    375:10; false:1 }
+    -> LHAUX(d, a, b)
+  | { 31:6; d:5;    a:5;    b:5;    343:10; false:1 }
+    -> LHAX(d, a, b)
+  | { 31:6; d:5;    a:5;    b:5;    790:10; false:1 }
+    -> LHBRX(d, a, b)
+  | { 40:6; d:5;    a:5;    dd:16:bitstring }
+    -> LHZ(d, a, dd)
+  | { 41:6; d:5;    a:5;    dd:16:bitstring }
+    -> LHZU(d, a, dd)
+  | { 31:6; d:5;    a:5;    b:5;    311:10; false:1 }
+    -> LHZUX(d, a, b)
+  | { 31:6; d:5;    a:5;    b:5;    279:10; false:1 }
+    -> LHZX(d, a, b)
+  | { 46:6; d:5;    a:5;    dd:16 }
+    -> LMW(d, a, dd)
+  | { 31:6; d:5;    a:5;    nb:5;   597:10; false:1 }
+    -> LSWI(d, a, nb)
+  | { 31:6; d:5;    a:5;    b:5;    533:10; false:1 }
+    -> LSWX(d, a, b)
+  | { 31:6; d:5;    a:5;    b:5;    20:10;  false:1 }
+    -> LWARX(d, a, b)
+  | { 31:6; d:5;    a:5;    b:5;    534:10; false:1 }
+    -> LWBRX(d, a, b)
+  | { 32:6; d:5;    a:5;    dd:16:bitstring }
+    -> LWZ(d, a, dd)
+  | { 33:6; d:5;    a:5;    dd:16:bitstring }
+    -> LWZU(d, a, dd)
+  | { 31:6; d:5;    a:5;    b:5;    55:10;  false:1 }
+    -> LWZUX(d, a, b)
+  | { 31:6; d:5;    a:5;    b:5;    23:10;  false:1 }
+    -> LWZX(d, a, b)
+  | { 19:6; crfD:3; 0:2;    crfS:3; 0:2;    0:5;    0:10;   false:1 }
+    -> MCRF(crfD, crfS)
+  | { 63:6; crfD:3; 0:2;    crfS:3; 0:2;    0:5;    64:10;  false:1 }
+    -> MCRFS(crfD, crfS)
+  | { 31:6; crfD:3; 0:2;    0:5;    0:5;    0:10;   false:1 }
+    -> MCRXR(crfD)
+  | { 31:6; d:5;    0:5;    0:5;    19:10;  false:1 }
+    -> MFCR(d)
+  | { 63:6; d:5;    0:5;    0:5;    583:10; rc:1 }
+    -> MFFSx(d, rc)
+  | { 31:6; d:5;    0:5;    0:5;    83:10;  false:1 }
+    -> MFMSR(d)
+  | { 31:6; d:5;    spr:10:bitstring; 339:10; false:1 }
+    -> MFSPR(d, spr)
+  | { 31:6; d:5;    false:1;    sr:4;   0:5;    595:10; false:1 }
+    -> MFSR(d, sr)
+  | { 31:6; d:5;    0:5;    b:5;    659:10; false:1 }
+    -> MFSRIN(d, b)
+  | { 31:6; d:5;    tbr:10; 371:10; false:1 }
+    -> MFTB(d, tbr)
+  | { 31:6; s:5;    false:1;    crm:8;  false:1;    144:10; false:1 }
+    -> MTCRF(s, crm)
+  | { 63:6; crbD:5; 0:5;    0:5;    70:10;  rc:1 }
+    -> MTFSB0x(crbD, rc)
+  | { 63:6; crbD:5; 0:5;    0:5;    38:10;  rc:1 }
+    -> MTFSB1x(crbD, rc)
+  | { 63:6; false:1;    fm:8;   false:1;    b:5;    711:10; rc:1 }
+    -> MTFSF(fm, b, rc)
+  | { 63:6; crfD:3; 0:2;    0:5;    imm:4;  false:1;    134:10; rc:1 }
+    -> MTFSFIx(crfD, imm, rc)
+  | { 31:6; s:5;    0:5;    0:5;    146:10; false:1 }
+    -> MTMSR(s)
+  | { 31:6; s:5;    spr:10:bitstring; 467:10; false:1 }
+    -> MTSPR(s, spr)
+  | { 31:6; s:5;    false:1;    sr:4;   0:5;    210:10; false:1 }
+    -> MTSR(s, sr)
+  | { 31:6; s:5;    0:5;    b:5;    242:10; false:1 }
+    -> MTSRIN(s, b)
+  | { 31:6; d:5;    a:5;    b:5;    false:1;    75:9;   rc:1 }
+    -> MULHWx(d, a, b, rc)
+  | { 31:6; d:5;    a:5;    b:5;    false:1;    11:9;   rc:1 }
+    -> MULHWUx(d, a, b, rc)
+  | { 7:6; d:5; a:5;    simm:16:bitstring }
+    -> MULLI(d, a, simm)
+  | { 31:6; id:5;   a:5;    b:5;    oe:1;   235:9;  rc:1 }
+    -> MULLWx(id, a, b, oe, rc)
+  | { 31:6; s:5;    a:5;    b:5;    476:10; rc:1 }
+    -> NANDx(s, a, b, rc)
+  | { 31:6; d:5;    a:5;    0:5;    oe:1;   104:9;  rc:1 }
+    -> NEGx(d, a, oe, rc)
+  | { 31:6; s:5;    a:5;    b:5;    124:10; rc:1 }
+    -> NORx(s, a, b, rc)
+  | { 31:6; s:5;    a:5;    b:5;    444:10; rc:1 }
+    -> ORx(s, a, b, rc)
+  | { 31:6; s:5;    a:5;    b:5;    412:10; rc:1 }
+    -> ORCx(s, a, b, rc)
+  | { 24:6; s:5;    a:5;    uimm:16 }
+    -> ORI(s, a, uimm)
+  | { 25:6; s:5;    a:5;    uimm:16 }
+    -> ORIS(s, a, uimm)
+  | { 19:6; 0:5;    0:5;    0:5;    50:10;  false:1 }
+    -> RFI
+  | { 20:6; s:5;    a:5;    sh:5;   mb:5;   me:5;   rc:1 }
+    -> RLWIMIx(s, a, sh, mb, me, rc)
+  | { 21:6; s:5;    a:5;    sh:5;   mb:5;   me:5;   rc:1 }
+    -> RLWINMx(s, a, sh, mb, me, rc)
+  | { 23:6; s:5;    a:5;    b:5;    mb:5;   me:5;   rc:1 }
+    -> RLWNMx(s, a, b, mb, me, rc)
+  | { 17:6; 0:5;    0:5;    0:14;   true:1; false:1 }
+    -> SC
+  | { 31:6; s:5;    a:5;    b:5;    24:10;  rc:1 }
+    -> SLWx(s, a, b, rc)
+  | { 31:6; s:5;    a:5;    b:5;    792:10; rc:1 }
+    -> SRAWx(s, a, b, rc)
+  | { 31:6; s:5;    a:5;    sh:5;   824:10; rc:1 }
+    -> SRAWIx(s, a, sh, rc)
+  | { 31:6; s:5;    a:5;    b:5;    536:10; rc:1 }
+    -> SRWx(s, a, b, rc)
+  | { 38:6; s:5;    a:5;    dd:16:bitstring }
+    -> STB(s, a, dd)
+  | { 39:6; s:5;    a:5;    dd:16:bitstring }
+    -> STBU(s, a, dd)
+  | { 31:6; s:5;    a:5;    b:5;    247:10; false:1 }
+    -> STBUX(s, a, b)
+  | { 31:6; s:5;    a:5;    b:5;    215:10; false:1 }
+    -> STBX(s, a, b)
+  | { 54:6; s:5;    a:5;    dd:16:bitstring }
+    -> STFD(s, a, dd)
+  | { 55:6; s:5;    a:5;    dd:16:bitstring }
+    -> STFDU(s, a, dd)
+  | { 31:6; s:5;    a:5;    b:5;    759:10; false:1 }
+    -> STFDUX(s, a, b)
+  | { 31:6; s:5;    a:5;    b:5;    727:10; false:1 }
+    -> STFDX(s, a, b)
+  | { 31:6; s:5;    a:5;    b:5;    983:10; false:1 }
+    -> STFIWX(s, a, b)
+  | { 52:6; s:5;    a:5;    dd:16:bitstring }
+    -> STFS(s, a, dd)
+  | { 53:6; s:5;    a:5;    dd:16:bitstring }
+    -> STFSU(s, a, dd)
+  | { 31:6; s:5;    a:5;    b:5;    695:10; false:1 }
+    -> STFSUX(s, a, b)
+  | { 31:6; s:5;    a:5;    b:5;    663:10; false:1 }
+    -> STFSX(s, a, b)
+  | { 44:6; s:5;    a:5;    dd:16:bitstring }
+    -> STH(s, a, dd)
+  | { 31:6; s:5;    a:5;    b:5;    918:10; false:1 }
+    -> STHBRX(s, a, b)
+  | { 45:6; s:5;    a:5;    dd:16:bitstring }
+    -> STHU(s, a, dd)
+  | { 31:6; s:5;    a:5;    b:5;    439:10; false:1 }
+    -> STHUX(s, a, b)
+  | { 31:6; s:5;    a:5;    b:5;    407:10; false:1 }
+    -> STHX(s, a, b)
+  | { 47:6; s:5;    a:5;    dd:16 }
+    -> STMW(s, a, dd)
+  | { 31:6; s:5;    a:5;    nb:5;   725:10; false:1 }
+    -> STSWI(s, a, nb)
+  | { 31:6; s:5;    a:5;    b:5;    661:10; false:1 }
+    -> STSWX(s, a, b)
+  | { 36:6; s:5;    a:5;    dd:16:bitstring }
+    -> STW(s, a, dd)
+  | { 31:6; s:5;    a:5;    b:5;    662:10; false:1 }
+    -> STWBRX(s, a, b)
+  | { 31:6; s:5;    a:5;    b:5;    150:10; false:1 }
+    -> STWCX_(s, a, b)
+  | { 37:6; s:5;    a:5;    dd:16:bitstring }
+    -> STWU(s, a, dd)
+  | { 31:6; s:5;    a:5;    b:5;    183:10; false:1 }
+    -> STWUX(s, a, b)
+  | { 31:6; s:5;    a:5;    b:5;    151:10; false:1 }
+    -> STWX(s, a, b)
+  | { 31:6; d:5;    a:5;    b:5;    oe:1;   40:9;   rc:1 }
+    -> SUBFx(d, a, b, oe, rc)
+  | { 31:6; d:5;    a:5;    b:5;    oe:1;   8:9;    rc:1 }
+    -> SUBFCx(d, a, b, oe, rc)
+  | { 31:6; d:5;    a:5;    b:5;    oe:1;   136:9;  rc:1 }
+    -> SUBFEx(d, a, b, oe, rc)
+  | { 8:6; d:5; a:5;    simm:16:bitstring }
+    -> SUBFIC(d, a, simm)
+  | { 31:6; d:5;    a:5;    0:5;    oe:1;   232:9;  rc:1 }
+    -> SUBFMEx(d, a, oe, rc)
+  | { 31:6; d:5;    a:5;    0:5;    oe:1;   200:9;  rc:1 }
+    -> SUBFZEx(d, a, oe, rc)
+  | { 31:6; 0:5;    0:5;    0:5;    598:10; false:1 }
+    -> SYNC
+  | { 31:6; 0:5;    0:5;    0:5;    370:10; false:1 }
+    -> TLBIA
+  | { 31:6; 0:5;    0:5;    b:5;    306:10; false:1 }
+    -> TLBIE(b)
+  | { 31:6; 0:5;    0:5;    0:5;    566:10; false:1 }
+    -> TLBSYNC
+  | { 31:6; t:5:bitstring;  a:5;    b:5;    4:10;   false:1 }
+    -> TW(t, a, b)
+  | { 3:6;  t:5:bitstring;  a:5;    simm:16 }
+    -> TWI(t, a, simm)
+  | { 31:6; s:5;    a:5;    b:5;    316:10; rc:1 }
+    -> XORx(s, a, b, rc)
+  | { 26:6; s:5;    a:5;    uimm:16 }
+    -> XORI(s, a, uimm)
+  | { 27:6; s:5;    a:5;    uimm:16 }
+    -> XORIS(s, a, uimm)
+  | { bits:32:bitstring }
+    -> UNKNOWN(bits)
+
+exception Wrong_code_size
+
+let rec parse_code_as_list bs =
+  bitmatch bs with
+  | { instr:32:bitstring; rest:-1:bitstring } ->
+      parse_instr instr :: parse_code_as_list rest
+  | { rest:-1:bitstring } ->
+      if Bitstring.bitstring_length rest = 0
+      then []
+      else raise Wrong_code_size
+
+let parse_nth_instr bs n = parse_instr (Bitstring.subbitstring bs (n * 32) 32)
+
+let parse_code_as_array (bs: bitstring) (num: int): instr array =
+  Array.init num (parse_nth_instr bs)