/*
* Return 0 (discard), or raise the 0x1 flag (log event).
* Currently, other flags are kept for future extensions and have no
* effect.
*/
uint64_t lttng_filter_interpret_bytecode(void *filter_data,
const char *filter_stack_data)
{
struct bytecode_runtime *bytecode = filter_data;
struct lttng_session *session = bytecode->p.session;
void *pc, *next_pc, *start_pc;
int ret = -EINVAL;
uint64_t retval = 0;
struct estack _stack;
struct estack *stack = &_stack;
register int64_t ax = 0, bx = 0;
register enum entry_type ax_t = REG_UNKNOWN, bx_t = REG_UNKNOWN;
register int top = FILTER_STACK_EMPTY;
#ifndef INTERPRETER_USE_SWITCH
static void *dispatch[NR_FILTER_OPS] = {
[ FILTER_OP_UNKNOWN ] = &&LABEL_FILTER_OP_UNKNOWN,
[ FILTER_OP_RETURN ] = &&LABEL_FILTER_OP_RETURN,
/* binary */
[ FILTER_OP_MUL ] = &&LABEL_FILTER_OP_MUL,
[ FILTER_OP_DIV ] = &&LABEL_FILTER_OP_DIV,
[ FILTER_OP_MOD ] = &&LABEL_FILTER_OP_MOD,
[ FILTER_OP_PLUS ] = &&LABEL_FILTER_OP_PLUS,
[ FILTER_OP_MINUS ] = &&LABEL_FILTER_OP_MINUS,
[ FILTER_OP_RSHIFT ] = &&LABEL_FILTER_OP_RSHIFT,
[ FILTER_OP_LSHIFT ] = &&LABEL_FILTER_OP_LSHIFT,
[ FILTER_OP_BIN_AND ] = &&LABEL_FILTER_OP_BIN_AND,
[ FILTER_OP_BIN_OR ] = &&LABEL_FILTER_OP_BIN_OR,
[ FILTER_OP_BIN_XOR ] = &&LABEL_FILTER_OP_BIN_XOR,
/* binary comparators */
[ FILTER_OP_EQ ] = &&LABEL_FILTER_OP_EQ,
[ FILTER_OP_NE ] = &&LABEL_FILTER_OP_NE,
[ FILTER_OP_GT ] = &&LABEL_FILTER_OP_GT,
[ FILTER_OP_LT ] = &&LABEL_FILTER_OP_LT,
[ FILTER_OP_GE ] = &&LABEL_FILTER_OP_GE,
[ FILTER_OP_LE ] = &&LABEL_FILTER_OP_LE,
/* string binary comparator */
[ FILTER_OP_EQ_STRING ] = &&LABEL_FILTER_OP_EQ_STRING,
[ FILTER_OP_NE_STRING ] = &&LABEL_FILTER_OP_NE_STRING,
[ FILTER_OP_GT_STRING ] = &&LABEL_FILTER_OP_GT_STRING,
[ FILTER_OP_LT_STRING ] = &&LABEL_FILTER_OP_LT_STRING,
[ FILTER_OP_GE_STRING ] = &&LABEL_FILTER_OP_GE_STRING,
[ FILTER_OP_LE_STRING ] = &&LABEL_FILTER_OP_LE_STRING,
/* s64 binary comparator */
[ FILTER_OP_EQ_S64 ] = &&LABEL_FILTER_OP_EQ_S64,
[ FILTER_OP_NE_S64 ] = &&LABEL_FILTER_OP_NE_S64,
[ FILTER_OP_GT_S64 ] = &&LABEL_FILTER_OP_GT_S64,
[ FILTER_OP_LT_S64 ] = &&LABEL_FILTER_OP_LT_S64,
[ FILTER_OP_GE_S64 ] = &&LABEL_FILTER_OP_GE_S64,
[ FILTER_OP_LE_S64 ] = &&LABEL_FILTER_OP_LE_S64,
/* double binary comparator */
[ FILTER_OP_EQ_DOUBLE ] = &&LABEL_FILTER_OP_EQ_DOUBLE,
[ FILTER_OP_NE_DOUBLE ] = &&LABEL_FILTER_OP_NE_DOUBLE,
[ FILTER_OP_GT_DOUBLE ] = &&LABEL_FILTER_OP_GT_DOUBLE,
[ FILTER_OP_LT_DOUBLE ] = &&LABEL_FILTER_OP_LT_DOUBLE,
[ FILTER_OP_GE_DOUBLE ] = &&LABEL_FILTER_OP_GE_DOUBLE,
[ FILTER_OP_LE_DOUBLE ] = &&LABEL_FILTER_OP_LE_DOUBLE,
/* Mixed S64-double binary comparators */
[ FILTER_OP_EQ_DOUBLE_S64 ] = &&LABEL_FILTER_OP_EQ_DOUBLE_S64,
[ FILTER_OP_NE_DOUBLE_S64 ] = &&LABEL_FILTER_OP_NE_DOUBLE_S64,
[ FILTER_OP_GT_DOUBLE_S64 ] = &&LABEL_FILTER_OP_GT_DOUBLE_S64,
[ FILTER_OP_LT_DOUBLE_S64 ] = &&LABEL_FILTER_OP_LT_DOUBLE_S64,
[ FILTER_OP_GE_DOUBLE_S64 ] = &&LABEL_FILTER_OP_GE_DOUBLE_S64,
[ FILTER_OP_LE_DOUBLE_S64 ] = &&LABEL_FILTER_OP_LE_DOUBLE_S64,
[ FILTER_OP_EQ_S64_DOUBLE ] = &&LABEL_FILTER_OP_EQ_S64_DOUBLE,
[ FILTER_OP_NE_S64_DOUBLE ] = &&LABEL_FILTER_OP_NE_S64_DOUBLE,
[ FILTER_OP_GT_S64_DOUBLE ] = &&LABEL_FILTER_OP_GT_S64_DOUBLE,
[ FILTER_OP_LT_S64_DOUBLE ] = &&LABEL_FILTER_OP_LT_S64_DOUBLE,
[ FILTER_OP_GE_S64_DOUBLE ] = &&LABEL_FILTER_OP_GE_S64_DOUBLE,
[ FILTER_OP_LE_S64_DOUBLE ] = &&LABEL_FILTER_OP_LE_S64_DOUBLE,
/* unary */
[ FILTER_OP_UNARY_PLUS ] = &&LABEL_FILTER_OP_UNARY_PLUS,
[ FILTER_OP_UNARY_MINUS ] = &&LABEL_FILTER_OP_UNARY_MINUS,
[ FILTER_OP_UNARY_NOT ] = &&LABEL_FILTER_OP_UNARY_NOT,
[ FILTER_OP_UNARY_PLUS_S64 ] = &&LABEL_FILTER_OP_UNARY_PLUS_S64,
[ FILTER_OP_UNARY_MINUS_S64 ] = &&LABEL_FILTER_OP_UNARY_MINUS_S64,
[ FILTER_OP_UNARY_NOT_S64 ] = &&LABEL_FILTER_OP_UNARY_NOT_S64,
[ FILTER_OP_UNARY_PLUS_DOUBLE ] = &&LABEL_FILTER_OP_UNARY_PLUS_DOUBLE,
[ FILTER_OP_UNARY_MINUS_DOUBLE ] = &&LABEL_FILTER_OP_UNARY_MINUS_DOUBLE,
[ FILTER_OP_UNARY_NOT_DOUBLE ] = &&LABEL_FILTER_OP_UNARY_NOT_DOUBLE,
/* logical */
[ FILTER_OP_AND ] = &&LABEL_FILTER_OP_AND,
[ FILTER_OP_OR ] = &&LABEL_FILTER_OP_OR,
/* load field ref */
[ FILTER_OP_LOAD_FIELD_REF ] = &&LABEL_FILTER_OP_LOAD_FIELD_REF,
[ FILTER_OP_LOAD_FIELD_REF_STRING ] = &&LABEL_FILTER_OP_LOAD_FIELD_REF_STRING,
[ FILTER_OP_LOAD_FIELD_REF_SEQUENCE ] = &&LABEL_FILTER_OP_LOAD_FIELD_REF_SEQUENCE,
[ FILTER_OP_LOAD_FIELD_REF_S64 ] = &&LABEL_FILTER_OP_LOAD_FIELD_REF_S64,
[ FILTER_OP_LOAD_FIELD_REF_DOUBLE ] = &&LABEL_FILTER_OP_LOAD_FIELD_REF_DOUBLE,
/* load from immediate operand */
[ FILTER_OP_LOAD_STRING ] = &&LABEL_FILTER_OP_LOAD_STRING,
[ FILTER_OP_LOAD_S64 ] = &&LABEL_FILTER_OP_LOAD_S64,
[ FILTER_OP_LOAD_DOUBLE ] = &&LABEL_FILTER_OP_LOAD_DOUBLE,
/* cast */
[ FILTER_OP_CAST_TO_S64 ] = &&LABEL_FILTER_OP_CAST_TO_S64,
[ FILTER_OP_CAST_DOUBLE_TO_S64 ] = &&LABEL_FILTER_OP_CAST_DOUBLE_TO_S64,
[ FILTER_OP_CAST_NOP ] = &&LABEL_FILTER_OP_CAST_NOP,
/* get context ref */
[ FILTER_OP_GET_CONTEXT_REF ] = &&LABEL_FILTER_OP_GET_CONTEXT_REF,
[ FILTER_OP_GET_CONTEXT_REF_STRING ] = &&LABEL_FILTER_OP_GET_CONTEXT_REF_STRING,
[ FILTER_OP_GET_CONTEXT_REF_S64 ] = &&LABEL_FILTER_OP_GET_CONTEXT_REF_S64,
[ FILTER_OP_GET_CONTEXT_REF_DOUBLE ] = &&LABEL_FILTER_OP_GET_CONTEXT_REF_DOUBLE,
};
#endif /* #ifndef INTERPRETER_USE_SWITCH */
START_OP
OP(FILTER_OP_UNKNOWN):
OP(FILTER_OP_LOAD_FIELD_REF):
#ifdef INTERPRETER_USE_SWITCH
default:
#endif /* INTERPRETER_USE_SWITCH */
ERR("unknown bytecode op %u\n",
(unsigned int) *(filter_opcode_t *) pc);
ret = -EINVAL;
goto end;
OP(FILTER_OP_RETURN):
/* LTTNG_FILTER_DISCARD or LTTNG_FILTER_RECORD_FLAG */
retval = !!estack_ax_v;
ret = 0;
goto end;
/* binary */
OP(FILTER_OP_MUL):
OP(FILTER_OP_DIV):
OP(FILTER_OP_MOD):
OP(FILTER_OP_PLUS):
OP(FILTER_OP_MINUS):
OP(FILTER_OP_RSHIFT):
OP(FILTER_OP_LSHIFT):
OP(FILTER_OP_BIN_AND):
OP(FILTER_OP_BIN_OR):
OP(FILTER_OP_BIN_XOR):
ERR("unsupported bytecode op %u\n",
(unsigned int) *(filter_opcode_t *) pc);
ret = -EINVAL;
goto end;
OP(FILTER_OP_EQ):
{
/* Dynamic typing. */
switch (estack_ax_t) {
case REG_S64:
switch (estack_bx_t) {
case REG_S64:
JUMP_TO(FILTER_OP_EQ_S64);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_EQ_DOUBLE_S64);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
case REG_DOUBLE:
switch (estack_bx_t) {
case REG_S64:
JUMP_TO(FILTER_OP_EQ_S64_DOUBLE);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_EQ_DOUBLE);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
case REG_STRING:
switch (estack_bx_t) {
case REG_S64: /* Fall-through */
case REG_DOUBLE:
ret = -EINVAL;
goto end;
case REG_STRING:
JUMP_TO(FILTER_OP_EQ_STRING);
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
default:
ERR("Unknown filter register type (%d)",
(int) estack_ax_t);
ret = -EINVAL;
goto end;
}
}
OP(FILTER_OP_NE):
{
/* Dynamic typing. */
switch (estack_ax_t) {
case REG_S64:
switch (estack_bx_t) {
case REG_S64:
JUMP_TO(FILTER_OP_NE_S64);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_NE_DOUBLE_S64);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
case REG_DOUBLE:
switch (estack_bx_t) {
case REG_S64:
JUMP_TO(FILTER_OP_NE_S64_DOUBLE);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_NE_DOUBLE);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
case REG_STRING:
switch (estack_bx_t) {
case REG_S64: /* Fall-through */
case REG_DOUBLE:
ret = -EINVAL;
goto end;
case REG_STRING:
JUMP_TO(FILTER_OP_NE_STRING);
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
default:
ERR("Unknown filter register type (%d)",
(int) estack_ax_t);
ret = -EINVAL;
goto end;
}
}
OP(FILTER_OP_GT):
{
/* Dynamic typing. */
switch (estack_ax_t) {
case REG_S64:
switch (estack_bx_t) {
case REG_S64:
JUMP_TO(FILTER_OP_GT_S64);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_GT_DOUBLE_S64);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
case REG_DOUBLE:
switch (estack_bx_t) {
case REG_S64:
JUMP_TO(FILTER_OP_GT_S64_DOUBLE);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_GT_DOUBLE);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
case REG_STRING:
switch (estack_bx_t) {
case REG_S64: /* Fall-through */
case REG_DOUBLE:
ret = -EINVAL;
goto end;
case REG_STRING:
JUMP_TO(FILTER_OP_GT_STRING);
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
default:
ERR("Unknown filter register type (%d)",
(int) estack_ax_t);
ret = -EINVAL;
goto end;
}
}
OP(FILTER_OP_LT):
{
/* Dynamic typing. */
switch (estack_ax_t) {
case REG_S64:
switch (estack_bx_t) {
case REG_S64:
JUMP_TO(FILTER_OP_LT_S64);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_LT_DOUBLE_S64);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
case REG_DOUBLE:
switch (estack_bx_t) {
case REG_S64:
JUMP_TO(FILTER_OP_LT_S64_DOUBLE);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_LT_DOUBLE);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
case REG_STRING:
switch (estack_bx_t) {
case REG_S64: /* Fall-through */
case REG_DOUBLE:
ret = -EINVAL;
goto end;
case REG_STRING:
JUMP_TO(FILTER_OP_LT_STRING);
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
default:
ERR("Unknown filter register type (%d)",
(int) estack_ax_t);
ret = -EINVAL;
goto end;
}
}
OP(FILTER_OP_GE):
{
/* Dynamic typing. */
switch (estack_ax_t) {
case REG_S64:
switch (estack_bx_t) {
case REG_S64:
JUMP_TO(FILTER_OP_GE_S64);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_GE_DOUBLE_S64);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
case REG_DOUBLE:
switch (estack_bx_t) {
case REG_S64:
JUMP_TO(FILTER_OP_GE_S64_DOUBLE);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_GE_DOUBLE);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
case REG_STRING:
switch (estack_bx_t) {
case REG_S64: /* Fall-through */
case REG_DOUBLE:
ret = -EINVAL;
goto end;
case REG_STRING:
JUMP_TO(FILTER_OP_GE_STRING);
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
default:
ERR("Unknown filter register type (%d)",
(int) estack_ax_t);
ret = -EINVAL;
goto end;
}
}
OP(FILTER_OP_LE):
{
/* Dynamic typing. */
switch (estack_ax_t) {
case REG_S64:
switch (estack_bx_t) {
case REG_S64:
JUMP_TO(FILTER_OP_LE_S64);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_LE_DOUBLE_S64);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
case REG_DOUBLE:
switch (estack_bx_t) {
case REG_S64:
JUMP_TO(FILTER_OP_LE_S64_DOUBLE);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_LE_DOUBLE);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
case REG_STRING:
switch (estack_bx_t) {
case REG_S64: /* Fall-through */
case REG_DOUBLE:
ret = -EINVAL;
goto end;
case REG_STRING:
JUMP_TO(FILTER_OP_LE_STRING);
default:
ERR("Unknown filter register type (%d)",
(int) estack_bx_t);
ret = -EINVAL;
goto end;
}
break;
default:
ERR("Unknown filter register type (%d)",
(int) estack_ax_t);
ret = -EINVAL;
goto end;
}
}
OP(FILTER_OP_EQ_STRING):
{
int res;
res = (stack_strcmp(stack, top, "==") == 0);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_NE_STRING):
{
int res;
res = (stack_strcmp(stack, top, "!=") != 0);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_GT_STRING):
{
int res;
res = (stack_strcmp(stack, top, ">") > 0);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_LT_STRING):
{
int res;
res = (stack_strcmp(stack, top, "<") < 0);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_GE_STRING):
{
int res;
res = (stack_strcmp(stack, top, ">=") >= 0);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_LE_STRING):
{
int res;
res = (stack_strcmp(stack, top, "<=") <= 0);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_EQ_S64):
{
int res;
res = (estack_bx_v == estack_ax_v);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_NE_S64):
{
int res;
res = (estack_bx_v != estack_ax_v);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_GT_S64):
{
int res;
res = (estack_bx_v > estack_ax_v);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_LT_S64):
{
int res;
res = (estack_bx_v < estack_ax_v);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_GE_S64):
{
int res;
res = (estack_bx_v >= estack_ax_v);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_LE_S64):
{
int res;
res = (estack_bx_v <= estack_ax_v);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_EQ_DOUBLE):
{
int res;
res = (estack_bx(stack, top)->u.d == estack_ax(stack, top)->u.d);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_NE_DOUBLE):
{
int res;
res = (estack_bx(stack, top)->u.d != estack_ax(stack, top)->u.d);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_GT_DOUBLE):
{
int res;
res = (estack_bx(stack, top)->u.d > estack_ax(stack, top)->u.d);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_LT_DOUBLE):
{
int res;
res = (estack_bx(stack, top)->u.d < estack_ax(stack, top)->u.d);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_GE_DOUBLE):
{
int res;
res = (estack_bx(stack, top)->u.d >= estack_ax(stack, top)->u.d);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_LE_DOUBLE):
{
int res;
res = (estack_bx(stack, top)->u.d <= estack_ax(stack, top)->u.d);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
/* Mixed S64-double binary comparators */
OP(FILTER_OP_EQ_DOUBLE_S64):
{
int res;
res = (estack_bx(stack, top)->u.d == estack_ax_v);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_NE_DOUBLE_S64):
{
int res;
res = (estack_bx(stack, top)->u.d != estack_ax_v);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_GT_DOUBLE_S64):
{
int res;
res = (estack_bx(stack, top)->u.d > estack_ax_v);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_LT_DOUBLE_S64):
{
int res;
res = (estack_bx(stack, top)->u.d < estack_ax_v);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_GE_DOUBLE_S64):
{
int res;
res = (estack_bx(stack, top)->u.d >= estack_ax_v);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_LE_DOUBLE_S64):
{
int res;
res = (estack_bx(stack, top)->u.d <= estack_ax_v);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_EQ_S64_DOUBLE):
{
int res;
res = (estack_bx_v == estack_ax(stack, top)->u.d);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_NE_S64_DOUBLE):
{
int res;
res = (estack_bx_v != estack_ax(stack, top)->u.d);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_GT_S64_DOUBLE):
{
int res;
res = (estack_bx_v > estack_ax(stack, top)->u.d);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_LT_S64_DOUBLE):
{
int res;
res = (estack_bx_v < estack_ax(stack, top)->u.d);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_GE_S64_DOUBLE):
{
int res;
res = (estack_bx_v >= estack_ax(stack, top)->u.d);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
OP(FILTER_OP_LE_S64_DOUBLE):
{
int res;
res = (estack_bx_v <= estack_ax(stack, top)->u.d);
estack_pop(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = res;
estack_ax_t = REG_S64;
next_pc += sizeof(struct binary_op);
PO;
}
/* unary */
OP(FILTER_OP_UNARY_PLUS):
{
/* Dynamic typing. */
switch (estack_ax_t) {
case REG_S64: /* Fall-through. */
JUMP_TO(FILTER_OP_UNARY_PLUS_S64);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_UNARY_PLUS_DOUBLE);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_ax_t);
ret = -EINVAL;
goto end;
}
}
OP(FILTER_OP_UNARY_MINUS):
{
/* Dynamic typing. */
switch (estack_ax_t) {
case REG_S64:
JUMP_TO(FILTER_OP_UNARY_MINUS_S64);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_UNARY_MINUS_DOUBLE);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_ax_t);
ret = -EINVAL;
goto end;
}
}
OP(FILTER_OP_UNARY_NOT):
{
/* Dynamic typing. */
switch (estack_ax_t) {
case REG_S64:
JUMP_TO(FILTER_OP_UNARY_NOT_S64);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_UNARY_NOT_DOUBLE);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_ax_t);
ret = -EINVAL;
goto end;
}
next_pc += sizeof(struct unary_op);
PO;
}
OP(FILTER_OP_UNARY_PLUS_S64):
OP(FILTER_OP_UNARY_PLUS_DOUBLE):
{
next_pc += sizeof(struct unary_op);
PO;
}
OP(FILTER_OP_UNARY_MINUS_S64):
{
estack_ax_v = -estack_ax_v;
next_pc += sizeof(struct unary_op);
PO;
}
OP(FILTER_OP_UNARY_MINUS_DOUBLE):
{
estack_ax(stack, top)->u.d = -estack_ax(stack, top)->u.d;
next_pc += sizeof(struct unary_op);
PO;
}
OP(FILTER_OP_UNARY_NOT_S64):
{
estack_ax_v = !estack_ax_v;
next_pc += sizeof(struct unary_op);
PO;
}
OP(FILTER_OP_UNARY_NOT_DOUBLE):
{
estack_ax_v = !estack_ax(stack, top)->u.d;
estack_ax_t = REG_S64;
next_pc += sizeof(struct unary_op);
PO;
}
/* logical */
OP(FILTER_OP_AND):
{
struct logical_op *insn = (struct logical_op *) pc;
if (estack_ax_t != REG_S64) {
ret = -EINVAL;
goto end;
}
/* If AX is 0, skip and evaluate to 0 */
if (unlikely(estack_ax_v == 0)) {
dbg_printf("Jumping to bytecode offset %u\n",
(unsigned int) insn->skip_offset);
next_pc = start_pc + insn->skip_offset;
} else {
/* Pop 1 when jump not taken */
estack_pop(stack, top, ax, bx, ax_t, bx_t);
next_pc += sizeof(struct logical_op);
}
PO;
}
OP(FILTER_OP_OR):
{
struct logical_op *insn = (struct logical_op *) pc;
if (estack_ax_t != REG_S64) {
ret = -EINVAL;
goto end;
}
/* If AX is nonzero, skip and evaluate to 1 */
if (unlikely(estack_ax_v != 0)) {
estack_ax_v = 1;
dbg_printf("Jumping to bytecode offset %u\n",
(unsigned int) insn->skip_offset);
next_pc = start_pc + insn->skip_offset;
} else {
/* Pop 1 when jump not taken */
estack_pop(stack, top, ax, bx, ax_t, bx_t);
next_pc += sizeof(struct logical_op);
}
PO;
}
/* load field ref */
OP(FILTER_OP_LOAD_FIELD_REF_STRING):
{
struct load_op *insn = (struct load_op *) pc;
struct field_ref *ref = (struct field_ref *) insn->data;
dbg_printf("load field ref offset %u type string\n",
ref->offset);
estack_push(stack, top, ax, bx, ax_t, bx_t);
estack_ax(stack, top)->u.s.str =
*(const char * const *) &filter_stack_data[ref->offset];
if (unlikely(!estack_ax(stack, top)->u.s.str)) {
dbg_printf("Filter warning: loading a NULL string.\n");
ret = -EINVAL;
goto end;
}
estack_ax(stack, top)->u.s.seq_len = UINT_MAX;
estack_ax(stack, top)->u.s.literal = 0;
estack_ax_t = REG_STRING;
dbg_printf("ref load string %s\n", estack_ax(stack, top)->u.s.str);
next_pc += sizeof(struct load_op) + sizeof(struct field_ref);
PO;
}
OP(FILTER_OP_LOAD_FIELD_REF_SEQUENCE):
{
struct load_op *insn = (struct load_op *) pc;
struct field_ref *ref = (struct field_ref *) insn->data;
dbg_printf("load field ref offset %u type sequence\n",
ref->offset);
estack_push(stack, top, ax, bx, ax_t, bx_t);
estack_ax(stack, top)->u.s.seq_len =
*(unsigned long *) &filter_stack_data[ref->offset];
estack_ax(stack, top)->u.s.str =
*(const char **) (&filter_stack_data[ref->offset
+ sizeof(unsigned long)]);
estack_ax_t = REG_STRING;
if (unlikely(!estack_ax(stack, top)->u.s.str)) {
dbg_printf("Filter warning: loading a NULL sequence.\n");
ret = -EINVAL;
goto end;
}
estack_ax(stack, top)->u.s.literal = 0;
next_pc += sizeof(struct load_op) + sizeof(struct field_ref);
PO;
}
OP(FILTER_OP_LOAD_FIELD_REF_S64):
{
struct load_op *insn = (struct load_op *) pc;
struct field_ref *ref = (struct field_ref *) insn->data;
dbg_printf("load field ref offset %u type s64\n",
ref->offset);
estack_push(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v =
((struct literal_numeric *) &filter_stack_data[ref->offset])->v;
estack_ax_t = REG_S64;
dbg_printf("ref load s64 %" PRIi64 "\n", estack_ax_v);
next_pc += sizeof(struct load_op) + sizeof(struct field_ref);
PO;
}
OP(FILTER_OP_LOAD_FIELD_REF_DOUBLE):
{
struct load_op *insn = (struct load_op *) pc;
struct field_ref *ref = (struct field_ref *) insn->data;
dbg_printf("load field ref offset %u type double\n",
ref->offset);
estack_push(stack, top, ax, bx, ax_t, bx_t);
memcpy(&estack_ax(stack, top)->u.d, &filter_stack_data[ref->offset],
sizeof(struct literal_double));
estack_ax_t = REG_DOUBLE;
dbg_printf("ref load double %g\n", estack_ax(stack, top)->u.d);
next_pc += sizeof(struct load_op) + sizeof(struct field_ref);
PO;
}
/* load from immediate operand */
OP(FILTER_OP_LOAD_STRING):
{
struct load_op *insn = (struct load_op *) pc;
dbg_printf("load string %s\n", insn->data);
estack_push(stack, top, ax, bx, ax_t, bx_t);
estack_ax(stack, top)->u.s.str = insn->data;
estack_ax(stack, top)->u.s.seq_len = UINT_MAX;
estack_ax(stack, top)->u.s.literal = 1;
estack_ax_t = REG_STRING;
next_pc += sizeof(struct load_op) + strlen(insn->data) + 1;
PO;
}
OP(FILTER_OP_LOAD_S64):
{
struct load_op *insn = (struct load_op *) pc;
estack_push(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = ((struct literal_numeric *) insn->data)->v;
estack_ax_t = REG_S64;
dbg_printf("load s64 %" PRIi64 "\n", estack_ax_v);
next_pc += sizeof(struct load_op)
+ sizeof(struct literal_numeric);
PO;
}
OP(FILTER_OP_LOAD_DOUBLE):
{
struct load_op *insn = (struct load_op *) pc;
estack_push(stack, top, ax, bx, ax_t, bx_t);
memcpy(&estack_ax(stack, top)->u.d, insn->data,
sizeof(struct literal_double));
estack_ax_t = REG_DOUBLE;
dbg_printf("load double %g\n", estack_ax(stack, top)->u.d);
next_pc += sizeof(struct load_op)
+ sizeof(struct literal_double);
PO;
}
/* cast */
OP(FILTER_OP_CAST_TO_S64):
{
/* Dynamic typing. */
switch (estack_ax_t) {
case REG_S64:
JUMP_TO(FILTER_OP_CAST_NOP);
case REG_DOUBLE:
JUMP_TO(FILTER_OP_CAST_DOUBLE_TO_S64);
case REG_STRING:
ret = -EINVAL;
goto end;
default:
ERR("Unknown filter register type (%d)",
(int) estack_ax_t);
ret = -EINVAL;
goto end;
}
}
OP(FILTER_OP_CAST_DOUBLE_TO_S64):
{
estack_ax_v = (int64_t) estack_ax(stack, top)->u.d;
estack_ax_t = REG_S64;
next_pc += sizeof(struct cast_op);
PO;
}
OP(FILTER_OP_CAST_NOP):
{
next_pc += sizeof(struct cast_op);
PO;
}
/* get context ref */
OP(FILTER_OP_GET_CONTEXT_REF):
{
struct load_op *insn = (struct load_op *) pc;
struct field_ref *ref = (struct field_ref *) insn->data;
struct lttng_ctx *ctx;
struct lttng_ctx_field *ctx_field;
struct lttng_ctx_value v;
dbg_printf("get context ref offset %u type dynamic\n",
ref->offset);
ctx = rcu_dereference(session->ctx);
ctx_field = &ctx->fields[ref->offset];
ctx_field->get_value(ctx_field, &v);
estack_push(stack, top, ax, bx, ax_t, bx_t);
switch (v.sel) {
case LTTNG_UST_DYNAMIC_TYPE_NONE:
ret = -EINVAL;
goto end;
case LTTNG_UST_DYNAMIC_TYPE_S64:
estack_ax_v = v.u.s64;
estack_ax_t = REG_S64;
dbg_printf("ref get context dynamic s64 %" PRIi64 "\n", estack_ax_v);
break;
case LTTNG_UST_DYNAMIC_TYPE_DOUBLE:
estack_ax(stack, top)->u.d = v.u.d;
estack_ax_t = REG_DOUBLE;
dbg_printf("ref get context dynamic double %g\n", estack_ax(stack, top)->u.d);
break;
case LTTNG_UST_DYNAMIC_TYPE_STRING:
estack_ax(stack, top)->u.s.str = v.u.str;
if (unlikely(!estack_ax(stack, top)->u.s.str)) {
dbg_printf("Filter warning: loading a NULL string.\n");
ret = -EINVAL;
goto end;
}
estack_ax(stack, top)->u.s.seq_len = UINT_MAX;
estack_ax(stack, top)->u.s.literal = 0;
dbg_printf("ref get context dynamic string %s\n", estack_ax(stack, top)->u.s.str);
estack_ax_t = REG_STRING;
break;
default:
dbg_printf("Filter warning: unknown dynamic type (%d).\n", (int) v.sel);
ret = -EINVAL;
goto end;
}
next_pc += sizeof(struct load_op) + sizeof(struct field_ref);
PO;
}
OP(FILTER_OP_GET_CONTEXT_REF_STRING):
{
struct load_op *insn = (struct load_op *) pc;
struct field_ref *ref = (struct field_ref *) insn->data;
struct lttng_ctx *ctx;
struct lttng_ctx_field *ctx_field;
struct lttng_ctx_value v;
dbg_printf("get context ref offset %u type string\n",
ref->offset);
ctx = rcu_dereference(session->ctx);
ctx_field = &ctx->fields[ref->offset];
ctx_field->get_value(ctx_field, &v);
estack_push(stack, top, ax, bx, ax_t, bx_t);
estack_ax(stack, top)->u.s.str = v.u.str;
if (unlikely(!estack_ax(stack, top)->u.s.str)) {
dbg_printf("Filter warning: loading a NULL string.\n");
ret = -EINVAL;
goto end;
}
estack_ax(stack, top)->u.s.seq_len = UINT_MAX;
estack_ax(stack, top)->u.s.literal = 0;
estack_ax_t = REG_STRING;
dbg_printf("ref get context string %s\n", estack_ax(stack, top)->u.s.str);
next_pc += sizeof(struct load_op) + sizeof(struct field_ref);
PO;
}
OP(FILTER_OP_GET_CONTEXT_REF_S64):
{
struct load_op *insn = (struct load_op *) pc;
struct field_ref *ref = (struct field_ref *) insn->data;
struct lttng_ctx *ctx;
struct lttng_ctx_field *ctx_field;
struct lttng_ctx_value v;
dbg_printf("get context ref offset %u type s64\n",
ref->offset);
ctx = rcu_dereference(session->ctx);
ctx_field = &ctx->fields[ref->offset];
ctx_field->get_value(ctx_field, &v);
estack_push(stack, top, ax, bx, ax_t, bx_t);
estack_ax_v = v.u.s64;
estack_ax_t = REG_S64;
dbg_printf("ref get context s64 %" PRIi64 "\n", estack_ax_v);
next_pc += sizeof(struct load_op) + sizeof(struct field_ref);
PO;
}
OP(FILTER_OP_GET_CONTEXT_REF_DOUBLE):
{
struct load_op *insn = (struct load_op *) pc;
struct field_ref *ref = (struct field_ref *) insn->data;
struct lttng_ctx *ctx;
struct lttng_ctx_field *ctx_field;
struct lttng_ctx_value v;
dbg_printf("get context ref offset %u type double\n",
ref->offset);
ctx = rcu_dereference(session->ctx);
ctx_field = &ctx->fields[ref->offset];
ctx_field->get_value(ctx_field, &v);
estack_push(stack, top, ax, bx, ax_t, bx_t);
memcpy(&estack_ax(stack, top)->u.d, &v.u.d, sizeof(struct literal_double));
estack_ax_t = REG_DOUBLE;
dbg_printf("ref get context double %g\n", estack_ax(stack, top)->u.d);
next_pc += sizeof(struct load_op) + sizeof(struct field_ref);
PO;
}
END_OP
end:
/* return 0 (discard) on error */
if (ret)
return 0;
return retval;
}
static void CONCAT(CONCAT(LIBBF_INTERPRETER_OPTIMIZER_RADIX, internal_), MY_TYPE_T_STR)
(OptimizationUnit* code, OFFSET_t min_delta_offset, OFFSET_t max_delta_offset)
{
#if defined(GOTO_ADDR_SUPPORTED)
DECLARE_LABEL(BF_AFFECT_EXPR);
DECLARE_LABEL(BF_INC_DATA_PTR);
DECLARE_LABEL(BF_PRINT_DATA);
DECLARE_LABEL(BF_READ_DATA);
DECLARE_LABEL(BF_WHILE_DATA);
DECLARE_LABEL(BF_END_WHILE);
DECLARE_LABEL(BF_END);
#ifndef PROFILE
DECLARE_LABEL(BF_SET_CST);
DECLARE_LABEL(BF_SET_CST_0);
DECLARE_LABEL(BF_INC_CST);
DECLARE_LABEL(BF_INC_CST_1);
DECLARE_LABEL(BF_INC_CST_M_1);
DECLARE_LABEL(BF_SET_DATA);
DECLARE_LABEL(BF_INC_DATA);
DECLARE_LABEL(BF_DEC_DATA);
DECLARE_LABEL(BF_INC_CST_MUL_DATA);
DECLARE_LABEL(BF_INC_CST_ADD_DATA);
DECLARE_LABEL(BF_INC_DATA_MUL_DATA);
DECLARE_LABEL(BF_WHILE_INC_DATA_PTR);
#ifdef USE_END_WHILE_INC_DATA_PTR
DECLARE_LABEL(BF_END_WHILE_INC_DATA_PTR);
#endif
#else
DECLARE_LABEL(BF_NOP);
#endif
DECLARE_LABEL(BF_DYNALLOC_REALLOC_NEEDED);
#ifdef __cplusplus
static const void* tab_addr[BF_COUNT_INSTR];
#else
static const void* tab_addr[BF_COUNT_INSTR] =
{
#endif
FILL_TAB_ADDR(BF_AFFECT_EXPR)
FILL_TAB_ADDR(BF_INC_DATA_PTR)
FILL_TAB_ADDR(BF_PRINT_DATA)
FILL_TAB_ADDR(BF_READ_DATA)
FILL_TAB_ADDR(BF_WHILE_DATA)
FILL_TAB_ADDR(BF_END_WHILE)
FILL_TAB_ADDR(BF_END)
#ifndef PROFILE
FILL_TAB_ADDR(BF_SET_CST)
FILL_TAB_ADDR(BF_SET_CST_0)
FILL_TAB_ADDR(BF_INC_CST)
FILL_TAB_ADDR(BF_INC_CST_1)
FILL_TAB_ADDR(BF_INC_CST_M_1)
FILL_TAB_ADDR(BF_SET_DATA)
FILL_TAB_ADDR(BF_INC_DATA)
FILL_TAB_ADDR(BF_DEC_DATA)
FILL_TAB_ADDR(BF_INC_CST_MUL_DATA)
FILL_TAB_ADDR(BF_INC_CST_ADD_DATA)
FILL_TAB_ADDR(BF_INC_DATA_MUL_DATA)
FILL_TAB_ADDR(BF_WHILE_INC_DATA_PTR)
#ifdef USE_END_WHILE_INC_DATA_PTR
FILL_TAB_ADDR(BF_END_WHILE_INC_DATA_PTR)
#endif
#else
FILL_TAB_ADDR(BF_NOP)
#endif
FILL_TAB_ADDR(BF_DYNALLOC_REALLOC_NEEDED)
#ifndef __cplusplus
};
#endif
#endif
void* void_data_ptr;
#if defined(DEBUG_INTERPRETER) || defined(__CYGWIN__) || defined(PROFILE)
void* ori_data_ptr;
unsigned MY_TYPE_T* data_ptr;
void* current_code_ptr;
#else
void* old_action;
register unsigned MY_TYPE_T* data_ptr;
#endif
register OptimizationUnit* code_ptr;
#ifdef PROFILE
long long count_instr = 0;
#endif
register OFFSET_t offset;
#if defined(GOTO_ADDR_SUPPORTED)
libbf_optimized_code_resolve_interpeter_addr(code, tab_addr);
#endif
#if defined(DEBUG_INTERPRETER) || defined(__CYGWIN__) || defined(PROFILE)
void_data_ptr = alloc0(MY_TYPE_T, 32768);
ori_data_ptr = void_data_ptr;
data_ptr = ((unsigned MY_TYPE_T*)void_data_ptr) + 1024;
void_data_ptr = data_ptr;
current_code_ptr = NULL;
#else
libbf_interpreter_dynalloc_init(min_delta_offset,
max_delta_offset,
sizeof(MY_TYPE_T),
code,
#if defined(GOTO_ADDR_SUPPORTED)
tab_addr[BF_DYNALLOC_REALLOC_NEEDED],
#else
NULL,
#endif
&old_action,
&void_data_ptr);
data_ptr = (unsigned MY_TYPE_T*)void_data_ptr;
#endif
code_ptr = code;
#if defined(GOTO_ADDR_SUPPORTED)
/* Start up execution ! */
SAFE_JUMP_TO(code_ptr->ou_interpreter_addr); /* safe jump to begin... */
#else
while(1)
{
switch(code_ptr->ou_instr)
{
#endif
LABEL(BF_AFFECT_EXPR)
DEAL_INSTR();
data_ptr[offset] = CONCAT(libbf_compute_expr_,MY_TYPE_T_STR)(code_ptr->ou_expr, data_ptr);
SAFE_NEXT_INSTR(); /* safe because of function call */
LABEL(BF_INC_DATA_PTR)
DEAL_INSTR();
data_ptr += offset;
NEXT_INSTR();
LABEL(BF_PRINT_DATA)
DEAL_INSTR();
putchar(data_ptr[offset]);
SAFE_NEXT_INSTR(); /* safe because of function call */
LABEL(BF_READ_DATA)
DEAL_INSTR();
data_ptr[offset] = getchar();
SAFE_NEXT_INSTR(); /* safe because of function call */
LABEL(BF_WHILE_DATA)
DEAL_INSTR();
if (data_ptr[offset] == 0)
{
code_ptr = code_ptr->ou_jump_to;
JUMP_TO(code_ptr->ou_interpreter_addr);
}
NEXT_INSTR();
LABEL(BF_END_WHILE)
DEAL_INSTR();
if (data_ptr[offset] != 0)
{
code_ptr = code_ptr->ou_jump_to;
JUMP_TO(code_ptr->ou_interpreter_addr);
}
NEXT_INSTR();
#ifndef PROFILE
/* Very common subcases of BF_AFFECT_EXPR, so much more efficient to create */
/* dedicated opcodes */
LABEL(BF_SET_CST)
DEAL_INSTR();
data_ptr[offset] = code_ptr->ou_constant;
NEXT_INSTR();
LABEL(BF_SET_CST_0)
DEAL_INSTR();
data_ptr[offset] = 0;
NEXT_INSTR();
LABEL(BF_INC_CST)
DEAL_INSTR();
data_ptr[offset] += code_ptr->ou_constant;
NEXT_INSTR();
LABEL(BF_INC_CST_1)
DEAL_INSTR();
data_ptr[offset] ++;
NEXT_INSTR();
LABEL(BF_INC_CST_M_1)
DEAL_INSTR();
data_ptr[offset] --;
NEXT_INSTR();
LABEL(BF_SET_DATA)
DEAL_INSTR();
data_ptr[offset] = data_ptr[code_ptr->ou_offset2];
NEXT_INSTR();
LABEL(BF_INC_DATA)
DEAL_INSTR();
data_ptr[offset] += data_ptr[code_ptr->ou_offset2];
NEXT_INSTR();
LABEL(BF_DEC_DATA)
DEAL_INSTR();
data_ptr[offset] -= data_ptr[code_ptr->ou_offset2];
NEXT_INSTR();
LABEL(BF_INC_CST_ADD_DATA)
DEAL_INSTR();
data_ptr[offset] += code_ptr->ou_constant + data_ptr[code_ptr->ou_offset2];
NEXT_INSTR();
LABEL(BF_INC_CST_MUL_DATA)
DEAL_INSTR();
data_ptr[offset] += code_ptr->ou_constant * data_ptr[code_ptr->ou_offset2];
NEXT_INSTR();
LABEL(BF_INC_DATA_MUL_DATA)
DEAL_INSTR();
data_ptr[offset] += data_ptr[code_ptr->ou_offset2] * data_ptr[code_ptr->ou_offset3];
NEXT_INSTR();
#ifdef USE_END_WHILE_INC_DATA_PTR
LABEL(BF_END_WHILE_INC_DATA_PTR)
DEAL_INSTR();
data_ptr += code_ptr->ou_offset2;
if (data_ptr[offset] != 0)
{
code_ptr = code_ptr->ou_jump_to;
JUMP_TO(code_ptr->ou_interpreter_addr);
}
NEXT_INSTR();
#endif
#define INC_PTR_WITH_BYTES(ptr, bytes) ptr = (unsigned MY_TYPE_T*)(((long)ptr) + bytes)
LABEL(BF_WHILE_INC_DATA_PTR)
{
register int offset2_bytes;
DEAL_INSTR();
offset2_bytes = sizeof(MY_TYPE_T) * code_ptr->ou_offset2;
data_ptr += offset;
while (*data_ptr)
{
INC_PTR_WITH_BYTES(data_ptr, offset2_bytes);
}
data_ptr -= offset;
SAFE_NEXT_INSTR();
}
#else
LABEL(BF_NOP)
DEAL_INSTR();
NEXT_INSTR();
#endif
LABEL(BF_END)
#if !(defined(DEBUG_INTERPRETER)|| defined(__CYGWIN__) || defined(PROFILE))
libbf_interpreter_dynalloc_end(old_action, data_ptr);
#else
free(ori_data_ptr);
#endif
#ifdef PROFILE
libbf_dump_profiled_code(code);
fprintf(stderr, "normal exit : %lld instructions executed\n", count_instr);
#endif
return;
LABEL(BF_DYNALLOC_REALLOC_NEEDED)
{
long shift = libbf_interpreter_dynalloc_realloc(data_ptr);
data_ptr += shift;
if (shift == 0)
{
#if !(defined(DEBUG_INTERPRETER)|| defined(__CYGWIN__) || defined(PROFILE))
libbf_interpreter_dynalloc_end(old_action, data_ptr);
#else
free(ori_data_ptr);
#endif
#ifdef PROFILE
fprintf(stderr, "abnormal exit (not enough memory) : %lld instructions executed\n", count_instr);
#endif
return;
}
SAFE_JUMP_TO(code_ptr->ou_interpreter_addr); /* safe because of function call */
}
#if !defined(GOTO_ADDR_SUPPORTED)
default: SHOULDNT_HAPPEN();
}
}
#endif
}
