package p.studio.compiler.backend.irvm;

public enum IRVMValidationErrorCode {
    MARSHAL_VERIFY_PRECHECK_INVALID_JUMP_TARGET,
    MARSHAL_VERIFY_PRECHECK_STACK_UNDERFLOW,
    MARSHAL_VERIFY_PRECHECK_STACK_OVERFLOW,
    MARSHAL_VERIFY_PRECHECK_STACK_MISMATCH_JOIN,
    MARSHAL_VERIFY_PRECHECK_BAD_RET_STACK_HEIGHT,
    MARSHAL_VERIFY_PRECHECK_INVALID_FUNC_ID,
    MARSHAL_VERIFY_PRECHECK_HOSTCALL_METADATA_MISSING,
    MARSHAL_VERIFY_PRECHECK_INTRINSIC_SIGNATURE_MISSING,
    MARSHAL_VERIFY_PRECHECK_UNTERMINATED_PATH,
    MARSHAL_VERIFY_PRECHECK_INTERNAL_OPCODE_RESIDUAL,
    MARSHAL_VERIFY_PRECHECK_OPCODE_NOT_ALLOWED_FOR_PROFILE,
}
