#pragma once

#include <functional>
#include <optional>

#include "infra/pipetrace.h"

enum ctlreg {
    DATA_INSTRUCTION_FIELD_BUFFER,  // (df << 3) | if_buffer
    DATA_INSTRUCTION_FIELD_SAVED,   // (df_saved << 3) | if_saved
    INT_ENABLE,                     // (int_enable_delay << 1) | int_enable

    NUM_CTLREGS,
};

struct instruction_context {
    infra::transaction transaction;

    // Known statically at decode time
    bool need_indirect_load = false;    // final_address = mem[init_address]
    bool need_autoinc_store = false;    // mem[init_address] += 1
    bool need_exec_load = false;        // data = mem[final_address]
    bool need_read_acc = false;         // acc = %acc
    bool need_read_link = false;        // link = %link
    std::optional<ctlreg> read_ctlreg;  // ctlval = %[read_ctlreg]
    bool need_write_acc = false;        // %acc = acc
    bool need_write_link = false;       // %link = link
    std::optional<ctlreg> write_ctlreg; // %[write_ctlreg] = ctlval
    bool need_exec_store = false;       // mem[final_address] = data
    bool possibly_redirects = false;    // %pc = next_pc

    std::function<void(instruction_context &ctx)> ef;
    void execute() { ef(*this); }

    // May change over the lifetime of the instruction execution
    unsigned int next_pc;                       // includes IF
    std::optional<unsigned int> init_address;   // includes DF
    std::optional<unsigned int> final_address;  // includes DF
    std::optional<unsigned int> ctlval;
    std::optional<unsigned int> data;
    std::optional<unsigned int> acc;
    std::optional<bool> link;
    bool halt = false;
};

instruction_context decode(unsigned int df, unsigned int pc, unsigned int bits);