1 /* This module handles expression trees.
2 Copyright 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
3 2001, 2002, 2003, 2004, 2005
4 Free Software Foundation, Inc.
5 Written by Steve Chamberlain of Cygnus Support <sac@cygnus.com>.
7 This file is part of GLD, the Gnu Linker.
9 GLD is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 2, or (at your option)
14 GLD 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.
19 You should have received a copy of the GNU General Public License
20 along with GLD; see the file COPYING. If not, write to the Free
21 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
24 /* This module is in charge of working out the contents of expressions.
26 It has to keep track of the relative/absness of a symbol etc. This
27 is done by keeping all values in a struct (an etree_value_type)
28 which contains a value, a section to which it is relative and a
41 #include "libiberty.h"
42 #include "safe-ctype.h"
44 static void exp_fold_tree_1 (etree_type
*);
45 static void exp_fold_tree_no_dot (etree_type
*);
46 static bfd_vma
align_n (bfd_vma
, bfd_vma
);
48 segment_type
*segments
;
50 struct ldexp_control expld
;
52 /* Print the string representation of the given token. Surround it
53 with spaces if INFIX_P is TRUE. */
56 exp_print_token (token_code_type code
, int infix_p
)
90 { SECTIONS
, "SECTIONS" },
91 { SIZEOF_HEADERS
, "SIZEOF_HEADERS" },
93 { DEFINED
, "DEFINED" },
94 { TARGET_K
, "TARGET" },
95 { SEARCH_DIR
, "SEARCH_DIR" },
101 { LOADADDR
, "LOADADDR" },
103 { REL
, "relocatable" },
104 { DATA_SEGMENT_ALIGN
, "DATA_SEGMENT_ALIGN" },
105 { DATA_SEGMENT_RELRO_END
, "DATA_SEGMENT_RELRO_END" },
106 { DATA_SEGMENT_END
, "DATA_SEGMENT_END" },
107 { ORIGIN
, "ORIGIN" },
108 { LENGTH
, "LENGTH" },
109 { SEGMENT_START
, "SEGMENT_START" }
113 for (idx
= 0; idx
< ARRAY_SIZE (table
); idx
++)
114 if (table
[idx
].code
== code
)
118 fputc (' ', config
.map_file
);
120 if (idx
< ARRAY_SIZE (table
))
121 fputs (table
[idx
].name
, config
.map_file
);
123 fputc (code
, config
.map_file
);
125 fprintf (config
.map_file
, "<code %d>", code
);
128 fputc (' ', config
.map_file
);
134 expld
.result
.value
+= expld
.result
.section
->vma
;
135 expld
.result
.section
= bfd_abs_section_ptr
;
139 new_abs (bfd_vma value
)
141 expld
.result
.valid_p
= TRUE
;
142 expld
.result
.section
= bfd_abs_section_ptr
;
143 expld
.result
.value
= value
;
144 expld
.result
.str
= NULL
;
148 exp_intop (bfd_vma value
)
150 etree_type
*new = stat_alloc (sizeof (new->value
));
151 new->type
.node_code
= INT
;
152 new->value
.value
= value
;
153 new->value
.str
= NULL
;
154 new->type
.node_class
= etree_value
;
159 exp_bigintop (bfd_vma value
, char *str
)
161 etree_type
*new = stat_alloc (sizeof (new->value
));
162 new->type
.node_code
= INT
;
163 new->value
.value
= value
;
164 new->value
.str
= str
;
165 new->type
.node_class
= etree_value
;
169 /* Build an expression representing an unnamed relocatable value. */
172 exp_relop (asection
*section
, bfd_vma value
)
174 etree_type
*new = stat_alloc (sizeof (new->rel
));
175 new->type
.node_code
= REL
;
176 new->type
.node_class
= etree_rel
;
177 new->rel
.section
= section
;
178 new->rel
.value
= value
;
183 new_rel (bfd_vma value
, char *str
, asection
*section
)
185 expld
.result
.valid_p
= TRUE
;
186 expld
.result
.value
= value
;
187 expld
.result
.str
= str
;
188 expld
.result
.section
= section
;
192 new_rel_from_abs (bfd_vma value
)
194 expld
.result
.valid_p
= TRUE
;
195 expld
.result
.value
= value
- expld
.section
->vma
;
196 expld
.result
.str
= NULL
;
197 expld
.result
.section
= expld
.section
;
201 fold_unary (etree_type
*tree
)
203 exp_fold_tree_1 (tree
->unary
.child
);
204 if (expld
.result
.valid_p
)
206 switch (tree
->type
.node_code
)
209 if (expld
.phase
!= lang_first_phase_enum
)
212 new_rel_from_abs (align_n (expld
.dot
, expld
.result
.value
));
215 expld
.result
.valid_p
= FALSE
;
224 expld
.result
.value
= ~expld
.result
.value
;
229 expld
.result
.value
= !expld
.result
.value
;
234 expld
.result
.value
= -expld
.result
.value
;
238 /* Return next place aligned to value. */
239 if (expld
.phase
!= lang_first_phase_enum
)
242 expld
.result
.value
= align_n (expld
.dot
, expld
.result
.value
);
245 expld
.result
.valid_p
= FALSE
;
248 case DATA_SEGMENT_END
:
249 if (expld
.phase
!= lang_first_phase_enum
250 && expld
.section
== bfd_abs_section_ptr
251 && (expld
.dataseg
.phase
== exp_dataseg_align_seen
252 || expld
.dataseg
.phase
== exp_dataseg_relro_seen
253 || expld
.dataseg
.phase
== exp_dataseg_adjust
254 || expld
.dataseg
.phase
== exp_dataseg_relro_adjust
255 || expld
.phase
== lang_final_phase_enum
))
257 if (expld
.dataseg
.phase
== exp_dataseg_align_seen
258 || expld
.dataseg
.phase
== exp_dataseg_relro_seen
)
260 expld
.dataseg
.phase
= exp_dataseg_end_seen
;
261 expld
.dataseg
.end
= expld
.result
.value
;
265 expld
.result
.valid_p
= FALSE
;
276 fold_binary (etree_type
*tree
)
278 exp_fold_tree_1 (tree
->binary
.lhs
);
280 /* The SEGMENT_START operator is special because its first
281 operand is a string, not the name of a symbol. */
282 if (expld
.result
.valid_p
&& tree
->type
.node_code
== SEGMENT_START
)
284 const char *segment_name
;
286 /* Check to see if the user has overridden the default
288 segment_name
= tree
->binary
.rhs
->name
.name
;
289 for (seg
= segments
; seg
; seg
= seg
->next
)
290 if (strcmp (seg
->name
, segment_name
) == 0)
293 expld
.result
.value
= seg
->value
;
294 expld
.result
.str
= NULL
;
295 expld
.result
.section
= NULL
;
299 else if (expld
.result
.valid_p
)
301 etree_value_type lhs
= expld
.result
;
303 exp_fold_tree_1 (tree
->binary
.rhs
);
304 if (expld
.result
.valid_p
)
306 /* If the values are from different sections, or this is an
307 absolute expression, make both the source arguments
308 absolute. However, adding or subtracting an absolute
309 value from a relative value is meaningful, and is an
311 if (expld
.section
!= bfd_abs_section_ptr
312 && lhs
.section
== bfd_abs_section_ptr
313 && tree
->type
.node_code
== '+')
315 /* Keep the section of the rhs term. */
316 expld
.result
.value
= lhs
.value
+ expld
.result
.value
;
319 else if (expld
.section
!= bfd_abs_section_ptr
320 && expld
.result
.section
== bfd_abs_section_ptr
321 && (tree
->type
.node_code
== '+'
322 || tree
->type
.node_code
== '-'))
324 /* Keep the section of the lhs term. */
325 expld
.result
.section
= lhs
.section
;
327 else if (expld
.result
.section
!= lhs
.section
328 || expld
.section
== bfd_abs_section_ptr
)
331 lhs
.value
+= lhs
.section
->vma
;
334 switch (tree
->type
.node_code
)
337 if (expld
.result
.value
!= 0)
338 expld
.result
.value
= ((bfd_signed_vma
) lhs
.value
339 % (bfd_signed_vma
) expld
.result
.value
);
340 else if (expld
.phase
!= lang_mark_phase_enum
)
341 einfo (_("%F%S %% by zero\n"));
345 if (expld
.result
.value
!= 0)
346 expld
.result
.value
= ((bfd_signed_vma
) lhs
.value
347 / (bfd_signed_vma
) expld
.result
.value
);
348 else if (expld
.phase
!= lang_mark_phase_enum
)
349 einfo (_("%F%S / by zero\n"));
354 expld.result.value = lhs.value y expld.result.value; \
375 if (lhs
.value
> expld
.result
.value
)
376 expld
.result
.value
= lhs
.value
;
380 if (lhs
.value
< expld
.result
.value
)
381 expld
.result
.value
= lhs
.value
;
385 expld
.result
.value
= align_n (lhs
.value
, expld
.result
.value
);
388 case DATA_SEGMENT_ALIGN
:
389 if (expld
.phase
!= lang_first_phase_enum
390 && expld
.section
== bfd_abs_section_ptr
391 && (expld
.dataseg
.phase
== exp_dataseg_none
392 || expld
.dataseg
.phase
== exp_dataseg_adjust
393 || expld
.dataseg
.phase
== exp_dataseg_relro_adjust
394 || expld
.phase
== lang_final_phase_enum
))
396 bfd_vma maxpage
= lhs
.value
;
397 bfd_vma commonpage
= expld
.result
.value
;
399 expld
.result
.value
= align_n (expld
.dot
, maxpage
);
400 if (expld
.dataseg
.phase
== exp_dataseg_relro_adjust
)
401 expld
.result
.value
= expld
.dataseg
.base
;
402 else if (expld
.dataseg
.phase
!= exp_dataseg_adjust
)
404 expld
.result
.value
+= expld
.dot
& (maxpage
- 1);
405 if (expld
.phase
== lang_allocating_phase_enum
)
407 expld
.dataseg
.phase
= exp_dataseg_align_seen
;
408 expld
.dataseg
.min_base
= align_n (expld
.dot
, maxpage
);
409 expld
.dataseg
.base
= expld
.result
.value
;
410 expld
.dataseg
.pagesize
= commonpage
;
411 expld
.dataseg
.maxpagesize
= maxpage
;
412 expld
.dataseg
.relro_end
= 0;
415 else if (commonpage
< maxpage
)
416 expld
.result
.value
+= ((expld
.dot
+ commonpage
- 1)
417 & (maxpage
- commonpage
));
420 expld
.result
.valid_p
= FALSE
;
423 case DATA_SEGMENT_RELRO_END
:
424 if (expld
.phase
!= lang_first_phase_enum
425 && (expld
.dataseg
.phase
== exp_dataseg_align_seen
426 || expld
.dataseg
.phase
== exp_dataseg_adjust
427 || expld
.dataseg
.phase
== exp_dataseg_relro_adjust
428 || expld
.phase
== lang_final_phase_enum
))
430 if (expld
.dataseg
.phase
== exp_dataseg_align_seen
431 || expld
.dataseg
.phase
== exp_dataseg_relro_adjust
)
432 expld
.dataseg
.relro_end
= lhs
.value
+ expld
.result
.value
;
434 if (expld
.dataseg
.phase
== exp_dataseg_relro_adjust
435 && (expld
.dataseg
.relro_end
436 & (expld
.dataseg
.pagesize
- 1)))
438 expld
.dataseg
.relro_end
+= expld
.dataseg
.pagesize
- 1;
439 expld
.dataseg
.relro_end
&= ~(expld
.dataseg
.pagesize
- 1);
440 expld
.result
.value
= (expld
.dataseg
.relro_end
441 - expld
.result
.value
);
444 expld
.result
.value
= lhs
.value
;
446 if (expld
.dataseg
.phase
== exp_dataseg_align_seen
)
447 expld
.dataseg
.phase
= exp_dataseg_relro_seen
;
450 expld
.result
.valid_p
= FALSE
;
458 expld
.result
.valid_p
= FALSE
;
463 fold_trinary (etree_type
*tree
)
465 exp_fold_tree_1 (tree
->trinary
.cond
);
466 if (expld
.result
.valid_p
)
467 exp_fold_tree_1 (expld
.result
.value
469 : tree
->trinary
.rhs
);
473 fold_name (etree_type
*tree
)
475 memset (&expld
.result
, 0, sizeof (expld
.result
));
477 switch (tree
->type
.node_code
)
480 if (expld
.phase
!= lang_first_phase_enum
)
482 bfd_vma hdr_size
= 0;
483 /* Don't find the real header size if only marking sections;
484 The bfd function may cache incorrect data. */
485 if (expld
.phase
!= lang_mark_phase_enum
)
486 hdr_size
= bfd_sizeof_headers (output_bfd
, link_info
.relocatable
);
491 if (expld
.phase
== lang_first_phase_enum
)
492 lang_track_definedness (tree
->name
.name
);
495 struct bfd_link_hash_entry
*h
;
497 = lang_symbol_definition_iteration (tree
->name
.name
);
499 h
= bfd_wrapped_link_hash_lookup (output_bfd
, &link_info
,
502 expld
.result
.value
= (h
!= NULL
503 && (h
->type
== bfd_link_hash_defined
504 || h
->type
== bfd_link_hash_defweak
505 || h
->type
== bfd_link_hash_common
)
506 && (def_iteration
== lang_statement_iteration
507 || def_iteration
== -1));
508 expld
.result
.section
= bfd_abs_section_ptr
;
509 expld
.result
.valid_p
= TRUE
;
513 if (expld
.phase
== lang_first_phase_enum
)
515 else if (tree
->name
.name
[0] == '.' && tree
->name
.name
[1] == 0)
516 new_rel_from_abs (expld
.dot
);
519 struct bfd_link_hash_entry
*h
;
521 h
= bfd_wrapped_link_hash_lookup (output_bfd
, &link_info
,
525 einfo (_("%P%F: bfd_link_hash_lookup failed: %E\n"));
526 else if (h
->type
== bfd_link_hash_defined
527 || h
->type
== bfd_link_hash_defweak
)
529 if (bfd_is_abs_section (h
->u
.def
.section
))
530 new_abs (h
->u
.def
.value
);
533 asection
*output_section
;
535 output_section
= h
->u
.def
.section
->output_section
;
536 if (output_section
== NULL
)
538 if (expld
.phase
!= lang_mark_phase_enum
)
539 einfo (_("%X%S: unresolvable symbol `%s'"
540 " referenced in expression\n"),
544 new_rel (h
->u
.def
.value
+ h
->u
.def
.section
->output_offset
,
545 NULL
, output_section
);
548 else if (expld
.phase
== lang_final_phase_enum
549 || expld
.assigning_to_dot
)
550 einfo (_("%F%S: undefined symbol `%s' referenced in expression\n"),
552 else if (h
->type
== bfd_link_hash_new
)
554 h
->type
= bfd_link_hash_undefined
;
555 h
->u
.undef
.abfd
= NULL
;
556 if (h
->u
.undef
.next
== NULL
&& h
!= link_info
.hash
->undefs_tail
)
557 bfd_link_add_undef (link_info
.hash
, h
);
563 if (expld
.phase
!= lang_first_phase_enum
)
565 lang_output_section_statement_type
*os
;
567 os
= lang_output_section_find (tree
->name
.name
);
568 if (os
!= NULL
&& os
->processed
> 0)
569 new_rel (0, NULL
, os
->bfd_section
);
574 if (expld
.phase
!= lang_first_phase_enum
)
576 lang_output_section_statement_type
*os
;
578 os
= lang_output_section_find (tree
->name
.name
);
579 if (os
!= NULL
&& os
->processed
> 0)
581 if (os
->load_base
== NULL
)
582 new_rel (0, NULL
, os
->bfd_section
);
584 exp_fold_tree_1 (os
->load_base
);
590 if (expld
.phase
!= lang_first_phase_enum
)
592 int opb
= bfd_octets_per_byte (output_bfd
);
593 lang_output_section_statement_type
*os
;
595 os
= lang_output_section_find (tree
->name
.name
);
596 if (os
!= NULL
&& os
->processed
> 0)
597 new_abs (os
->bfd_section
->size
/ opb
);
603 lang_memory_region_type
*mem
;
605 mem
= lang_memory_region_lookup (tree
->name
.name
, FALSE
);
607 new_abs (mem
->length
);
609 einfo (_("%F%S: undefined MEMORY region `%s'"
610 " referenced in expression\n"), tree
->name
.name
);
616 lang_memory_region_type
*mem
;
618 mem
= lang_memory_region_lookup (tree
->name
.name
, FALSE
);
620 new_abs (mem
->origin
);
622 einfo (_("%F%S: undefined MEMORY region `%s'"
623 " referenced in expression\n"), tree
->name
.name
);
634 exp_fold_tree_1 (etree_type
*tree
)
638 memset (&expld
.result
, 0, sizeof (expld
.result
));
642 switch (tree
->type
.node_class
)
645 new_rel (tree
->value
.value
, tree
->value
.str
, expld
.section
);
649 if (expld
.phase
!= lang_first_phase_enum
)
651 asection
*output_section
= tree
->rel
.section
->output_section
;
652 new_rel (tree
->rel
.value
+ tree
->rel
.section
->output_offset
,
653 NULL
, output_section
);
656 memset (&expld
.result
, 0, sizeof (expld
.result
));
660 exp_fold_tree_1 (tree
->assert_s
.child
);
661 if (expld
.result
.valid_p
)
663 if (expld
.phase
== lang_mark_phase_enum
)
664 /* We don't care if assert fails or not when we are just
665 marking if a section is used or not. */
666 expld
.result
.value
= 1;
667 else if (!expld
.result
.value
)
668 einfo ("%X%P: %s\n", tree
->assert_s
.message
);
687 if (tree
->assign
.dst
[0] == '.' && tree
->assign
.dst
[1] == 0)
689 /* Assignment to dot can only be done during allocation. */
690 if (tree
->type
.node_class
!= etree_assign
)
691 einfo (_("%F%S can not PROVIDE assignment to location counter\n"));
692 if (expld
.phase
== lang_mark_phase_enum
693 || expld
.phase
== lang_allocating_phase_enum
694 || (expld
.phase
== lang_final_phase_enum
695 && expld
.section
== bfd_abs_section_ptr
))
697 /* Notify the folder that this is an assignment to dot. */
698 expld
.assigning_to_dot
= TRUE
;
699 exp_fold_tree_1 (tree
->assign
.src
);
700 expld
.assigning_to_dot
= FALSE
;
702 if (!expld
.result
.valid_p
)
704 if (expld
.phase
!= lang_mark_phase_enum
)
705 einfo (_("%F%S invalid assignment to location counter\n"));
707 else if (expld
.dotp
== NULL
)
708 einfo (_("%F%S assignment to location counter"
709 " invalid outside of SECTION\n"));
714 nextdot
= expld
.result
.value
+ expld
.section
->vma
;
715 if (nextdot
< expld
.dot
716 && expld
.section
!= bfd_abs_section_ptr
)
717 einfo (_("%F%S cannot move location counter backwards"
718 " (from %V to %V)\n"), expld
.dot
, nextdot
);
722 *expld
.dotp
= nextdot
;
727 memset (&expld
.result
, 0, sizeof (expld
.result
));
731 struct bfd_link_hash_entry
*h
= NULL
;
733 if (tree
->type
.node_class
== etree_provide
)
735 h
= bfd_link_hash_lookup (link_info
.hash
, tree
->assign
.dst
,
738 || (h
->type
!= bfd_link_hash_new
739 && h
->type
!= bfd_link_hash_undefined
740 && h
->type
!= bfd_link_hash_common
))
742 /* Do nothing. The symbol was never referenced, or was
743 defined by some object. */
748 exp_fold_tree_1 (tree
->assign
.src
);
749 if (expld
.result
.valid_p
)
753 h
= bfd_link_hash_lookup (link_info
.hash
, tree
->assign
.dst
,
756 einfo (_("%P%F:%s: hash creation failed\n"),
760 /* FIXME: Should we worry if the symbol is already
762 lang_update_definedness (tree
->assign
.dst
, h
);
763 h
->type
= bfd_link_hash_defined
;
764 h
->u
.def
.value
= expld
.result
.value
;
765 h
->u
.def
.section
= expld
.result
.section
;
766 if (tree
->type
.node_class
== etree_provide
)
767 tree
->type
.node_class
= etree_provided
;
778 memset (&expld
.result
, 0, sizeof (expld
.result
));
784 exp_fold_tree (etree_type
*tree
, asection
*current_section
, bfd_vma
*dotp
)
788 expld
.section
= current_section
;
789 exp_fold_tree_1 (tree
);
793 exp_fold_tree_no_dot (etree_type
*tree
)
797 expld
.section
= bfd_abs_section_ptr
;
798 exp_fold_tree_1 (tree
);
802 exp_binop (int code
, etree_type
*lhs
, etree_type
*rhs
)
804 etree_type value
, *new;
806 value
.type
.node_code
= code
;
807 value
.binary
.lhs
= lhs
;
808 value
.binary
.rhs
= rhs
;
809 value
.type
.node_class
= etree_binary
;
810 exp_fold_tree_no_dot (&value
);
811 if (expld
.result
.valid_p
)
812 return exp_intop (expld
.result
.value
);
814 new = stat_alloc (sizeof (new->binary
));
815 memcpy (new, &value
, sizeof (new->binary
));
820 exp_trinop (int code
, etree_type
*cond
, etree_type
*lhs
, etree_type
*rhs
)
822 etree_type value
, *new;
824 value
.type
.node_code
= code
;
825 value
.trinary
.lhs
= lhs
;
826 value
.trinary
.cond
= cond
;
827 value
.trinary
.rhs
= rhs
;
828 value
.type
.node_class
= etree_trinary
;
829 exp_fold_tree_no_dot (&value
);
830 if (expld
.result
.valid_p
)
831 return exp_intop (expld
.result
.value
);
833 new = stat_alloc (sizeof (new->trinary
));
834 memcpy (new, &value
, sizeof (new->trinary
));
839 exp_unop (int code
, etree_type
*child
)
841 etree_type value
, *new;
843 value
.unary
.type
.node_code
= code
;
844 value
.unary
.child
= child
;
845 value
.unary
.type
.node_class
= etree_unary
;
846 exp_fold_tree_no_dot (&value
);
847 if (expld
.result
.valid_p
)
848 return exp_intop (expld
.result
.value
);
850 new = stat_alloc (sizeof (new->unary
));
851 memcpy (new, &value
, sizeof (new->unary
));
856 exp_nameop (int code
, const char *name
)
858 etree_type value
, *new;
860 value
.name
.type
.node_code
= code
;
861 value
.name
.name
= name
;
862 value
.name
.type
.node_class
= etree_name
;
864 exp_fold_tree_no_dot (&value
);
865 if (expld
.result
.valid_p
)
866 return exp_intop (expld
.result
.value
);
868 new = stat_alloc (sizeof (new->name
));
869 memcpy (new, &value
, sizeof (new->name
));
875 exp_assop (int code
, const char *dst
, etree_type
*src
)
879 new = stat_alloc (sizeof (new->assign
));
880 new->type
.node_code
= code
;
881 new->type
.node_class
= etree_assign
;
882 new->assign
.src
= src
;
883 new->assign
.dst
= dst
;
887 /* Handle PROVIDE. */
890 exp_provide (const char *dst
, etree_type
*src
)
894 n
= stat_alloc (sizeof (n
->assign
));
895 n
->assign
.type
.node_code
= '=';
896 n
->assign
.type
.node_class
= etree_provide
;
905 exp_assert (etree_type
*exp
, const char *message
)
909 n
= stat_alloc (sizeof (n
->assert_s
));
910 n
->assert_s
.type
.node_code
= '!';
911 n
->assert_s
.type
.node_class
= etree_assert
;
912 n
->assert_s
.child
= exp
;
913 n
->assert_s
.message
= message
;
918 exp_print_tree (etree_type
*tree
)
920 if (config
.map_file
== NULL
)
921 config
.map_file
= stderr
;
925 minfo ("NULL TREE\n");
929 switch (tree
->type
.node_class
)
932 minfo ("0x%v", tree
->value
.value
);
935 if (tree
->rel
.section
->owner
!= NULL
)
936 minfo ("%B:", tree
->rel
.section
->owner
);
937 minfo ("%s+0x%v", tree
->rel
.section
->name
, tree
->rel
.value
);
940 fprintf (config
.map_file
, "%s", tree
->assign
.dst
);
941 exp_print_token (tree
->type
.node_code
, TRUE
);
942 exp_print_tree (tree
->assign
.src
);
946 fprintf (config
.map_file
, "PROVIDE (%s, ", tree
->assign
.dst
);
947 exp_print_tree (tree
->assign
.src
);
948 fprintf (config
.map_file
, ")");
951 fprintf (config
.map_file
, "(");
952 exp_print_tree (tree
->binary
.lhs
);
953 exp_print_token (tree
->type
.node_code
, TRUE
);
954 exp_print_tree (tree
->binary
.rhs
);
955 fprintf (config
.map_file
, ")");
958 exp_print_tree (tree
->trinary
.cond
);
959 fprintf (config
.map_file
, "?");
960 exp_print_tree (tree
->trinary
.lhs
);
961 fprintf (config
.map_file
, ":");
962 exp_print_tree (tree
->trinary
.rhs
);
965 exp_print_token (tree
->unary
.type
.node_code
, FALSE
);
966 if (tree
->unary
.child
)
968 fprintf (config
.map_file
, " (");
969 exp_print_tree (tree
->unary
.child
);
970 fprintf (config
.map_file
, ")");
975 fprintf (config
.map_file
, "ASSERT (");
976 exp_print_tree (tree
->assert_s
.child
);
977 fprintf (config
.map_file
, ", %s)", tree
->assert_s
.message
);
981 if (tree
->type
.node_code
== NAME
)
983 fprintf (config
.map_file
, "%s", tree
->name
.name
);
987 exp_print_token (tree
->type
.node_code
, FALSE
);
989 fprintf (config
.map_file
, " (%s)", tree
->name
.name
);
999 exp_get_vma (etree_type
*tree
, bfd_vma def
, char *name
)
1003 exp_fold_tree_no_dot (tree
);
1004 if (expld
.result
.valid_p
)
1005 return expld
.result
.value
;
1006 else if (name
!= NULL
&& expld
.phase
!= lang_mark_phase_enum
)
1007 einfo (_("%F%S nonconstant expression for %s\n"), name
);
1013 exp_get_value_int (etree_type
*tree
, int def
, char *name
)
1015 return exp_get_vma (tree
, def
, name
);
1019 exp_get_fill (etree_type
*tree
, fill_type
*def
, char *name
)
1028 exp_fold_tree_no_dot (tree
);
1029 if (!expld
.result
.valid_p
)
1031 if (name
!= NULL
&& expld
.phase
!= lang_mark_phase_enum
)
1032 einfo (_("%F%S nonconstant expression for %s\n"), name
);
1036 if (expld
.result
.str
!= NULL
&& (len
= strlen (expld
.result
.str
)) != 0)
1040 fill
= xmalloc ((len
+ 1) / 2 + sizeof (*fill
) - 1);
1041 fill
->size
= (len
+ 1) / 2;
1043 s
= (unsigned char *) expld
.result
.str
;
1051 digit
= (digit
- 'A' + '0' + 10) & 0xf;
1065 fill
= xmalloc (4 + sizeof (*fill
) - 1);
1066 val
= expld
.result
.value
;
1067 fill
->data
[0] = (val
>> 24) & 0xff;
1068 fill
->data
[1] = (val
>> 16) & 0xff;
1069 fill
->data
[2] = (val
>> 8) & 0xff;
1070 fill
->data
[3] = (val
>> 0) & 0xff;
1077 exp_get_abs_int (etree_type
*tree
, int def
, char *name
)
1081 exp_fold_tree_no_dot (tree
);
1083 if (expld
.result
.valid_p
)
1085 expld
.result
.value
+= expld
.result
.section
->vma
;
1086 return expld
.result
.value
;
1088 else if (name
!= NULL
&& expld
.phase
!= lang_mark_phase_enum
)
1089 einfo (_("%F%S non constant expression for %s\n"), name
);
1095 align_n (bfd_vma value
, bfd_vma align
)
1100 value
= (value
+ align
- 1) / align
;
1101 return value
* align
;