#include <stdio.h>
#include <stdint.h>
#include <string.h>
#include <stdbool.h>
 
static uint8_t code[] = {
    0x00,0x02,0x87,0xe8,0x00,0x12,0xf8,0xfb,
    0x00,0x22,0x49,0x37,0x00,0x32,0x1f,0x4e,
    0x07,0x32,0x80,0x89,0x01,0x32,0x66,0x4c,
    0x05,0xc3,0x05,0xf3,0x01,0x12,0x73,0xa9,
    0x07,0x22,0x9b,0xe5,0x03,0x83,0x06,0x12,
    0xb3,0xb6,0x05,0x02,0xa8,0x7b,0x05,0xf3,
    0x00,0x32,0x0a,0x00,0x03,0x93,0x03,0x22,
    0x69,0x76,0x04,0x01,0x0b,0x31,0x0f,0x00,
    0x10,0x00,0x05,0x12,0xb4,0x36,0x00,0xc3,
    0x07,0x02,0x07,0x35,0x03,0x83,0x05,0x12,
    0x0f,0x64,0x00,0x43,0x03,0xb3,0x08,0x02,
    0x02,0x00,0x05,0x23,0x01,0xb3,0x07,0xc3,
    0x05,0x02,0x5e,0xd6,0x07,0x83,0x06,0x73,
    0x02,0x32,0x80,0x14,0x03,0x12,0x7b,0x4b,
    0x06,0x12,0xa1,0x28,0x01,0x22,0x17,0x30,
    0x02,0xa3,0x00,0x12,0x6d,0xda,0x01,0x53,
    0x02,0x23,0x04,0x11,0x03,0x03,0x07,0x02,
    0x17,0x04,0x03,0xc3,0x03,0x12,0x4b,0xac,
    0x02,0x32,0xce,0x33,0x01,0x03,0x06,0x12,
    0x12,0x8e,
};
 
static const char *op_names[] = {
    "MOVE", "OR", "XOR", "AND", "NOT", "ADD", "SUB", "MUL", "SHL", "SHR",
    "INC", "DEC", "PUSH", "POP", "CMP", "JNZ", "JZ",
};
 
typedef struct instruction {
    size_t offset;
    unsigned int opcode;
    unsigned int mode;
    unsigned int rdest;
    unsigned int rsrc;
    uint16_t imm;
} instruction;
 
 
int main(void)
{
    static instruction instructions[16384];
    size_t num_instructions = 0;
 
    for (size_t i = 0; i < sizeof(code); i += 2) {
        unsigned int opt = code[i + 1];
 
        instruction insn = {
            .offset = i,
            .opcode = code[i],
            .mode = opt & 15,
            .rdest = (opt >> 4) & 3,
            .rsrc = (opt >> 6) & 3,
            .imm = 0xbaadU,
        };
 
        if (insn.opcode >= sizeof(op_names) / sizeof(op_names[0])) {
            fprintf(stderr, "Wrong opcode %u at %.8zx\n", insn.opcode, insn.offset);
            return 1;
        }
 
        if (insn.mode >= 4) {
            fprintf(stderr, "Wrong mode %u at %.8zx\n", insn.mode, insn.offset);
            return 1;
        }
 
        if (insn.mode == 0 || insn.mode == 2) {
            i += 2;
            insn.imm = code[i] | code[i + 1] << 8;
        }
        instructions[num_instructions++] = insn;
    }
 
    size_t ip = 0;
    uint16_t regs[4] = { 0 };
    uint16_t stack[256];
    size_t stackptr = 0;
    bool zf = false;
 
    while (ip < num_instructions) {
        instruction *insn = &instructions[ip];
        uint16_t *dest = NULL;
        uint16_t *src = NULL;
        uint16_t imm = insn->imm;
 
        printf("%.4zx: %s\t", ip, op_names[insn->opcode]);
 
        switch (insn->mode) {
            case 0: // IMM.
                dest = &imm;
                printf("%.4x\t", insn->imm);
                break;
            case 1: // REG.
                dest = &regs[insn->rdest];
                printf("r%u\t", insn->rdest);
                break;
            case 2: // REG, IMM.
                dest = &regs[insn->rdest];
                src = &imm;
                printf("r%u, %.4x", insn->rdest, insn->imm);
                break;
            case 3: // REG, REG.
                dest = &regs[insn->rdest];
                src = &regs[insn->rsrc];
                printf("r%u, r%u\t", insn->rdest, insn->rsrc);
                break;
        }
 
        printf(" ; ");
        ++ip;
 
        switch (insn->opcode) {
            case 0: // MOVE.
                *dest = *src;
                break;
            case 1: // OR.
                *dest = *dest || *src;
                break;
            case 2: // XOR.
                *dest = (*dest || *src) && !(*dest && *src);
                break;
            case 3: // AND.
                *dest = *dest && *src;
                break;
            case 4: // NOT.
                *dest = !*dest;
                break;
            case 5: // ADD.
                *dest += *src;
                break;
            case 6: // SUB.
                *dest -= *src;
                break;
            case 7: // MUL.
                *dest *= *src;
                break;
            case 8: // SHL.
                *dest <<= *src;
                break;
            case 9: // SHR.
                *dest >>= *src;
                break;
            case 10: // INC.
                *dest += 1;
                break;
            case 11: // DEC.
                *dest -= 1;
                break;
            case 12: // PUSH.
                if (stackptr >= sizeof(stack) / sizeof(stack[0])) {
                    fprintf(stderr, "Stack overflow\n");
                    return 2;
                }
                stack[stackptr++] = *dest;
                break;
            case 13: // POP
                if (stackptr == 0) {
                    fprintf(stderr, "Stack underflow\n");
                    return 2;
                }
                *dest = stack[--stackptr];
                break;
            case 14: // CMP.
                zf = (*dest - *src) == 0;
                break;
            case 15: // JNZ.
                if (!zf) {
                    ip = *dest;
                }
                break;
            case 16: // JZ.
                if (zf) {
                    ip = *dest;
                }
                break;
        }
 
        if (insn->opcode >= 1 && insn->opcode <= 11) {
            zf = *dest == 0;
        }
 
        printf(" r0 = %.4x, r1 = %.4x, r2 = %.4x, r3 = %.4x, zf = %u\n",
            regs[0], regs[1], regs[2], regs[3], zf);
    }
}
 

I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KI2luY2x1ZGUgPHN0cmluZy5oPgojaW5jbHVkZSA8c3RkYm9vbC5oPgoKc3RhdGljIHVpbnQ4X3QgY29kZVtdID0gewogICAgMHgwMCwweDAyLDB4ODcsMHhlOCwweDAwLDB4MTIsMHhmOCwweGZiLAogICAgMHgwMCwweDIyLDB4NDksMHgzNywweDAwLDB4MzIsMHgxZiwweDRlLAogICAgMHgwNywweDMyLDB4ODAsMHg4OSwweDAxLDB4MzIsMHg2NiwweDRjLAogICAgMHgwNSwweGMzLDB4MDUsMHhmMywweDAxLDB4MTIsMHg3MywweGE5LAogICAgMHgwNywweDIyLDB4OWIsMHhlNSwweDAzLDB4ODMsMHgwNiwweDEyLAogICAgMHhiMywweGI2LDB4MDUsMHgwMiwweGE4LDB4N2IsMHgwNSwweGYzLAogICAgMHgwMCwweDMyLDB4MGEsMHgwMCwweDAzLDB4OTMsMHgwMywweDIyLAogICAgMHg2OSwweDc2LDB4MDQsMHgwMSwweDBiLDB4MzEsMHgwZiwweDAwLAogICAgMHgxMCwweDAwLDB4MDUsMHgxMiwweGI0LDB4MzYsMHgwMCwweGMzLAogICAgMHgwNywweDAyLDB4MDcsMHgzNSwweDAzLDB4ODMsMHgwNSwweDEyLAogICAgMHgwZiwweDY0LDB4MDAsMHg0MywweDAzLDB4YjMsMHgwOCwweDAyLAogICAgMHgwMiwweDAwLDB4MDUsMHgyMywweDAxLDB4YjMsMHgwNywweGMzLAogICAgMHgwNSwweDAyLDB4NWUsMHhkNiwweDA3LDB4ODMsMHgwNiwweDczLAogICAgMHgwMiwweDMyLDB4ODAsMHgxNCwweDAzLDB4MTIsMHg3YiwweDRiLAogICAgMHgwNiwweDEyLDB4YTEsMHgyOCwweDAxLDB4MjIsMHgxNywweDMwLAogICAgMHgwMiwweGEzLDB4MDAsMHgxMiwweDZkLDB4ZGEsMHgwMSwweDUzLAogICAgMHgwMiwweDIzLDB4MDQsMHgxMSwweDAzLDB4MDMsMHgwNywweDAyLAogICAgMHgxNywweDA0LDB4MDMsMHhjMywweDAzLDB4MTIsMHg0YiwweGFjLAogICAgMHgwMiwweDMyLDB4Y2UsMHgzMywweDAxLDB4MDMsMHgwNiwweDEyLAogICAgMHgxMiwweDhlLAp9OwoKc3RhdGljIGNvbnN0IGNoYXIgKm9wX25hbWVzW10gPSB7CiAgICAiTU9WRSIsICJPUiIsICJYT1IiLCAiQU5EIiwgIk5PVCIsICJBREQiLCAiU1VCIiwgIk1VTCIsICJTSEwiLCAiU0hSIiwKICAgICJJTkMiLCAiREVDIiwgIlBVU0giLCAiUE9QIiwgIkNNUCIsICJKTloiLCAiSloiLAp9OwoKdHlwZWRlZiBzdHJ1Y3QgaW5zdHJ1Y3Rpb24gewogICAgc2l6ZV90IG9mZnNldDsKICAgIHVuc2lnbmVkIGludCBvcGNvZGU7CiAgICB1bnNpZ25lZCBpbnQgbW9kZTsKICAgIHVuc2lnbmVkIGludCByZGVzdDsKICAgIHVuc2lnbmVkIGludCByc3JjOwogICAgdWludDE2X3QgaW1tOwp9IGluc3RydWN0aW9uOwoKCmludCBtYWluKHZvaWQpCnsKICAgIHN0YXRpYyBpbnN0cnVjdGlvbiBpbnN0cnVjdGlvbnNbMTYzODRdOwogICAgc2l6ZV90IG51bV9pbnN0cnVjdGlvbnMgPSAwOwoKICAgIGZvciAoc2l6ZV90IGkgPSAwOyBpIDwgc2l6ZW9mKGNvZGUpOyBpICs9IDIpIHsKICAgICAgICB1bnNpZ25lZCBpbnQgb3B0ID0gY29kZVtpICsgMV07CgogICAgICAgIGluc3RydWN0aW9uIGluc24gPSB7CiAgICAgICAgICAgIC5vZmZzZXQgPSBpLAogICAgICAgICAgICAub3Bjb2RlID0gY29kZVtpXSwKICAgICAgICAgICAgLm1vZGUgPSBvcHQgJiAxNSwKICAgICAgICAgICAgLnJkZXN0ID0gKG9wdCA+PiA0KSAmIDMsCiAgICAgICAgICAgIC5yc3JjID0gKG9wdCA+PiA2KSAmIDMsCiAgICAgICAgICAgIC5pbW0gPSAweGJhYWRVLAogICAgICAgIH07CgogICAgICAgIGlmIChpbnNuLm9wY29kZSA+PSBzaXplb2Yob3BfbmFtZXMpIC8gc2l6ZW9mKG9wX25hbWVzWzBdKSkgewogICAgICAgICAgICBmcHJpbnRmKHN0ZGVyciwgIldyb25nIG9wY29kZSAldSBhdCAlLjh6eFxuIiwgaW5zbi5vcGNvZGUsIGluc24ub2Zmc2V0KTsKICAgICAgICAgICAgcmV0dXJuIDE7CiAgICAgICAgfQoKICAgICAgICBpZiAoaW5zbi5tb2RlID49IDQpIHsKICAgICAgICAgICAgZnByaW50ZihzdGRlcnIsICJXcm9uZyBtb2RlICV1IGF0ICUuOHp4XG4iLCBpbnNuLm1vZGUsIGluc24ub2Zmc2V0KTsKICAgICAgICAgICAgcmV0dXJuIDE7CiAgICAgICAgfQoKICAgICAgICBpZiAoaW5zbi5tb2RlID09IDAgfHwgaW5zbi5tb2RlID09IDIpIHsKICAgICAgICAgICAgaSArPSAyOwogICAgICAgICAgICBpbnNuLmltbSA9IGNvZGVbaV0gfCBjb2RlW2kgKyAxXSA8PCA4OwogICAgICAgIH0KICAgICAgICBpbnN0cnVjdGlvbnNbbnVtX2luc3RydWN0aW9ucysrXSA9IGluc247CiAgICB9CgogICAgc2l6ZV90IGlwID0gMDsKICAgIHVpbnQxNl90IHJlZ3NbNF0gPSB7IDAgfTsKICAgIHVpbnQxNl90IHN0YWNrWzI1Nl07CiAgICBzaXplX3Qgc3RhY2twdHIgPSAwOwogICAgYm9vbCB6ZiA9IGZhbHNlOwoKICAgIHdoaWxlIChpcCA8IG51bV9pbnN0cnVjdGlvbnMpIHsKICAgICAgICBpbnN0cnVjdGlvbiAqaW5zbiA9ICZpbnN0cnVjdGlvbnNbaXBdOwogICAgICAgIHVpbnQxNl90ICpkZXN0ID0gTlVMTDsKICAgICAgICB1aW50MTZfdCAqc3JjID0gTlVMTDsKICAgICAgICB1aW50MTZfdCBpbW0gPSBpbnNuLT5pbW07CgogICAgICAgIHByaW50ZigiJS40eng6ICVzXHQiLCBpcCwgb3BfbmFtZXNbaW5zbi0+b3Bjb2RlXSk7CgogICAgICAgIHN3aXRjaCAoaW5zbi0+bW9kZSkgewogICAgICAgICAgICBjYXNlIDA6IC8vIElNTS4KICAgICAgICAgICAgICAgIGRlc3QgPSAmaW1tOwogICAgICAgICAgICAgICAgcHJpbnRmKCIlLjR4XHQiLCBpbnNuLT5pbW0pOwogICAgICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgICAgIGNhc2UgMTogLy8gUkVHLgogICAgICAgICAgICAgICAgZGVzdCA9ICZyZWdzW2luc24tPnJkZXN0XTsKICAgICAgICAgICAgICAgIHByaW50ZigiciV1XHQiLCBpbnNuLT5yZGVzdCk7CiAgICAgICAgICAgICAgICBicmVhazsKICAgICAgICAgICAgY2FzZSAyOiAvLyBSRUcsIElNTS4KICAgICAgICAgICAgICAgIGRlc3QgPSAmcmVnc1tpbnNuLT5yZGVzdF07CiAgICAgICAgICAgICAgICBzcmMgPSAmaW1tOwogICAgICAgICAgICAgICAgcHJpbnRmKCJyJXUsICUuNHgiLCBpbnNuLT5yZGVzdCwgaW5zbi0+aW1tKTsKICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICBjYXNlIDM6IC8vIFJFRywgUkVHLgogICAgICAgICAgICAgICAgZGVzdCA9ICZyZWdzW2luc24tPnJkZXN0XTsKICAgICAgICAgICAgICAgIHNyYyA9ICZyZWdzW2luc24tPnJzcmNdOwogICAgICAgICAgICAgICAgcHJpbnRmKCJyJXUsIHIldVx0IiwgaW5zbi0+cmRlc3QsIGluc24tPnJzcmMpOwogICAgICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgfQoKICAgICAgICBwcmludGYoIiA7ICIpOwogICAgICAgICsraXA7CgogICAgICAgIHN3aXRjaCAoaW5zbi0+b3Bjb2RlKSB7CiAgICAgICAgICAgIGNhc2UgMDogLy8gTU9WRS4KICAgICAgICAgICAgICAgICpkZXN0ID0gKnNyYzsKICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICBjYXNlIDE6IC8vIE9SLgogICAgICAgICAgICAgICAgKmRlc3QgPSAqZGVzdCB8fCAqc3JjOwogICAgICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgICAgIGNhc2UgMjogLy8gWE9SLgogICAgICAgICAgICAgICAgKmRlc3QgPSAoKmRlc3QgfHwgKnNyYykgJiYgISgqZGVzdCAmJiAqc3JjKTsKICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICBjYXNlIDM6IC8vIEFORC4KICAgICAgICAgICAgICAgICpkZXN0ID0gKmRlc3QgJiYgKnNyYzsKICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICBjYXNlIDQ6IC8vIE5PVC4KICAgICAgICAgICAgICAgICpkZXN0ID0gISpkZXN0OwogICAgICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgICAgIGNhc2UgNTogLy8gQURELgogICAgICAgICAgICAgICAgKmRlc3QgKz0gKnNyYzsKICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICBjYXNlIDY6IC8vIFNVQi4KICAgICAgICAgICAgICAgICpkZXN0IC09ICpzcmM7CiAgICAgICAgICAgICAgICBicmVhazsKICAgICAgICAgICAgY2FzZSA3OiAvLyBNVUwuCiAgICAgICAgICAgICAgICAqZGVzdCAqPSAqc3JjOwogICAgICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgICAgIGNhc2UgODogLy8gU0hMLgogICAgICAgICAgICAgICAgKmRlc3QgPDw9ICpzcmM7CiAgICAgICAgICAgICAgICBicmVhazsKICAgICAgICAgICAgY2FzZSA5OiAvLyBTSFIuCiAgICAgICAgICAgICAgICAqZGVzdCA+Pj0gKnNyYzsKICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICBjYXNlIDEwOiAvLyBJTkMuCiAgICAgICAgICAgICAgICAqZGVzdCArPSAxOwogICAgICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgICAgIGNhc2UgMTE6IC8vIERFQy4KICAgICAgICAgICAgICAgICpkZXN0IC09IDE7CiAgICAgICAgICAgICAgICBicmVhazsKICAgICAgICAgICAgY2FzZSAxMjogLy8gUFVTSC4KICAgICAgICAgICAgICAgIGlmIChzdGFja3B0ciA+PSBzaXplb2Yoc3RhY2spIC8gc2l6ZW9mKHN0YWNrWzBdKSkgewogICAgICAgICAgICAgICAgICAgIGZwcmludGYoc3RkZXJyLCAiU3RhY2sgb3ZlcmZsb3dcbiIpOwogICAgICAgICAgICAgICAgICAgIHJldHVybiAyOwogICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgc3RhY2tbc3RhY2twdHIrK10gPSAqZGVzdDsKICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICBjYXNlIDEzOiAvLyBQT1AKICAgICAgICAgICAgICAgIGlmIChzdGFja3B0ciA9PSAwKSB7CiAgICAgICAgICAgICAgICAgICAgZnByaW50ZihzdGRlcnIsICJTdGFjayB1bmRlcmZsb3dcbiIpOwogICAgICAgICAgICAgICAgICAgIHJldHVybiAyOwogICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgKmRlc3QgPSBzdGFja1stLXN0YWNrcHRyXTsKICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICBjYXNlIDE0OiAvLyBDTVAuCiAgICAgICAgICAgICAgICB6ZiA9ICgqZGVzdCAtICpzcmMpID09IDA7CiAgICAgICAgICAgICAgICBicmVhazsKICAgICAgICAgICAgY2FzZSAxNTogLy8gSk5aLgogICAgICAgICAgICAgICAgaWYgKCF6ZikgewogICAgICAgICAgICAgICAgICAgIGlwID0gKmRlc3Q7CiAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICBicmVhazsKICAgICAgICAgICAgY2FzZSAxNjogLy8gSlouCiAgICAgICAgICAgICAgICBpZiAoemYpIHsKICAgICAgICAgICAgICAgICAgICBpcCA9ICpkZXN0OwogICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgfQoKICAgICAgICBpZiAoaW5zbi0+b3Bjb2RlID49IDEgJiYgaW5zbi0+b3Bjb2RlIDw9IDExKSB7CiAgICAgICAgICAgIHpmID0gKmRlc3QgPT0gMDsKICAgICAgICB9CgogICAgICAgIHByaW50ZigiIHIwID0gJS40eCwgcjEgPSAlLjR4LCByMiA9ICUuNHgsIHIzID0gJS40eCwgemYgPSAldVxuIiwKICAgICAgICAgICAgcmVnc1swXSwgcmVnc1sxXSwgcmVnc1syXSwgcmVnc1szXSwgemYpOwogICAgfQp9Cg==