* configure: Rebuild.
[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
890 value_args_as_decimal (arg1, arg2, v1, &len_v1, v2, &len_v2);
891
892 switch (op)
893 {
894 case BINOP_ADD:
895 case BINOP_SUB:
896 case BINOP_MUL:
897 case BINOP_DIV:
898 case BINOP_EXP:
899 decimal_binop (op, v1, len_v1, v2, len_v2, v, &len_v);
900 break;
901
902 default:
903 error (_("Operation not valid for decimal floating point number."));
904 }
905
4066e646
UW
906 /* If only one type is decimal float, use its type.
907 Otherwise use the bigger type. */
908 if (TYPE_CODE (type1) != TYPE_CODE_DECFLOAT)
909 result_type = type2;
910 else if (TYPE_CODE (type2) != TYPE_CODE_DECFLOAT)
911 result_type = type1;
912 else if (TYPE_LENGTH (type2) > TYPE_LENGTH (type1))
913 result_type = type2;
914 else
915 result_type = type1;
916
301f0ecf 917 val = value_from_decfloat (result_type, v);
4ef30785 918 }
4066e646
UW
919 else if (TYPE_CODE (type1) == TYPE_CODE_FLT
920 || TYPE_CODE (type2) == TYPE_CODE_FLT)
c906108c
SS
921 {
922 /* FIXME-if-picky-about-floating-accuracy: Should be doing this
c5aa993b
JM
923 in target format. real.c in GCC probably has the necessary
924 code. */
c4093a6a 925 DOUBLEST v1, v2, v = 0;
c906108c
SS
926 v1 = value_as_double (arg1);
927 v2 = value_as_double (arg2);
301f0ecf 928
c906108c
SS
929 switch (op)
930 {
931 case BINOP_ADD:
932 v = v1 + v2;
933 break;
934
935 case BINOP_SUB:
936 v = v1 - v2;
937 break;
938
939 case BINOP_MUL:
940 v = v1 * v2;
941 break;
942
943 case BINOP_DIV:
944 v = v1 / v2;
945 break;
946
bd49c137
WZ
947 case BINOP_EXP:
948 errno = 0;
949 v = pow (v1, v2);
950 if (errno)
951 error (_("Cannot perform exponentiation: %s"), safe_strerror (errno));
952 break;
c4093a6a 953
d118ef87
PH
954 case BINOP_MIN:
955 v = v1 < v2 ? v1 : v2;
956 break;
957
958 case BINOP_MAX:
959 v = v1 > v2 ? v1 : v2;
960 break;
961
c906108c 962 default:
8a3fe4f8 963 error (_("Integer-only operation on floating point number."));
c906108c
SS
964 }
965
4066e646
UW
966 /* If only one type is float, use its type.
967 Otherwise use the bigger type. */
968 if (TYPE_CODE (type1) != TYPE_CODE_FLT)
969 result_type = type2;
970 else if (TYPE_CODE (type2) != TYPE_CODE_FLT)
971 result_type = type1;
972 else if (TYPE_LENGTH (type2) > TYPE_LENGTH (type1))
973 result_type = type2;
974 else
975 result_type = type1;
976
301f0ecf 977 val = allocate_value (result_type);
990a07ab 978 store_typed_floating (value_contents_raw (val), value_type (val), v);
c906108c 979 }
4066e646
UW
980 else if (TYPE_CODE (type1) == TYPE_CODE_BOOL
981 || TYPE_CODE (type2) == TYPE_CODE_BOOL)
c5aa993b 982 {
c4093a6a 983 LONGEST v1, v2, v = 0;
c5aa993b
JM
984 v1 = value_as_long (arg1);
985 v2 = value_as_long (arg2);
986
987 switch (op)
988 {
989 case BINOP_BITWISE_AND:
990 v = v1 & v2;
991 break;
992
993 case BINOP_BITWISE_IOR:
994 v = v1 | v2;
995 break;
996
997 case BINOP_BITWISE_XOR:
998 v = v1 ^ v2;
c4093a6a
JM
999 break;
1000
1001 case BINOP_EQUAL:
1002 v = v1 == v2;
1003 break;
1004
1005 case BINOP_NOTEQUAL:
1006 v = v1 != v2;
c5aa993b
JM
1007 break;
1008
1009 default:
8a3fe4f8 1010 error (_("Invalid operation on booleans."));
c5aa993b
JM
1011 }
1012
4066e646
UW
1013 result_type = type1;
1014
301f0ecf 1015 val = allocate_value (result_type);
990a07ab 1016 store_signed_integer (value_contents_raw (val),
301f0ecf 1017 TYPE_LENGTH (result_type),
c5aa993b
JM
1018 v);
1019 }
c906108c
SS
1020 else
1021 /* Integral operations here. */
c906108c 1022 {
4066e646
UW
1023 /* Determine type length of the result, and if the operation should
1024 be done unsigned. For exponentiation and shift operators,
1025 use the length and type of the left operand. Otherwise,
1026 use the signedness of the operand with the greater length.
1027 If both operands are of equal length, use unsigned operation
1028 if one of the operands is unsigned. */
1029 if (op == BINOP_RSH || op == BINOP_LSH || op == BINOP_EXP)
1030 result_type = type1;
1031 else if (TYPE_LENGTH (type1) > TYPE_LENGTH (type2))
1032 result_type = type1;
1033 else if (TYPE_LENGTH (type2) > TYPE_LENGTH (type1))
1034 result_type = type2;
1035 else if (TYPE_UNSIGNED (type1))
1036 result_type = type1;
1037 else if (TYPE_UNSIGNED (type2))
1038 result_type = type2;
1039 else
1040 result_type = type1;
c906108c 1041
4066e646 1042 if (TYPE_UNSIGNED (result_type))
c906108c 1043 {
d118ef87 1044 LONGEST v2_signed = value_as_long (arg2);
c4093a6a 1045 ULONGEST v1, v2, v = 0;
c906108c 1046 v1 = (ULONGEST) value_as_long (arg1);
d118ef87 1047 v2 = (ULONGEST) v2_signed;
c906108c 1048
c906108c
SS
1049 switch (op)
1050 {
1051 case BINOP_ADD:
1052 v = v1 + v2;
1053 break;
c5aa993b 1054
c906108c
SS
1055 case BINOP_SUB:
1056 v = v1 - v2;
1057 break;
c5aa993b 1058
c906108c
SS
1059 case BINOP_MUL:
1060 v = v1 * v2;
1061 break;
c5aa993b 1062
c906108c 1063 case BINOP_DIV:
ef80d18e 1064 case BINOP_INTDIV:
c3940723
PM
1065 if (v2 != 0)
1066 v = v1 / v2;
1067 else
1068 error (_("Division by zero"));
c906108c 1069 break;
c5aa993b 1070
bd49c137 1071 case BINOP_EXP:
d118ef87 1072 v = uinteger_pow (v1, v2_signed);
bd49c137 1073 break;
c4093a6a 1074
c906108c 1075 case BINOP_REM:
f8597ac3
DE
1076 if (v2 != 0)
1077 v = v1 % v2;
1078 else
1079 error (_("Division by zero"));
c906108c 1080 break;
c5aa993b 1081
c906108c
SS
1082 case BINOP_MOD:
1083 /* Knuth 1.2.4, integer only. Note that unlike the C '%' op,
1084 v1 mod 0 has a defined value, v1. */
c906108c
SS
1085 if (v2 == 0)
1086 {
1087 v = v1;
1088 }
1089 else
1090 {
c5aa993b 1091 v = v1 / v2;
c906108c
SS
1092 /* Note floor(v1/v2) == v1/v2 for unsigned. */
1093 v = v1 - (v2 * v);
1094 }
1095 break;
c5aa993b 1096
c906108c
SS
1097 case BINOP_LSH:
1098 v = v1 << v2;
1099 break;
c5aa993b 1100
c906108c
SS
1101 case BINOP_RSH:
1102 v = v1 >> v2;
1103 break;
c5aa993b 1104
c906108c
SS
1105 case BINOP_BITWISE_AND:
1106 v = v1 & v2;
1107 break;
c5aa993b 1108
c906108c
SS
1109 case BINOP_BITWISE_IOR:
1110 v = v1 | v2;
1111 break;
c5aa993b 1112
c906108c
SS
1113 case BINOP_BITWISE_XOR:
1114 v = v1 ^ v2;
1115 break;
c5aa993b 1116
c906108c
SS
1117 case BINOP_LOGICAL_AND:
1118 v = v1 && v2;
1119 break;
c5aa993b 1120
c906108c
SS
1121 case BINOP_LOGICAL_OR:
1122 v = v1 || v2;
1123 break;
c5aa993b 1124
c906108c
SS
1125 case BINOP_MIN:
1126 v = v1 < v2 ? v1 : v2;
1127 break;
c5aa993b 1128
c906108c
SS
1129 case BINOP_MAX:
1130 v = v1 > v2 ? v1 : v2;
1131 break;
1132
1133 case BINOP_EQUAL:
1134 v = v1 == v2;
1135 break;
1136
c4093a6a
JM
1137 case BINOP_NOTEQUAL:
1138 v = v1 != v2;
1139 break;
1140
c906108c
SS
1141 case BINOP_LESS:
1142 v = v1 < v2;
1143 break;
c5aa993b 1144
c906108c 1145 default:
8a3fe4f8 1146 error (_("Invalid binary operation on numbers."));
c906108c
SS
1147 }
1148
301f0ecf 1149 val = allocate_value (result_type);
990a07ab 1150 store_unsigned_integer (value_contents_raw (val),
df407dfe 1151 TYPE_LENGTH (value_type (val)),
c906108c
SS
1152 v);
1153 }
1154 else
1155 {
c4093a6a 1156 LONGEST v1, v2, v = 0;
c906108c
SS
1157 v1 = value_as_long (arg1);
1158 v2 = value_as_long (arg2);
c5aa993b 1159
c906108c
SS
1160 switch (op)
1161 {
1162 case BINOP_ADD:
1163 v = v1 + v2;
1164 break;
c5aa993b 1165
c906108c
SS
1166 case BINOP_SUB:
1167 v = v1 - v2;
1168 break;
c5aa993b 1169
c906108c
SS
1170 case BINOP_MUL:
1171 v = v1 * v2;
1172 break;
c5aa993b 1173
c906108c 1174 case BINOP_DIV:
ef80d18e 1175 case BINOP_INTDIV:
399cfac6
DL
1176 if (v2 != 0)
1177 v = v1 / v2;
1178 else
8a3fe4f8 1179 error (_("Division by zero"));
c4093a6a
JM
1180 break;
1181
bd49c137 1182 case BINOP_EXP:
d118ef87 1183 v = integer_pow (v1, v2);
c906108c 1184 break;
c5aa993b 1185
c906108c 1186 case BINOP_REM:
399cfac6
DL
1187 if (v2 != 0)
1188 v = v1 % v2;
1189 else
8a3fe4f8 1190 error (_("Division by zero"));
c906108c 1191 break;
c5aa993b 1192
c906108c
SS
1193 case BINOP_MOD:
1194 /* Knuth 1.2.4, integer only. Note that unlike the C '%' op,
1195 X mod 0 has a defined value, X. */
c906108c
SS
1196 if (v2 == 0)
1197 {
1198 v = v1;
1199 }
1200 else
1201 {
c5aa993b 1202 v = v1 / v2;
c906108c
SS
1203 /* Compute floor. */
1204 if (TRUNCATION_TOWARDS_ZERO && (v < 0) && ((v1 % v2) != 0))
1205 {
1206 v--;
1207 }
1208 v = v1 - (v2 * v);
1209 }
1210 break;
c5aa993b 1211
c906108c
SS
1212 case BINOP_LSH:
1213 v = v1 << v2;
1214 break;
c5aa993b 1215
c906108c
SS
1216 case BINOP_RSH:
1217 v = v1 >> v2;
1218 break;
c5aa993b 1219
c906108c
SS
1220 case BINOP_BITWISE_AND:
1221 v = v1 & v2;
1222 break;
c5aa993b 1223
c906108c
SS
1224 case BINOP_BITWISE_IOR:
1225 v = v1 | v2;
1226 break;
c5aa993b 1227
c906108c
SS
1228 case BINOP_BITWISE_XOR:
1229 v = v1 ^ v2;
1230 break;
c5aa993b 1231
c906108c
SS
1232 case BINOP_LOGICAL_AND:
1233 v = v1 && v2;
1234 break;
c5aa993b 1235
c906108c
SS
1236 case BINOP_LOGICAL_OR:
1237 v = v1 || v2;
1238 break;
c5aa993b 1239
c906108c
SS
1240 case BINOP_MIN:
1241 v = v1 < v2 ? v1 : v2;
1242 break;
c5aa993b 1243
c906108c
SS
1244 case BINOP_MAX:
1245 v = v1 > v2 ? v1 : v2;
1246 break;
1247
1248 case BINOP_EQUAL:
1249 v = v1 == v2;
1250 break;
1251
1252 case BINOP_LESS:
1253 v = v1 < v2;
1254 break;
c5aa993b 1255
c906108c 1256 default:
8a3fe4f8 1257 error (_("Invalid binary operation on numbers."));
c906108c
SS
1258 }
1259
301f0ecf 1260 val = allocate_value (result_type);
990a07ab 1261 store_signed_integer (value_contents_raw (val),
df407dfe 1262 TYPE_LENGTH (value_type (val)),
c906108c
SS
1263 v);
1264 }
1265 }
1266
1267 return val;
1268}
1269\f
1270/* Simulate the C operator ! -- return 1 if ARG1 contains zero. */
1271
1272int
f23631e4 1273value_logical_not (struct value *arg1)
c906108c 1274{
52f0bd74 1275 int len;
fc1a4b47 1276 const gdb_byte *p;
c906108c
SS
1277 struct type *type1;
1278
0ab7ba45 1279 arg1 = coerce_array (arg1);
df407dfe 1280 type1 = check_typedef (value_type (arg1));
c906108c
SS
1281
1282 if (TYPE_CODE (type1) == TYPE_CODE_FLT)
1283 return 0 == value_as_double (arg1);
4ef30785
TJB
1284 else if (TYPE_CODE (type1) == TYPE_CODE_DECFLOAT)
1285 return decimal_is_zero (value_contents (arg1), TYPE_LENGTH (type1));
c906108c
SS
1286
1287 len = TYPE_LENGTH (type1);
0fd88904 1288 p = value_contents (arg1);
c906108c
SS
1289
1290 while (--len >= 0)
1291 {
1292 if (*p++)
1293 break;
1294 }
1295
1296 return len < 0;
1297}
1298
c4093a6a
JM
1299/* Perform a comparison on two string values (whose content are not
1300 necessarily null terminated) based on their length */
1301
1302static int
f23631e4 1303value_strcmp (struct value *arg1, struct value *arg2)
c4093a6a 1304{
df407dfe
AC
1305 int len1 = TYPE_LENGTH (value_type (arg1));
1306 int len2 = TYPE_LENGTH (value_type (arg2));
fc1a4b47
AC
1307 const gdb_byte *s1 = value_contents (arg1);
1308 const gdb_byte *s2 = value_contents (arg2);
c4093a6a
JM
1309 int i, len = len1 < len2 ? len1 : len2;
1310
1311 for (i = 0; i < len; i++)
1312 {
1313 if (s1[i] < s2[i])
1314 return -1;
1315 else if (s1[i] > s2[i])
1316 return 1;
1317 else
1318 continue;
1319 }
1320
1321 if (len1 < len2)
1322 return -1;
1323 else if (len1 > len2)
1324 return 1;
1325 else
1326 return 0;
1327}
1328
c906108c
SS
1329/* Simulate the C operator == by returning a 1
1330 iff ARG1 and ARG2 have equal contents. */
1331
1332int
f23631e4 1333value_equal (struct value *arg1, struct value *arg2)
c906108c 1334{
52f0bd74 1335 int len;
fc1a4b47
AC
1336 const gdb_byte *p1;
1337 const gdb_byte *p2;
c906108c
SS
1338 struct type *type1, *type2;
1339 enum type_code code1;
1340 enum type_code code2;
2de41bce 1341 int is_int1, is_int2;
c906108c 1342
994b9211
AC
1343 arg1 = coerce_array (arg1);
1344 arg2 = coerce_array (arg2);
c906108c 1345
df407dfe
AC
1346 type1 = check_typedef (value_type (arg1));
1347 type2 = check_typedef (value_type (arg2));
c906108c
SS
1348 code1 = TYPE_CODE (type1);
1349 code2 = TYPE_CODE (type2);
2de41bce
PH
1350 is_int1 = is_integral_type (type1);
1351 is_int2 = is_integral_type (type2);
c906108c 1352
2de41bce 1353 if (is_int1 && is_int2)
c906108c
SS
1354 return longest_to_int (value_as_long (value_binop (arg1, arg2,
1355 BINOP_EQUAL)));
2de41bce
PH
1356 else if ((code1 == TYPE_CODE_FLT || is_int1)
1357 && (code2 == TYPE_CODE_FLT || is_int2))
d067a990
MK
1358 {
1359 /* NOTE: kettenis/20050816: Avoid compiler bug on systems where
1360 `long double' values are returned in static storage (m68k). */
1361 DOUBLEST d = value_as_double (arg1);
1362 return d == value_as_double (arg2);
1363 }
4ef30785
TJB
1364 else if ((code1 == TYPE_CODE_DECFLOAT || is_int1)
1365 && (code2 == TYPE_CODE_DECFLOAT || is_int2))
1366 {
1367 gdb_byte v1[16], v2[16];
1368 int len_v1, len_v2;
1369
1370 value_args_as_decimal (arg1, arg2, v1, &len_v1, v2, &len_v2);
1371
1372 return decimal_compare (v1, len_v1, v2, len_v2) == 0;
1373 }
c906108c
SS
1374
1375 /* FIXME: Need to promote to either CORE_ADDR or LONGEST, whichever
1376 is bigger. */
2de41bce 1377 else if (code1 == TYPE_CODE_PTR && is_int2)
1aa20aa8 1378 return value_as_address (arg1) == (CORE_ADDR) value_as_long (arg2);
2de41bce 1379 else if (code2 == TYPE_CODE_PTR && is_int1)
1aa20aa8 1380 return (CORE_ADDR) value_as_long (arg1) == value_as_address (arg2);
c906108c
SS
1381
1382 else if (code1 == code2
1383 && ((len = (int) TYPE_LENGTH (type1))
1384 == (int) TYPE_LENGTH (type2)))
1385 {
0fd88904
AC
1386 p1 = value_contents (arg1);
1387 p2 = value_contents (arg2);
c906108c
SS
1388 while (--len >= 0)
1389 {
1390 if (*p1++ != *p2++)
1391 break;
1392 }
1393 return len < 0;
1394 }
c4093a6a
JM
1395 else if (code1 == TYPE_CODE_STRING && code2 == TYPE_CODE_STRING)
1396 {
1397 return value_strcmp (arg1, arg2) == 0;
1398 }
c906108c
SS
1399 else
1400 {
8a3fe4f8 1401 error (_("Invalid type combination in equality test."));
c5aa993b 1402 return 0; /* For lint -- never reached */
c906108c
SS
1403 }
1404}
1405
1406/* Simulate the C operator < by returning 1
1407 iff ARG1's contents are less than ARG2's. */
1408
1409int
f23631e4 1410value_less (struct value *arg1, struct value *arg2)
c906108c 1411{
52f0bd74
AC
1412 enum type_code code1;
1413 enum type_code code2;
c906108c 1414 struct type *type1, *type2;
2de41bce 1415 int is_int1, is_int2;
c906108c 1416
994b9211
AC
1417 arg1 = coerce_array (arg1);
1418 arg2 = coerce_array (arg2);
c906108c 1419
df407dfe
AC
1420 type1 = check_typedef (value_type (arg1));
1421 type2 = check_typedef (value_type (arg2));
c906108c
SS
1422 code1 = TYPE_CODE (type1);
1423 code2 = TYPE_CODE (type2);
2de41bce
PH
1424 is_int1 = is_integral_type (type1);
1425 is_int2 = is_integral_type (type2);
c906108c 1426
2de41bce 1427 if (is_int1 && is_int2)
c906108c
SS
1428 return longest_to_int (value_as_long (value_binop (arg1, arg2,
1429 BINOP_LESS)));
2de41bce
PH
1430 else if ((code1 == TYPE_CODE_FLT || is_int1)
1431 && (code2 == TYPE_CODE_FLT || is_int2))
d067a990
MK
1432 {
1433 /* NOTE: kettenis/20050816: Avoid compiler bug on systems where
1434 `long double' values are returned in static storage (m68k). */
1435 DOUBLEST d = value_as_double (arg1);
1436 return d < value_as_double (arg2);
1437 }
4ef30785
TJB
1438 else if ((code1 == TYPE_CODE_DECFLOAT || is_int1)
1439 && (code2 == TYPE_CODE_DECFLOAT || is_int2))
1440 {
1441 gdb_byte v1[16], v2[16];
1442 int len_v1, len_v2;
1443
1444 value_args_as_decimal (arg1, arg2, v1, &len_v1, v2, &len_v2);
1445
1446 return decimal_compare (v1, len_v1, v2, len_v2) == -1;
1447 }
c906108c 1448 else if (code1 == TYPE_CODE_PTR && code2 == TYPE_CODE_PTR)
1aa20aa8 1449 return value_as_address (arg1) < value_as_address (arg2);
c906108c
SS
1450
1451 /* FIXME: Need to promote to either CORE_ADDR or LONGEST, whichever
1452 is bigger. */
2de41bce 1453 else if (code1 == TYPE_CODE_PTR && is_int2)
1aa20aa8 1454 return value_as_address (arg1) < (CORE_ADDR) value_as_long (arg2);
2de41bce 1455 else if (code2 == TYPE_CODE_PTR && is_int1)
1aa20aa8 1456 return (CORE_ADDR) value_as_long (arg1) < value_as_address (arg2);
c4093a6a
JM
1457 else if (code1 == TYPE_CODE_STRING && code2 == TYPE_CODE_STRING)
1458 return value_strcmp (arg1, arg2) < 0;
c906108c
SS
1459 else
1460 {
8a3fe4f8 1461 error (_("Invalid type combination in ordering comparison."));
c906108c
SS
1462 return 0;
1463 }
1464}
1465\f
36e9969c
NS
1466/* The unary operators +, - and ~. They free the argument ARG1. */
1467
1468struct value *
1469value_pos (struct value *arg1)
1470{
1471 struct type *type;
4066e646 1472
36e9969c 1473 arg1 = coerce_ref (arg1);
36e9969c
NS
1474 type = check_typedef (value_type (arg1));
1475
1476 if (TYPE_CODE (type) == TYPE_CODE_FLT)
4066e646 1477 return value_from_double (type, value_as_double (arg1));
4ef30785 1478 else if (TYPE_CODE (type) == TYPE_CODE_DECFLOAT)
4066e646 1479 return value_from_decfloat (type, value_contents (arg1));
36e9969c
NS
1480 else if (is_integral_type (type))
1481 {
4066e646 1482 return value_from_longest (type, value_as_long (arg1));
36e9969c
NS
1483 }
1484 else
1485 {
1486 error ("Argument to positive operation not a number.");
1487 return 0; /* For lint -- never reached */
1488 }
1489}
c906108c 1490
f23631e4
AC
1491struct value *
1492value_neg (struct value *arg1)
c906108c 1493{
52f0bd74 1494 struct type *type;
4066e646 1495
994b9211 1496 arg1 = coerce_ref (arg1);
df407dfe 1497 type = check_typedef (value_type (arg1));
c906108c 1498
27bc4d80
TJB
1499 if (TYPE_CODE (type) == TYPE_CODE_DECFLOAT)
1500 {
4066e646 1501 struct value *val = allocate_value (type);
27bc4d80
TJB
1502 int len = TYPE_LENGTH (type);
1503 gdb_byte decbytes[16]; /* a decfloat is at most 128 bits long */
1504
4ef30785 1505 memcpy (decbytes, value_contents (arg1), len);
27bc4d80
TJB
1506
1507 if (gdbarch_byte_order (current_gdbarch) == BFD_ENDIAN_LITTLE)
1508 decbytes[len-1] = decbytes[len - 1] | 0x80;
1509 else
1510 decbytes[0] = decbytes[0] | 0x80;
1511
1512 memcpy (value_contents_raw (val), decbytes, len);
1513 return val;
1514 }
301f0ecf 1515 else if (TYPE_CODE (type) == TYPE_CODE_FLT)
4066e646 1516 return value_from_double (type, -value_as_double (arg1));
2de41bce 1517 else if (is_integral_type (type))
c906108c 1518 {
4066e646 1519 return value_from_longest (type, -value_as_long (arg1));
c5aa993b
JM
1520 }
1521 else
1522 {
8a3fe4f8 1523 error (_("Argument to negate operation not a number."));
c5aa993b 1524 return 0; /* For lint -- never reached */
c906108c 1525 }
c906108c
SS
1526}
1527
f23631e4
AC
1528struct value *
1529value_complement (struct value *arg1)
c906108c 1530{
52f0bd74 1531 struct type *type;
4066e646 1532
994b9211 1533 arg1 = coerce_ref (arg1);
df407dfe 1534 type = check_typedef (value_type (arg1));
c906108c 1535
2de41bce 1536 if (!is_integral_type (type))
8a3fe4f8 1537 error (_("Argument to complement operation not an integer or boolean."));
c906108c 1538
4066e646 1539 return value_from_longest (type, ~value_as_long (arg1));
c906108c
SS
1540}
1541\f
df407dfe 1542/* The INDEX'th bit of SET value whose value_type is TYPE,
0fd88904 1543 and whose value_contents is valaddr.
c906108c
SS
1544 Return -1 if out of range, -2 other error. */
1545
1546int
fc1a4b47 1547value_bit_index (struct type *type, const gdb_byte *valaddr, int index)
c906108c
SS
1548{
1549 LONGEST low_bound, high_bound;
1550 LONGEST word;
1551 unsigned rel_index;
262452ec 1552 struct type *range = TYPE_INDEX_TYPE (type);
c906108c
SS
1553 if (get_discrete_bounds (range, &low_bound, &high_bound) < 0)
1554 return -2;
1555 if (index < low_bound || index > high_bound)
1556 return -1;
1557 rel_index = index - low_bound;
c56324e0 1558 word = extract_unsigned_integer (valaddr + (rel_index / TARGET_CHAR_BIT), 1);
c906108c 1559 rel_index %= TARGET_CHAR_BIT;
32c9a795 1560 if (gdbarch_bits_big_endian (current_gdbarch))
c906108c
SS
1561 rel_index = TARGET_CHAR_BIT - 1 - rel_index;
1562 return (word >> rel_index) & 1;
1563}
1564
fbb06eb1 1565int
f23631e4 1566value_in (struct value *element, struct value *set)
c906108c
SS
1567{
1568 int member;
df407dfe
AC
1569 struct type *settype = check_typedef (value_type (set));
1570 struct type *eltype = check_typedef (value_type (element));
c906108c
SS
1571 if (TYPE_CODE (eltype) == TYPE_CODE_RANGE)
1572 eltype = TYPE_TARGET_TYPE (eltype);
1573 if (TYPE_CODE (settype) != TYPE_CODE_SET)
8a3fe4f8 1574 error (_("Second argument of 'IN' has wrong type"));
c906108c
SS
1575 if (TYPE_CODE (eltype) != TYPE_CODE_INT
1576 && TYPE_CODE (eltype) != TYPE_CODE_CHAR
1577 && TYPE_CODE (eltype) != TYPE_CODE_ENUM
1578 && TYPE_CODE (eltype) != TYPE_CODE_BOOL)
8a3fe4f8 1579 error (_("First argument of 'IN' has wrong type"));
0fd88904 1580 member = value_bit_index (settype, value_contents (set),
c906108c
SS
1581 value_as_long (element));
1582 if (member < 0)
8a3fe4f8 1583 error (_("First argument of 'IN' not in range"));
fbb06eb1 1584 return member;
c906108c
SS
1585}
1586
1587void
fba45db2 1588_initialize_valarith (void)
c906108c
SS
1589{
1590}
This page took 1.012122 seconds and 4 git commands to generate.