268 lines
9.8 KiB
C
268 lines
9.8 KiB
C
/* Definitions for expressions designed to be executed on the agent
|
||
Copyright (C) 1998-2000, 2007-2012 Free Software Foundation, Inc.
|
||
|
||
This file is part of GDB.
|
||
|
||
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
|
||
the Free Software Foundation; either version 3 of the License, or
|
||
(at your option) any later version.
|
||
|
||
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.
|
||
|
||
You should have received a copy of the GNU General Public License
|
||
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
||
|
||
#ifndef AGENTEXPR_H
|
||
#define AGENTEXPR_H
|
||
|
||
#include "doublest.h" /* For DOUBLEST. */
|
||
#include "vec.h"
|
||
|
||
/* 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. */
|
||
|
||
|
||
/* 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
|
||
};
|
||
|
||
/* Agent expression data structures. */
|
||
|
||
/* The type of an element of the agent expression stack.
|
||
The bytecode operation indicates which element we should access;
|
||
the value itself has no typing information. GDB generates all
|
||
bytecode streams, so we don't have to worry about type errors. */
|
||
|
||
union agent_val
|
||
{
|
||
LONGEST l;
|
||
DOUBLEST d;
|
||
};
|
||
|
||
/* A buffer containing a agent expression. */
|
||
struct agent_expr
|
||
{
|
||
/* The bytes of the expression. */
|
||
unsigned char *buf;
|
||
|
||
/* 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. */
|
||
CORE_ADDR scope;
|
||
|
||
/* 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
|
||
|
||
reg_mask[R / 8] & (1 << (R % 8))
|
||
|
||
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;
|
||
};
|
||
|
||
/* Pointer to an agent_expr structure. */
|
||
typedef struct agent_expr *agent_expr_p;
|
||
|
||
/* Vector of pointers to agent expressions. */
|
||
DEF_VEC_P (agent_expr_p);
|
||
|
||
/* The actual values of the various bytecode operations. */
|
||
|
||
enum agent_op
|
||
{
|
||
#define DEFOP(NAME, SIZE, DATA_SIZE, CONSUMED, PRODUCED, VALUE) \
|
||
aop_ ## NAME = VALUE,
|
||
#include "ax.def"
|
||
#undef DEFOP
|
||
aop_last
|
||
};
|
||
|
||
|
||
|
||
/* Functions for building expressions. */
|
||
|
||
/* Allocate a new, empty agent expression. */
|
||
extern struct agent_expr *new_agent_expr (struct gdbarch *, CORE_ADDR);
|
||
|
||
/* Free a agent expression. */
|
||
extern void free_agent_expr (struct agent_expr *);
|
||
extern struct cleanup *make_cleanup_free_agent_expr (struct agent_expr *);
|
||
|
||
/* Append a simple operator OP to EXPR. */
|
||
extern void ax_simple (struct agent_expr *EXPR, enum agent_op OP);
|
||
|
||
/* 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);
|
||
|
||
/* 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. */
|
||
extern void ax_ext (struct agent_expr *EXPR, int N);
|
||
|
||
/* Append a zero-extension instruction to EXPR, to extend an N-bit value. */
|
||
extern void ax_zero_ext (struct agent_expr *EXPR, int N);
|
||
|
||
/* Append a trace_quick instruction to EXPR, to record N bytes. */
|
||
extern void ax_trace_quick (struct agent_expr *EXPR, int N);
|
||
|
||
/* 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. */
|
||
extern int ax_goto (struct agent_expr *EXPR, enum agent_op OP);
|
||
|
||
/* Suppose a given call to ax_goto returns some value PATCH. When you
|
||
know the offset TARGET that goto should jump to, call
|
||
ax_label (EXPR, PATCH, TARGET)
|
||
to patch TARGET into the ax_goto instruction. */
|
||
extern void ax_label (struct agent_expr *EXPR, int patch, int target);
|
||
|
||
/* Assemble code to push a constant on the stack. */
|
||
extern void ax_const_l (struct agent_expr *EXPR, LONGEST l);
|
||
extern void ax_const_d (struct agent_expr *EXPR, LONGEST d);
|
||
|
||
/* Assemble code to push the value of register number REG on the
|
||
stack. */
|
||
extern void ax_reg (struct agent_expr *EXPR, int REG);
|
||
|
||
/* Add the given register to the register mask of the expression. */
|
||
extern void ax_reg_mask (struct agent_expr *ax, int reg);
|
||
|
||
/* Assemble code to operate on a trace state variable. */
|
||
extern void ax_tsv (struct agent_expr *expr, enum agent_op op, int num);
|
||
|
||
/* Append a string to the bytecode stream. */
|
||
extern void ax_string (struct agent_expr *x, char *str, int slen);
|
||
|
||
|
||
/* Functions for printing out expressions, and otherwise debugging
|
||
things. */
|
||
|
||
/* Disassemble the expression EXPR, writing to F. */
|
||
extern void ax_print (struct ui_file *f, struct agent_expr * EXPR);
|
||
|
||
/* An entry in the opcode map. */
|
||
struct aop_map
|
||
{
|
||
|
||
/* The name of the opcode. Null means that this entry is not a
|
||
valid opcode --- a hole in the opcode space. */
|
||
const char *name;
|
||
|
||
/* 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.
|
||
|
||
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;
|
||
|
||
/* 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;
|
||
|
||
/* Number of stack elements consumed, and number produced. */
|
||
int consumed, produced;
|
||
};
|
||
|
||
/* Map of the bytecodes, indexed by bytecode number. */
|
||
extern struct aop_map aop_map[];
|
||
|
||
/* Given an agent expression AX, analyze and update its requirements. */
|
||
|
||
extern void ax_reqs (struct agent_expr *ax);
|
||
|
||
#endif /* AGENTEXPR_H */
|