ChangeLog:
[deliverable/binutils-gdb.git] / gdb / valarith.c
CommitLineData
c906108c 1/* Perform arithmetic and other operations on values, for GDB.
1bac305b 2
6aba47ca 3 Copyright (C) 1986, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996,
0fb0cc75 4 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2007, 2008, 2009
d067a990 5 Free Software Foundation, Inc.
c906108c 6
c5aa993b 7 This file is part of GDB.
c906108c 8
c5aa993b
JM
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
a9762ec7 11 the Free Software Foundation; either version 3 of the License, or
c5aa993b 12 (at your option) any later version.
c906108c 13
c5aa993b
JM
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
c906108c 18
c5aa993b 19 You should have received a copy of the GNU General Public License
a9762ec7 20 along with this program. If not, see <http://www.gnu.org/licenses/>. */
c906108c
SS
21
22#include "defs.h"
23#include "value.h"
24#include "symtab.h"
25#include "gdbtypes.h"
26#include "expression.h"
27#include "target.h"
28#include "language.h"
c906108c 29#include "gdb_string.h"
d16aafd8 30#include "doublest.h"
4ef30785 31#include "dfp.h"
c4093a6a 32#include <math.h>
04714b91 33#include "infcall.h"
c906108c
SS
34
35/* Define whether or not the C operator '/' truncates towards zero for
36 differently signed operands (truncation direction is undefined in C). */
37
38#ifndef TRUNCATION_TOWARDS_ZERO
39#define TRUNCATION_TOWARDS_ZERO ((-5 / 2) == -2)
40#endif
41
a14ed312 42void _initialize_valarith (void);
c906108c 43\f
c5aa993b 44
ca439ad2
JI
45/* Given a pointer, return the size of its target.
46 If the pointer type is void *, then return 1.
47 If the target type is incomplete, then error out.
48 This isn't a general purpose function, but just a
89eef114 49 helper for value_ptrsub & value_ptradd.
ca439ad2
JI
50*/
51
52static LONGEST
53find_size_for_pointer_math (struct type *ptr_type)
54{
55 LONGEST sz = -1;
56 struct type *ptr_target;
57
89eef114 58 gdb_assert (TYPE_CODE (ptr_type) == TYPE_CODE_PTR);
ca439ad2
JI
59 ptr_target = check_typedef (TYPE_TARGET_TYPE (ptr_type));
60
61 sz = TYPE_LENGTH (ptr_target);
62 if (sz == 0)
63 {
64 if (TYPE_CODE (ptr_type) == TYPE_CODE_VOID)
65 sz = 1;
66 else
67 {
68 char *name;
69
70 name = TYPE_NAME (ptr_target);
71 if (name == NULL)
72 name = TYPE_TAG_NAME (ptr_target);
73 if (name == NULL)
8a3fe4f8
AC
74 error (_("Cannot perform pointer math on incomplete types, "
75 "try casting to a known type, or void *."));
ca439ad2 76 else
8a3fe4f8
AC
77 error (_("Cannot perform pointer math on incomplete type \"%s\", "
78 "try casting to a known type, or void *."), name);
ca439ad2
JI
79 }
80 }
81 return sz;
82}
83
89eef114
UW
84/* Given a pointer ARG1 and an integral value ARG2, return the
85 result of C-style pointer arithmetic ARG1 + ARG2. */
86
f23631e4 87struct value *
89eef114 88value_ptradd (struct value *arg1, struct value *arg2)
c906108c 89{
89eef114 90 struct type *valptrtype;
ca439ad2 91 LONGEST sz;
c906108c 92
994b9211 93 arg1 = coerce_array (arg1);
89eef114
UW
94 valptrtype = check_typedef (value_type (arg1));
95 sz = find_size_for_pointer_math (valptrtype);
c906108c 96
89eef114
UW
97 if (!is_integral_type (value_type (arg2)))
98 error (_("Argument to arithmetic operation not a number or boolean."));
c906108c 99
89eef114
UW
100 return value_from_pointer (valptrtype,
101 value_as_address (arg1)
102 + (sz * value_as_long (arg2)));
103}
ca439ad2 104
89eef114
UW
105/* Given a pointer ARG1 and an integral value ARG2, return the
106 result of C-style pointer arithmetic ARG1 - ARG2. */
ca439ad2 107
89eef114
UW
108struct value *
109value_ptrsub (struct value *arg1, struct value *arg2)
110{
111 struct type *valptrtype;
112 LONGEST sz;
c906108c 113
89eef114
UW
114 arg1 = coerce_array (arg1);
115 valptrtype = check_typedef (value_type (arg1));
116 sz = find_size_for_pointer_math (valptrtype);
117
118 if (!is_integral_type (value_type (arg2)))
119 error (_("Argument to arithmetic operation not a number or boolean."));
120
121 return value_from_pointer (valptrtype,
122 value_as_address (arg1)
123 - (sz * value_as_long (arg2)));
c906108c
SS
124}
125
89eef114
UW
126/* Given two compatible pointer values ARG1 and ARG2, return the
127 result of C-style pointer arithmetic ARG1 - ARG2. */
128
129LONGEST
130value_ptrdiff (struct value *arg1, struct value *arg2)
c906108c
SS
131{
132 struct type *type1, *type2;
89eef114
UW
133 LONGEST sz;
134
994b9211
AC
135 arg1 = coerce_array (arg1);
136 arg2 = coerce_array (arg2);
df407dfe
AC
137 type1 = check_typedef (value_type (arg1));
138 type2 = check_typedef (value_type (arg2));
c906108c 139
89eef114
UW
140 gdb_assert (TYPE_CODE (type1) == TYPE_CODE_PTR);
141 gdb_assert (TYPE_CODE (type2) == TYPE_CODE_PTR);
ca439ad2 142
89eef114
UW
143 if (TYPE_LENGTH (check_typedef (TYPE_TARGET_TYPE (type1)))
144 != TYPE_LENGTH (check_typedef (TYPE_TARGET_TYPE (type2))))
145 error (_("\
c906108c 146First argument of `-' is a pointer and second argument is neither\n\
8a3fe4f8 147an integer nor a pointer of the same type."));
c906108c 148
89eef114
UW
149 sz = TYPE_LENGTH (check_typedef (TYPE_TARGET_TYPE (type1)));
150 return (value_as_long (arg1) - value_as_long (arg2)) / sz;
c906108c
SS
151}
152
153/* Return the value of ARRAY[IDX].
afc05acb
UW
154
155 ARRAY may be of type TYPE_CODE_ARRAY or TYPE_CODE_STRING. If the
156 current language supports C-style arrays, it may also be TYPE_CODE_PTR.
157 To access TYPE_CODE_BITSTRING values, use value_bitstring_subscript.
158
c906108c
SS
159 See comments in value_coerce_array() for rationale for reason for
160 doing lower bounds adjustment here rather than there.
161 FIXME: Perhaps we should validate that the index is valid and if
162 verbosity is set, warn about invalid indices (but still use them). */
163
f23631e4
AC
164struct value *
165value_subscript (struct value *array, struct value *idx)
c906108c 166{
f23631e4 167 struct value *bound;
c906108c
SS
168 int c_style = current_language->c_style_arrays;
169 struct type *tarray;
170
994b9211 171 array = coerce_ref (array);
df407dfe 172 tarray = check_typedef (value_type (array));
c906108c
SS
173
174 if (TYPE_CODE (tarray) == TYPE_CODE_ARRAY
175 || TYPE_CODE (tarray) == TYPE_CODE_STRING)
176 {
177 struct type *range_type = TYPE_INDEX_TYPE (tarray);
178 LONGEST lowerbound, upperbound;
179 get_discrete_bounds (range_type, &lowerbound, &upperbound);
180
181 if (VALUE_LVAL (array) != lval_memory)
182 return value_subscripted_rvalue (array, idx, lowerbound);
183
184 if (c_style == 0)
185 {
186 LONGEST index = value_as_long (idx);
187 if (index >= lowerbound && index <= upperbound)
188 return value_subscripted_rvalue (array, idx, lowerbound);
987504bb
JJ
189 /* Emit warning unless we have an array of unknown size.
190 An array of unknown size has lowerbound 0 and upperbound -1. */
191 if (upperbound > -1)
8a3fe4f8 192 warning (_("array or string index out of range"));
c906108c
SS
193 /* fall doing C stuff */
194 c_style = 1;
195 }
196
197 if (lowerbound != 0)
198 {
89eef114
UW
199 bound = value_from_longest (value_type (idx), (LONGEST) lowerbound);
200 idx = value_binop (idx, bound, BINOP_SUB);
c906108c
SS
201 }
202
203 array = value_coerce_array (array);
204 }
205
c906108c 206 if (c_style)
89eef114 207 return value_ind (value_ptradd (array, idx));
c906108c 208 else
8a3fe4f8 209 error (_("not an array or string"));
c906108c
SS
210}
211
212/* Return the value of EXPR[IDX], expr an aggregate rvalue
213 (eg, a vector register). This routine used to promote floats
214 to doubles, but no longer does. */
215
9eec4d1e 216struct value *
f23631e4 217value_subscripted_rvalue (struct value *array, struct value *idx, int lowerbound)
c906108c 218{
df407dfe 219 struct type *array_type = check_typedef (value_type (array));
c906108c
SS
220 struct type *elt_type = check_typedef (TYPE_TARGET_TYPE (array_type));
221 unsigned int elt_size = TYPE_LENGTH (elt_type);
222 LONGEST index = value_as_long (idx);
223 unsigned int elt_offs = elt_size * longest_to_int (index - lowerbound);
f23631e4 224 struct value *v;
c906108c
SS
225
226 if (index < lowerbound || elt_offs >= TYPE_LENGTH (array_type))
8a3fe4f8 227 error (_("no such vector element"));
c906108c
SS
228
229 v = allocate_value (elt_type);
9214ee5f 230 if (VALUE_LVAL (array) == lval_memory && value_lazy (array))
dfa52d88 231 set_value_lazy (v, 1);
c906108c 232 else
0fd88904
AC
233 memcpy (value_contents_writeable (v),
234 value_contents (array) + elt_offs, elt_size);
c906108c 235
74bcbdf3 236 set_value_component_location (v, array);
9ee8fc9d 237 VALUE_REGNUM (v) = VALUE_REGNUM (array);
65d3800a 238 VALUE_FRAME_ID (v) = VALUE_FRAME_ID (array);
f5cf64a7 239 set_value_offset (v, value_offset (array) + elt_offs);
c906108c
SS
240 return v;
241}
afc05acb
UW
242
243/* Return the value of BITSTRING[IDX] as (boolean) type TYPE. */
244
245struct value *
246value_bitstring_subscript (struct type *type,
247 struct value *bitstring, struct value *idx)
248{
249
250 struct type *bitstring_type, *range_type;
251 LONGEST index = value_as_long (idx);
252 struct value *v;
253 int offset, byte, bit_index;
254 LONGEST lowerbound, upperbound;
255
256 bitstring_type = check_typedef (value_type (bitstring));
257 gdb_assert (TYPE_CODE (bitstring_type) == TYPE_CODE_BITSTRING);
258
259 range_type = TYPE_INDEX_TYPE (bitstring_type);
260 get_discrete_bounds (range_type, &lowerbound, &upperbound);
261 if (index < lowerbound || index > upperbound)
262 error (_("bitstring index out of range"));
263
264 index -= lowerbound;
265 offset = index / TARGET_CHAR_BIT;
266 byte = *((char *) value_contents (bitstring) + offset);
267
268 bit_index = index % TARGET_CHAR_BIT;
269 byte >>= (gdbarch_bits_big_endian (current_gdbarch) ?
270 TARGET_CHAR_BIT - 1 - bit_index : bit_index);
271
272 v = value_from_longest (type, byte & 1);
273
274 set_value_bitpos (v, bit_index);
275 set_value_bitsize (v, 1);
74bcbdf3 276 set_value_component_location (v, bitstring);
afc05acb
UW
277 VALUE_FRAME_ID (v) = VALUE_FRAME_ID (bitstring);
278
279 set_value_offset (v, offset + value_offset (bitstring));
280
281 return v;
282}
283
c906108c 284\f
13d6656b
JB
285/* Check to see if either argument is a structure, or a reference to
286 one. This is called so we know whether to go ahead with the normal
287 binop or look for a user defined function instead.
c906108c
SS
288
289 For now, we do not overload the `=' operator. */
290
291int
f23631e4 292binop_user_defined_p (enum exp_opcode op, struct value *arg1, struct value *arg2)
c906108c
SS
293{
294 struct type *type1, *type2;
295 if (op == BINOP_ASSIGN || op == BINOP_CONCAT)
296 return 0;
13d6656b 297
df407dfe 298 type1 = check_typedef (value_type (arg1));
13d6656b
JB
299 if (TYPE_CODE (type1) == TYPE_CODE_REF)
300 type1 = check_typedef (TYPE_TARGET_TYPE (type1));
301
df407dfe 302 type2 = check_typedef (value_type (arg2));
13d6656b
JB
303 if (TYPE_CODE (type2) == TYPE_CODE_REF)
304 type2 = check_typedef (TYPE_TARGET_TYPE (type2));
305
c906108c 306 return (TYPE_CODE (type1) == TYPE_CODE_STRUCT
13d6656b 307 || TYPE_CODE (type2) == TYPE_CODE_STRUCT);
c906108c
SS
308}
309
310/* Check to see if argument is a structure. This is called so
311 we know whether to go ahead with the normal unop or look for a
312 user defined function instead.
313
314 For now, we do not overload the `&' operator. */
315
c5aa993b 316int
f23631e4 317unop_user_defined_p (enum exp_opcode op, struct value *arg1)
c906108c
SS
318{
319 struct type *type1;
320 if (op == UNOP_ADDR)
321 return 0;
df407dfe 322 type1 = check_typedef (value_type (arg1));
c906108c
SS
323 for (;;)
324 {
325 if (TYPE_CODE (type1) == TYPE_CODE_STRUCT)
326 return 1;
327 else if (TYPE_CODE (type1) == TYPE_CODE_REF)
328 type1 = TYPE_TARGET_TYPE (type1);
329 else
330 return 0;
331 }
332}
333
334/* We know either arg1 or arg2 is a structure, so try to find the right
335 user defined function. Create an argument vector that calls
336 arg1.operator @ (arg1,arg2) and return that value (where '@' is any
337 binary operator which is legal for GNU C++).
338
339 OP is the operatore, and if it is BINOP_ASSIGN_MODIFY, then OTHEROP
340 is the opcode saying how to modify it. Otherwise, OTHEROP is
341 unused. */
342
f23631e4
AC
343struct value *
344value_x_binop (struct value *arg1, struct value *arg2, enum exp_opcode op,
fba45db2 345 enum exp_opcode otherop, enum noside noside)
c906108c 346{
f23631e4 347 struct value **argvec;
c906108c
SS
348 char *ptr;
349 char tstr[13];
350 int static_memfuncp;
351
994b9211
AC
352 arg1 = coerce_ref (arg1);
353 arg2 = coerce_ref (arg2);
c906108c
SS
354
355 /* now we know that what we have to do is construct our
356 arg vector and find the right function to call it with. */
357
df407dfe 358 if (TYPE_CODE (check_typedef (value_type (arg1))) != TYPE_CODE_STRUCT)
8a3fe4f8 359 error (_("Can't do that binary op on that type")); /* FIXME be explicit */
c906108c 360
f23631e4 361 argvec = (struct value **) alloca (sizeof (struct value *) * 4);
c906108c
SS
362 argvec[1] = value_addr (arg1);
363 argvec[2] = arg2;
364 argvec[3] = 0;
365
c5aa993b
JM
366 /* make the right function name up */
367 strcpy (tstr, "operator__");
368 ptr = tstr + 8;
c906108c
SS
369 switch (op)
370 {
c5aa993b
JM
371 case BINOP_ADD:
372 strcpy (ptr, "+");
373 break;
374 case BINOP_SUB:
375 strcpy (ptr, "-");
376 break;
377 case BINOP_MUL:
378 strcpy (ptr, "*");
379 break;
380 case BINOP_DIV:
381 strcpy (ptr, "/");
382 break;
383 case BINOP_REM:
384 strcpy (ptr, "%");
385 break;
386 case BINOP_LSH:
387 strcpy (ptr, "<<");
388 break;
389 case BINOP_RSH:
390 strcpy (ptr, ">>");
391 break;
392 case BINOP_BITWISE_AND:
393 strcpy (ptr, "&");
394 break;
395 case BINOP_BITWISE_IOR:
396 strcpy (ptr, "|");
397 break;
398 case BINOP_BITWISE_XOR:
399 strcpy (ptr, "^");
400 break;
401 case BINOP_LOGICAL_AND:
402 strcpy (ptr, "&&");
403 break;
404 case BINOP_LOGICAL_OR:
405 strcpy (ptr, "||");
406 break;
407 case BINOP_MIN:
408 strcpy (ptr, "<?");
409 break;
410 case BINOP_MAX:
411 strcpy (ptr, ">?");
412 break;
413 case BINOP_ASSIGN:
414 strcpy (ptr, "=");
415 break;
416 case BINOP_ASSIGN_MODIFY:
c906108c
SS
417 switch (otherop)
418 {
c5aa993b
JM
419 case BINOP_ADD:
420 strcpy (ptr, "+=");
421 break;
422 case BINOP_SUB:
423 strcpy (ptr, "-=");
424 break;
425 case BINOP_MUL:
426 strcpy (ptr, "*=");
427 break;
428 case BINOP_DIV:
429 strcpy (ptr, "/=");
430 break;
431 case BINOP_REM:
432 strcpy (ptr, "%=");
433 break;
434 case BINOP_BITWISE_AND:
435 strcpy (ptr, "&=");
436 break;
437 case BINOP_BITWISE_IOR:
438 strcpy (ptr, "|=");
439 break;
440 case BINOP_BITWISE_XOR:
441 strcpy (ptr, "^=");
442 break;
443 case BINOP_MOD: /* invalid */
c906108c 444 default:
8a3fe4f8 445 error (_("Invalid binary operation specified."));
c906108c
SS
446 }
447 break;
c5aa993b
JM
448 case BINOP_SUBSCRIPT:
449 strcpy (ptr, "[]");
450 break;
451 case BINOP_EQUAL:
452 strcpy (ptr, "==");
453 break;
454 case BINOP_NOTEQUAL:
455 strcpy (ptr, "!=");
456 break;
457 case BINOP_LESS:
458 strcpy (ptr, "<");
459 break;
460 case BINOP_GTR:
461 strcpy (ptr, ">");
462 break;
463 case BINOP_GEQ:
464 strcpy (ptr, ">=");
465 break;
466 case BINOP_LEQ:
467 strcpy (ptr, "<=");
468 break;
469 case BINOP_MOD: /* invalid */
c906108c 470 default:
8a3fe4f8 471 error (_("Invalid binary operation specified."));
c906108c
SS
472 }
473
c5aa993b
JM
474 argvec[0] = value_struct_elt (&arg1, argvec + 1, tstr, &static_memfuncp, "structure");
475
c906108c
SS
476 if (argvec[0])
477 {
478 if (static_memfuncp)
479 {
480 argvec[1] = argvec[0];
481 argvec++;
482 }
483 if (noside == EVAL_AVOID_SIDE_EFFECTS)
484 {
485 struct type *return_type;
486 return_type
df407dfe 487 = TYPE_TARGET_TYPE (check_typedef (value_type (argvec[0])));
c906108c
SS
488 return value_zero (return_type, VALUE_LVAL (arg1));
489 }
490 return call_function_by_hand (argvec[0], 2 - static_memfuncp, argvec + 1);
491 }
8a3fe4f8 492 error (_("member function %s not found"), tstr);
c906108c
SS
493#ifdef lint
494 return call_function_by_hand (argvec[0], 2 - static_memfuncp, argvec + 1);
495#endif
496}
497
498/* We know that arg1 is a structure, so try to find a unary user
499 defined operator that matches the operator in question.
500 Create an argument vector that calls arg1.operator @ (arg1)
501 and return that value (where '@' is (almost) any unary operator which
502 is legal for GNU C++). */
503
f23631e4
AC
504struct value *
505value_x_unop (struct value *arg1, enum exp_opcode op, enum noside noside)
c906108c 506{
f23631e4 507 struct value **argvec;
c906108c
SS
508 char *ptr, *mangle_ptr;
509 char tstr[13], mangle_tstr[13];
491b8946 510 int static_memfuncp, nargs;
c906108c 511
994b9211 512 arg1 = coerce_ref (arg1);
c906108c
SS
513
514 /* now we know that what we have to do is construct our
515 arg vector and find the right function to call it with. */
516
df407dfe 517 if (TYPE_CODE (check_typedef (value_type (arg1))) != TYPE_CODE_STRUCT)
8a3fe4f8 518 error (_("Can't do that unary op on that type")); /* FIXME be explicit */
c906108c 519
491b8946 520 argvec = (struct value **) alloca (sizeof (struct value *) * 4);
c906108c
SS
521 argvec[1] = value_addr (arg1);
522 argvec[2] = 0;
523
491b8946
DJ
524 nargs = 1;
525
c5aa993b
JM
526 /* make the right function name up */
527 strcpy (tstr, "operator__");
528 ptr = tstr + 8;
529 strcpy (mangle_tstr, "__");
530 mangle_ptr = mangle_tstr + 2;
c906108c
SS
531 switch (op)
532 {
c5aa993b
JM
533 case UNOP_PREINCREMENT:
534 strcpy (ptr, "++");
535 break;
536 case UNOP_PREDECREMENT:
491b8946 537 strcpy (ptr, "--");
c5aa993b
JM
538 break;
539 case UNOP_POSTINCREMENT:
540 strcpy (ptr, "++");
c56324e0 541 argvec[2] = value_from_longest (builtin_type_int8, 0);
491b8946
DJ
542 argvec[3] = 0;
543 nargs ++;
c5aa993b
JM
544 break;
545 case UNOP_POSTDECREMENT:
491b8946 546 strcpy (ptr, "--");
c56324e0 547 argvec[2] = value_from_longest (builtin_type_int8, 0);
491b8946
DJ
548 argvec[3] = 0;
549 nargs ++;
c5aa993b
JM
550 break;
551 case UNOP_LOGICAL_NOT:
552 strcpy (ptr, "!");
553 break;
554 case UNOP_COMPLEMENT:
555 strcpy (ptr, "~");
556 break;
557 case UNOP_NEG:
558 strcpy (ptr, "-");
559 break;
36e9969c
NS
560 case UNOP_PLUS:
561 strcpy (ptr, "+");
562 break;
c5aa993b
JM
563 case UNOP_IND:
564 strcpy (ptr, "*");
565 break;
c906108c 566 default:
8a3fe4f8 567 error (_("Invalid unary operation specified."));
c906108c
SS
568 }
569
c5aa993b 570 argvec[0] = value_struct_elt (&arg1, argvec + 1, tstr, &static_memfuncp, "structure");
c906108c
SS
571
572 if (argvec[0])
573 {
574 if (static_memfuncp)
575 {
576 argvec[1] = argvec[0];
491b8946 577 nargs --;
c906108c
SS
578 argvec++;
579 }
580 if (noside == EVAL_AVOID_SIDE_EFFECTS)
581 {
582 struct type *return_type;
583 return_type
df407dfe 584 = TYPE_TARGET_TYPE (check_typedef (value_type (argvec[0])));
c906108c
SS
585 return value_zero (return_type, VALUE_LVAL (arg1));
586 }
491b8946 587 return call_function_by_hand (argvec[0], nargs, argvec + 1);
c906108c 588 }
8a3fe4f8 589 error (_("member function %s not found"), tstr);
c5aa993b 590 return 0; /* For lint -- never reached */
c906108c 591}
c906108c 592\f
c5aa993b 593
c906108c
SS
594/* Concatenate two values with the following conditions:
595
c5aa993b
JM
596 (1) Both values must be either bitstring values or character string
597 values and the resulting value consists of the concatenation of
598 ARG1 followed by ARG2.
c906108c 599
c5aa993b 600 or
c906108c 601
c5aa993b
JM
602 One value must be an integer value and the other value must be
603 either a bitstring value or character string value, which is
604 to be repeated by the number of times specified by the integer
605 value.
c906108c
SS
606
607
c5aa993b
JM
608 (2) Boolean values are also allowed and are treated as bit string
609 values of length 1.
c906108c 610
c5aa993b
JM
611 (3) Character values are also allowed and are treated as character
612 string values of length 1.
613 */
c906108c 614
f23631e4
AC
615struct value *
616value_concat (struct value *arg1, struct value *arg2)
c906108c 617{
f23631e4
AC
618 struct value *inval1;
619 struct value *inval2;
620 struct value *outval = NULL;
c906108c
SS
621 int inval1len, inval2len;
622 int count, idx;
623 char *ptr;
624 char inchar;
df407dfe
AC
625 struct type *type1 = check_typedef (value_type (arg1));
626 struct type *type2 = check_typedef (value_type (arg2));
c906108c 627
c906108c
SS
628 /* First figure out if we are dealing with two values to be concatenated
629 or a repeat count and a value to be repeated. INVAL1 is set to the
630 first of two concatenated values, or the repeat count. INVAL2 is set
631 to the second of the two concatenated values or the value to be
632 repeated. */
633
634 if (TYPE_CODE (type2) == TYPE_CODE_INT)
635 {
636 struct type *tmp = type1;
637 type1 = tmp;
638 tmp = type2;
639 inval1 = arg2;
640 inval2 = arg1;
641 }
642 else
643 {
644 inval1 = arg1;
645 inval2 = arg2;
646 }
647
648 /* Now process the input values. */
649
650 if (TYPE_CODE (type1) == TYPE_CODE_INT)
651 {
652 /* We have a repeat count. Validate the second value and then
c5aa993b 653 construct a value repeated that many times. */
c906108c
SS
654 if (TYPE_CODE (type2) == TYPE_CODE_STRING
655 || TYPE_CODE (type2) == TYPE_CODE_CHAR)
656 {
657 count = longest_to_int (value_as_long (inval1));
658 inval2len = TYPE_LENGTH (type2);
659 ptr = (char *) alloca (count * inval2len);
660 if (TYPE_CODE (type2) == TYPE_CODE_CHAR)
661 {
662 inchar = (char) unpack_long (type2,
0fd88904 663 value_contents (inval2));
c906108c
SS
664 for (idx = 0; idx < count; idx++)
665 {
666 *(ptr + idx) = inchar;
667 }
668 }
669 else
670 {
671 for (idx = 0; idx < count; idx++)
672 {
0fd88904 673 memcpy (ptr + (idx * inval2len), value_contents (inval2),
c906108c
SS
674 inval2len);
675 }
676 }
677 outval = value_string (ptr, count * inval2len);
678 }
679 else if (TYPE_CODE (type2) == TYPE_CODE_BITSTRING
680 || TYPE_CODE (type2) == TYPE_CODE_BOOL)
681 {
8a3fe4f8 682 error (_("unimplemented support for bitstring/boolean repeats"));
c906108c
SS
683 }
684 else
685 {
8a3fe4f8 686 error (_("can't repeat values of that type"));
c906108c
SS
687 }
688 }
689 else if (TYPE_CODE (type1) == TYPE_CODE_STRING
c5aa993b 690 || TYPE_CODE (type1) == TYPE_CODE_CHAR)
c906108c
SS
691 {
692 /* We have two character strings to concatenate. */
693 if (TYPE_CODE (type2) != TYPE_CODE_STRING
694 && TYPE_CODE (type2) != TYPE_CODE_CHAR)
695 {
8a3fe4f8 696 error (_("Strings can only be concatenated with other strings."));
c906108c
SS
697 }
698 inval1len = TYPE_LENGTH (type1);
699 inval2len = TYPE_LENGTH (type2);
700 ptr = (char *) alloca (inval1len + inval2len);
701 if (TYPE_CODE (type1) == TYPE_CODE_CHAR)
702 {
0fd88904 703 *ptr = (char) unpack_long (type1, value_contents (inval1));
c906108c
SS
704 }
705 else
706 {
0fd88904 707 memcpy (ptr, value_contents (inval1), inval1len);
c906108c
SS
708 }
709 if (TYPE_CODE (type2) == TYPE_CODE_CHAR)
710 {
c5aa993b 711 *(ptr + inval1len) =
0fd88904 712 (char) unpack_long (type2, value_contents (inval2));
c906108c
SS
713 }
714 else
715 {
0fd88904 716 memcpy (ptr + inval1len, value_contents (inval2), inval2len);
c906108c
SS
717 }
718 outval = value_string (ptr, inval1len + inval2len);
719 }
720 else if (TYPE_CODE (type1) == TYPE_CODE_BITSTRING
721 || TYPE_CODE (type1) == TYPE_CODE_BOOL)
722 {
723 /* We have two bitstrings to concatenate. */
724 if (TYPE_CODE (type2) != TYPE_CODE_BITSTRING
725 && TYPE_CODE (type2) != TYPE_CODE_BOOL)
726 {
8a3fe4f8 727 error (_("Bitstrings or booleans can only be concatenated with other bitstrings or booleans."));
c906108c 728 }
8a3fe4f8 729 error (_("unimplemented support for bitstring/boolean concatenation."));
c5aa993b 730 }
c906108c
SS
731 else
732 {
733 /* We don't know how to concatenate these operands. */
8a3fe4f8 734 error (_("illegal operands for concatenation."));
c906108c
SS
735 }
736 return (outval);
737}
c906108c 738\f
d118ef87
PH
739/* Integer exponentiation: V1**V2, where both arguments are
740 integers. Requires V1 != 0 if V2 < 0. Returns 1 for 0 ** 0. */
741static LONGEST
742integer_pow (LONGEST v1, LONGEST v2)
743{
744 if (v2 < 0)
745 {
746 if (v1 == 0)
747 error (_("Attempt to raise 0 to negative power."));
748 else
749 return 0;
750 }
751 else
752 {
753 /* The Russian Peasant's Algorithm */
754 LONGEST v;
755
756 v = 1;
757 for (;;)
758 {
759 if (v2 & 1L)
760 v *= v1;
761 v2 >>= 1;
762 if (v2 == 0)
763 return v;
764 v1 *= v1;
765 }
766 }
767}
768
769/* Integer exponentiation: V1**V2, where both arguments are
770 integers. Requires V1 != 0 if V2 < 0. Returns 1 for 0 ** 0. */
771static ULONGEST
772uinteger_pow (ULONGEST v1, LONGEST v2)
773{
774 if (v2 < 0)
775 {
776 if (v1 == 0)
777 error (_("Attempt to raise 0 to negative power."));
778 else
779 return 0;
780 }
781 else
782 {
783 /* The Russian Peasant's Algorithm */
784 ULONGEST v;
785
786 v = 1;
787 for (;;)
788 {
789 if (v2 & 1L)
790 v *= v1;
791 v2 >>= 1;
792 if (v2 == 0)
793 return v;
794 v1 *= v1;
795 }
796 }
797}
798
4ef30785
TJB
799/* Obtain decimal value of arguments for binary operation, converting from
800 other types if one of them is not decimal floating point. */
801static void
802value_args_as_decimal (struct value *arg1, struct value *arg2,
803 gdb_byte *x, int *len_x, gdb_byte *y, int *len_y)
804{
805 struct type *type1, *type2;
806
807 type1 = check_typedef (value_type (arg1));
808 type2 = check_typedef (value_type (arg2));
809
810 /* At least one of the arguments must be of decimal float type. */
811 gdb_assert (TYPE_CODE (type1) == TYPE_CODE_DECFLOAT
812 || TYPE_CODE (type2) == TYPE_CODE_DECFLOAT);
813
814 if (TYPE_CODE (type1) == TYPE_CODE_FLT
815 || TYPE_CODE (type2) == TYPE_CODE_FLT)
816 /* The DFP extension to the C language does not allow mixing of
817 * decimal float types with other float types in expressions
818 * (see WDTR 24732, page 12). */
819 error (_("Mixing decimal floating types with other floating types is not allowed."));
820
821 /* Obtain decimal value of arg1, converting from other types
822 if necessary. */
823
824 if (TYPE_CODE (type1) == TYPE_CODE_DECFLOAT)
825 {
826 *len_x = TYPE_LENGTH (type1);
827 memcpy (x, value_contents (arg1), *len_x);
828 }
829 else if (is_integral_type (type1))
830 {
831 *len_x = TYPE_LENGTH (type2);
832 decimal_from_integral (arg1, x, *len_x);
833 }
834 else
835 error (_("Don't know how to convert from %s to %s."), TYPE_NAME (type1),
836 TYPE_NAME (type2));
837
838 /* Obtain decimal value of arg2, converting from other types
839 if necessary. */
840
841 if (TYPE_CODE (type2) == TYPE_CODE_DECFLOAT)
842 {
843 *len_y = TYPE_LENGTH (type2);
844 memcpy (y, value_contents (arg2), *len_y);
845 }
846 else if (is_integral_type (type2))
847 {
848 *len_y = TYPE_LENGTH (type1);
849 decimal_from_integral (arg2, y, *len_y);
850 }
851 else
852 error (_("Don't know how to convert from %s to %s."), TYPE_NAME (type1),
853 TYPE_NAME (type2));
854}
c5aa993b 855
c906108c
SS
856/* Perform a binary operation on two operands which have reasonable
857 representations as integers or floats. This includes booleans,
858 characters, integers, or floats.
859 Does not support addition and subtraction on pointers;
89eef114 860 use value_ptradd, value_ptrsub or value_ptrdiff for those operations. */
c906108c 861
f23631e4
AC
862struct value *
863value_binop (struct value *arg1, struct value *arg2, enum exp_opcode op)
c906108c 864{
f23631e4 865 struct value *val;
4066e646
UW
866 struct type *type1, *type2, *result_type;
867
994b9211
AC
868 arg1 = coerce_ref (arg1);
869 arg2 = coerce_ref (arg2);
c906108c 870
4066e646
UW
871 type1 = check_typedef (value_type (arg1));
872 type2 = check_typedef (value_type (arg2));
873
874 if ((TYPE_CODE (type1) != TYPE_CODE_FLT
875 && TYPE_CODE (type1) != TYPE_CODE_DECFLOAT
876 && !is_integral_type (type1))
877 || (TYPE_CODE (type2) != TYPE_CODE_FLT
878 && TYPE_CODE (type2) != TYPE_CODE_DECFLOAT
879 && !is_integral_type (type2)))
880 error (_("Argument to arithmetic operation not a number or boolean."));
c906108c 881
4066e646
UW
882 if (TYPE_CODE (type1) == TYPE_CODE_DECFLOAT
883 || TYPE_CODE (type2) == TYPE_CODE_DECFLOAT)
4ef30785
TJB
884 {
885 struct type *v_type;
886 int len_v1, len_v2, len_v;
887 gdb_byte v1[16], v2[16];
888 gdb_byte v[16];
889
289bd67a
UW
890 /* If only one type is decimal float, use its type.
891 Otherwise use the bigger type. */
892 if (TYPE_CODE (type1) != TYPE_CODE_DECFLOAT)
893 result_type = type2;
894 else if (TYPE_CODE (type2) != TYPE_CODE_DECFLOAT)
895 result_type = type1;
896 else if (TYPE_LENGTH (type2) > TYPE_LENGTH (type1))
897 result_type = type2;
898 else
899 result_type = type1;
900
901 len_v = TYPE_LENGTH (result_type);
902
4ef30785
TJB
903 value_args_as_decimal (arg1, arg2, v1, &len_v1, v2, &len_v2);
904
905 switch (op)
906 {
907 case BINOP_ADD:
908 case BINOP_SUB:
909 case BINOP_MUL:
910 case BINOP_DIV:
911 case BINOP_EXP:
289bd67a 912 decimal_binop (op, v1, len_v1, v2, len_v2, v, len_v);
4ef30785
TJB
913 break;
914
915 default:
916 error (_("Operation not valid for decimal floating point number."));
917 }
918
301f0ecf 919 val = value_from_decfloat (result_type, v);
4ef30785 920 }
4066e646
UW
921 else if (TYPE_CODE (type1) == TYPE_CODE_FLT
922 || TYPE_CODE (type2) == TYPE_CODE_FLT)
c906108c
SS
923 {
924 /* FIXME-if-picky-about-floating-accuracy: Should be doing this
c5aa993b
JM
925 in target format. real.c in GCC probably has the necessary
926 code. */
c4093a6a 927 DOUBLEST v1, v2, v = 0;
c906108c
SS
928 v1 = value_as_double (arg1);
929 v2 = value_as_double (arg2);
301f0ecf 930
c906108c
SS
931 switch (op)
932 {
933 case BINOP_ADD:
934 v = v1 + v2;
935 break;
936
937 case BINOP_SUB:
938 v = v1 - v2;
939 break;
940
941 case BINOP_MUL:
942 v = v1 * v2;
943 break;
944
945 case BINOP_DIV:
946 v = v1 / v2;
947 break;
948
bd49c137
WZ
949 case BINOP_EXP:
950 errno = 0;
951 v = pow (v1, v2);
952 if (errno)
953 error (_("Cannot perform exponentiation: %s"), safe_strerror (errno));
954 break;
c4093a6a 955
d118ef87
PH
956 case BINOP_MIN:
957 v = v1 < v2 ? v1 : v2;
958 break;
959
960 case BINOP_MAX:
961 v = v1 > v2 ? v1 : v2;
962 break;
963
c906108c 964 default:
8a3fe4f8 965 error (_("Integer-only operation on floating point number."));
c906108c
SS
966 }
967
4066e646
UW
968 /* If only one type is float, use its type.
969 Otherwise use the bigger type. */
970 if (TYPE_CODE (type1) != TYPE_CODE_FLT)
971 result_type = type2;
972 else if (TYPE_CODE (type2) != TYPE_CODE_FLT)
973 result_type = type1;
974 else if (TYPE_LENGTH (type2) > TYPE_LENGTH (type1))
975 result_type = type2;
976 else
977 result_type = type1;
978
301f0ecf 979 val = allocate_value (result_type);
990a07ab 980 store_typed_floating (value_contents_raw (val), value_type (val), v);
c906108c 981 }
4066e646
UW
982 else if (TYPE_CODE (type1) == TYPE_CODE_BOOL
983 || TYPE_CODE (type2) == TYPE_CODE_BOOL)
c5aa993b 984 {
c4093a6a 985 LONGEST v1, v2, v = 0;
c5aa993b
JM
986 v1 = value_as_long (arg1);
987 v2 = value_as_long (arg2);
988
989 switch (op)
990 {
991 case BINOP_BITWISE_AND:
992 v = v1 & v2;
993 break;
994
995 case BINOP_BITWISE_IOR:
996 v = v1 | v2;
997 break;
998
999 case BINOP_BITWISE_XOR:
1000 v = v1 ^ v2;
c4093a6a
JM
1001 break;
1002
1003 case BINOP_EQUAL:
1004 v = v1 == v2;
1005 break;
1006
1007 case BINOP_NOTEQUAL:
1008 v = v1 != v2;
c5aa993b
JM
1009 break;
1010
1011 default:
8a3fe4f8 1012 error (_("Invalid operation on booleans."));
c5aa993b
JM
1013 }
1014
4066e646
UW
1015 result_type = type1;
1016
301f0ecf 1017 val = allocate_value (result_type);
990a07ab 1018 store_signed_integer (value_contents_raw (val),
301f0ecf 1019 TYPE_LENGTH (result_type),
c5aa993b
JM
1020 v);
1021 }
c906108c
SS
1022 else
1023 /* Integral operations here. */
c906108c 1024 {
4066e646
UW
1025 /* Determine type length of the result, and if the operation should
1026 be done unsigned. For exponentiation and shift operators,
1027 use the length and type of the left operand. Otherwise,
1028 use the signedness of the operand with the greater length.
1029 If both operands are of equal length, use unsigned operation
1030 if one of the operands is unsigned. */
1031 if (op == BINOP_RSH || op == BINOP_LSH || op == BINOP_EXP)
1032 result_type = type1;
1033 else if (TYPE_LENGTH (type1) > TYPE_LENGTH (type2))
1034 result_type = type1;
1035 else if (TYPE_LENGTH (type2) > TYPE_LENGTH (type1))
1036 result_type = type2;
1037 else if (TYPE_UNSIGNED (type1))
1038 result_type = type1;
1039 else if (TYPE_UNSIGNED (type2))
1040 result_type = type2;
1041 else
1042 result_type = type1;
c906108c 1043
4066e646 1044 if (TYPE_UNSIGNED (result_type))
c906108c 1045 {
d118ef87 1046 LONGEST v2_signed = value_as_long (arg2);
c4093a6a 1047 ULONGEST v1, v2, v = 0;
c906108c 1048 v1 = (ULONGEST) value_as_long (arg1);
d118ef87 1049 v2 = (ULONGEST) v2_signed;
c906108c 1050
c906108c
SS
1051 switch (op)
1052 {
1053 case BINOP_ADD:
1054 v = v1 + v2;
1055 break;
c5aa993b 1056
c906108c
SS
1057 case BINOP_SUB:
1058 v = v1 - v2;
1059 break;
c5aa993b 1060
c906108c
SS
1061 case BINOP_MUL:
1062 v = v1 * v2;
1063 break;
c5aa993b 1064
c906108c 1065 case BINOP_DIV:
ef80d18e 1066 case BINOP_INTDIV:
c3940723
PM
1067 if (v2 != 0)
1068 v = v1 / v2;
1069 else
1070 error (_("Division by zero"));
c906108c 1071 break;
c5aa993b 1072
bd49c137 1073 case BINOP_EXP:
d118ef87 1074 v = uinteger_pow (v1, v2_signed);
bd49c137 1075 break;
c4093a6a 1076
c906108c 1077 case BINOP_REM:
f8597ac3
DE
1078 if (v2 != 0)
1079 v = v1 % v2;
1080 else
1081 error (_("Division by zero"));
c906108c 1082 break;
c5aa993b 1083
c906108c
SS
1084 case BINOP_MOD:
1085 /* Knuth 1.2.4, integer only. Note that unlike the C '%' op,
1086 v1 mod 0 has a defined value, v1. */
c906108c
SS
1087 if (v2 == 0)
1088 {
1089 v = v1;
1090 }
1091 else
1092 {
c5aa993b 1093 v = v1 / v2;
c906108c
SS
1094 /* Note floor(v1/v2) == v1/v2 for unsigned. */
1095 v = v1 - (v2 * v);
1096 }
1097 break;
c5aa993b 1098
c906108c
SS
1099 case BINOP_LSH:
1100 v = v1 << v2;
1101 break;
c5aa993b 1102
c906108c
SS
1103 case BINOP_RSH:
1104 v = v1 >> v2;
1105 break;
c5aa993b 1106
c906108c
SS
1107 case BINOP_BITWISE_AND:
1108 v = v1 & v2;
1109 break;
c5aa993b 1110
c906108c
SS
1111 case BINOP_BITWISE_IOR:
1112 v = v1 | v2;
1113 break;
c5aa993b 1114
c906108c
SS
1115 case BINOP_BITWISE_XOR:
1116 v = v1 ^ v2;
1117 break;
c5aa993b 1118
c906108c
SS
1119 case BINOP_LOGICAL_AND:
1120 v = v1 && v2;
1121 break;
c5aa993b 1122
c906108c
SS
1123 case BINOP_LOGICAL_OR:
1124 v = v1 || v2;
1125 break;
c5aa993b 1126
c906108c
SS
1127 case BINOP_MIN:
1128 v = v1 < v2 ? v1 : v2;
1129 break;
c5aa993b 1130
c906108c
SS
1131 case BINOP_MAX:
1132 v = v1 > v2 ? v1 : v2;
1133 break;
1134
1135 case BINOP_EQUAL:
1136 v = v1 == v2;
1137 break;
1138
c4093a6a
JM
1139 case BINOP_NOTEQUAL:
1140 v = v1 != v2;
1141 break;
1142
c906108c
SS
1143 case BINOP_LESS:
1144 v = v1 < v2;
1145 break;
c5aa993b 1146
c906108c 1147 default:
8a3fe4f8 1148 error (_("Invalid binary operation on numbers."));
c906108c
SS
1149 }
1150
301f0ecf 1151 val = allocate_value (result_type);
990a07ab 1152 store_unsigned_integer (value_contents_raw (val),
df407dfe 1153 TYPE_LENGTH (value_type (val)),
c906108c
SS
1154 v);
1155 }
1156 else
1157 {
c4093a6a 1158 LONGEST v1, v2, v = 0;
c906108c
SS
1159 v1 = value_as_long (arg1);
1160 v2 = value_as_long (arg2);
c5aa993b 1161
c906108c
SS
1162 switch (op)
1163 {
1164 case BINOP_ADD:
1165 v = v1 + v2;
1166 break;
c5aa993b 1167
c906108c
SS
1168 case BINOP_SUB:
1169 v = v1 - v2;
1170 break;
c5aa993b 1171
c906108c
SS
1172 case BINOP_MUL:
1173 v = v1 * v2;
1174 break;
c5aa993b 1175
c906108c 1176 case BINOP_DIV:
ef80d18e 1177 case BINOP_INTDIV:
399cfac6
DL
1178 if (v2 != 0)
1179 v = v1 / v2;
1180 else
8a3fe4f8 1181 error (_("Division by zero"));
c4093a6a
JM
1182 break;
1183
bd49c137 1184 case BINOP_EXP:
d118ef87 1185 v = integer_pow (v1, v2);
c906108c 1186 break;
c5aa993b 1187
c906108c 1188 case BINOP_REM:
399cfac6
DL
1189 if (v2 != 0)
1190 v = v1 % v2;
1191 else
8a3fe4f8 1192 error (_("Division by zero"));
c906108c 1193 break;
c5aa993b 1194
c906108c
SS
1195 case BINOP_MOD:
1196 /* Knuth 1.2.4, integer only. Note that unlike the C '%' op,
1197 X mod 0 has a defined value, X. */
c906108c
SS
1198 if (v2 == 0)
1199 {
1200 v = v1;
1201 }
1202 else
1203 {
c5aa993b 1204 v = v1 / v2;
c906108c
SS
1205 /* Compute floor. */
1206 if (TRUNCATION_TOWARDS_ZERO && (v < 0) && ((v1 % v2) != 0))
1207 {
1208 v--;
1209 }
1210 v = v1 - (v2 * v);
1211 }
1212 break;
c5aa993b 1213
c906108c
SS
1214 case BINOP_LSH:
1215 v = v1 << v2;
1216 break;
c5aa993b 1217
c906108c
SS
1218 case BINOP_RSH:
1219 v = v1 >> v2;
1220 break;
c5aa993b 1221
c906108c
SS
1222 case BINOP_BITWISE_AND:
1223 v = v1 & v2;
1224 break;
c5aa993b 1225
c906108c
SS
1226 case BINOP_BITWISE_IOR:
1227 v = v1 | v2;
1228 break;
c5aa993b 1229
c906108c
SS
1230 case BINOP_BITWISE_XOR:
1231 v = v1 ^ v2;
1232 break;
c5aa993b 1233
c906108c
SS
1234 case BINOP_LOGICAL_AND:
1235 v = v1 && v2;
1236 break;
c5aa993b 1237
c906108c
SS
1238 case BINOP_LOGICAL_OR:
1239 v = v1 || v2;
1240 break;
c5aa993b 1241
c906108c
SS
1242 case BINOP_MIN:
1243 v = v1 < v2 ? v1 : v2;
1244 break;
c5aa993b 1245
c906108c
SS
1246 case BINOP_MAX:
1247 v = v1 > v2 ? v1 : v2;
1248 break;
1249
1250 case BINOP_EQUAL:
1251 v = v1 == v2;
1252 break;
1253
1254 case BINOP_LESS:
1255 v = v1 < v2;
1256 break;
c5aa993b 1257
c906108c 1258 default:
8a3fe4f8 1259 error (_("Invalid binary operation on numbers."));
c906108c
SS
1260 }
1261
301f0ecf 1262 val = allocate_value (result_type);
990a07ab 1263 store_signed_integer (value_contents_raw (val),
df407dfe 1264 TYPE_LENGTH (value_type (val)),
c906108c
SS
1265 v);
1266 }
1267 }
1268
1269 return val;
1270}
1271\f
1272/* Simulate the C operator ! -- return 1 if ARG1 contains zero. */
1273
1274int
f23631e4 1275value_logical_not (struct value *arg1)
c906108c 1276{
52f0bd74 1277 int len;
fc1a4b47 1278 const gdb_byte *p;
c906108c
SS
1279 struct type *type1;
1280
0ab7ba45 1281 arg1 = coerce_array (arg1);
df407dfe 1282 type1 = check_typedef (value_type (arg1));
c906108c
SS
1283
1284 if (TYPE_CODE (type1) == TYPE_CODE_FLT)
1285 return 0 == value_as_double (arg1);
4ef30785
TJB
1286 else if (TYPE_CODE (type1) == TYPE_CODE_DECFLOAT)
1287 return decimal_is_zero (value_contents (arg1), TYPE_LENGTH (type1));
c906108c
SS
1288
1289 len = TYPE_LENGTH (type1);
0fd88904 1290 p = value_contents (arg1);
c906108c
SS
1291
1292 while (--len >= 0)
1293 {
1294 if (*p++)
1295 break;
1296 }
1297
1298 return len < 0;
1299}
1300
c4093a6a
JM
1301/* Perform a comparison on two string values (whose content are not
1302 necessarily null terminated) based on their length */
1303
1304static int
f23631e4 1305value_strcmp (struct value *arg1, struct value *arg2)
c4093a6a 1306{
df407dfe
AC
1307 int len1 = TYPE_LENGTH (value_type (arg1));
1308 int len2 = TYPE_LENGTH (value_type (arg2));
fc1a4b47
AC
1309 const gdb_byte *s1 = value_contents (arg1);
1310 const gdb_byte *s2 = value_contents (arg2);
c4093a6a
JM
1311 int i, len = len1 < len2 ? len1 : len2;
1312
1313 for (i = 0; i < len; i++)
1314 {
1315 if (s1[i] < s2[i])
1316 return -1;
1317 else if (s1[i] > s2[i])
1318 return 1;
1319 else
1320 continue;
1321 }
1322
1323 if (len1 < len2)
1324 return -1;
1325 else if (len1 > len2)
1326 return 1;
1327 else
1328 return 0;
1329}
1330
c906108c
SS
1331/* Simulate the C operator == by returning a 1
1332 iff ARG1 and ARG2 have equal contents. */
1333
1334int
f23631e4 1335value_equal (struct value *arg1, struct value *arg2)
c906108c 1336{
52f0bd74 1337 int len;
fc1a4b47
AC
1338 const gdb_byte *p1;
1339 const gdb_byte *p2;
c906108c
SS
1340 struct type *type1, *type2;
1341 enum type_code code1;
1342 enum type_code code2;
2de41bce 1343 int is_int1, is_int2;
c906108c 1344
994b9211
AC
1345 arg1 = coerce_array (arg1);
1346 arg2 = coerce_array (arg2);
c906108c 1347
df407dfe
AC
1348 type1 = check_typedef (value_type (arg1));
1349 type2 = check_typedef (value_type (arg2));
c906108c
SS
1350 code1 = TYPE_CODE (type1);
1351 code2 = TYPE_CODE (type2);
2de41bce
PH
1352 is_int1 = is_integral_type (type1);
1353 is_int2 = is_integral_type (type2);
c906108c 1354
2de41bce 1355 if (is_int1 && is_int2)
c906108c
SS
1356 return longest_to_int (value_as_long (value_binop (arg1, arg2,
1357 BINOP_EQUAL)));
2de41bce
PH
1358 else if ((code1 == TYPE_CODE_FLT || is_int1)
1359 && (code2 == TYPE_CODE_FLT || is_int2))
d067a990
MK
1360 {
1361 /* NOTE: kettenis/20050816: Avoid compiler bug on systems where
1362 `long double' values are returned in static storage (m68k). */
1363 DOUBLEST d = value_as_double (arg1);
1364 return d == value_as_double (arg2);
1365 }
4ef30785
TJB
1366 else if ((code1 == TYPE_CODE_DECFLOAT || is_int1)
1367 && (code2 == TYPE_CODE_DECFLOAT || is_int2))
1368 {
1369 gdb_byte v1[16], v2[16];
1370 int len_v1, len_v2;
1371
1372 value_args_as_decimal (arg1, arg2, v1, &len_v1, v2, &len_v2);
1373
1374 return decimal_compare (v1, len_v1, v2, len_v2) == 0;
1375 }
c906108c
SS
1376
1377 /* FIXME: Need to promote to either CORE_ADDR or LONGEST, whichever
1378 is bigger. */
2de41bce 1379 else if (code1 == TYPE_CODE_PTR && is_int2)
1aa20aa8 1380 return value_as_address (arg1) == (CORE_ADDR) value_as_long (arg2);
2de41bce 1381 else if (code2 == TYPE_CODE_PTR && is_int1)
1aa20aa8 1382 return (CORE_ADDR) value_as_long (arg1) == value_as_address (arg2);
c906108c
SS
1383
1384 else if (code1 == code2
1385 && ((len = (int) TYPE_LENGTH (type1))
1386 == (int) TYPE_LENGTH (type2)))
1387 {
0fd88904
AC
1388 p1 = value_contents (arg1);
1389 p2 = value_contents (arg2);
c906108c
SS
1390 while (--len >= 0)
1391 {
1392 if (*p1++ != *p2++)
1393 break;
1394 }
1395 return len < 0;
1396 }
c4093a6a
JM
1397 else if (code1 == TYPE_CODE_STRING && code2 == TYPE_CODE_STRING)
1398 {
1399 return value_strcmp (arg1, arg2) == 0;
1400 }
c906108c
SS
1401 else
1402 {
8a3fe4f8 1403 error (_("Invalid type combination in equality test."));
c5aa993b 1404 return 0; /* For lint -- never reached */
c906108c
SS
1405 }
1406}
1407
1408/* Simulate the C operator < by returning 1
1409 iff ARG1's contents are less than ARG2's. */
1410
1411int
f23631e4 1412value_less (struct value *arg1, struct value *arg2)
c906108c 1413{
52f0bd74
AC
1414 enum type_code code1;
1415 enum type_code code2;
c906108c 1416 struct type *type1, *type2;
2de41bce 1417 int is_int1, is_int2;
c906108c 1418
994b9211
AC
1419 arg1 = coerce_array (arg1);
1420 arg2 = coerce_array (arg2);
c906108c 1421
df407dfe
AC
1422 type1 = check_typedef (value_type (arg1));
1423 type2 = check_typedef (value_type (arg2));
c906108c
SS
1424 code1 = TYPE_CODE (type1);
1425 code2 = TYPE_CODE (type2);
2de41bce
PH
1426 is_int1 = is_integral_type (type1);
1427 is_int2 = is_integral_type (type2);
c906108c 1428
2de41bce 1429 if (is_int1 && is_int2)
c906108c
SS
1430 return longest_to_int (value_as_long (value_binop (arg1, arg2,
1431 BINOP_LESS)));
2de41bce
PH
1432 else if ((code1 == TYPE_CODE_FLT || is_int1)
1433 && (code2 == TYPE_CODE_FLT || is_int2))
d067a990
MK
1434 {
1435 /* NOTE: kettenis/20050816: Avoid compiler bug on systems where
1436 `long double' values are returned in static storage (m68k). */
1437 DOUBLEST d = value_as_double (arg1);
1438 return d < value_as_double (arg2);
1439 }
4ef30785
TJB
1440 else if ((code1 == TYPE_CODE_DECFLOAT || is_int1)
1441 && (code2 == TYPE_CODE_DECFLOAT || is_int2))
1442 {
1443 gdb_byte v1[16], v2[16];
1444 int len_v1, len_v2;
1445
1446 value_args_as_decimal (arg1, arg2, v1, &len_v1, v2, &len_v2);
1447
1448 return decimal_compare (v1, len_v1, v2, len_v2) == -1;
1449 }
c906108c 1450 else if (code1 == TYPE_CODE_PTR && code2 == TYPE_CODE_PTR)
1aa20aa8 1451 return value_as_address (arg1) < value_as_address (arg2);
c906108c
SS
1452
1453 /* FIXME: Need to promote to either CORE_ADDR or LONGEST, whichever
1454 is bigger. */
2de41bce 1455 else if (code1 == TYPE_CODE_PTR && is_int2)
1aa20aa8 1456 return value_as_address (arg1) < (CORE_ADDR) value_as_long (arg2);
2de41bce 1457 else if (code2 == TYPE_CODE_PTR && is_int1)
1aa20aa8 1458 return (CORE_ADDR) value_as_long (arg1) < value_as_address (arg2);
c4093a6a
JM
1459 else if (code1 == TYPE_CODE_STRING && code2 == TYPE_CODE_STRING)
1460 return value_strcmp (arg1, arg2) < 0;
c906108c
SS
1461 else
1462 {
8a3fe4f8 1463 error (_("Invalid type combination in ordering comparison."));
c906108c
SS
1464 return 0;
1465 }
1466}
1467\f
36e9969c
NS
1468/* The unary operators +, - and ~. They free the argument ARG1. */
1469
1470struct value *
1471value_pos (struct value *arg1)
1472{
1473 struct type *type;
4066e646 1474
36e9969c 1475 arg1 = coerce_ref (arg1);
36e9969c
NS
1476 type = check_typedef (value_type (arg1));
1477
1478 if (TYPE_CODE (type) == TYPE_CODE_FLT)
4066e646 1479 return value_from_double (type, value_as_double (arg1));
4ef30785 1480 else if (TYPE_CODE (type) == TYPE_CODE_DECFLOAT)
4066e646 1481 return value_from_decfloat (type, value_contents (arg1));
36e9969c
NS
1482 else if (is_integral_type (type))
1483 {
4066e646 1484 return value_from_longest (type, value_as_long (arg1));
36e9969c
NS
1485 }
1486 else
1487 {
1488 error ("Argument to positive operation not a number.");
1489 return 0; /* For lint -- never reached */
1490 }
1491}
c906108c 1492
f23631e4
AC
1493struct value *
1494value_neg (struct value *arg1)
c906108c 1495{
52f0bd74 1496 struct type *type;
4066e646 1497
994b9211 1498 arg1 = coerce_ref (arg1);
df407dfe 1499 type = check_typedef (value_type (arg1));
c906108c 1500
27bc4d80
TJB
1501 if (TYPE_CODE (type) == TYPE_CODE_DECFLOAT)
1502 {
4066e646 1503 struct value *val = allocate_value (type);
27bc4d80
TJB
1504 int len = TYPE_LENGTH (type);
1505 gdb_byte decbytes[16]; /* a decfloat is at most 128 bits long */
1506
4ef30785 1507 memcpy (decbytes, value_contents (arg1), len);
27bc4d80
TJB
1508
1509 if (gdbarch_byte_order (current_gdbarch) == BFD_ENDIAN_LITTLE)
1510 decbytes[len-1] = decbytes[len - 1] | 0x80;
1511 else
1512 decbytes[0] = decbytes[0] | 0x80;
1513
1514 memcpy (value_contents_raw (val), decbytes, len);
1515 return val;
1516 }
301f0ecf 1517 else if (TYPE_CODE (type) == TYPE_CODE_FLT)
4066e646 1518 return value_from_double (type, -value_as_double (arg1));
2de41bce 1519 else if (is_integral_type (type))
c906108c 1520 {
4066e646 1521 return value_from_longest (type, -value_as_long (arg1));
c5aa993b
JM
1522 }
1523 else
1524 {
8a3fe4f8 1525 error (_("Argument to negate operation not a number."));
c5aa993b 1526 return 0; /* For lint -- never reached */
c906108c 1527 }
c906108c
SS
1528}
1529
f23631e4
AC
1530struct value *
1531value_complement (struct value *arg1)
c906108c 1532{
52f0bd74 1533 struct type *type;
4066e646 1534
994b9211 1535 arg1 = coerce_ref (arg1);
df407dfe 1536 type = check_typedef (value_type (arg1));
c906108c 1537
2de41bce 1538 if (!is_integral_type (type))
8a3fe4f8 1539 error (_("Argument to complement operation not an integer or boolean."));
c906108c 1540
4066e646 1541 return value_from_longest (type, ~value_as_long (arg1));
c906108c
SS
1542}
1543\f
df407dfe 1544/* The INDEX'th bit of SET value whose value_type is TYPE,
0fd88904 1545 and whose value_contents is valaddr.
c906108c
SS
1546 Return -1 if out of range, -2 other error. */
1547
1548int
fc1a4b47 1549value_bit_index (struct type *type, const gdb_byte *valaddr, int index)
c906108c
SS
1550{
1551 LONGEST low_bound, high_bound;
1552 LONGEST word;
1553 unsigned rel_index;
262452ec 1554 struct type *range = TYPE_INDEX_TYPE (type);
c906108c
SS
1555 if (get_discrete_bounds (range, &low_bound, &high_bound) < 0)
1556 return -2;
1557 if (index < low_bound || index > high_bound)
1558 return -1;
1559 rel_index = index - low_bound;
c56324e0 1560 word = extract_unsigned_integer (valaddr + (rel_index / TARGET_CHAR_BIT), 1);
c906108c 1561 rel_index %= TARGET_CHAR_BIT;
32c9a795 1562 if (gdbarch_bits_big_endian (current_gdbarch))
c906108c
SS
1563 rel_index = TARGET_CHAR_BIT - 1 - rel_index;
1564 return (word >> rel_index) & 1;
1565}
1566
fbb06eb1 1567int
f23631e4 1568value_in (struct value *element, struct value *set)
c906108c
SS
1569{
1570 int member;
df407dfe
AC
1571 struct type *settype = check_typedef (value_type (set));
1572 struct type *eltype = check_typedef (value_type (element));
c906108c
SS
1573 if (TYPE_CODE (eltype) == TYPE_CODE_RANGE)
1574 eltype = TYPE_TARGET_TYPE (eltype);
1575 if (TYPE_CODE (settype) != TYPE_CODE_SET)
8a3fe4f8 1576 error (_("Second argument of 'IN' has wrong type"));
c906108c
SS
1577 if (TYPE_CODE (eltype) != TYPE_CODE_INT
1578 && TYPE_CODE (eltype) != TYPE_CODE_CHAR
1579 && TYPE_CODE (eltype) != TYPE_CODE_ENUM
1580 && TYPE_CODE (eltype) != TYPE_CODE_BOOL)
8a3fe4f8 1581 error (_("First argument of 'IN' has wrong type"));
0fd88904 1582 member = value_bit_index (settype, value_contents (set),
c906108c
SS
1583 value_as_long (element));
1584 if (member < 0)
8a3fe4f8 1585 error (_("First argument of 'IN' not in range"));
fbb06eb1 1586 return member;
c906108c
SS
1587}
1588
1589void
fba45db2 1590_initialize_valarith (void)
c906108c
SS
1591{
1592}
This page took 1.00656 seconds and 4 git commands to generate.