1999-05-03 15:29:11 +08:00
|
|
|
/* expr.h -> header file for expr.c
|
2024-01-04 19:52:08 +08:00
|
|
|
Copyright (C) 1987-2024 Free Software Foundation, Inc.
|
1999-05-03 15:29:11 +08:00
|
|
|
|
|
|
|
This file is part of GAS, the GNU Assembler.
|
|
|
|
|
|
|
|
GAS is free software; you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU General Public License as published by
|
2007-07-03 19:01:12 +08:00
|
|
|
the Free Software Foundation; either version 3, or (at your option)
|
1999-05-03 15:29:11 +08:00
|
|
|
any later version.
|
|
|
|
|
|
|
|
GAS is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with GAS; see the file COPYING. If not, write to the Free
|
2005-05-05 17:13:19 +08:00
|
|
|
Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
|
|
|
|
02110-1301, USA. */
|
1999-05-03 15:29:11 +08:00
|
|
|
|
2022-04-07 21:47:17 +08:00
|
|
|
/* By popular demand, we define a struct to represent an expression.
|
|
|
|
This will no doubt mutate as expressions become baroque.
|
|
|
|
|
|
|
|
Currently, we support expressions like "foo OP bar + 42". In other
|
|
|
|
words we permit a (possibly undefined) symbol, a (possibly
|
|
|
|
undefined) symbol and the operation used to combine the symbols,
|
|
|
|
and an (absolute) augend. RMS says this is so we can have 1-pass
|
|
|
|
assembly for any compiler emissions, and a 'case' statement might
|
|
|
|
emit 'undefined1 - undefined2'.
|
|
|
|
|
|
|
|
The type of an expression used to be stored as a segment. That got
|
|
|
|
confusing because it overloaded the concept of a segment. I added
|
|
|
|
an operator field, instead. */
|
1999-05-03 15:29:11 +08:00
|
|
|
|
|
|
|
/* This is the type of an expression. The operator types are also
|
|
|
|
used while parsing an expression.
|
|
|
|
|
|
|
|
NOTE: This enumeration must match the op_rank array in expr.c. */
|
|
|
|
|
2022-04-07 21:47:17 +08:00
|
|
|
typedef enum
|
|
|
|
{
|
1999-05-03 15:29:11 +08:00
|
|
|
/* An illegal expression. */
|
|
|
|
O_illegal,
|
|
|
|
/* A nonexistent expression. */
|
|
|
|
O_absent,
|
|
|
|
/* X_add_number (a constant expression). */
|
|
|
|
O_constant,
|
|
|
|
/* X_add_symbol + X_add_number. */
|
|
|
|
O_symbol,
|
|
|
|
/* X_add_symbol + X_add_number - the base address of the image. */
|
|
|
|
O_symbol_rva,
|
2022-04-07 21:47:17 +08:00
|
|
|
/* The section index of X_add_symbol. */
|
|
|
|
O_secidx,
|
1999-05-03 15:29:11 +08:00
|
|
|
/* A register (X_add_number is register number). */
|
|
|
|
O_register,
|
|
|
|
/* A big value. If X_add_number is negative or 0, the value is in
|
|
|
|
generic_floating_point_number. Otherwise the value is in
|
|
|
|
generic_bignum, and X_add_number is the number of LITTLENUMs in
|
|
|
|
the value. */
|
|
|
|
O_big,
|
|
|
|
/* (- X_add_symbol) + X_add_number. */
|
|
|
|
O_uminus,
|
|
|
|
/* (~ X_add_symbol) + X_add_number. */
|
|
|
|
O_bit_not,
|
|
|
|
/* (! X_add_symbol) + X_add_number. */
|
|
|
|
O_logical_not,
|
|
|
|
/* (X_add_symbol * X_op_symbol) + X_add_number. */
|
|
|
|
O_multiply,
|
|
|
|
/* (X_add_symbol / X_op_symbol) + X_add_number. */
|
|
|
|
O_divide,
|
2003-05-02 03:59:33 +08:00
|
|
|
/* (X_add_symbol % X_op_symbol) + X_add_number. */
|
1999-05-03 15:29:11 +08:00
|
|
|
O_modulus,
|
2003-05-02 03:59:33 +08:00
|
|
|
/* (X_add_symbol << X_op_symbol) + X_add_number. */
|
1999-05-03 15:29:11 +08:00
|
|
|
O_left_shift,
|
2003-05-02 03:59:33 +08:00
|
|
|
/* (X_add_symbol >> X_op_symbol) + X_add_number. */
|
1999-05-03 15:29:11 +08:00
|
|
|
O_right_shift,
|
2003-05-02 03:59:33 +08:00
|
|
|
/* (X_add_symbol | X_op_symbol) + X_add_number. */
|
1999-05-03 15:29:11 +08:00
|
|
|
O_bit_inclusive_or,
|
2003-05-02 03:59:33 +08:00
|
|
|
/* (X_add_symbol |~ X_op_symbol) + X_add_number. */
|
1999-05-03 15:29:11 +08:00
|
|
|
O_bit_or_not,
|
2003-05-02 03:59:33 +08:00
|
|
|
/* (X_add_symbol ^ X_op_symbol) + X_add_number. */
|
1999-05-03 15:29:11 +08:00
|
|
|
O_bit_exclusive_or,
|
2003-05-02 03:59:33 +08:00
|
|
|
/* (X_add_symbol & X_op_symbol) + X_add_number. */
|
1999-05-03 15:29:11 +08:00
|
|
|
O_bit_and,
|
2003-05-02 03:59:33 +08:00
|
|
|
/* (X_add_symbol + X_op_symbol) + X_add_number. */
|
1999-05-03 15:29:11 +08:00
|
|
|
O_add,
|
2003-05-02 03:59:33 +08:00
|
|
|
/* (X_add_symbol - X_op_symbol) + X_add_number. */
|
1999-05-03 15:29:11 +08:00
|
|
|
O_subtract,
|
|
|
|
/* (X_add_symbol == X_op_symbol) + X_add_number. */
|
|
|
|
O_eq,
|
|
|
|
/* (X_add_symbol != X_op_symbol) + X_add_number. */
|
|
|
|
O_ne,
|
|
|
|
/* (X_add_symbol < X_op_symbol) + X_add_number. */
|
|
|
|
O_lt,
|
|
|
|
/* (X_add_symbol <= X_op_symbol) + X_add_number. */
|
|
|
|
O_le,
|
|
|
|
/* (X_add_symbol >= X_op_symbol) + X_add_number. */
|
|
|
|
O_ge,
|
|
|
|
/* (X_add_symbol > X_op_symbol) + X_add_number. */
|
|
|
|
O_gt,
|
|
|
|
/* (X_add_symbol && X_op_symbol) + X_add_number. */
|
|
|
|
O_logical_and,
|
|
|
|
/* (X_add_symbol || X_op_symbol) + X_add_number. */
|
|
|
|
O_logical_or,
|
1999-06-03 10:51:27 +08:00
|
|
|
/* X_op_symbol [ X_add_symbol ] */
|
|
|
|
O_index,
|
1999-11-06 05:50:54 +08:00
|
|
|
/* machine dependent operators */
|
|
|
|
O_md1, O_md2, O_md3, O_md4, O_md5, O_md6, O_md7, O_md8,
|
|
|
|
O_md9, O_md10, O_md11, O_md12, O_md13, O_md14, O_md15, O_md16,
|
include/elf/
* alpha.h (R_ALPHA_TLSGD, R_ALPHA_TLSLDM, R_ALPHA_DTPMOD64,
R_ALPHA_GOTDTPREL, R_ALPHA_DTPREL64, R_ALPHA_DTPRELHI,
R_ALPHA_DTPRELLO, R_ALPHA_DTPREL16, R_ALPHA_GOTTPREL, R_ALPHA_TPREL64,
R_ALPHA_TPRELHI, R_ALPHA_TPRELLO, R_ALPHA_TPREL16): New.
bfd/
* elf64-alpha.c (ALPHA_ELF_LINK_HASH_LU_TLSGD,
ALPHA_ELF_LINK_HASH_LU_TLSLDM, ALPHA_ELF_LINK_HASH_LU_FUNC): New.
(ALPHA_ELF_GOT_ENTRY_RELOCS_DONE): Remove.
(ALPHA_ELF_GOT_ENTRY_RELOCS_XLATED): Remove.
(struct alpha_elf_got_entry): Add reloc_type, reloc_done, reloc_xlated.
(struct alpha_elf_obj_tdata): Rename total_got_entries and
n_local_got_entries to total_got_size and local_got_size.
(elf64_alpha_howto, elf64_alpha_reloc_map): Update for TLS relocs.
(alpha_got_entry_size): New.
(elf64_alpha_relax_with_lituse): Use it.
(elf64_alpha_relax_without_lituse): Likewise.
(MAX_GOT_SIZE): Rename from MAX_GOT_ENTRIES.
(get_got_entry): New.
(elf64_alpha_check_relocs): Handle TLS relocs. Reorganize.
(elf64_alpha_adjust_dynamic_symbol): Test LU_FUNC as a mask.
(elf64_alpha_merge_ind_symbols): Check gotent->reloc_type.
(elf64_alpha_can_merge_gots, elf64_alpha_merge_gots): Likewise.
(elf64_alpha_calc_got_offsets_for_symbol): Use alpha_got_entry_size.
(elf64_alpha_calc_got_offsets): Likewise.
(alpha_dynamic_entries_for_reloc): New.
(elf64_alpha_calc_dynrel_sizes): Use it.
(elf64_alpha_size_dynamic_sections): Likewise.
(elf64_alpha_relocate_section): Handle TLS relocations.
* reloc.c: Add Alpha TLS relocations.
* bfd-in2.h, libbfd.h: Rebuild.
gas/
* expr.h (operatorT): Add O_md17..O_md32.
* config/tc-alpha.c (O_lituse_tlsgd, O_lituse_tlsldm, O_tlsgd,
O_tlsldm, O_gotdtprel, O_dtprelhi, O_dtprello, O_dtprel, O_gottprel,
O_tprelhi, O_tprello, O_tprel): New.
(USER_RELOC_P, alpha_reloc_op_tag, debug_exp): Include them.
(DUMMY_RELOC_LITUSE_TLSGD, DUMMY_RELOC_LITUSE_TLSLDM): New.
(LITUSE_TLSGD, LITUSE_TLSLDM): New.
(struct alpha_reloc_tag): Add master, saw_tlsgd, saw_tlsld,
saw_lu_tlsgd, saw_lu_tlsldm. Make multi_section_p a bit field.
(md_apply_fix3): Handle TLS relocations.
(alpha_force_relocation, alpha_fix_adjustable): Likewise.
(alpha_adjust_symtab_relocs): Sort LITERAL relocs after the
associated TLS reloc. Check lituse_tls relocs match up.
(emit_insn): Handle TLS relocations.
(ldX_op): Remove.
gas/testsuite/
* gas/alpha/elf-tls-1.s, gas/alpha/elf-tls-1.d: New.
* gas/alpha/elf-tls-2.s, gas/alpha/elf-tls-1.l: New.
* gas/alpha/elf-tls-3.s, gas/alpha/elf-tls-1.l: New.
* gas/alpha/alpha.exp: Run them.
2002-05-31 06:01:38 +08:00
|
|
|
O_md17, O_md18, O_md19, O_md20, O_md21, O_md22, O_md23, O_md24,
|
|
|
|
O_md25, O_md26, O_md27, O_md28, O_md29, O_md30, O_md31, O_md32,
|
1999-05-03 15:29:11 +08:00
|
|
|
/* this must be the largest value */
|
|
|
|
O_max
|
|
|
|
} operatorT;
|
|
|
|
|
2022-04-07 21:47:17 +08:00
|
|
|
typedef struct expressionS
|
|
|
|
{
|
1999-05-03 15:29:11 +08:00
|
|
|
/* The main symbol. */
|
Add support for storing local symbols in a small structure to save
memory when assembling large files.
* as.h: Don't include struc-symbol.h.
(symbolS): Add typedef.
* symbols.c: Include struc-symbol.h.
(local_hash): New static variable.
(save_symbol_name): New static function, from symbol_create.
(symbol_create): Call save_symbol_name.
(local_symbol_count): New static variable.
(local_symbol_conversion_count): Likewise.
(LOCAL_SYMBOL_CHECK): Define.
(local_symbol_make): New static function.
(local_symbol_convert): New static function.
(colon): Handle local symbols. Create local symbol for local
label name.
(symbol_table_insert): Handle local symbols.
(symbol_find_or_make): Create local symbol for local label name.
(symbol_find_base): Check for local symbol.
(symbol_append, symbol_insert): Check for local symbols.
(symbol_clear_list_pointers, symbol_remove): Likewise.
(verify_symbol_chain): Likewise.
(copy_symbol_attributes): Likewise.
(resolve_symbol_value): Handle local symbols.
(resolve_local_symbol): New static function.
(resolve_local_symbol_values): New function.
(S_GET_VALUE, S_SET_VALUE): Handle local symbols.
(S_IS_FUNCTION, S_IS_EXTERNAL, S_IS_WEAK, S_IS_COMMON): Likewise.
(S_IS_DEFINED, S_IS_DEBUG, S_IS_LOCAL, S_GET_NAME): Likewise.
(S_GET_SEGMENT, S_SET_SEGMENT, S_SET_EXTERNAL): Likewise.
(S_CLEAR_EXTERNAL, S_SET_WEAK, S_SET_NAME): Likewise.
(symbol_previous, symbol_next): New functions.
(symbol_get_value_expression): Likewise.
(symbol_set_value_expression): Likewise.
(symbol_set_frag, symbol_get_frag): Likewise.
(symbol_mark_used, symbol_clear_used, symbol_used_p): Likewise.
(symbol_mark_used_in_reloc): Likewise.
(symbol_clear_used_in_reloc, symbol_used_in_reloc_p): Likewise.
(symbol_mark_mri_common, symbol_clear_mri_common): Likewise.
(symbol_mri_common_p): Likewise.
(symbol_mark_written, symbol_clear_written): Likewise.
(symbol_written_p): Likewise.
(symbol_mark_resolved, symbol_resolved_p): Likewise.
(symbol_section_p, symbol_equated_p): Likewise.
(symbol_constant_p): Likewise.
(symbol_get_bfdsym, symbol_set_bfdsym): Likewise.
(symbol_get_obj, symbol_set_obj): Likewise.
(symbol_get_tc, symbol_set_tc): Likewise.
(symbol_begin): Initialize local_hash.
(print_symbol_value_1): Handle local symbols.
(symbol_print_statistics): Print local symbol statistics.
* symbols.h: Include "struc-symbol.h" if not BFD_ASSEMBLER.
Declare new symbols.c functions. Move many declarations here from
struc-symbol.h.
(SYMBOLS_NEED_BACKPOINTERS): Define if needed.
* struc-symbol.h (SYMBOLS_NEED_BACKPOINTERS): Don't set.
(struct symbol): Move bsym to make it clearly the first field.
Remove TARGET_SYMBOL_FIELDS.
(symbolS): Don't typedef.
(struct broken_word): Remove.
(N_TYPE_seg, seg_N_TYPE): Move to symbol.h.
(SEGMENT_TO_SYMBOL_TYPE, N_REGISTER): Likewise.
(symbol_clear_list_pointers): Likewise.
(symbol_insert, symbol_remove): Likewise.
(symbol_previous, symbol_append): Likewise.
(verify_symbol_chain, verify_symbol_chain_2): Likewise.
(struct local_symbol): Define.
(local_symbol_converted_p, local_symbol_mark_converted): Define.
(local_symbol_resolved_p, local_symbol_mark_resolved): Define.
(local_symbol_get_frag, local_symbol_set_frag): Define.
(local_symbol_get_real_symbol): Define.
(local_symbol_set_real_symbol): Define.
Define.
* write.c (write_object_file): Call resolve_local_symbol_values.
* config/obj-ecoff.h (OBJ_SYMFIELD_TYPE): Define.
(TARGET_SYMBOL_FIELDS): Don't define.
* config/obj-elf.h (OBJ_SYMFIELD_TYPE): Add local field. If
ECOFF_DEBUGGING, add ECOFF fields.
(ELF_TARGET_SYMBOL_FIELDS, TARGET_SYMBOL_FIELDS): Don't define.
* config/obj-multi.h (struct elf_obj_sy): Add local field. If
ECOFF_DEBUGGING, add ECOFF fields.
(ELF_TARGET_SYMBOL_FIELDS, TARGET_SYMBOL_FIELDS): Don't define.
(ECOFF_DEBUG_TARGET_SYMBOL_FIELDS): Don't define.
* config/tc-mcore.h: Don't include struc-symbol.h.
(TARGET_SYMBOL_FIELDS): Don't define.
(struct mcore_tc_sy): Define.
(TC_SYMFIELD_TYPE): Define.
* Many files: Use symbolS instead of struct symbol. Use new
accessor functions rather than referring to symbolS fields
directly.
* read.c (s_mri_common): Don't add in value of line_label.
* config/tc-mips.c (md_apply_fix): Correct parenthesization when
checking for SEC_LINK_ONCE.
* config/tc-sh.h (sh_fix_adjustable): Declare.
1999-06-03 08:29:48 +08:00
|
|
|
symbolS *X_add_symbol;
|
1999-05-03 15:29:11 +08:00
|
|
|
/* The second symbol, if needed. */
|
Add support for storing local symbols in a small structure to save
memory when assembling large files.
* as.h: Don't include struc-symbol.h.
(symbolS): Add typedef.
* symbols.c: Include struc-symbol.h.
(local_hash): New static variable.
(save_symbol_name): New static function, from symbol_create.
(symbol_create): Call save_symbol_name.
(local_symbol_count): New static variable.
(local_symbol_conversion_count): Likewise.
(LOCAL_SYMBOL_CHECK): Define.
(local_symbol_make): New static function.
(local_symbol_convert): New static function.
(colon): Handle local symbols. Create local symbol for local
label name.
(symbol_table_insert): Handle local symbols.
(symbol_find_or_make): Create local symbol for local label name.
(symbol_find_base): Check for local symbol.
(symbol_append, symbol_insert): Check for local symbols.
(symbol_clear_list_pointers, symbol_remove): Likewise.
(verify_symbol_chain): Likewise.
(copy_symbol_attributes): Likewise.
(resolve_symbol_value): Handle local symbols.
(resolve_local_symbol): New static function.
(resolve_local_symbol_values): New function.
(S_GET_VALUE, S_SET_VALUE): Handle local symbols.
(S_IS_FUNCTION, S_IS_EXTERNAL, S_IS_WEAK, S_IS_COMMON): Likewise.
(S_IS_DEFINED, S_IS_DEBUG, S_IS_LOCAL, S_GET_NAME): Likewise.
(S_GET_SEGMENT, S_SET_SEGMENT, S_SET_EXTERNAL): Likewise.
(S_CLEAR_EXTERNAL, S_SET_WEAK, S_SET_NAME): Likewise.
(symbol_previous, symbol_next): New functions.
(symbol_get_value_expression): Likewise.
(symbol_set_value_expression): Likewise.
(symbol_set_frag, symbol_get_frag): Likewise.
(symbol_mark_used, symbol_clear_used, symbol_used_p): Likewise.
(symbol_mark_used_in_reloc): Likewise.
(symbol_clear_used_in_reloc, symbol_used_in_reloc_p): Likewise.
(symbol_mark_mri_common, symbol_clear_mri_common): Likewise.
(symbol_mri_common_p): Likewise.
(symbol_mark_written, symbol_clear_written): Likewise.
(symbol_written_p): Likewise.
(symbol_mark_resolved, symbol_resolved_p): Likewise.
(symbol_section_p, symbol_equated_p): Likewise.
(symbol_constant_p): Likewise.
(symbol_get_bfdsym, symbol_set_bfdsym): Likewise.
(symbol_get_obj, symbol_set_obj): Likewise.
(symbol_get_tc, symbol_set_tc): Likewise.
(symbol_begin): Initialize local_hash.
(print_symbol_value_1): Handle local symbols.
(symbol_print_statistics): Print local symbol statistics.
* symbols.h: Include "struc-symbol.h" if not BFD_ASSEMBLER.
Declare new symbols.c functions. Move many declarations here from
struc-symbol.h.
(SYMBOLS_NEED_BACKPOINTERS): Define if needed.
* struc-symbol.h (SYMBOLS_NEED_BACKPOINTERS): Don't set.
(struct symbol): Move bsym to make it clearly the first field.
Remove TARGET_SYMBOL_FIELDS.
(symbolS): Don't typedef.
(struct broken_word): Remove.
(N_TYPE_seg, seg_N_TYPE): Move to symbol.h.
(SEGMENT_TO_SYMBOL_TYPE, N_REGISTER): Likewise.
(symbol_clear_list_pointers): Likewise.
(symbol_insert, symbol_remove): Likewise.
(symbol_previous, symbol_append): Likewise.
(verify_symbol_chain, verify_symbol_chain_2): Likewise.
(struct local_symbol): Define.
(local_symbol_converted_p, local_symbol_mark_converted): Define.
(local_symbol_resolved_p, local_symbol_mark_resolved): Define.
(local_symbol_get_frag, local_symbol_set_frag): Define.
(local_symbol_get_real_symbol): Define.
(local_symbol_set_real_symbol): Define.
Define.
* write.c (write_object_file): Call resolve_local_symbol_values.
* config/obj-ecoff.h (OBJ_SYMFIELD_TYPE): Define.
(TARGET_SYMBOL_FIELDS): Don't define.
* config/obj-elf.h (OBJ_SYMFIELD_TYPE): Add local field. If
ECOFF_DEBUGGING, add ECOFF fields.
(ELF_TARGET_SYMBOL_FIELDS, TARGET_SYMBOL_FIELDS): Don't define.
* config/obj-multi.h (struct elf_obj_sy): Add local field. If
ECOFF_DEBUGGING, add ECOFF fields.
(ELF_TARGET_SYMBOL_FIELDS, TARGET_SYMBOL_FIELDS): Don't define.
(ECOFF_DEBUG_TARGET_SYMBOL_FIELDS): Don't define.
* config/tc-mcore.h: Don't include struc-symbol.h.
(TARGET_SYMBOL_FIELDS): Don't define.
(struct mcore_tc_sy): Define.
(TC_SYMFIELD_TYPE): Define.
* Many files: Use symbolS instead of struct symbol. Use new
accessor functions rather than referring to symbolS fields
directly.
* read.c (s_mri_common): Don't add in value of line_label.
* config/tc-mips.c (md_apply_fix): Correct parenthesization when
checking for SEC_LINK_ONCE.
* config/tc-sh.h (sh_fix_adjustable): Declare.
1999-06-03 08:29:48 +08:00
|
|
|
symbolS *X_op_symbol;
|
1999-05-03 15:29:11 +08:00
|
|
|
/* A number to add. */
|
|
|
|
offsetT X_add_number;
|
1999-10-19 06:29:15 +08:00
|
|
|
|
1999-06-07 18:23:47 +08:00
|
|
|
/* The type of the expression. We can't assume that an arbitrary
|
|
|
|
compiler can handle a bitfield of enum type. FIXME: We could
|
|
|
|
check this using autoconf. */
|
|
|
|
#ifdef __GNUC__
|
1999-10-19 06:29:15 +08:00
|
|
|
operatorT X_op : 8;
|
1999-06-07 18:23:47 +08:00
|
|
|
#else
|
1999-10-19 06:29:15 +08:00
|
|
|
unsigned char X_op;
|
1999-06-07 18:23:47 +08:00
|
|
|
#endif
|
1999-10-19 06:29:15 +08:00
|
|
|
|
1999-05-03 15:29:11 +08:00
|
|
|
/* Non-zero if X_add_number should be regarded as unsigned. This is
|
|
|
|
only valid for O_constant expressions. It is only used when an
|
|
|
|
O_constant must be extended into a bignum (i.e., it is not used
|
|
|
|
when performing arithmetic on these values).
|
|
|
|
FIXME: This field is not set very reliably. */
|
|
|
|
unsigned int X_unsigned : 1;
|
2013-04-11 18:54:13 +08:00
|
|
|
/* This is used to implement "word size + 1 bit" arithmetic, so that e.g.
|
|
|
|
expressions used with .sleb128 directives can use the full range available
|
|
|
|
for an unsigned word, but can also properly represent all values of a
|
|
|
|
signed word. */
|
|
|
|
unsigned int X_extrabit : 1;
|
1999-10-19 06:29:15 +08:00
|
|
|
|
|
|
|
/* 7 additional bits can be defined if needed. */
|
|
|
|
|
|
|
|
/* Machine dependent field */
|
|
|
|
unsigned short X_md;
|
1999-05-03 15:29:11 +08:00
|
|
|
} expressionS;
|
|
|
|
|
2005-10-11 19:16:17 +08:00
|
|
|
enum expr_mode
|
|
|
|
{
|
|
|
|
expr_evaluate,
|
|
|
|
expr_normal,
|
|
|
|
expr_defer
|
|
|
|
};
|
|
|
|
|
2000-09-13 04:57:14 +08:00
|
|
|
/* "result" should be type (expressionS *). */
|
2005-10-11 19:16:17 +08:00
|
|
|
#define expression(result) expr (0, result, expr_normal)
|
|
|
|
#define expression_and_evaluate(result) expr (0, result, expr_evaluate)
|
|
|
|
#define deferred_expression(result) expr (0, result, expr_defer)
|
1999-05-03 15:29:11 +08:00
|
|
|
|
|
|
|
/* If an expression is O_big, look here for its value. These common
|
2000-09-13 04:57:14 +08:00
|
|
|
data may be clobbered whenever expr() is called. */
|
|
|
|
/* Flonums returned here. Big enough to hold most precise flonum. */
|
1999-05-03 15:29:11 +08:00
|
|
|
extern FLONUM_TYPE generic_floating_point_number;
|
2000-09-13 04:57:14 +08:00
|
|
|
/* Bignums returned here. */
|
1999-05-03 15:29:11 +08:00
|
|
|
extern LITTLENUM_TYPE generic_bignum[];
|
2000-09-13 04:57:14 +08:00
|
|
|
/* Number of littlenums in above. */
|
1999-05-03 15:29:11 +08:00
|
|
|
#define SIZE_OF_LARGE_NUMBER (20)
|
|
|
|
|
|
|
|
typedef char operator_rankT;
|
|
|
|
|
2015-08-21 23:42:14 +08:00
|
|
|
extern char get_symbol_name (char **);
|
|
|
|
extern char restore_line_pointer (char);
|
2003-11-23 00:03:03 +08:00
|
|
|
extern void expr_begin (void);
|
2023-01-14 19:43:54 +08:00
|
|
|
extern void expr_end (void);
|
2003-11-23 00:03:03 +08:00
|
|
|
extern void expr_set_precedence (void);
|
2009-04-20 14:26:23 +08:00
|
|
|
extern void expr_set_rank (operatorT, operator_rankT);
|
2013-04-15 18:30:23 +08:00
|
|
|
extern void add_to_result (expressionS *, offsetT, int);
|
|
|
|
extern void subtract_from_result (expressionS *, offsetT, int);
|
2005-10-11 19:16:17 +08:00
|
|
|
extern segT expr (int, expressionS *, enum expr_mode);
|
2003-11-23 00:03:03 +08:00
|
|
|
extern unsigned int get_single_number (void);
|
2023-03-17 17:07:05 +08:00
|
|
|
extern symbolS *make_expr_symbol (const expressionS * expressionP);
|
2016-02-22 22:11:27 +08:00
|
|
|
extern int expr_symbol_where (symbolS *, const char **, unsigned int *);
|
2010-06-22 15:43:41 +08:00
|
|
|
extern void current_location (expressionS *);
|
2003-11-23 00:03:03 +08:00
|
|
|
extern symbolS *expr_build_uconstant (offsetT);
|
|
|
|
extern symbolS *expr_build_dot (void);
|
2021-04-12 07:32:46 +08:00
|
|
|
extern uint32_t generic_bignum_to_int32 (void);
|
|
|
|
extern uint64_t generic_bignum_to_int64 (void);
|
2022-04-07 21:47:17 +08:00
|
|
|
extern int resolve_expression (expressionS *);
|
gas: equates of registers
There are two problems: symbol_equated_p() doesn't recognize equates of
registers, and S_CAN_BE_REDEFINED() goes by section rather than by
expression type. Both together undermine .eqv and .equiv clearly meaning
to guard the involved symbols against re-definition (both ways).
To compensate pseudo_set() now using O_symbol and S_CAN_BE_REDEFINED()
now checking for O_register,
- for targets creating register symbols through symbol_{new,create}() ->
symbol_init() -> S_SET_VALUE() (alpha, arc, dlx, ia64, m68k, mips,
mmix, tic4x, tic54x, plus anything using cgen or itbl-ops), have
symbol_init() set their expressions to O_register,
- x86'es parse_register() also can't go by section anymore when
trying to "look through" equates; probably symbol_equated_p() should
have been used there from the beginning, if only that had worked for
equates of registers,
- various targets need to "look through" equates when parsing insn
operands (which also helps transitive forward equates); perhaps even
more ought to, but many don't look to consider the possibility of
register equates in the first place.
This was uncovered by code reported in PR gas/30274 (duplicating
PR gas/30272), except that there .eqv was used when really .equ was
meant. Therefore that bug report is addressed here only in so far as
gas wouldn't crash anymore; the code there still won't assemble
successfully, just that now the issues there are properly diagnosed.
2023-05-12 14:55:48 +08:00
|
|
|
extern void resolve_register (expressionS *);
|
2019-05-21 16:11:40 +08:00
|
|
|
|
Use bool in gas
* as.h (POISON_BFD_BOOLEAN): Define.
* as.c, * as.h, * atof-generic.c, * config/atof-ieee.c,
* config/bfin-aux.h, * config/obj-coff.c, * config/obj-ecoff.c,
* config/obj-elf.c, * config/obj-elf.h, * config/obj-som.c,
* config/tc-aarch64.c, * config/tc-alpha.c, * config/tc-arc.c,
* config/tc-arc.h, * config/tc-arm.c, * config/tc-arm.h,
* config/tc-avr.c, * config/tc-avr.h, * config/tc-bfin.c,
* config/tc-bfin.h, * config/tc-bpf.c, * config/tc-cris.c,
* config/tc-csky.c, * config/tc-csky.h, * config/tc-d10v.c,
* config/tc-d10v.h, * config/tc-d30v.c, * config/tc-d30v.h,
* config/tc-dlx.c, * config/tc-dlx.h, * config/tc-epiphany.c,
* config/tc-epiphany.h, * config/tc-fr30.c, * config/tc-fr30.h,
* config/tc-frv.c, * config/tc-frv.h, * config/tc-ft32.c,
* config/tc-ft32.h, * config/tc-h8300.c, * config/tc-hppa.c,
* config/tc-i386-intel.c, * config/tc-i386.c, * config/tc-ia64.c,
* config/tc-ip2k.c, * config/tc-iq2000.c, * config/tc-iq2000.h,
* config/tc-lm32.c, * config/tc-lm32.h, * config/tc-m32c.c,
* config/tc-m32c.h, * config/tc-m32r.c, * config/tc-m32r.h,
* config/tc-m68hc11.c, * config/tc-m68k.c, * config/tc-mcore.c,
* config/tc-mcore.h, * config/tc-mep.c, * config/tc-mep.h,
* config/tc-metag.c, * config/tc-metag.h,
* config/tc-microblaze.c, * config/tc-mips.c, * config/tc-mips.h,
* config/tc-mmix.c, * config/tc-mn10200.c, * config/tc-mn10300.c,
* config/tc-mn10300.h, * config/tc-moxie.c, * config/tc-msp430.c,
* config/tc-msp430.h, * config/tc-mt.c, * config/tc-mt.h,
* config/tc-nds32.c, * config/tc-nds32.h, * config/tc-nios2.c,
* config/tc-ns32k.c, * config/tc-or1k.c, * config/tc-or1k.h,
* config/tc-pdp11.c, * config/tc-ppc.c, * config/tc-pru.c,
* config/tc-pru.h, * config/tc-riscv.c, * config/tc-riscv.h,
* config/tc-rx.c, * config/tc-rx.h, * config/tc-s12z.c,
* config/tc-s12z.h, * config/tc-s390.c, * config/tc-score.c,
* config/tc-score.h, * config/tc-score7.c, * config/tc-sh.c,
* config/tc-sh.h, * config/tc-spu.c, * config/tc-tic54x.c,
* config/tc-tic6x.c, * config/tc-tic6x.h, * config/tc-tilegx.c,
* config/tc-tilepro.c, * config/tc-v850.c, * config/tc-v850.h,
* config/tc-visium.c, * config/tc-visium.h, * config/tc-wasm32.c,
* config/tc-wasm32.h, * config/tc-xc16x.c, * config/tc-xgate.c,
* config/tc-xstormy16.c, * config/tc-xstormy16.h,
* config/tc-xtensa.c, * config/tc-xtensa.h, * config/tc-z80.c,
* config/tc-z8k.c, * config/xtensa-istack.h,
* config/xtensa-relax.c, * config/xtensa-relax.h, * dw2gencfi.c,
* dwarf2dbg.c, * dwarf2dbg.h, * expr.c, * expr.h, * frags.c,
* frags.h, * listing.c, * macro.c, * output-file.c, * read.c,
* read.h, * stabs.c, * symbols.c, * write.c: Replace bfd_boolean
with bool, FALSE with false, and TRUE with true.
2021-03-31 08:12:05 +08:00
|
|
|
extern bool literal_prefix_dollar_hex;
|