system/freebsd-src
system/freebsd-src
1
0
Fork 0
mirror of https://github.com/freebsd/freebsd-src synced 2024-07-21 18:27:22 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
freebsd-src/contrib/bc/include/program.h
Stefan Eßer 175a4d1042 contrib/bc: update to version 6.4.0 
This version contains a fix for an issue that can affect complex
bc scripts that use multiple read() functions that receive input from
an interactive user. The same value could be returned multiple times.

MFC after:	2 weeks
2023-03-10 11:33:33 +01:00

1001 lines
38 KiB
C
Raw Blame History

/*
* *****************************************************************************
*
* SPDX-License-Identifier: BSD-2-Clause
*
* Copyright (c) 2018-2023 Gavin D. Howard and contributors.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
*
* * Redistributions of source code must retain the above copyright notice, this
* list of conditions and the following disclaimer.
*
* * Redistributions in binary form must reproduce the above copyright notice,
* this list of conditions and the following disclaimer in the documentation
* and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
* ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
* LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
* POSSIBILITY OF SUCH DAMAGE.
*
* *****************************************************************************
*
* Definitions for bc programs.
*
*/
#ifndef BC_PROGRAM_H
#define BC_PROGRAM_H
#include <assert.h>
#include <stddef.h>
#include <status.h>
#include <parse.h>
#include <lang.h>
#include <num.h>
#include <rand.h>
/// The index of ibase in the globals array.
#define BC_PROG_GLOBALS_IBASE (0)
/// The index of obase in the globals array.
#define BC_PROG_GLOBALS_OBASE (1)
/// The index of scale in the globals array.
#define BC_PROG_GLOBALS_SCALE (2)
#if BC_ENABLE_EXTRA_MATH
/// The index of the rand max in the maxes array.
#define BC_PROG_MAX_RAND (3)
#endif // BC_ENABLE_EXTRA_MATH
/// The length of the globals array.
#define BC_PROG_GLOBALS_LEN (3 + BC_ENABLE_EXTRA_MATH)
typedef struct BcProgram
{
/// The array of globals values.
BcBigDig globals[BC_PROG_GLOBALS_LEN];
#if BC_ENABLED
/// The array of globals stacks.
BcVec globals_v[BC_PROG_GLOBALS_LEN];
#endif // BC_ENABLED
#if BC_ENABLE_EXTRA_MATH
/// The pseudo-random number generator.
BcRNG rng;
#endif // BC_ENABLE_EXTRA_MATH
/// The results stack.
BcVec results;
/// The execution stack.
BcVec stack;
/// The constants encountered in the program. They are global to the program
/// to prevent bad accesses when functions that used non-auto variables are
/// replaced.
BcVec consts;
/// The map of constants to go with consts.
BcVec const_map;
/// The strings encountered in the program. They are global to the program
/// to prevent bad accesses when functions that used non-auto variables are
/// replaced.
BcVec strs;
/// The map of strings to go with strs.
BcVec str_map;
/// The array of functions.
BcVec fns;
/// The map of functions to go with fns.
BcVec fn_map;
/// The array of variables.
BcVec vars;
/// The map of variables to go with vars.
BcVec var_map;
/// The array of arrays.
BcVec arrs;
/// The map of arrays to go with arrs.
BcVec arr_map;
#if DC_ENABLED
/// A vector of tail calls. These are just integers, which are the number of
/// tail calls that have been executed for each function (string) on the
/// stack for dc. This is to prevent dc from constantly growing memory use
/// because of pushing more and more string executions on the stack.
BcVec tail_calls;
#endif // DC_ENABLED
/// A BcNum that has the proper base for asciify.
BcNum strmb;
// A BcNum to run asciify. This is to prevent GCC longjmp() clobbering
// warnings.
BcNum asciify;
#if BC_ENABLED
/// The last printed value for bc.
BcNum last;
#endif // BC_ENABLED
// The BcDig array for strmb. This uses BC_NUM_LONG_LOG10 because it is used
// in bc_num_ulong2num(), which attempts to realloc, unless it is big
// enough. This is big enough.
BcDig strmb_num[BC_NUM_BIGDIG_LOG10];
} BcProgram;
/**
* Returns true if the stack @a s has at least @a n items, false otherwise.
* @param s The stack to check.
* @param n The number of items the stack must have.
* @return True if @a s has at least @a n items, false otherwise.
*/
#define BC_PROG_STACK(s, n) ((s)->len >= ((size_t) (n)))
/**
* Get a pointer to the top value in a global value stack.
* @param v The global value stack.
* @return A pointer to the top value in @a v.
*/
#define BC_PROG_GLOBAL_PTR(v) (bc_vec_top(v))
/**
* Get the top value in a global value stack.
* @param v The global value stack.
* @return The top value in @a v.
*/
#define BC_PROG_GLOBAL(v) (*((BcBigDig*) BC_PROG_GLOBAL_PTR(v)))
/**
* Returns the current value of ibase.
* @param p The program.
* @return The current ibase.
*/
#define BC_PROG_IBASE(p) ((p)->globals[BC_PROG_GLOBALS_IBASE])
/**
* Returns the current value of obase.
* @param p The program.
* @return The current obase.
*/
#define BC_PROG_OBASE(p) ((p)->globals[BC_PROG_GLOBALS_OBASE])
/**
* Returns the current value of scale.
* @param p The program.
* @return The current scale.
*/
#define BC_PROG_SCALE(p) ((p)->globals[BC_PROG_GLOBALS_SCALE])
/// The index for the main function in the functions array.//
#define BC_PROG_MAIN (0)
/// The index for the read function in the functions array.
#define BC_PROG_READ (1)
/**
* Retires (completes the execution of) an instruction. Some instructions
* require special retirement, but most can use this. This basically pops the
* operands while preserving the result (which we assumed was pushed before the
* actual operation).
* @param p The program.
* @param nres The number of results returned by the instruction.
* @param nops The number of operands used by the instruction.
*/
#define bc_program_retire(p, nres, nops) \
(bc_vec_npopAt(&(p)->results, (nops), (p)->results.len - (nres + nops)))
#if DC_ENABLED
/// A constant that tells how many functions are required in dc.
#define BC_PROG_REQ_FUNCS (2)
#if !BC_ENABLED
/// Returns true if the calculator should pop after printing.
#define BC_PROGRAM_POP(pop) (pop)
#else // !BC_ENABLED
/// Returns true if the calculator should pop after printing.
#define BC_PROGRAM_POP(pop) (BC_IS_BC || (pop))
#endif // !BC_ENABLED
// This is here to satisfy a clang warning about recursive macros.
#define bc_program_pushVar(p, code, bgn, pop, copy) \
bc_program_pushVar_impl(p, code, bgn, pop, copy)
#else // DC_ENABLED
// This define disappears pop and copy because for bc, 'pop' and 'copy' are
// always false.
#define bc_program_pushVar(p, code, bgn, pop, copy) \
bc_program_pushVar_impl(p, code, bgn)
/// Returns true if the calculator should pop after printing.
#define BC_PROGRAM_POP(pop) (BC_IS_BC)
// In debug mode, we want bc to check the stack, but otherwise, we don't because
// the bc language implicitly mandates that the stack should always have enough
// items.
#ifdef BC_DEBUG
#define BC_PROG_NO_STACK_CHECK
#endif // BC_DEBUG
#endif // DC_ENABLED
/**
* Returns true if the BcNum @a n is acting as a string.
* @param n The BcNum to test.
* @return True if @a n is acting as a string, false otherwise.
*/
#define BC_PROG_STR(n) ((n)->num == NULL && !(n)->cap)
#if BC_ENABLED
/**
* Returns true if the result @a r and @a n is a number.
* @param r The result.
* @param n The number corresponding to the result.
* @return True if the result holds a number, false otherwise.
*/
#define BC_PROG_NUM(r, n) \
((r)->t != BC_RESULT_ARRAY && (r)->t != BC_RESULT_STR && !BC_PROG_STR(n))
#else // BC_ENABLED
/**
* Returns true if the result @a r and @a n is a number.
* @param r The result.
* @param n The number corresponding to the result.
* @return True if the result holds a number, false otherwise.
*/
#define BC_PROG_NUM(r, n) ((r)->t != BC_RESULT_STR && !BC_PROG_STR(n))
#endif // BC_ENABLED
/**
* This is a function type for unary operations. Currently, these include
* boolean not, negation, and truncation with extra math.
* @param r The BcResult to store the result into.
* @param n The parameter to the unary operation.
*/
typedef void (*BcProgramUnary)(BcResult* r, BcNum* n);
/**
* Initializes the BcProgram.
* @param p The program to initialize.
*/
void
bc_program_init(BcProgram* p);
#if BC_DEBUG
/**
* Frees a BcProgram. This is only used in debug builds because a BcProgram is
* only freed on program exit, and we don't care about freeing resources on
* exit.
* @param p The program to initialize.
*/
void
bc_program_free(BcProgram* p);
#endif // BC_DEBUG
/**
* Prints a stack trace of the bc functions or dc strings currently executing.
* @param p The program.
*/
void
bc_program_printStackTrace(BcProgram* p);
#if BC_DEBUG_CODE
#if BC_ENABLED && DC_ENABLED
/**
* Prints the bytecode in a function. This is a debug-only function.
* @param p The program.
*/
void
bc_program_code(const BcProgram* p);
/**
* Prints an instruction. This is a debug-only function.
* @param p The program.
* @param code The bytecode array.
* @param bgn A pointer to the current index. It is also updated to the next
* index.
*/
void
bc_program_printInst(const BcProgram* p, const char* code,
size_t* restrict bgn);
/**
* Prints the stack. This is a debug-only function.
* @param p The program.
*/
void
bc_program_printStackDebug(BcProgram* p);
#endif // BC_ENABLED && DC_ENABLED
#endif // BC_DEBUG_CODE
/**
* Returns the index of the variable or array in their respective arrays.
* @param p The program.
* @param name The name of the variable or array.
* @param var True if the search should be for a variable, false for an array.
* @return The index of the variable or array in the correct array.
*/
size_t
bc_program_search(BcProgram* p, const char* name, bool var);
/**
* Adds a string to the program and returns the string's index in the program.
* @param p The program.
* @param str The string to add.
* @return The string's index in the program.
*/
size_t
bc_program_addString(BcProgram* p, const char* str);
/**
* Inserts a function into the program and returns the index of the function in
* the fns array.
* @param p The program.
* @param name The name of the function.
* @return The index of the function after insertion.
*/
size_t
bc_program_insertFunc(BcProgram* p, const char* name);
/**
* Resets a program, usually because of resetting after an error.
* @param p The program to reset.
*/
void
bc_program_reset(BcProgram* p);
/**
* Executes bc or dc code in the BcProgram.
* @param p The program.
*/
void
bc_program_exec(BcProgram* p);
/**
* Negates a copy of a BcNum. This is a BcProgramUnary function.
* @param r The BcResult to store the result into.
* @param n The parameter to the unary operation.
*/
void
bc_program_negate(BcResult* r, BcNum* n);
/**
* Returns a boolean not of a BcNum. This is a BcProgramUnary function.
* @param r The BcResult to store the result into.
* @param n The parameter to the unary operation.
*/
void
bc_program_not(BcResult* r, BcNum* n);
#if BC_ENABLE_EXTRA_MATH
/**
* Truncates a copy of a BcNum. This is a BcProgramUnary function.
* @param r The BcResult to store the result into.
* @param n The parameter to the unary operation.
*/
void
bc_program_trunc(BcResult* r, BcNum* n);
/**
* Assigns a value to the seed builtin variable.
* @param p The program.
* @param val The value to assign to the seed.
*/
void
bc_program_assignSeed(BcProgram* p, BcNum* val);
#endif // BC_ENABLE_EXTRA_MATH
/**
* Assigns a value to a builtin value that is not seed.
* @param p The program.
* @param scale True if the builtin is scale.
* @param obase True if the builtin is obase. This cannot be true at the same
* time @a scale is.
* @param val The value to assign to the builtin.
*/
void
bc_program_assignBuiltin(BcProgram* p, bool scale, bool obase, BcBigDig val);
/// A reference to an array of binary operator functions.
extern const BcNumBinaryOp bc_program_ops[];
/// A reference to an array of binary operator allocation request functions.
extern const BcNumBinaryOpReq bc_program_opReqs[];
/// A reference to an array of unary operator functions.
extern const BcProgramUnary bc_program_unarys[];
/// A reference to a filename for command-line expressions.
extern const char bc_program_exprs_name[];
/// A reference to a filename for stdin.
extern const char bc_program_stdin_name[];
/// A reference to the ready message printed on SIGINT.
extern const char bc_program_ready_msg[];
/// A reference to the length of the ready message.
extern const size_t bc_program_ready_msg_len;
/// A reference to an array of escape characters for the print statement.
extern const char bc_program_esc_chars[];
/// A reference to an array of the characters corresponding to the escape
/// characters in bc_program_esc_chars.
extern const char bc_program_esc_seqs[];
#if BC_HAS_COMPUTED_GOTO
#if BC_DEBUG_CODE
// clang-format off
#define BC_PROG_JUMP(inst, code, ip) \
do \
{ \
inst = (uchar) (code)[(ip)->idx++]; \
bc_file_printf(&vm->ferr, "inst: %s\n", bc_inst_names[inst]); \
bc_file_flush(&vm->ferr, bc_flush_none); \
goto *bc_program_inst_lbls[inst]; \
} \
while (0)
// clang-format on
#else // BC_DEBUG_CODE
// clang-format off
#define BC_PROG_JUMP(inst, code, ip) \
do \
{ \
inst = (uchar) (code)[(ip)->idx++]; \
goto *bc_program_inst_lbls[inst]; \
} \
while (0)
// clang-format on
#endif // BC_DEBUG_CODE
#define BC_PROG_DIRECT_JUMP(l) goto lbl_##l;
#define BC_PROG_LBL(l) lbl_##l
#define BC_PROG_FALLTHROUGH
#if BC_C11
#define BC_PROG_LBLS_SIZE (sizeof(bc_program_inst_lbls) / sizeof(void*))
#define BC_PROG_LBLS_ASSERT \
_Static_assert(BC_PROG_LBLS_SIZE == BC_INST_INVALID + 1, \
"bc_program_inst_lbls[] mismatches the instructions")
#else // BC_C11
#define BC_PROG_LBLS_ASSERT
#endif // BC_C11
#if BC_ENABLED
#if DC_ENABLED
#if BC_ENABLE_EXTRA_MATH
#define BC_PROG_LBLS \
static const void* const bc_program_inst_lbls[] = { \
&&lbl_BC_INST_INC, \
&&lbl_BC_INST_DEC, \
&&lbl_BC_INST_NEG, \
&&lbl_BC_INST_BOOL_NOT, \
&&lbl_BC_INST_TRUNC, \
&&lbl_BC_INST_POWER, \
&&lbl_BC_INST_MULTIPLY, \
&&lbl_BC_INST_DIVIDE, \
&&lbl_BC_INST_MODULUS, \
&&lbl_BC_INST_PLUS, \
&&lbl_BC_INST_MINUS, \
&&lbl_BC_INST_PLACES, \
&&lbl_BC_INST_LSHIFT, \
&&lbl_BC_INST_RSHIFT, \
&&lbl_BC_INST_REL_EQ, \
&&lbl_BC_INST_REL_LE, \
&&lbl_BC_INST_REL_GE, \
&&lbl_BC_INST_REL_NE, \
&&lbl_BC_INST_REL_LT, \
&&lbl_BC_INST_REL_GT, \
&&lbl_BC_INST_BOOL_OR, \
&&lbl_BC_INST_BOOL_AND, \
&&lbl_BC_INST_ASSIGN_POWER, \
&&lbl_BC_INST_ASSIGN_MULTIPLY, \
&&lbl_BC_INST_ASSIGN_DIVIDE, \
&&lbl_BC_INST_ASSIGN_MODULUS, \
&&lbl_BC_INST_ASSIGN_PLUS, \
&&lbl_BC_INST_ASSIGN_MINUS, \
&&lbl_BC_INST_ASSIGN_PLACES, \
&&lbl_BC_INST_ASSIGN_LSHIFT, \
&&lbl_BC_INST_ASSIGN_RSHIFT, \
&&lbl_BC_INST_ASSIGN, \
&&lbl_BC_INST_ASSIGN_POWER_NO_VAL, \
&&lbl_BC_INST_ASSIGN_MULTIPLY_NO_VAL, \
&&lbl_BC_INST_ASSIGN_DIVIDE_NO_VAL, \
&&lbl_BC_INST_ASSIGN_MODULUS_NO_VAL, \
&&lbl_BC_INST_ASSIGN_PLUS_NO_VAL, \
&&lbl_BC_INST_ASSIGN_MINUS_NO_VAL, \
&&lbl_BC_INST_ASSIGN_PLACES_NO_VAL, \
&&lbl_BC_INST_ASSIGN_LSHIFT_NO_VAL, \
&&lbl_BC_INST_ASSIGN_RSHIFT_NO_VAL, \
&&lbl_BC_INST_ASSIGN_NO_VAL, \
&&lbl_BC_INST_NUM, \
&&lbl_BC_INST_VAR, \
&&lbl_BC_INST_ARRAY_ELEM, \
&&lbl_BC_INST_ARRAY, \
&&lbl_BC_INST_ZERO, \
&&lbl_BC_INST_ONE, \
&&lbl_BC_INST_LAST, \
&&lbl_BC_INST_IBASE, \
&&lbl_BC_INST_OBASE, \
&&lbl_BC_INST_SCALE, \
&&lbl_BC_INST_SEED, \
&&lbl_BC_INST_LENGTH, \
&&lbl_BC_INST_SCALE_FUNC, \
&&lbl_BC_INST_SQRT, \
&&lbl_BC_INST_ABS, \
&&lbl_BC_INST_IS_NUMBER, \
&&lbl_BC_INST_IS_STRING, \
&&lbl_BC_INST_IRAND, \
&&lbl_BC_INST_ASCIIFY, \
&&lbl_BC_INST_READ, \
&&lbl_BC_INST_RAND, \
&&lbl_BC_INST_MAXIBASE, \
&&lbl_BC_INST_MAXOBASE, \
&&lbl_BC_INST_MAXSCALE, \
&&lbl_BC_INST_MAXRAND, \
&&lbl_BC_INST_LINE_LENGTH, \
&&lbl_BC_INST_GLOBAL_STACKS, \
&&lbl_BC_INST_LEADING_ZERO, \
&&lbl_BC_INST_PRINT, \
&&lbl_BC_INST_PRINT_POP, \
&&lbl_BC_INST_STR, \
&&lbl_BC_INST_PRINT_STR, \
&&lbl_BC_INST_JUMP, \
&&lbl_BC_INST_JUMP_ZERO, \
&&lbl_BC_INST_CALL, \
&&lbl_BC_INST_RET, \
&&lbl_BC_INST_RET0, \
&&lbl_BC_INST_RET_VOID, \
&&lbl_BC_INST_HALT, \
&&lbl_BC_INST_POP, \
&&lbl_BC_INST_SWAP, \
&&lbl_BC_INST_MODEXP, \
&&lbl_BC_INST_DIVMOD, \
&&lbl_BC_INST_PRINT_STREAM, \
&&lbl_BC_INST_EXTENDED_REGISTERS, \
&&lbl_BC_INST_POP_EXEC, \
&&lbl_BC_INST_EXECUTE, \
&&lbl_BC_INST_EXEC_COND, \
&&lbl_BC_INST_PRINT_STACK, \
&&lbl_BC_INST_CLEAR_STACK, \
&&lbl_BC_INST_REG_STACK_LEN, \
&&lbl_BC_INST_STACK_LEN, \
&&lbl_BC_INST_DUPLICATE, \
&&lbl_BC_INST_LOAD, \
&&lbl_BC_INST_PUSH_VAR, \
&&lbl_BC_INST_PUSH_TO_VAR, \
&&lbl_BC_INST_QUIT, \
&&lbl_BC_INST_NQUIT, \
&&lbl_BC_INST_EXEC_STACK_LEN, \
&&lbl_BC_INST_INVALID, \
}
#else // BC_ENABLE_EXTRA_MATH
#define BC_PROG_LBLS \
static const void* const bc_program_inst_lbls[] = { \
&&lbl_BC_INST_INC, \
&&lbl_BC_INST_DEC, \
&&lbl_BC_INST_NEG, \
&&lbl_BC_INST_BOOL_NOT, \
&&lbl_BC_INST_POWER, \
&&lbl_BC_INST_MULTIPLY, \
&&lbl_BC_INST_DIVIDE, \
&&lbl_BC_INST_MODULUS, \
&&lbl_BC_INST_PLUS, \
&&lbl_BC_INST_MINUS, \
&&lbl_BC_INST_REL_EQ, \
&&lbl_BC_INST_REL_LE, \
&&lbl_BC_INST_REL_GE, \
&&lbl_BC_INST_REL_NE, \
&&lbl_BC_INST_REL_LT, \
&&lbl_BC_INST_REL_GT, \
&&lbl_BC_INST_BOOL_OR, \
&&lbl_BC_INST_BOOL_AND, \
&&lbl_BC_INST_ASSIGN_POWER, \
&&lbl_BC_INST_ASSIGN_MULTIPLY, \
&&lbl_BC_INST_ASSIGN_DIVIDE, \
&&lbl_BC_INST_ASSIGN_MODULUS, \
&&lbl_BC_INST_ASSIGN_PLUS, \
&&lbl_BC_INST_ASSIGN_MINUS, \
&&lbl_BC_INST_ASSIGN, \
&&lbl_BC_INST_ASSIGN_POWER_NO_VAL, \
&&lbl_BC_INST_ASSIGN_MULTIPLY_NO_VAL, \
&&lbl_BC_INST_ASSIGN_DIVIDE_NO_VAL, \
&&lbl_BC_INST_ASSIGN_MODULUS_NO_VAL, \
&&lbl_BC_INST_ASSIGN_PLUS_NO_VAL, \
&&lbl_BC_INST_ASSIGN_MINUS_NO_VAL, \
&&lbl_BC_INST_ASSIGN_NO_VAL, \
&&lbl_BC_INST_NUM, \
&&lbl_BC_INST_VAR, \
&&lbl_BC_INST_ARRAY_ELEM, \
&&lbl_BC_INST_ARRAY, \
&&lbl_BC_INST_ZERO, \
&&lbl_BC_INST_ONE, \
&&lbl_BC_INST_LAST, \
&&lbl_BC_INST_IBASE, \
&&lbl_BC_INST_OBASE, \
&&lbl_BC_INST_SCALE, \
&&lbl_BC_INST_LENGTH, \
&&lbl_BC_INST_SCALE_FUNC, \
&&lbl_BC_INST_SQRT, \
&&lbl_BC_INST_ABS, \
&&lbl_BC_INST_IS_NUMBER, \
&&lbl_BC_INST_IS_STRING, \
&&lbl_BC_INST_ASCIIFY, \
&&lbl_BC_INST_READ, \
&&lbl_BC_INST_MAXIBASE, \
&&lbl_BC_INST_MAXOBASE, \
&&lbl_BC_INST_MAXSCALE, \
&&lbl_BC_INST_LINE_LENGTH, \
&&lbl_BC_INST_GLOBAL_STACKS, \
&&lbl_BC_INST_LEADING_ZERO, \
&&lbl_BC_INST_PRINT, \
&&lbl_BC_INST_PRINT_POP, \
&&lbl_BC_INST_STR, \
&&lbl_BC_INST_PRINT_STR, \
&&lbl_BC_INST_JUMP, \
&&lbl_BC_INST_JUMP_ZERO, \
&&lbl_BC_INST_CALL, \
&&lbl_BC_INST_RET, \
&&lbl_BC_INST_RET0, \
&&lbl_BC_INST_RET_VOID, \
&&lbl_BC_INST_HALT, \
&&lbl_BC_INST_POP, \
&&lbl_BC_INST_SWAP, \
&&lbl_BC_INST_MODEXP, \
&&lbl_BC_INST_DIVMOD, \
&&lbl_BC_INST_PRINT_STREAM, \
&&lbl_BC_INST_EXTENDED_REGISTERS, \
&&lbl_BC_INST_POP_EXEC, \
&&lbl_BC_INST_EXECUTE, \
&&lbl_BC_INST_EXEC_COND, \
&&lbl_BC_INST_PRINT_STACK, \
&&lbl_BC_INST_CLEAR_STACK, \
&&lbl_BC_INST_REG_STACK_LEN, \
&&lbl_BC_INST_STACK_LEN, \
&&lbl_BC_INST_DUPLICATE, \
&&lbl_BC_INST_LOAD, \
&&lbl_BC_INST_PUSH_VAR, \
&&lbl_BC_INST_PUSH_TO_VAR, \
&&lbl_BC_INST_QUIT, \
&&lbl_BC_INST_NQUIT, \
&&lbl_BC_INST_EXEC_STACK_LEN, \
&&lbl_BC_INST_INVALID, \
}
#endif // BC_ENABLE_EXTRA_MATH
#else // DC_ENABLED
#if BC_ENABLE_EXTRA_MATH
#define BC_PROG_LBLS \
static const void* const bc_program_inst_lbls[] = { \
&&lbl_BC_INST_INC, \
&&lbl_BC_INST_DEC, \
&&lbl_BC_INST_NEG, \
&&lbl_BC_INST_BOOL_NOT, \
&&lbl_BC_INST_TRUNC, \
&&lbl_BC_INST_POWER, \
&&lbl_BC_INST_MULTIPLY, \
&&lbl_BC_INST_DIVIDE, \
&&lbl_BC_INST_MODULUS, \
&&lbl_BC_INST_PLUS, \
&&lbl_BC_INST_MINUS, \
&&lbl_BC_INST_PLACES, \
&&lbl_BC_INST_LSHIFT, \
&&lbl_BC_INST_RSHIFT, \
&&lbl_BC_INST_REL_EQ, \
&&lbl_BC_INST_REL_LE, \
&&lbl_BC_INST_REL_GE, \
&&lbl_BC_INST_REL_NE, \
&&lbl_BC_INST_REL_LT, \
&&lbl_BC_INST_REL_GT, \
&&lbl_BC_INST_BOOL_OR, \
&&lbl_BC_INST_BOOL_AND, \
&&lbl_BC_INST_ASSIGN_POWER, \
&&lbl_BC_INST_ASSIGN_MULTIPLY, \
&&lbl_BC_INST_ASSIGN_DIVIDE, \
&&lbl_BC_INST_ASSIGN_MODULUS, \
&&lbl_BC_INST_ASSIGN_PLUS, \
&&lbl_BC_INST_ASSIGN_MINUS, \
&&lbl_BC_INST_ASSIGN_PLACES, \
&&lbl_BC_INST_ASSIGN_LSHIFT, \
&&lbl_BC_INST_ASSIGN_RSHIFT, \
&&lbl_BC_INST_ASSIGN, \
&&lbl_BC_INST_ASSIGN_POWER_NO_VAL, \
&&lbl_BC_INST_ASSIGN_MULTIPLY_NO_VAL, \
&&lbl_BC_INST_ASSIGN_DIVIDE_NO_VAL, \
&&lbl_BC_INST_ASSIGN_MODULUS_NO_VAL, \
&&lbl_BC_INST_ASSIGN_PLUS_NO_VAL, \
&&lbl_BC_INST_ASSIGN_MINUS_NO_VAL, \
&&lbl_BC_INST_ASSIGN_PLACES_NO_VAL, \
&&lbl_BC_INST_ASSIGN_LSHIFT_NO_VAL, \
&&lbl_BC_INST_ASSIGN_RSHIFT_NO_VAL, \
&&lbl_BC_INST_ASSIGN_NO_VAL, \
&&lbl_BC_INST_NUM, \
&&lbl_BC_INST_VAR, \
&&lbl_BC_INST_ARRAY_ELEM, \
&&lbl_BC_INST_ARRAY, \
&&lbl_BC_INST_ZERO, \
&&lbl_BC_INST_ONE, \
&&lbl_BC_INST_LAST, \
&&lbl_BC_INST_IBASE, \
&&lbl_BC_INST_OBASE, \
&&lbl_BC_INST_SCALE, \
&&lbl_BC_INST_SEED, \
&&lbl_BC_INST_LENGTH, \
&&lbl_BC_INST_SCALE_FUNC, \
&&lbl_BC_INST_SQRT, \
&&lbl_BC_INST_ABS, \
&&lbl_BC_INST_IS_NUMBER, \
&&lbl_BC_INST_IS_STRING, \
&&lbl_BC_INST_IRAND, \
&&lbl_BC_INST_ASCIIFY, \
&&lbl_BC_INST_READ, \
&&lbl_BC_INST_RAND, \
&&lbl_BC_INST_MAXIBASE, \
&&lbl_BC_INST_MAXOBASE, \
&&lbl_BC_INST_MAXSCALE, \
&&lbl_BC_INST_MAXRAND, \
&&lbl_BC_INST_LINE_LENGTH, \
&&lbl_BC_INST_GLOBAL_STACKS, \
&&lbl_BC_INST_LEADING_ZERO, \
&&lbl_BC_INST_PRINT, \
&&lbl_BC_INST_PRINT_POP, \
&&lbl_BC_INST_STR, \
&&lbl_BC_INST_PRINT_STR, \
&&lbl_BC_INST_JUMP, \
&&lbl_BC_INST_JUMP_ZERO, \
&&lbl_BC_INST_CALL, \
&&lbl_BC_INST_RET, \
&&lbl_BC_INST_RET0, \
&&lbl_BC_INST_RET_VOID, \
&&lbl_BC_INST_HALT, \
&&lbl_BC_INST_POP, \
&&lbl_BC_INST_SWAP, \
&&lbl_BC_INST_MODEXP, \
&&lbl_BC_INST_DIVMOD, \
&&lbl_BC_INST_PRINT_STREAM, \
&&lbl_BC_INST_INVALID, \
}
#else // BC_ENABLE_EXTRA_MATH
#define BC_PROG_LBLS \
static const void* const bc_program_inst_lbls[] = { \
&&lbl_BC_INST_INC, \
&&lbl_BC_INST_DEC, \
&&lbl_BC_INST_NEG, \
&&lbl_BC_INST_BOOL_NOT, \
&&lbl_BC_INST_POWER, \
&&lbl_BC_INST_MULTIPLY, \
&&lbl_BC_INST_DIVIDE, \
&&lbl_BC_INST_MODULUS, \
&&lbl_BC_INST_PLUS, \
&&lbl_BC_INST_MINUS, \
&&lbl_BC_INST_REL_EQ, \
&&lbl_BC_INST_REL_LE, \
&&lbl_BC_INST_REL_GE, \
&&lbl_BC_INST_REL_NE, \
&&lbl_BC_INST_REL_LT, \
&&lbl_BC_INST_REL_GT, \
&&lbl_BC_INST_BOOL_OR, \
&&lbl_BC_INST_BOOL_AND, \
&&lbl_BC_INST_ASSIGN_POWER, \
&&lbl_BC_INST_ASSIGN_MULTIPLY, \
&&lbl_BC_INST_ASSIGN_DIVIDE, \
&&lbl_BC_INST_ASSIGN_MODULUS, \
&&lbl_BC_INST_ASSIGN_PLUS, \
&&lbl_BC_INST_ASSIGN_MINUS, \
&&lbl_BC_INST_ASSIGN, \
&&lbl_BC_INST_ASSIGN_POWER_NO_VAL, \
&&lbl_BC_INST_ASSIGN_MULTIPLY_NO_VAL, \
&&lbl_BC_INST_ASSIGN_DIVIDE_NO_VAL, \
&&lbl_BC_INST_ASSIGN_MODULUS_NO_VAL, \
&&lbl_BC_INST_ASSIGN_PLUS_NO_VAL, \
&&lbl_BC_INST_ASSIGN_MINUS_NO_VAL, \
&&lbl_BC_INST_ASSIGN_NO_VAL, \
&&lbl_BC_INST_NUM, \
&&lbl_BC_INST_VAR, \
&&lbl_BC_INST_ARRAY_ELEM, \
&&lbl_BC_INST_ARRAY, \
&&lbl_BC_INST_ZERO, \
&&lbl_BC_INST_ONE, \
&&lbl_BC_INST_LAST, \
&&lbl_BC_INST_IBASE, \
&&lbl_BC_INST_OBASE, \
&&lbl_BC_INST_SCALE, \
&&lbl_BC_INST_LENGTH, \
&&lbl_BC_INST_SCALE_FUNC, \
&&lbl_BC_INST_SQRT, \
&&lbl_BC_INST_ABS, \
&&lbl_BC_INST_IS_NUMBER, \
&&lbl_BC_INST_IS_STRING, \
&&lbl_BC_INST_ASCIIFY, \
&&lbl_BC_INST_READ, \
&&lbl_BC_INST_MAXIBASE, \
&&lbl_BC_INST_MAXOBASE, \
&&lbl_BC_INST_MAXSCALE, \
&&lbl_BC_INST_LINE_LENGTH, \
&&lbl_BC_INST_GLOBAL_STACKS, \
&&lbl_BC_INST_LEADING_ZERO, \
&&lbl_BC_INST_PRINT, \
&&lbl_BC_INST_PRINT_POP, \
&&lbl_BC_INST_STR, \
&&lbl_BC_INST_PRINT_STR, \
&&lbl_BC_INST_JUMP, \
&&lbl_BC_INST_JUMP_ZERO, \
&&lbl_BC_INST_CALL, \
&&lbl_BC_INST_RET, \
&&lbl_BC_INST_RET0, \
&&lbl_BC_INST_RET_VOID, \
&&lbl_BC_INST_HALT, \
&&lbl_BC_INST_POP, \
&&lbl_BC_INST_SWAP, \
&&lbl_BC_INST_MODEXP, \
&&lbl_BC_INST_DIVMOD, \
&&lbl_BC_INST_PRINT_STREAM, \
&&lbl_BC_INST_INVALID, \
}
#endif // BC_ENABLE_EXTRA_MATH
#endif // DC_ENABLED
#else // BC_ENABLED
#if BC_ENABLE_EXTRA_MATH
#define BC_PROG_LBLS \
static const void* const bc_program_inst_lbls[] = { \
&&lbl_BC_INST_NEG, &&lbl_BC_INST_BOOL_NOT, \
&&lbl_BC_INST_TRUNC, &&lbl_BC_INST_POWER, \
&&lbl_BC_INST_MULTIPLY, &&lbl_BC_INST_DIVIDE, \
&&lbl_BC_INST_MODULUS, &&lbl_BC_INST_PLUS, \
&&lbl_BC_INST_MINUS, &&lbl_BC_INST_PLACES, \
&&lbl_BC_INST_LSHIFT, &&lbl_BC_INST_RSHIFT, \
&&lbl_BC_INST_REL_EQ, &&lbl_BC_INST_REL_LE, \
&&lbl_BC_INST_REL_GE, &&lbl_BC_INST_REL_NE, \
&&lbl_BC_INST_REL_LT, &&lbl_BC_INST_REL_GT, \
&&lbl_BC_INST_BOOL_OR, &&lbl_BC_INST_BOOL_AND, \
&&lbl_BC_INST_ASSIGN_NO_VAL, &&lbl_BC_INST_NUM, \
&&lbl_BC_INST_VAR, &&lbl_BC_INST_ARRAY_ELEM, \
&&lbl_BC_INST_ARRAY, &&lbl_BC_INST_ZERO, \
&&lbl_BC_INST_ONE, &&lbl_BC_INST_IBASE, \
&&lbl_BC_INST_OBASE, &&lbl_BC_INST_SCALE, \
&&lbl_BC_INST_SEED, &&lbl_BC_INST_LENGTH, \
&&lbl_BC_INST_SCALE_FUNC, &&lbl_BC_INST_SQRT, \
&&lbl_BC_INST_ABS, &&lbl_BC_INST_IS_NUMBER, \
&&lbl_BC_INST_IS_STRING, &&lbl_BC_INST_IRAND, \
&&lbl_BC_INST_ASCIIFY, &&lbl_BC_INST_READ, \
&&lbl_BC_INST_RAND, &&lbl_BC_INST_MAXIBASE, \
&&lbl_BC_INST_MAXOBASE, &&lbl_BC_INST_MAXSCALE, \
&&lbl_BC_INST_MAXRAND, &&lbl_BC_INST_LINE_LENGTH, \
&&lbl_BC_INST_LEADING_ZERO, &&lbl_BC_INST_PRINT, \
&&lbl_BC_INST_PRINT_POP, &&lbl_BC_INST_STR, \
&&lbl_BC_INST_POP, &&lbl_BC_INST_SWAP, \
&&lbl_BC_INST_MODEXP, &&lbl_BC_INST_DIVMOD, \
&&lbl_BC_INST_PRINT_STREAM, &&lbl_BC_INST_EXTENDED_REGISTERS, \
&&lbl_BC_INST_POP_EXEC, &&lbl_BC_INST_EXECUTE, \
&&lbl_BC_INST_EXEC_COND, &&lbl_BC_INST_PRINT_STACK, \
&&lbl_BC_INST_CLEAR_STACK, &&lbl_BC_INST_REG_STACK_LEN, \
&&lbl_BC_INST_STACK_LEN, &&lbl_BC_INST_DUPLICATE, \
&&lbl_BC_INST_LOAD, &&lbl_BC_INST_PUSH_VAR, \
&&lbl_BC_INST_PUSH_TO_VAR, &&lbl_BC_INST_QUIT, \
&&lbl_BC_INST_NQUIT, &&lbl_BC_INST_EXEC_STACK_LEN, \
&&lbl_BC_INST_INVALID, \
}
#else // BC_ENABLE_EXTRA_MATH
#define BC_PROG_LBLS \
static const void* const bc_program_inst_lbls[] = { \
&&lbl_BC_INST_NEG, &&lbl_BC_INST_BOOL_NOT, \
&&lbl_BC_INST_POWER, &&lbl_BC_INST_MULTIPLY, \
&&lbl_BC_INST_DIVIDE, &&lbl_BC_INST_MODULUS, \
&&lbl_BC_INST_PLUS, &&lbl_BC_INST_MINUS, \
&&lbl_BC_INST_REL_EQ, &&lbl_BC_INST_REL_LE, \
&&lbl_BC_INST_REL_GE, &&lbl_BC_INST_REL_NE, \
&&lbl_BC_INST_REL_LT, &&lbl_BC_INST_REL_GT, \
&&lbl_BC_INST_BOOL_OR, &&lbl_BC_INST_BOOL_AND, \
&&lbl_BC_INST_ASSIGN_NO_VAL, &&lbl_BC_INST_NUM, \
&&lbl_BC_INST_VAR, &&lbl_BC_INST_ARRAY_ELEM, \
&&lbl_BC_INST_ARRAY, &&lbl_BC_INST_ZERO, \
&&lbl_BC_INST_ONE, &&lbl_BC_INST_IBASE, \
&&lbl_BC_INST_OBASE, &&lbl_BC_INST_SCALE, \
&&lbl_BC_INST_LENGTH, &&lbl_BC_INST_SCALE_FUNC, \
&&lbl_BC_INST_SQRT, &&lbl_BC_INST_ABS, \
&&lbl_BC_INST_IS_NUMBER, &&lbl_BC_INST_IS_STRING, \
&&lbl_BC_INST_ASCIIFY, &&lbl_BC_INST_READ, \
&&lbl_BC_INST_MAXIBASE, &&lbl_BC_INST_MAXOBASE, \
&&lbl_BC_INST_MAXSCALE, &&lbl_BC_INST_LINE_LENGTH, \
&&lbl_BC_INST_LEADING_ZERO, &&lbl_BC_INST_PRINT, \
&&lbl_BC_INST_PRINT_POP, &&lbl_BC_INST_STR, \
&&lbl_BC_INST_POP, &&lbl_BC_INST_SWAP, \
&&lbl_BC_INST_MODEXP, &&lbl_BC_INST_DIVMOD, \
&&lbl_BC_INST_PRINT_STREAM, &&lbl_BC_INST_EXTENDED_REGISTERS, \
&&lbl_BC_INST_POP_EXEC, &&lbl_BC_INST_EXECUTE, \
&&lbl_BC_INST_EXEC_COND, &&lbl_BC_INST_PRINT_STACK, \
&&lbl_BC_INST_CLEAR_STACK, &&lbl_BC_INST_REG_STACK_LEN, \
&&lbl_BC_INST_STACK_LEN, &&lbl_BC_INST_DUPLICATE, \
&&lbl_BC_INST_LOAD, &&lbl_BC_INST_PUSH_VAR, \
&&lbl_BC_INST_PUSH_TO_VAR, &&lbl_BC_INST_QUIT, \
&&lbl_BC_INST_NQUIT, &&lbl_BC_INST_EXEC_STACK_LEN, \
&&lbl_BC_INST_INVALID, \
}
#endif // BC_ENABLE_EXTRA_MATH
#endif // BC_ENABLED
#else // BC_HAS_COMPUTED_GOTO
#define BC_PROG_JUMP(inst, code, ip) break
#define BC_PROG_DIRECT_JUMP(l)
#define BC_PROG_LBL(l) case l
#define BC_PROG_FALLTHROUGH BC_FALLTHROUGH
#define BC_PROG_LBLS
#endif // BC_HAS_COMPUTED_GOTO
#endif // BC_PROGRAM_H
Reference in a new issue View git blame Copy permalink