1999-04-16 03:35:26 +02:00
|
|
|
|
/* Definitions for expressions designed to be executed on the agent
|
2019-01-01 07:01:51 +01:00
|
|
|
|
Copyright (C) 1998-2019 Free Software Foundation, Inc.
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
1999-07-07 22:19:36 +02:00
|
|
|
|
This file is part of GDB.
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
1999-07-07 22:19:36 +02:00
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
|
|
|
it under the terms of the GNU General Public License as published by
|
2007-08-23 20:08:50 +02:00
|
|
|
|
the Free Software Foundation; either version 3 of the License, or
|
1999-07-07 22:19:36 +02:00
|
|
|
|
(at your option) any later version.
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
1999-07-07 22:19:36 +02:00
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
GNU General Public License for more details.
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
1999-07-07 22:19:36 +02:00
|
|
|
|
You should have received a copy of the GNU General Public License
|
2007-08-23 20:08:50 +02:00
|
|
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
2019-01-27 20:51:36 +01:00
|
|
|
|
#ifndef AX_H
|
|
|
|
|
#define AX_H
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
2019-01-23 18:21:39 +01:00
|
|
|
|
#include "common/vec.h"
|
* defs.h (HOST_FLOAT_FORMAT, HOST_DOUBLE_FORMAT)
(HOST_FLOAT_FORMAT, HOST_DOUBLE_FORMAT)
(HOST_LONG_DOUBLE_FORMAT, DOUBLEST)
(floatformat_to_doublest, floatformat_from_doublest)
(floatformat_is_negative, floatformat_is_nan)
(floatformat_mantissa, store_floating)
(extract_floating): Move declaration from here.
* doublest.h: To here. New file.
* utils.c (get_field, floatformat_to_doublest, put_field)
(ldfrexp, floatformat_from_doublest, floatformat_is_negative)
(floatformat_is_nan, floatformat_mantissa)
(FLOATFORMAT_CHAR_BIT): Move from here.
* doublest.c: To here. New file.
* findvar.c (store_floating, extract_floating): Move from here.
* doublest.c: To here.
* Makefile.in (SFILES): Add doublest.c.
(COMMON_OBS): Add doublest.o.
(doublest.o): Specify dependencies.
(doublest_h): Define.
* config/m88k/tm-m88k.h: Include "doublest.h".
* config/i960/tm-i960.h: Ditto.
* config/i386/tm-symmetry.h: Ditto.
* rs6000-tdep.c, valarith.c: Ditto.
* valprint.c, stabsread.c, sh-tdep.c: Ditto.
* ia64-tdep.c, i387-tdep.c, i386-tdep.c: Ditto.
* values.c, arm-tdep.c, arm-linux-tdep.c: Ditto.
* alpha-tdep.c, ax.h, expression.h: Ditto.
* sh-tdep.c, parse.c, top.c, value.h: Ditto.
* Makefile.in (arm-tdep.o): Add $(doublest_h).
(i386-tdep.o, i387-tdep.o, ia64-tdep.o): Ditto.
(rs6000-tdep.o, stabsread.o, valarith.o): Ditto.
(values.o, valprint.o, arm-linux-tdep.o): Ditto.
(alpha-tdep.o, ax_h, parse.o, top.o, value_h): Ditto.
(parser_defs_h): Ditto.
(expression_h): Add $(doublest_h) and $(symtab_h).
2001-08-01 20:39:27 +02:00
|
|
|
|
|
1999-04-16 03:35:26 +02:00
|
|
|
|
/* It's sometimes useful to be able to debug programs that you can't
|
|
|
|
|
really stop for more than a fraction of a second. To this end, the
|
|
|
|
|
user can specify a tracepoint (like a breakpoint, but you don't
|
|
|
|
|
stop at it), and specify a bunch of expressions to record the
|
|
|
|
|
values of when that tracepoint is reached. As the program runs,
|
|
|
|
|
GDB collects the values. At any point (possibly while values are
|
|
|
|
|
still being collected), the user can display the collected values.
|
|
|
|
|
|
|
|
|
|
This is used with remote debugging; we don't really support it on
|
|
|
|
|
native configurations.
|
|
|
|
|
|
|
|
|
|
This means that expressions are being evaluated by the remote agent,
|
|
|
|
|
which doesn't have any access to the symbol table information, and
|
|
|
|
|
needs to be small and simple.
|
|
|
|
|
|
|
|
|
|
The agent_expr routines and datatypes are a bytecode language
|
|
|
|
|
designed to be executed by the agent. Agent expressions work in
|
|
|
|
|
terms of fixed-width values, operators, memory references, and
|
|
|
|
|
register references. You can evaluate a agent expression just given
|
|
|
|
|
a bunch of memory and register values to sniff at; you don't need
|
|
|
|
|
any symbolic information like variable names, types, etc.
|
|
|
|
|
|
|
|
|
|
GDB translates source expressions, whose meaning depends on
|
|
|
|
|
symbolic information, into agent bytecode expressions, whose meaning
|
|
|
|
|
is independent of symbolic information. This means the agent can
|
|
|
|
|
evaluate them on the fly without reference to data only available
|
|
|
|
|
to the host GDB. */
|
|
|
|
|
|
1999-07-07 22:19:36 +02:00
|
|
|
|
|
2010-04-24 01:51:05 +02:00
|
|
|
|
/* Different kinds of flaws an agent expression might have, as
|
|
|
|
|
detected by ax_reqs. */
|
|
|
|
|
enum agent_flaws
|
|
|
|
|
{
|
|
|
|
|
agent_flaw_none = 0, /* code is good */
|
|
|
|
|
|
|
|
|
|
/* There is an invalid instruction in the stream. */
|
|
|
|
|
agent_flaw_bad_instruction,
|
|
|
|
|
|
|
|
|
|
/* There is an incomplete instruction at the end of the expression. */
|
|
|
|
|
agent_flaw_incomplete_instruction,
|
|
|
|
|
|
|
|
|
|
/* ax_reqs was unable to prove that every jump target is to a
|
|
|
|
|
valid offset. Valid offsets are within the bounds of the
|
|
|
|
|
expression, and to a valid instruction boundary. */
|
|
|
|
|
agent_flaw_bad_jump,
|
|
|
|
|
|
|
|
|
|
/* ax_reqs was unable to prove to its satisfaction that, for each
|
|
|
|
|
jump target location, the stack will have the same height whether
|
|
|
|
|
that location is reached via a jump or by straight execution. */
|
|
|
|
|
agent_flaw_height_mismatch,
|
|
|
|
|
|
|
|
|
|
/* ax_reqs was unable to prove that every instruction following
|
|
|
|
|
an unconditional jump was the target of some other jump. */
|
|
|
|
|
agent_flaw_hole
|
|
|
|
|
};
|
|
|
|
|
|
1999-04-16 03:35:26 +02:00
|
|
|
|
/* Agent expression data structures. */
|
|
|
|
|
|
|
|
|
|
/* A buffer containing a agent expression. */
|
1999-07-07 22:19:36 +02:00
|
|
|
|
struct agent_expr
|
|
|
|
|
{
|
'struct agent_expr *' -> unique_ptr<agent_expr>
This patch makes the gen_* functions return a unique_ptr instead of
raw pointer:
typedef gdb::unique_ptr<agent_expr> agent_expr_up;
and then adjusts the codebase throughout to stop using
make_cleanup_free_agent_expr.
The cond_bytecode and cmd_bytecode fields of struct bp_location are
owning pointers, so they're changed to be unique_ptr's instead of raw
pointers.
gdb/ChangeLog:
2016-11-08 Pedro Alves <palves@redhat.com>
* ax-gdb.c (is_nontrivial_conversion): Use agent_expr_up.
(gen_trace_for_var, gen_trace_for_expr, gen_eval_for_expr)
(gen_trace_for_return_address, gen_printf): Use and return an
agent_expr_up. Don't use make_cleanup_free_agent_expr.
(agent_eval_command_one, maint_agent_printf_command): Use
agent_expr_up. Don't use make_cleanup_free_agent_expr.
* ax-gdb.h (gen_trace_for_expr, gen_trace_for_var)
(gen_trace_for_return_address, gen_eval_for_expr, gen_printf): Use
agent_expr_up.
* ax-general.c (new_agent_expr): Rename to ...
(agent_expr::agent_expr): ... this, and now a constructor.
(free_agent_expr): Rename to ...
(agent_expr::~agent_exp): ... this, and now a destructor.
(do_free_agent_expr_cleanup, make_cleanup_free_agent_expr):
Delete.
* ax.h (struct agent_expr): Add ctor/dtor.
(agent_expr_up): New typedef.
(new_agent_expr, free_agent_expr, make_cleanup_free_agent_expr):
Delete declarations.
* breakpoint.c (parse_cond_to_aexpr): Use and return an
agent_expr_up. Don't use make_cleanup_free_agent_expr.
(build_target_condition_list): Adjust to use agent_expr_up.
(parse_cmd_to_aexpr): Use and return an agent_expr_up. Don't use
make_cleanup_free_agent_expr.
(build_target_command_list): Adjust to use agent_expr_up.
(force_breakpoint_reinsertion): Adjust to use agent_expr_up.
(bp_location_dtor): Remove unnecessary free_agent_expr and xfree
calls.
* breakpoint.h (struct bp_target_info) <cond_bytecode,
cmd_bytecode>: Now agent_expr_up's.
* remote.c (remote_download_tracepoint): Adjust to use
agent_expr_up and remove use of make_cleanup_free_agent_expr.
* tracepoint.c (validate_actionline, collect_symbol): Adjust to
use agent_expr_up and remove uses of make_cleanup_free_agent_expr.
(collection_list::~collection_list): Call delete instead of
free_agent_expr.
(encode_actions_1): Adjust to use agent_expr_up and remove uses of
make_cleanup_free_agent_expr.
(add_aexpr): Change parameter type to agent_expr_up; Return a raw
agent_expr pointer.
2016-11-08 16:26:47 +01:00
|
|
|
|
/* Construct an empty agent expression. */
|
|
|
|
|
explicit agent_expr (struct gdbarch *gdbarch, CORE_ADDR scope);
|
|
|
|
|
|
|
|
|
|
~agent_expr ();
|
|
|
|
|
|
2010-04-24 01:51:05 +02:00
|
|
|
|
/* The bytes of the expression. */
|
1999-07-07 22:19:36 +02:00
|
|
|
|
unsigned char *buf;
|
2010-04-24 01:51:05 +02:00
|
|
|
|
|
|
|
|
|
/* The number of bytecode in the expression. */
|
|
|
|
|
int len;
|
|
|
|
|
|
|
|
|
|
/* Allocated space available currently. */
|
|
|
|
|
int size;
|
|
|
|
|
|
|
|
|
|
/* The target architecture assumed to be in effect. */
|
|
|
|
|
struct gdbarch *gdbarch;
|
|
|
|
|
|
|
|
|
|
/* The address to which the expression applies. */
|
1999-07-07 22:19:36 +02:00
|
|
|
|
CORE_ADDR scope;
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
2010-04-24 01:51:05 +02:00
|
|
|
|
/* If the following is not equal to agent_flaw_none, the rest of the
|
|
|
|
|
information in this structure is suspect. */
|
|
|
|
|
enum agent_flaws flaw;
|
|
|
|
|
|
|
|
|
|
/* Number of elements left on stack at end; may be negative if expr
|
|
|
|
|
only consumes elements. */
|
|
|
|
|
int final_height;
|
|
|
|
|
|
|
|
|
|
/* Maximum and minimum stack height, relative to initial height. */
|
|
|
|
|
int max_height, min_height;
|
|
|
|
|
|
|
|
|
|
/* Largest `ref' or `const' opcode used, in bits. Zero means the
|
|
|
|
|
expression has no such instructions. */
|
|
|
|
|
int max_data_size;
|
|
|
|
|
|
|
|
|
|
/* Bit vector of registers needed. Register R is needed iff
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
2010-04-24 01:51:05 +02:00
|
|
|
|
reg_mask[R / 8] & (1 << (R % 8))
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
2010-04-24 01:51:05 +02:00
|
|
|
|
is non-zero. Note! You may not assume that this bitmask is long
|
|
|
|
|
enough to hold bits for all the registers of the machine; the
|
|
|
|
|
agent expression code has no idea how many registers the machine
|
|
|
|
|
has. However, the bitmask is reg_mask_len bytes long, so the
|
|
|
|
|
valid register numbers run from 0 to reg_mask_len * 8 - 1.
|
|
|
|
|
|
|
|
|
|
Also note that this mask may contain registers that are needed
|
|
|
|
|
for the original collection expression to work, but that are
|
|
|
|
|
not referenced by any bytecode. This could, for example, occur
|
|
|
|
|
when collecting a local variable allocated to a register; the
|
|
|
|
|
compiler sets the mask bit and skips generating a bytecode whose
|
|
|
|
|
result is going to be discarded anyway.
|
|
|
|
|
*/
|
|
|
|
|
int reg_mask_len;
|
|
|
|
|
unsigned char *reg_mask;
|
2013-03-21 17:09:27 +01:00
|
|
|
|
|
|
|
|
|
/* For the data tracing facility, we need to insert `trace' bytecodes
|
|
|
|
|
before each data fetch; this records all the memory that the
|
|
|
|
|
expression touches in the course of evaluation, so that memory will
|
|
|
|
|
be available when the user later tries to evaluate the expression
|
|
|
|
|
in GDB.
|
|
|
|
|
|
|
|
|
|
Setting the flag 'tracing' to non-zero enables the code that
|
|
|
|
|
emits the trace bytecodes at the appropriate points. */
|
|
|
|
|
|
|
|
|
|
unsigned int tracing : 1;
|
|
|
|
|
|
|
|
|
|
/* This indicates that pointers to chars should get an added
|
|
|
|
|
tracenz bytecode to record nonzero bytes, up to a length that
|
|
|
|
|
is the value of trace_string. */
|
|
|
|
|
|
|
|
|
|
int trace_string;
|
2010-04-24 01:51:05 +02:00
|
|
|
|
};
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
'struct agent_expr *' -> unique_ptr<agent_expr>
This patch makes the gen_* functions return a unique_ptr instead of
raw pointer:
typedef gdb::unique_ptr<agent_expr> agent_expr_up;
and then adjusts the codebase throughout to stop using
make_cleanup_free_agent_expr.
The cond_bytecode and cmd_bytecode fields of struct bp_location are
owning pointers, so they're changed to be unique_ptr's instead of raw
pointers.
gdb/ChangeLog:
2016-11-08 Pedro Alves <palves@redhat.com>
* ax-gdb.c (is_nontrivial_conversion): Use agent_expr_up.
(gen_trace_for_var, gen_trace_for_expr, gen_eval_for_expr)
(gen_trace_for_return_address, gen_printf): Use and return an
agent_expr_up. Don't use make_cleanup_free_agent_expr.
(agent_eval_command_one, maint_agent_printf_command): Use
agent_expr_up. Don't use make_cleanup_free_agent_expr.
* ax-gdb.h (gen_trace_for_expr, gen_trace_for_var)
(gen_trace_for_return_address, gen_eval_for_expr, gen_printf): Use
agent_expr_up.
* ax-general.c (new_agent_expr): Rename to ...
(agent_expr::agent_expr): ... this, and now a constructor.
(free_agent_expr): Rename to ...
(agent_expr::~agent_exp): ... this, and now a destructor.
(do_free_agent_expr_cleanup, make_cleanup_free_agent_expr):
Delete.
* ax.h (struct agent_expr): Add ctor/dtor.
(agent_expr_up): New typedef.
(new_agent_expr, free_agent_expr, make_cleanup_free_agent_expr):
Delete declarations.
* breakpoint.c (parse_cond_to_aexpr): Use and return an
agent_expr_up. Don't use make_cleanup_free_agent_expr.
(build_target_condition_list): Adjust to use agent_expr_up.
(parse_cmd_to_aexpr): Use and return an agent_expr_up. Don't use
make_cleanup_free_agent_expr.
(build_target_command_list): Adjust to use agent_expr_up.
(force_breakpoint_reinsertion): Adjust to use agent_expr_up.
(bp_location_dtor): Remove unnecessary free_agent_expr and xfree
calls.
* breakpoint.h (struct bp_target_info) <cond_bytecode,
cmd_bytecode>: Now agent_expr_up's.
* remote.c (remote_download_tracepoint): Adjust to use
agent_expr_up and remove use of make_cleanup_free_agent_expr.
* tracepoint.c (validate_actionline, collect_symbol): Adjust to
use agent_expr_up and remove uses of make_cleanup_free_agent_expr.
(collection_list::~collection_list): Call delete instead of
free_agent_expr.
(encode_actions_1): Adjust to use agent_expr_up and remove uses of
make_cleanup_free_agent_expr.
(add_aexpr): Change parameter type to agent_expr_up; Return a raw
agent_expr pointer.
2016-11-08 16:26:47 +01:00
|
|
|
|
/* An agent_expr owning pointer. */
|
2016-11-09 13:49:43 +01:00
|
|
|
|
typedef std::unique_ptr<agent_expr> agent_expr_up;
|
'struct agent_expr *' -> unique_ptr<agent_expr>
This patch makes the gen_* functions return a unique_ptr instead of
raw pointer:
typedef gdb::unique_ptr<agent_expr> agent_expr_up;
and then adjusts the codebase throughout to stop using
make_cleanup_free_agent_expr.
The cond_bytecode and cmd_bytecode fields of struct bp_location are
owning pointers, so they're changed to be unique_ptr's instead of raw
pointers.
gdb/ChangeLog:
2016-11-08 Pedro Alves <palves@redhat.com>
* ax-gdb.c (is_nontrivial_conversion): Use agent_expr_up.
(gen_trace_for_var, gen_trace_for_expr, gen_eval_for_expr)
(gen_trace_for_return_address, gen_printf): Use and return an
agent_expr_up. Don't use make_cleanup_free_agent_expr.
(agent_eval_command_one, maint_agent_printf_command): Use
agent_expr_up. Don't use make_cleanup_free_agent_expr.
* ax-gdb.h (gen_trace_for_expr, gen_trace_for_var)
(gen_trace_for_return_address, gen_eval_for_expr, gen_printf): Use
agent_expr_up.
* ax-general.c (new_agent_expr): Rename to ...
(agent_expr::agent_expr): ... this, and now a constructor.
(free_agent_expr): Rename to ...
(agent_expr::~agent_exp): ... this, and now a destructor.
(do_free_agent_expr_cleanup, make_cleanup_free_agent_expr):
Delete.
* ax.h (struct agent_expr): Add ctor/dtor.
(agent_expr_up): New typedef.
(new_agent_expr, free_agent_expr, make_cleanup_free_agent_expr):
Delete declarations.
* breakpoint.c (parse_cond_to_aexpr): Use and return an
agent_expr_up. Don't use make_cleanup_free_agent_expr.
(build_target_condition_list): Adjust to use agent_expr_up.
(parse_cmd_to_aexpr): Use and return an agent_expr_up. Don't use
make_cleanup_free_agent_expr.
(build_target_command_list): Adjust to use agent_expr_up.
(force_breakpoint_reinsertion): Adjust to use agent_expr_up.
(bp_location_dtor): Remove unnecessary free_agent_expr and xfree
calls.
* breakpoint.h (struct bp_target_info) <cond_bytecode,
cmd_bytecode>: Now agent_expr_up's.
* remote.c (remote_download_tracepoint): Adjust to use
agent_expr_up and remove use of make_cleanup_free_agent_expr.
* tracepoint.c (validate_actionline, collect_symbol): Adjust to
use agent_expr_up and remove uses of make_cleanup_free_agent_expr.
(collection_list::~collection_list): Call delete instead of
free_agent_expr.
(encode_actions_1): Adjust to use agent_expr_up and remove uses of
make_cleanup_free_agent_expr.
(add_aexpr): Change parameter type to agent_expr_up; Return a raw
agent_expr pointer.
2016-11-08 16:26:47 +01:00
|
|
|
|
|
2011-02-18 22:12:07 +01:00
|
|
|
|
/* The actual values of the various bytecode operations. */
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
1999-07-07 22:19:36 +02:00
|
|
|
|
enum agent_op
|
|
|
|
|
{
|
2011-02-18 22:12:07 +01:00
|
|
|
|
#define DEFOP(NAME, SIZE, DATA_SIZE, CONSUMED, PRODUCED, VALUE) \
|
|
|
|
|
aop_ ## NAME = VALUE,
|
2019-01-23 18:21:39 +01:00
|
|
|
|
#include "common/ax.def"
|
2011-02-18 22:12:07 +01:00
|
|
|
|
#undef DEFOP
|
1999-07-07 22:19:36 +02:00
|
|
|
|
aop_last
|
|
|
|
|
};
|
|
|
|
|
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Functions for building expressions. */
|
|
|
|
|
|
2015-10-27 14:33:29 +01:00
|
|
|
|
/* Append a raw byte to EXPR. */
|
|
|
|
|
extern void ax_raw_byte (struct agent_expr *expr, gdb_byte byte);
|
|
|
|
|
|
1999-04-16 03:35:26 +02:00
|
|
|
|
/* Append a simple operator OP to EXPR. */
|
2000-05-28 03:12:42 +02:00
|
|
|
|
extern void ax_simple (struct agent_expr *EXPR, enum agent_op OP);
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
2011-02-18 21:55:45 +01:00
|
|
|
|
/* Append a pick operator to EXPR. DEPTH is the stack item to pick,
|
|
|
|
|
with 0 being top of stack. */
|
|
|
|
|
extern void ax_pick (struct agent_expr *EXPR, int DEPTH);
|
|
|
|
|
|
1999-04-16 03:35:26 +02:00
|
|
|
|
/* Append the floating-point prefix, for the next bytecode. */
|
|
|
|
|
#define ax_float(EXPR) (ax_simple ((EXPR), aop_float))
|
|
|
|
|
|
|
|
|
|
/* Append a sign-extension instruction to EXPR, to extend an N-bit value. */
|
2000-05-28 03:12:42 +02:00
|
|
|
|
extern void ax_ext (struct agent_expr *EXPR, int N);
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
|
|
|
|
/* Append a zero-extension instruction to EXPR, to extend an N-bit value. */
|
2000-05-28 03:12:42 +02:00
|
|
|
|
extern void ax_zero_ext (struct agent_expr *EXPR, int N);
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
|
|
|
|
/* Append a trace_quick instruction to EXPR, to record N bytes. */
|
2000-05-28 03:12:42 +02:00
|
|
|
|
extern void ax_trace_quick (struct agent_expr *EXPR, int N);
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
|
|
|
|
/* Append a goto op to EXPR. OP is the actual op (must be aop_goto or
|
|
|
|
|
aop_if_goto). We assume we don't know the target offset yet,
|
|
|
|
|
because it's probably a forward branch, so we leave space in EXPR
|
|
|
|
|
for the target, and return the offset in EXPR of that space, so we
|
|
|
|
|
can backpatch it once we do know the target offset. Use ax_label
|
|
|
|
|
to do the backpatching. */
|
2000-05-28 03:12:42 +02:00
|
|
|
|
extern int ax_goto (struct agent_expr *EXPR, enum agent_op OP);
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
|
|
|
|
/* Suppose a given call to ax_goto returns some value PATCH. When you
|
|
|
|
|
know the offset TARGET that goto should jump to, call
|
1999-07-07 22:19:36 +02:00
|
|
|
|
ax_label (EXPR, PATCH, TARGET)
|
1999-04-16 03:35:26 +02:00
|
|
|
|
to patch TARGET into the ax_goto instruction. */
|
2000-05-28 03:12:42 +02:00
|
|
|
|
extern void ax_label (struct agent_expr *EXPR, int patch, int target);
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
|
|
|
|
/* Assemble code to push a constant on the stack. */
|
2000-05-28 03:12:42 +02:00
|
|
|
|
extern void ax_const_l (struct agent_expr *EXPR, LONGEST l);
|
|
|
|
|
extern void ax_const_d (struct agent_expr *EXPR, LONGEST d);
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
|
|
|
|
/* Assemble code to push the value of register number REG on the
|
|
|
|
|
stack. */
|
2000-05-28 03:12:42 +02:00
|
|
|
|
extern void ax_reg (struct agent_expr *EXPR, int REG);
|
2009-12-29 00:39:10 +01:00
|
|
|
|
|
2010-04-24 01:51:05 +02:00
|
|
|
|
/* Add the given register to the register mask of the expression. */
|
|
|
|
|
extern void ax_reg_mask (struct agent_expr *ax, int reg);
|
|
|
|
|
|
2009-12-29 00:39:10 +01:00
|
|
|
|
/* Assemble code to operate on a trace state variable. */
|
|
|
|
|
extern void ax_tsv (struct agent_expr *expr, enum agent_op op, int num);
|
2012-07-02 17:29:39 +02:00
|
|
|
|
|
|
|
|
|
/* Append a string to the bytecode stream. */
|
2013-03-07 01:48:25 +01:00
|
|
|
|
extern void ax_string (struct agent_expr *x, const char *str, int slen);
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
1999-07-07 22:19:36 +02:00
|
|
|
|
|
1999-04-16 03:35:26 +02:00
|
|
|
|
/* Functions for printing out expressions, and otherwise debugging
|
|
|
|
|
things. */
|
|
|
|
|
|
|
|
|
|
/* Disassemble the expression EXPR, writing to F. */
|
2000-02-02 01:21:19 +01:00
|
|
|
|
extern void ax_print (struct ui_file *f, struct agent_expr * EXPR);
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
|
|
|
|
/* An entry in the opcode map. */
|
1999-07-07 22:19:36 +02:00
|
|
|
|
struct aop_map
|
|
|
|
|
{
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
1999-07-07 22:19:36 +02:00
|
|
|
|
/* The name of the opcode. Null means that this entry is not a
|
|
|
|
|
valid opcode --- a hole in the opcode space. */
|
2011-02-16 22:02:29 +01:00
|
|
|
|
const char *name;
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
1999-07-07 22:19:36 +02:00
|
|
|
|
/* All opcodes take no operands from the bytecode stream, or take
|
|
|
|
|
unsigned integers of various sizes. If this is a positive number
|
|
|
|
|
n, then the opcode is followed by an n-byte operand, which should
|
|
|
|
|
be printed as an unsigned integer. If this is zero, then the
|
|
|
|
|
opcode takes no operands from the bytecode stream.
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
1999-07-07 22:19:36 +02:00
|
|
|
|
If we get more complicated opcodes in the future, don't add other
|
|
|
|
|
magic values of this; that's a crock. Add an `enum encoding'
|
|
|
|
|
field to this, or something like that. */
|
|
|
|
|
int op_size;
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
1999-07-07 22:19:36 +02:00
|
|
|
|
/* The size of the data operated upon, in bits, for bytecodes that
|
|
|
|
|
care about that (ref and const). Zero for all others. */
|
|
|
|
|
int data_size;
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
1999-07-07 22:19:36 +02:00
|
|
|
|
/* Number of stack elements consumed, and number produced. */
|
|
|
|
|
int consumed, produced;
|
|
|
|
|
};
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
|
|
|
|
/* Map of the bytecodes, indexed by bytecode number. */
|
|
|
|
|
extern struct aop_map aop_map[];
|
|
|
|
|
|
2010-04-24 01:51:05 +02:00
|
|
|
|
/* Given an agent expression AX, analyze and update its requirements. */
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
2010-04-24 01:51:05 +02:00
|
|
|
|
extern void ax_reqs (struct agent_expr *ax);
|
1999-04-16 03:35:26 +02:00
|
|
|
|
|
2019-01-27 20:51:36 +01:00
|
|
|
|
#endif /* AX_H */
|