opcode.h

Go to the documentation of this file.

#ifndef REDUCT_OPCODE_H
#define REDUCT_OPCODE_H 1
 
#include <reduct/defs.h>
#include <stdint.h>
 
/**
 * @file opcode.h
 * @brief Bytecode opcodes and properties.
 * @defgroup opcode Opcodes
 * @{
 */
 
/**
 * @brief Opcode mode enumeration.
 * @enum reduct_opcode_mode_t
 */
typedef enum
{
    REDUCT_OPCODE_MODE_REG = 0,        ///< Register operand mode.
    REDUCT_OPCODE_MODE_CONST = 1 << 7, ///< Constant operand mode.
} reduct_opcode_mode_t;
 
/**
 * @brief Opcode operand layouts.
 * @enum reduct_opcode_layout_t
 */
typedef enum
{
    REDUCT_LAYOUT_ABC,       ///< R(A) R(B) R/K(C)
    REDUCT_LAYOUT_AB,        ///< R(A) R(B)
    REDUCT_LAYOUT_AC,        ///< R(A) R/K(C)
    REDUCT_LAYOUT_C,         ///< R/K(C)
    REDUCT_LAYOUT_SAX,       ///< sAx
    REDUCT_LAYOUT_SAXC,      ///< sAx R/K(C)
    REDUCT_LAYOUT_ABC_RANGE, ///< R(A) B R/K(C)
    REDUCT_LAYOUT_AB_RANGE,  ///< R(A) B
    REDUCT_LAYOUT_NONE       ///< No operands
} reduct_opcode_layout_t;
 
/**
 * @brief Opcode enumeration.
 * @enum reduct_opcode_t
 *
 * @warning Instructins that start a new frame such as `REDUCT_OPCODE_CALL` or `REDUCT_OPCODE_RECUR` will utilize the
 * target register (R(A)) as the base of the new frame. As such, this register must be greater than any live register to
 * avoid clobbering.
 */
typedef enum
{
    REDUCT_OPCODE_NOP = 0x10, ///< No operation.
    REDUCT_OPCODE_MOV,        ///< (A, C) Move value in R/K(C) to R(A).
    REDUCT_OPCODE_LIST,       ///< (A, B) R(A) = (R(A) R(A + 1) ... R(A + B - 1))
    REDUCT_OPCODE_CLOSURE,    ///< (A, C) Wrap the function prototype in K(C) in a closure and store in R(A).
    REDUCT_OPCODE_CAPTURE,    ///< (A, B, C) Capture R/K(C) into constant slot B in closure R(A).
    REDUCT_OPCODE_JMP,        ///< (sAx) Unconditional jump by relative offset sAx.
    REDUCT_OPCODE_JMPF,       ///< (sAx, C) Jump by sAx if R(C) is falsy.
    REDUCT_OPCODE_JMPT,       ///< (sAx, C) Jump by sAx if R(C) is truthy.
    REDUCT_OPCODE_CALL,       ///< (A, B, C) Call callable in R/K(C) with B args starting from R(A). Result in R(A).
    REDUCT_OPCODE_RET,        ///< (C) Return value in R/K(C).
    REDUCT_OPCODE_TAILCALL,   ///< (A, B, C) Tail call callable in R/K(C) with B args starting from R(A).
    REDUCT_OPCODE_RECUR,      ///< (A, B) Recursively call the current function with B args starting from R(A).
    REDUCT_OPCODE_TAILRECUR,  ///< (A, B) Recursively tail call the current function with B args starting from R(A).
    REDUCT_OPCODE_EQ,         ///< (A, B, C) If R(B) == R/K(C) store true in R(A), else false.
    REDUCT_OPCODE_NEQ,        ///< (A, B, C) If R(B) != R/K(C) store true in R(A), else false.
    REDUCT_OPCODE_LT,         ///< (A, B, C) If R(B) < R/K(C) store true in R(A), else false.
    REDUCT_OPCODE_LE,         ///< (A, B, C) If R(B) <= R/K(C) store true in R(A), else false.
    REDUCT_OPCODE_GT,         ///< (A, B, C) If R(B) > R/K(C) store true in R(A), else false.
    REDUCT_OPCODE_GE,         ///< (A, B, C) If R(B) >= R/K(C) store true in R(A), else false.
    REDUCT_OPCODE_ADD,        ///< (A, B, C) R(A) = R(B) + R/K(C)
    REDUCT_OPCODE_SUB,        ///< (A, B, C) R(A) = R(B) - R/K(C)
    REDUCT_OPCODE_MUL,        ///< (A, B, C) R(A) = R(B) * R/K(C)
    REDUCT_OPCODE_DIV,        ///< (A, B, C) R(A) = R(B) / R/K(C)
    REDUCT_OPCODE_MOD,        ///< (A, B, C) R(A) = R(B) % R/K(C)
    REDUCT_OPCODE_BAND,       ///< (A, B, C) R(A) = R(B) & R/K(C)
    REDUCT_OPCODE_BOR,        ///< (A, B, C) R(A) = R(B) | R/K(C)
    REDUCT_OPCODE_BXOR,       ///< (A, B, C) R(A) = R(B) ^ R/K(C)
    REDUCT_OPCODE_BNOT,       ///< (A, C) R(A) = ~R/K(C)
    REDUCT_OPCODE_SHL,        ///< (A, B, C) R(A) = R(B) << R/K(C)
    REDUCT_OPCODE_SHR,        ///< (A, B, C) R(A) = R(B) >> R/K(C)
    REDUCT_OPCODE_JEQ,        ///< (B, C) Skip the next instruction if R(B) == R/K(C), else continue.
    REDUCT_OPCODE_JNEQ,       ///< (B, C) Skip the next instruction if R(B) != R/K(C), else continue.
    REDUCT_OPCODE_JLT,        ///< (B, C) Skip the next instruction if R(B) < R/K(C), else continue.
    REDUCT_OPCODE_JLE,        ///< (B, C) Skip the next instruction if R(B) <= R/K(C), else continue.
    REDUCT_OPCODE_JGT,        ///< (B, C) Skip the next instruction if R(B) > R/K(C), else continue.
    REDUCT_OPCODE_JGE,        ///< (B, C) Skip the next instruction if R(B) >= R/K(C), else continue.
    REDUCT_OPCODE_LEN,        ///< (A, C) R(A) = length of R/K(C)
    REDUCT_OPCODE_NTH2,       ///< (A, B, C) R(A) = R(B)[R/K(C)]
    REDUCT_OPCODE_NTH3,       ///< (A, B, C) R(A) = R(A)[R(B)][R/K(C)]
    REDUCT_OPCODE_RANGE1,     ///< (A, C) R(A) = range(0, R/K(C), 1)
    REDUCT_OPCODE_RANGE2,     ///< (A, B, C) R(A) = range(R(B), R/K(C), 1)
    REDUCT_OPCODE_RANGE3,     ///< (A, B, C) R(A) = range(R(A), R(B), R/K(C))
    REDUCT_OPCODE_REPEAT,     ///< (A, B, C) R(A) = repeat(R(B), R/K(C))
    REDUCT_OPCODE_FORK, ///< (A, B, C) Spawn a thread for R/K(C) with B args starting at R(A). Task handle stored in
                        ///< R(A).
    REDUCT_OPCODE_JOIN, ///< (A, C) Wait for task handle in R(C) to complete, result stored in R(A).
    REDUCT_OPCODE_CONCAT,  ///< (A, B) R(A) = concat(R(A) ... R(A + B - 1))
    REDUCT_OPCODE_APPEND,  ///< (A, B) R(A) = append(R(A), R(A + 1) ... R(A + B - 1))
    REDUCT_OPCODE_PREPEND, ///< (A, B) R(A) = prepend(R(A), R(A + 1) ... R(A + B - 1))
    REDUCT_OPCODE_FIRST,   ///< (A, C) R(A) = first(R/K(C))
    REDUCT_OPCODE_LAST,    ///< (A, C) R(A) = last(R/K(C))
    REDUCT_OPCODE_REST,    ///< (A, C) R(A) = rest(R/K(C))
    REDUCT_OPCODE_INIT,    ///< (A, C) R(A) = init(R/K(C))
    REDUCT_OPCODE_MOV_CONST = REDUCT_OPCODE_MOV | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_CALL_CONST = REDUCT_OPCODE_CALL | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_RET_CONST = REDUCT_OPCODE_RET | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_CAPTURE_CONST = REDUCT_OPCODE_CAPTURE | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_TAILCALL_CONST = REDUCT_OPCODE_TAILCALL | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_EQ_CONST = REDUCT_OPCODE_EQ | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_NEQ_CONST = REDUCT_OPCODE_NEQ | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_LT_CONST = REDUCT_OPCODE_LT | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_LE_CONST = REDUCT_OPCODE_LE | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_GT_CONST = REDUCT_OPCODE_GT | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_GE_CONST = REDUCT_OPCODE_GE | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_ADD_CONST = REDUCT_OPCODE_ADD | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_SUB_CONST = REDUCT_OPCODE_SUB | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_MUL_CONST = REDUCT_OPCODE_MUL | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_DIV_CONST = REDUCT_OPCODE_DIV | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_MOD_CONST = REDUCT_OPCODE_MOD | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_BAND_CONST = REDUCT_OPCODE_BAND | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_BOR_CONST = REDUCT_OPCODE_BOR | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_BXOR_CONST = REDUCT_OPCODE_BXOR | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_BNOT_CONST = REDUCT_OPCODE_BNOT | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_SHL_CONST = REDUCT_OPCODE_SHL | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_SHR_CONST = REDUCT_OPCODE_SHR | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_JEQ_CONST = REDUCT_OPCODE_JEQ | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_JNEQ_CONST = REDUCT_OPCODE_JNEQ | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_JLT_CONST = REDUCT_OPCODE_JLT | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_JLE_CONST = REDUCT_OPCODE_JLE | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_JGT_CONST = REDUCT_OPCODE_JGT | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_JGE_CONST = REDUCT_OPCODE_JGE | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_LEN_CONST = REDUCT_OPCODE_LEN | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_NTH2_CONST = REDUCT_OPCODE_NTH2 | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_NTH3_CONST = REDUCT_OPCODE_NTH3 | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_RANGE1_CONST = REDUCT_OPCODE_RANGE1 | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_RANGE2_CONST = REDUCT_OPCODE_RANGE2 | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_RANGE3_CONST = REDUCT_OPCODE_RANGE3 | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_REPEAT_CONST = REDUCT_OPCODE_REPEAT | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_FORK_CONST = REDUCT_OPCODE_FORK | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_JOIN_CONST = REDUCT_OPCODE_JOIN | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_FIRST_CONST = REDUCT_OPCODE_FIRST | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_LAST_CONST = REDUCT_OPCODE_LAST | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_REST_CONST = REDUCT_OPCODE_REST | REDUCT_OPCODE_MODE_CONST,
    REDUCT_OPCODE_INIT_CONST = REDUCT_OPCODE_INIT | REDUCT_OPCODE_MODE_CONST,
} reduct_opcode_t;
 
/**
 * @brief Opcode flags.
 * @enum reduct_opcode_flags_t
 */
typedef enum
{
    REDUCT_OPCODE_FLAG_HAS_TARGET = (1 << 0),     ///< Opcode modifies target register A.
    REDUCT_OPCODE_FLAG_IS_JUMP = (1 << 1),        ///< Opcode is a jump.
    REDUCT_OPCODE_FLAG_HAS_CONST = (1 << 2),      ///< Opcode uses C operand and has both reg/const versions.
    REDUCT_OPCODE_FLAG_READ_A = (1 << 3),         ///< Opcode reads from register A (or range starting at A).
    REDUCT_OPCODE_FLAG_READ_B = (1 << 4),         ///< Opcode reads from register B.
    REDUCT_OPCODE_FLAG_READ_C = (1 << 5),         ///< Opcode reads from register/constant C.
    REDUCT_OPCODE_FLAG_READ_RANGE = (1 << 6),     ///< Opcode reads a range of registers starting at A.
    REDUCT_OPCODE_FLAG_IS_COMMUTATIVE = (1 << 7), ///< Opcode is commutative.
    REDUCT_OPCODE_FLAG_IS_SKIP = (1 << 8),        ///< Opcode is a skip instruction.
    REDUCT_OPCODE_FLAG_IS_CALL = (1 << 9),        ///< Opcode is a function call.
    REDUCT_OPCODE_FLAG_IS_TERMINATOR = (1 << 10), ///< Opcode ends basic block reachability.
    REDUCT_OPCODE_FLAG_IS_RECUR = (1 << 11),      ///< Opcode is a recursive call.
    REDUCT_OPCODE_FLAG_IS_FORK = (1 << 12),       ///< Opcode returns a task handle.
} reduct_opcode_flags_t;
 
/**
 * @brief Opcode information structure.
 */
typedef struct reduct_opcode_info
{
    const char* name;
    reduct_opcode_layout_t layout;
    reduct_opcode_flags_t flags;
} reduct_opcode_info_t;
 
/**
 * @brief Opcode information and flags table.
 */
REDUCT_API extern const reduct_opcode_info_t reductOpcodeTable[128];
 
/**
 * @brief Get the base form of the opcode without the constant bit set.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_BASE(_op) ((_op) & ~REDUCT_OPCODE_MODE_CONST)
 
/**
 * @brief Get the name of an opcode.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_GET_NAME(_op) (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].name)
 
/**
 * @brief Get the layout of an opcode.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_GET_LAYOUT(_op) (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].layout)
 
/**
 * @brief Check if an opcode is a comparison instruction.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_IS_COMPARE(_op) \
    (REDUCT_OPCODE_BASE(_op) >= REDUCT_OPCODE_EQ && REDUCT_OPCODE_BASE(_op) <= REDUCT_OPCODE_GE)
 
/**
 * @brief Get the skip version of a comparison opcode.
 *
 * @param _op The comparison opcode.
 */
#define REDUCT_OPCODE_TO_SKIP(_op) \
    (REDUCT_OPCODE_IS_COMPARE(_op) ? (reduct_opcode_t)((_op) + (REDUCT_OPCODE_JEQ - REDUCT_OPCODE_EQ)) \
                                   : REDUCT_OPCODE_NOP)
 
/**
 * @brief Invert a skip comparison opcode (e.g. JEQ <-> JNEQ).
 *
 * @param _op The skip opcode.
 */
#define REDUCT_OPCODE_INVERT_SKIP(_op) \
    ((reduct_opcode_t)((REDUCT_OPCODE_BASE(_op) == REDUCT_OPCODE_JEQ           ? REDUCT_OPCODE_JNEQ \
                               : REDUCT_OPCODE_BASE(_op) == REDUCT_OPCODE_JNEQ ? REDUCT_OPCODE_JEQ \
                               : REDUCT_OPCODE_BASE(_op) == REDUCT_OPCODE_JLT  ? REDUCT_OPCODE_JGE \
                               : REDUCT_OPCODE_BASE(_op) == REDUCT_OPCODE_JGE  ? REDUCT_OPCODE_JLT \
                               : REDUCT_OPCODE_BASE(_op) == REDUCT_OPCODE_JLE  ? REDUCT_OPCODE_JGT \
                               : REDUCT_OPCODE_BASE(_op) == REDUCT_OPCODE_JGT  ? REDUCT_OPCODE_JLE \
                                                                               : (_op)) | \
        ((_op) & REDUCT_OPCODE_MODE_CONST)))
 
/**
 * @brief Get the recursive version of a call opcode.
 *
 * @param _op The call opcode.
 */
#define REDUCT_OPCODE_TO_RECUR(_op) \
    (REDUCT_OPCODE_IS_CALL(_op) \
            ? (reduct_opcode_t)((REDUCT_OPCODE_BASE(_op) == REDUCT_OPCODE_TAILCALL) ? REDUCT_OPCODE_TAILRECUR \
                                                                                    : REDUCT_OPCODE_RECUR) \
            : REDUCT_OPCODE_NOP)
 
/**
 * @brief Get the tail version of a call or return opcode.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_TO_TAIL(_op) \
    ((_op) == REDUCT_OPCODE_CALL                ? REDUCT_OPCODE_TAILCALL \
            : (_op) == REDUCT_OPCODE_CALL_CONST ? REDUCT_OPCODE_TAILCALL_CONST \
            : (_op) == REDUCT_OPCODE_RECUR      ? REDUCT_OPCODE_TAILRECUR \
                                                : (_op))
 
/**
 * @brief Check if an opcode modifies its target register (A).
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_HAS_TARGET(_op) (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & REDUCT_OPCODE_FLAG_HAS_TARGET)
 
/**
 * @brief Check if an opcode is a recursive call.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_IS_RECUR(_op) (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & REDUCT_OPCODE_FLAG_IS_RECUR)
 
/**
 * @brief Check if an opcode is a jump instruction.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_IS_JUMP(_op) (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & REDUCT_OPCODE_FLAG_IS_JUMP)
 
/**
 * @brief Check if an opcode uses the C operand and has both a constant and register version.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_HAS_CONST(_op) (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & REDUCT_OPCODE_FLAG_HAS_CONST)
 
/**
 * @brief Check if an opcode reads from register A.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_READS_A(_op) (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & REDUCT_OPCODE_FLAG_READ_A)
 
/**
 * @brief Check if an opcode reads from register B.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_READS_B(_op) (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & REDUCT_OPCODE_FLAG_READ_B)
 
/**
 * @brief Check if an opcode reads from register/constant C.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_READS_C(_op) (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & REDUCT_OPCODE_FLAG_READ_C)
 
/**
 * @brief Check if an opcode reads a range of registers starting at A.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_READS_RANGE(_op) \
    (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & REDUCT_OPCODE_FLAG_READ_RANGE)
 
/**
 * @brief Check if an opcode is commutative.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_IS_COMMUTATIVE(_op) \
    (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & REDUCT_OPCODE_FLAG_IS_COMMUTATIVE)
 
/**
 * @brief Check if an opcode is a skip instruction.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_IS_SKIP(_op) (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & REDUCT_OPCODE_FLAG_IS_SKIP)
 
/**
 * @brief Check if an opcode is a skip or jump instruction.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_IS_BRANCH(_op) \
    (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & (REDUCT_OPCODE_FLAG_IS_SKIP | REDUCT_OPCODE_FLAG_IS_JUMP))
 
/**
 * @brief Check if an opcode is a function call.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_IS_CALL(_op) (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & REDUCT_OPCODE_FLAG_IS_CALL)
 
/**
 * @brief Check if an opcode is a terminator.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_IS_TERMINATOR(_op) \
    (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & REDUCT_OPCODE_FLAG_IS_TERMINATOR)
 
/**
 * @brief Check if an opcode is a binary operation (reads B and C).
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_IS_BINARY(_op) \
    ((reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & (REDUCT_OPCODE_FLAG_READ_B | REDUCT_OPCODE_FLAG_READ_C)) == \
        (REDUCT_OPCODE_FLAG_READ_B | REDUCT_OPCODE_FLAG_READ_C))
 
/**
 * @brief Check if an opcode is a ternary operation (reads A, B and C).
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_IS_TERNARY(_op) \
    ((reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & \
         (REDUCT_OPCODE_FLAG_READ_A | REDUCT_OPCODE_FLAG_READ_B | REDUCT_OPCODE_FLAG_READ_C)) == \
        (REDUCT_OPCODE_FLAG_READ_A | REDUCT_OPCODE_FLAG_READ_B | REDUCT_OPCODE_FLAG_READ_C))
 
/**
 * @brief Check if an opcode is a unary operation (reads C only).
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_IS_UNARY(_op) \
    ((reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & \
         (REDUCT_OPCODE_FLAG_READ_A | REDUCT_OPCODE_FLAG_READ_B | REDUCT_OPCODE_FLAG_READ_C)) == \
        REDUCT_OPCODE_FLAG_READ_C)
 
/**
 * @brief Check if an opcode is a fork instruction.
 *
 * @param _op The opcode.
 */
#define REDUCT_OPCODE_IS_FORK(_op) (reductOpcodeTable[REDUCT_OPCODE_BASE(_op)].flags & REDUCT_OPCODE_FLAG_IS_FORK)
 
/** @} */
 
#endif