gdb/
[deliverable/binutils-gdb.git] / gdb / ax-general.c
CommitLineData
c906108c 1/* Functions for manipulating expressions designed to be executed on the agent
4c38e0a4 2 Copyright (C) 1998, 1999, 2000, 2007, 2008, 2009, 2010
0fb0cc75 3 Free Software Foundation, Inc.
c906108c 4
c5aa993b 5 This file is part of GDB.
c906108c 6
c5aa993b
JM
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
a9762ec7 9 the Free Software Foundation; either version 3 of the License, or
c5aa993b 10 (at your option) any later version.
c906108c 11
c5aa993b
JM
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
c906108c 16
c5aa993b 17 You should have received a copy of the GNU General Public License
a9762ec7 18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
c906108c 19
c906108c
SS
20/* Despite what the above comment says about this file being part of
21 GDB, we would like to keep these functions free of GDB
22 dependencies, since we want to be able to use them in contexts
23 outside of GDB (test suites, the stub, etc.) */
24
25#include "defs.h"
26#include "ax.h"
27
7a292a7a 28#include "value.h"
b66d6d2e 29#include "gdb_string.h"
7a292a7a 30
a14ed312 31static void grow_expr (struct agent_expr *x, int n);
392a587b 32
a14ed312 33static void append_const (struct agent_expr *x, LONGEST val, int n);
392a587b 34
a14ed312 35static LONGEST read_const (struct agent_expr *x, int o, int n);
392a587b 36
a14ed312 37static void generic_ext (struct agent_expr *x, enum agent_op op, int n);
c906108c
SS
38\f
39/* Functions for building expressions. */
40
41/* Allocate a new, empty agent expression. */
42struct agent_expr *
fba45db2 43new_agent_expr (CORE_ADDR scope)
c906108c
SS
44{
45 struct agent_expr *x = xmalloc (sizeof (*x));
c5aa993b 46 x->len = 0;
c906108c
SS
47 x->size = 1; /* Change this to a larger value once
48 reallocation code is tested. */
c5aa993b 49 x->buf = xmalloc (x->size);
c906108c
SS
50 x->scope = scope;
51
52 return x;
53}
54
55/* Free a agent expression. */
56void
fba45db2 57free_agent_expr (struct agent_expr *x)
c906108c 58{
b8c9b27d
KB
59 xfree (x->buf);
60 xfree (x);
c906108c
SS
61}
62
f23d52e0
AC
63static void
64do_free_agent_expr_cleanup (void *x)
65{
66 free_agent_expr (x);
67}
68
69struct cleanup *
70make_cleanup_free_agent_expr (struct agent_expr *x)
71{
72 return make_cleanup (do_free_agent_expr_cleanup, x);
73}
74
c906108c
SS
75
76/* Make sure that X has room for at least N more bytes. This doesn't
77 affect the length, just the allocated size. */
78static void
fba45db2 79grow_expr (struct agent_expr *x, int n)
c906108c
SS
80{
81 if (x->len + n > x->size)
82 {
83 x->size *= 2;
84 if (x->size < x->len + n)
85 x->size = x->len + n + 10;
86 x->buf = xrealloc (x->buf, x->size);
87 }
88}
89
90
91/* Append the low N bytes of VAL as an N-byte integer to the
92 expression X, in big-endian order. */
93static void
fba45db2 94append_const (struct agent_expr *x, LONGEST val, int n)
c906108c
SS
95{
96 int i;
97
98 grow_expr (x, n);
99 for (i = n - 1; i >= 0; i--)
100 {
101 x->buf[x->len + i] = val & 0xff;
102 val >>= 8;
103 }
104 x->len += n;
105}
106
107
108/* Extract an N-byte big-endian unsigned integer from expression X at
109 offset O. */
110static LONGEST
fba45db2 111read_const (struct agent_expr *x, int o, int n)
c906108c
SS
112{
113 int i;
114 LONGEST accum = 0;
115
116 /* Make sure we're not reading off the end of the expression. */
117 if (o + n > x->len)
3d263c1d 118 error (_("GDB bug: ax-general.c (read_const): incomplete constant"));
c906108c
SS
119
120 for (i = 0; i < n; i++)
121 accum = (accum << 8) | x->buf[o + i];
c5aa993b 122
c906108c
SS
123 return accum;
124}
125
126
127/* Append a simple operator OP to EXPR. */
128void
fba45db2 129ax_simple (struct agent_expr *x, enum agent_op op)
c906108c
SS
130{
131 grow_expr (x, 1);
132 x->buf[x->len++] = op;
133}
134
135
136/* Append a sign-extension or zero-extension instruction to EXPR, to
137 extend an N-bit value. */
138static void
fba45db2 139generic_ext (struct agent_expr *x, enum agent_op op, int n)
c906108c
SS
140{
141 /* N must fit in a byte. */
142 if (n < 0 || n > 255)
3d263c1d 143 error (_("GDB bug: ax-general.c (generic_ext): bit count out of range"));
c906108c
SS
144 /* That had better be enough range. */
145 if (sizeof (LONGEST) * 8 > 255)
3d263c1d 146 error (_("GDB bug: ax-general.c (generic_ext): opcode has inadequate range"));
c906108c
SS
147
148 grow_expr (x, 2);
149 x->buf[x->len++] = op;
150 x->buf[x->len++] = n;
151}
152
153
154/* Append a sign-extension instruction to EXPR, to extend an N-bit value. */
155void
fba45db2 156ax_ext (struct agent_expr *x, int n)
c906108c
SS
157{
158 generic_ext (x, aop_ext, n);
159}
160
161
162/* Append a zero-extension instruction to EXPR, to extend an N-bit value. */
163void
fba45db2 164ax_zero_ext (struct agent_expr *x, int n)
c906108c
SS
165{
166 generic_ext (x, aop_zero_ext, n);
167}
168
169
170/* Append a trace_quick instruction to EXPR, to record N bytes. */
171void
fba45db2 172ax_trace_quick (struct agent_expr *x, int n)
c906108c
SS
173{
174 /* N must fit in a byte. */
175 if (n < 0 || n > 255)
3d263c1d 176 error (_("GDB bug: ax-general.c (ax_trace_quick): size out of range for trace_quick"));
c906108c
SS
177
178 grow_expr (x, 2);
179 x->buf[x->len++] = aop_trace_quick;
180 x->buf[x->len++] = n;
181}
182
183
184/* Append a goto op to EXPR. OP is the actual op (must be aop_goto or
185 aop_if_goto). We assume we don't know the target offset yet,
186 because it's probably a forward branch, so we leave space in EXPR
187 for the target, and return the offset in EXPR of that space, so we
188 can backpatch it once we do know the target offset. Use ax_label
189 to do the backpatching. */
c5aa993b 190int
fba45db2 191ax_goto (struct agent_expr *x, enum agent_op op)
c906108c
SS
192{
193 grow_expr (x, 3);
194 x->buf[x->len + 0] = op;
195 x->buf[x->len + 1] = 0xff;
196 x->buf[x->len + 2] = 0xff;
197 x->len += 3;
198 return x->len - 2;
199}
200
201/* Suppose a given call to ax_goto returns some value PATCH. When you
202 know the offset TARGET that goto should jump to, call
c5aa993b 203 ax_label (EXPR, PATCH, TARGET)
c906108c
SS
204 to patch TARGET into the ax_goto instruction. */
205void
fba45db2 206ax_label (struct agent_expr *x, int patch, int target)
c906108c
SS
207{
208 /* Make sure the value is in range. Don't accept 0xffff as an
209 offset; that's our magic sentinel value for unpatched branches. */
210 if (target < 0 || target >= 0xffff)
3d263c1d 211 error (_("GDB bug: ax-general.c (ax_label): label target out of range"));
c5aa993b 212
c906108c
SS
213 x->buf[patch] = (target >> 8) & 0xff;
214 x->buf[patch + 1] = target & 0xff;
215}
216
217
218/* Assemble code to push a constant on the stack. */
219void
fba45db2 220ax_const_l (struct agent_expr *x, LONGEST l)
c906108c
SS
221{
222 static enum agent_op ops[]
c5aa993b
JM
223 =
224 {aop_const8, aop_const16, aop_const32, aop_const64};
c906108c
SS
225 int size;
226 int op;
227
228 /* How big is the number? 'op' keeps track of which opcode to use.
229 Notice that we don't really care whether the original number was
230 signed or unsigned; we always reproduce the value exactly, and
231 use the shortest representation. */
232 for (op = 0, size = 8; size < 64; size *= 2, op++)
44a81774 233 {
cf3e25ca 234 LONGEST lim = ((LONGEST) 1) << (size - 1);
44a81774
JB
235
236 if (-lim <= l && l <= lim - 1)
237 break;
238 }
c906108c
SS
239
240 /* Emit the right opcode... */
241 ax_simple (x, ops[op]);
242
243 /* Emit the low SIZE bytes as an unsigned number. We know that
244 sign-extending this will yield l. */
245 append_const (x, l, size / 8);
246
247 /* Now, if it was negative, and not full-sized, sign-extend it. */
248 if (l < 0 && size < 64)
249 ax_ext (x, size);
250}
251
252
253void
fba45db2 254ax_const_d (struct agent_expr *x, LONGEST d)
c906108c
SS
255{
256 /* FIXME: floating-point support not present yet. */
3d263c1d 257 error (_("GDB bug: ax-general.c (ax_const_d): floating point not supported yet"));
c906108c
SS
258}
259
260
261/* Assemble code to push the value of register number REG on the
262 stack. */
c5aa993b 263void
fba45db2 264ax_reg (struct agent_expr *x, int reg)
c906108c
SS
265{
266 /* Make sure the register number is in range. */
267 if (reg < 0 || reg > 0xffff)
3d263c1d 268 error (_("GDB bug: ax-general.c (ax_reg): register number out of range"));
c906108c 269 grow_expr (x, 3);
c5aa993b 270 x->buf[x->len] = aop_reg;
c906108c 271 x->buf[x->len + 1] = (reg >> 8) & 0xff;
c5aa993b 272 x->buf[x->len + 2] = (reg) & 0xff;
c906108c
SS
273 x->len += 3;
274}
f61e138d
SS
275
276/* Assemble code to operate on a trace state variable. */
277
278void
279ax_tsv (struct agent_expr *x, enum agent_op op, int num)
280{
281 /* Make sure the tsv number is in range. */
282 if (num < 0 || num > 0xffff)
283 internal_error (__FILE__, __LINE__, _("ax-general.c (ax_tsv): variable number is %d, out of range"), num);
284
285 grow_expr (x, 3);
286 x->buf[x->len] = op;
287 x->buf[x->len + 1] = (num >> 8) & 0xff;
288 x->buf[x->len + 2] = (num) & 0xff;
289 x->len += 3;
290}
c5aa993b 291\f
c906108c
SS
292
293
c906108c
SS
294/* Functions for disassembling agent expressions, and otherwise
295 debugging the expression compiler. */
296
c5aa993b
JM
297struct aop_map aop_map[] =
298{
299 {0, 0, 0, 0, 0},
300 {"float", 0, 0, 0, 0}, /* 0x01 */
301 {"add", 0, 0, 2, 1}, /* 0x02 */
302 {"sub", 0, 0, 2, 1}, /* 0x03 */
303 {"mul", 0, 0, 2, 1}, /* 0x04 */
304 {"div_signed", 0, 0, 2, 1}, /* 0x05 */
305 {"div_unsigned", 0, 0, 2, 1}, /* 0x06 */
306 {"rem_signed", 0, 0, 2, 1}, /* 0x07 */
307 {"rem_unsigned", 0, 0, 2, 1}, /* 0x08 */
308 {"lsh", 0, 0, 2, 1}, /* 0x09 */
309 {"rsh_signed", 0, 0, 2, 1}, /* 0x0a */
310 {"rsh_unsigned", 0, 0, 2, 1}, /* 0x0b */
311 {"trace", 0, 0, 2, 0}, /* 0x0c */
312 {"trace_quick", 1, 0, 1, 1}, /* 0x0d */
313 {"log_not", 0, 0, 1, 1}, /* 0x0e */
314 {"bit_and", 0, 0, 2, 1}, /* 0x0f */
315 {"bit_or", 0, 0, 2, 1}, /* 0x10 */
316 {"bit_xor", 0, 0, 2, 1}, /* 0x11 */
317 {"bit_not", 0, 0, 1, 1}, /* 0x12 */
318 {"equal", 0, 0, 2, 1}, /* 0x13 */
319 {"less_signed", 0, 0, 2, 1}, /* 0x14 */
320 {"less_unsigned", 0, 0, 2, 1}, /* 0x15 */
321 {"ext", 1, 0, 1, 1}, /* 0x16 */
322 {"ref8", 0, 8, 1, 1}, /* 0x17 */
323 {"ref16", 0, 16, 1, 1}, /* 0x18 */
324 {"ref32", 0, 32, 1, 1}, /* 0x19 */
325 {"ref64", 0, 64, 1, 1}, /* 0x1a */
326 {"ref_float", 0, 0, 1, 1}, /* 0x1b */
327 {"ref_double", 0, 0, 1, 1}, /* 0x1c */
328 {"ref_long_double", 0, 0, 1, 1}, /* 0x1d */
329 {"l_to_d", 0, 0, 1, 1}, /* 0x1e */
330 {"d_to_l", 0, 0, 1, 1}, /* 0x1f */
331 {"if_goto", 2, 0, 1, 0}, /* 0x20 */
332 {"goto", 2, 0, 0, 0}, /* 0x21 */
333 {"const8", 1, 8, 0, 1}, /* 0x22 */
334 {"const16", 2, 16, 0, 1}, /* 0x23 */
335 {"const32", 4, 32, 0, 1}, /* 0x24 */
336 {"const64", 8, 64, 0, 1}, /* 0x25 */
337 {"reg", 2, 0, 0, 1}, /* 0x26 */
338 {"end", 0, 0, 0, 0}, /* 0x27 */
339 {"dup", 0, 0, 1, 2}, /* 0x28 */
340 {"pop", 0, 0, 1, 0}, /* 0x29 */
341 {"zero_ext", 1, 0, 1, 1}, /* 0x2a */
342 {"swap", 0, 0, 2, 2}, /* 0x2b */
f61e138d
SS
343 {"getv", 2, 0, 0, 1}, /* 0x2c */
344 {"setv", 2, 0, 0, 1}, /* 0x2d */
345 {"tracev", 2, 0, 0, 1}, /* 0x2e */
c5aa993b
JM
346 {0, 0, 0, 0, 0}, /* 0x2f */
347 {"trace16", 2, 0, 1, 1}, /* 0x30 */
c906108c
SS
348};
349
350
351/* Disassemble the expression EXPR, writing to F. */
352void
fba45db2 353ax_print (struct ui_file *f, struct agent_expr *x)
c906108c
SS
354{
355 int i;
356 int is_float = 0;
357
358 /* Check the size of the name array against the number of entries in
359 the enum, to catch additions that people didn't sync. */
360 if ((sizeof (aop_map) / sizeof (aop_map[0]))
361 != aop_last)
3d263c1d 362 error (_("GDB bug: ax-general.c (ax_print): opcode map out of sync"));
c5aa993b
JM
363
364 for (i = 0; i < x->len;)
c906108c
SS
365 {
366 enum agent_op op = x->buf[i];
367
368 if (op >= (sizeof (aop_map) / sizeof (aop_map[0]))
c5aa993b 369 || !aop_map[op].name)
c906108c 370 {
3d263c1d 371 fprintf_filtered (f, _("%3d <bad opcode %02x>\n"), i, op);
c906108c
SS
372 i++;
373 continue;
374 }
375 if (i + 1 + aop_map[op].op_size > x->len)
376 {
3d263c1d 377 fprintf_filtered (f, _("%3d <incomplete opcode %s>\n"),
c906108c
SS
378 i, aop_map[op].name);
379 break;
380 }
381
382 fprintf_filtered (f, "%3d %s", i, aop_map[op].name);
383 if (aop_map[op].op_size > 0)
384 {
385 fputs_filtered (" ", f);
c5aa993b 386
c906108c
SS
387 print_longest (f, 'd', 0,
388 read_const (x, i + 1, aop_map[op].op_size));
389 }
390 fprintf_filtered (f, "\n");
391 i += 1 + aop_map[op].op_size;
392
393 is_float = (op == aop_float);
394 }
395}
396
397
398/* Given an agent expression AX, fill in an agent_reqs structure REQS
399 describing it. */
400void
fba45db2 401ax_reqs (struct agent_expr *ax, struct agent_reqs *reqs)
c906108c
SS
402{
403 int i;
404 int height;
405
406 /* Bit vector for registers used. */
407 int reg_mask_len = 1;
408 unsigned char *reg_mask = xmalloc (reg_mask_len * sizeof (reg_mask[0]));
409
3d269a59
JB
410 /* Jump target table. targets[i] is non-zero iff we have found a
411 jump to offset i. */
c906108c
SS
412 char *targets = (char *) alloca (ax->len * sizeof (targets[0]));
413
3d269a59
JB
414 /* Instruction boundary table. boundary[i] is non-zero iff our scan
415 has reached an instruction starting at offset i. */
c906108c
SS
416 char *boundary = (char *) alloca (ax->len * sizeof (boundary[0]));
417
3d269a59 418 /* Stack height record. If either targets[i] or boundary[i] is
c906108c
SS
419 non-zero, heights[i] is the height the stack should have before
420 executing the bytecode at that point. */
421 int *heights = (int *) alloca (ax->len * sizeof (heights[0]));
422
423 /* Pointer to a description of the present op. */
424 struct aop_map *op;
425
426 memset (reg_mask, 0, reg_mask_len * sizeof (reg_mask[0]));
427 memset (targets, 0, ax->len * sizeof (targets[0]));
428 memset (boundary, 0, ax->len * sizeof (boundary[0]));
429
430 reqs->max_height = reqs->min_height = height = 0;
431 reqs->flaw = agent_flaw_none;
432 reqs->max_data_size = 0;
433
434 for (i = 0; i < ax->len; i += 1 + op->op_size)
435 {
436 if (ax->buf[i] > (sizeof (aop_map) / sizeof (aop_map[0])))
437 {
438 reqs->flaw = agent_flaw_bad_instruction;
b8c9b27d 439 xfree (reg_mask);
c906108c
SS
440 return;
441 }
442
443 op = &aop_map[ax->buf[i]];
444
c5aa993b 445 if (!op->name)
c906108c
SS
446 {
447 reqs->flaw = agent_flaw_bad_instruction;
b8c9b27d 448 xfree (reg_mask);
c906108c
SS
449 return;
450 }
c5aa993b 451
c906108c
SS
452 if (i + 1 + op->op_size > ax->len)
453 {
454 reqs->flaw = agent_flaw_incomplete_instruction;
b8c9b27d 455 xfree (reg_mask);
c906108c
SS
456 return;
457 }
458
3d269a59
JB
459 /* If this instruction is a forward jump target, does the
460 current stack height match the stack height at the jump
461 source? */
c906108c
SS
462 if (targets[i] && (heights[i] != height))
463 {
464 reqs->flaw = agent_flaw_height_mismatch;
b8c9b27d 465 xfree (reg_mask);
c906108c
SS
466 return;
467 }
468
469 boundary[i] = 1;
470 heights[i] = height;
471
472 height -= op->consumed;
473 if (height < reqs->min_height)
474 reqs->min_height = height;
475 height += op->produced;
476 if (height > reqs->max_height)
477 reqs->max_height = height;
478
479 if (op->data_size > reqs->max_data_size)
480 reqs->max_data_size = op->data_size;
481
482 /* For jump instructions, check that the target is a valid
c5aa993b
JM
483 offset. If it is, record the fact that that location is a
484 jump target, and record the height we expect there. */
c906108c
SS
485 if (aop_goto == op - aop_map
486 || aop_if_goto == op - aop_map)
487 {
488 int target = read_const (ax, i + 1, 2);
489 if (target < 0 || target >= ax->len)
490 {
491 reqs->flaw = agent_flaw_bad_jump;
b8c9b27d 492 xfree (reg_mask);
c906108c
SS
493 return;
494 }
3d269a59
JB
495
496 /* Do we have any information about what the stack height
497 should be at the target? */
498 if (targets[target] || boundary[target])
c906108c 499 {
3d269a59 500 if (heights[target] != height)
c906108c
SS
501 {
502 reqs->flaw = agent_flaw_height_mismatch;
b8c9b27d 503 xfree (reg_mask);
c906108c
SS
504 return;
505 }
506 }
3d269a59
JB
507
508 /* Record the target, along with the stack height we expect. */
509 targets[target] = 1;
510 heights[target] = height;
c906108c 511 }
c5aa993b 512
c906108c
SS
513 /* For unconditional jumps with a successor, check that the
514 successor is a target, and pick up its stack height. */
515 if (aop_goto == op - aop_map
516 && i + 3 < ax->len)
517 {
c5aa993b 518 if (!targets[i + 3])
c906108c
SS
519 {
520 reqs->flaw = agent_flaw_hole;
b8c9b27d 521 xfree (reg_mask);
c906108c
SS
522 return;
523 }
524
525 height = heights[i + 3];
526 }
527
528 /* For reg instructions, record the register in the bit mask. */
529 if (aop_reg == op - aop_map)
530 {
531 int reg = read_const (ax, i + 1, 2);
532 int byte = reg / 8;
533
534 /* Grow the bit mask if necessary. */
535 if (byte >= reg_mask_len)
536 {
537 /* It's not appropriate to double here. This isn't a
c5aa993b 538 string buffer. */
c906108c 539 int new_len = byte + 1;
c5aa993b 540 reg_mask = xrealloc (reg_mask,
c906108c
SS
541 new_len * sizeof (reg_mask[0]));
542 memset (reg_mask + reg_mask_len, 0,
543 (new_len - reg_mask_len) * sizeof (reg_mask[0]));
544 reg_mask_len = new_len;
545 }
546
547 reg_mask[byte] |= 1 << (reg % 8);
548 }
549 }
550
551 /* Check that all the targets are on boundaries. */
552 for (i = 0; i < ax->len; i++)
553 if (targets[i] && !boundary[i])
554 {
555 reqs->flaw = agent_flaw_bad_jump;
b8c9b27d 556 xfree (reg_mask);
c906108c
SS
557 return;
558 }
559
560 reqs->final_height = height;
561 reqs->reg_mask_len = reg_mask_len;
562 reqs->reg_mask = reg_mask;
563}
This page took 0.678205 seconds and 4 git commands to generate.