1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939 |
- /* coff object file format
- Copyright (C) 1989-2022 Free Software Foundation, Inc.
- This file is part of GAS.
- GAS is free software; you can redistribute it and/or modify
- it under the terms of the GNU General Public License as published by
- the Free Software Foundation; either version 3, or (at your option)
- 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
- Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
- 02110-1301, USA. */
- #define OBJ_HEADER "obj-coff.h"
- #include "as.h"
- #include "safe-ctype.h"
- #include "subsegs.h"
- #ifdef TE_PE
- #include "coff/pe.h"
- #endif
- #ifdef OBJ_XCOFF
- #include "coff/xcoff.h"
- #endif
- #define streq(a,b) (strcmp ((a), (b)) == 0)
- /* I think this is probably always correct. */
- #ifndef KEEP_RELOC_INFO
- #define KEEP_RELOC_INFO
- #endif
- /* obj_coff_section will use this macro to set a new section's
- attributes when a directive has no valid flags or the "w" flag is
- used. This default should be appropriate for most. */
- #ifndef TC_COFF_SECTION_DEFAULT_ATTRIBUTES
- #define TC_COFF_SECTION_DEFAULT_ATTRIBUTES (SEC_LOAD | SEC_DATA)
- #endif
- /* This is used to hold the symbol built by a sequence of pseudo-ops
- from .def and .endef. */
- static symbolS *def_symbol_in_progress;
- #ifdef TE_PE
- /* PE weak alternate symbols begin with this string. */
- static const char weak_altprefix[] = ".weak.";
- #endif /* TE_PE */
- #include "obj-coff-seh.c"
- typedef struct
- {
- unsigned long chunk_size;
- unsigned long element_size;
- unsigned long size;
- char *data;
- unsigned long pointer;
- }
- stack;
- /* Stack stuff. */
- static stack *
- stack_init (unsigned long chunk_size,
- unsigned long element_size)
- {
- stack *st;
- st = XNEW (stack);
- st->data = XNEWVEC (char, chunk_size);
- if (!st->data)
- {
- free (st);
- return NULL;
- }
- st->pointer = 0;
- st->size = chunk_size;
- st->chunk_size = chunk_size;
- st->element_size = element_size;
- return st;
- }
- static char *
- stack_push (stack *st, char *element)
- {
- if (st->pointer + st->element_size >= st->size)
- {
- st->size += st->chunk_size;
- st->data = XRESIZEVEC (char, st->data, st->size);
- }
- memcpy (st->data + st->pointer, element, st->element_size);
- st->pointer += st->element_size;
- return st->data + st->pointer;
- }
- static char *
- stack_pop (stack *st)
- {
- if (st->pointer < st->element_size)
- {
- st->pointer = 0;
- return NULL;
- }
- st->pointer -= st->element_size;
- return st->data + st->pointer;
- }
- /* Maintain a list of the tagnames of the structures. */
- static htab_t tag_hash;
- static void
- tag_init (void)
- {
- tag_hash = str_htab_create ();
- }
- static void
- tag_insert (const char *name, symbolS *symbolP)
- {
- str_hash_insert (tag_hash, name, symbolP, 1);
- }
- static symbolS *
- tag_find (char *name)
- {
- return (symbolS *) str_hash_find (tag_hash, name);
- }
- static symbolS *
- tag_find_or_make (char *name)
- {
- symbolS *symbolP;
- if ((symbolP = tag_find (name)) == NULL)
- {
- symbolP = symbol_new (name, undefined_section, &zero_address_frag, 0);
- tag_insert (S_GET_NAME (symbolP), symbolP);
- symbol_table_insert (symbolP);
- }
- return symbolP;
- }
- /* We accept the .bss directive to set the section for backward
- compatibility with earlier versions of gas. */
- static void
- obj_coff_bss (int ignore ATTRIBUTE_UNUSED)
- {
- if (*input_line_pointer == '\n')
- subseg_new (".bss", get_absolute_expression ());
- else
- s_lcomm (0);
- }
- #ifdef TE_PE
- /* Called from read.c:s_comm after we've parsed .comm symbol, size.
- Parse a possible alignment value. */
- static symbolS *
- obj_coff_common_parse (int ignore ATTRIBUTE_UNUSED, symbolS *symbolP, addressT size)
- {
- addressT align = 0;
- if (*input_line_pointer == ',')
- {
- align = parse_align (0);
- if (align == (addressT) -1)
- return NULL;
- }
- S_SET_VALUE (symbolP, size);
- S_SET_EXTERNAL (symbolP);
- S_SET_SEGMENT (symbolP, bfd_com_section_ptr);
- symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT;
- /* There is no S_SET_ALIGN (symbolP, align) in COFF/PE.
- Instead we must add a note to the .drectve section. */
- if (align)
- {
- segT current_seg = now_seg;
- subsegT current_subseg = now_subseg;
- flagword oldflags;
- asection *sec;
- size_t pfxlen, numlen;
- char *frag;
- char numbuff[20];
- sec = subseg_new (".drectve", 0);
- oldflags = bfd_section_flags (sec);
- if (oldflags == SEC_NO_FLAGS)
- {
- if (!bfd_set_section_flags (sec, TC_COFF_SECTION_DEFAULT_ATTRIBUTES))
- as_warn (_("error setting flags for \"%s\": %s"),
- bfd_section_name (sec),
- bfd_errmsg (bfd_get_error ()));
- }
- /* Emit a string. Note no NUL-termination. */
- pfxlen = strlen (" -aligncomm:") + 2 + strlen (S_GET_NAME (symbolP)) + 1;
- numlen = snprintf (numbuff, sizeof (numbuff), "%d", (int) align);
- frag = frag_more (pfxlen + numlen);
- (void) sprintf (frag, " -aligncomm:\"%s\",", S_GET_NAME (symbolP));
- memcpy (frag + pfxlen, numbuff, numlen);
- /* Restore original subseg. */
- subseg_set (current_seg, current_subseg);
- }
- return symbolP;
- }
- static void
- obj_coff_comm (int ignore ATTRIBUTE_UNUSED)
- {
- s_comm_internal (ignore, obj_coff_common_parse);
- }
- #endif /* TE_PE */
- /* @@ Ick. */
- static segT
- fetch_coff_debug_section (void)
- {
- static segT debug_section;
- if (!debug_section)
- {
- const asymbol *s;
- s = bfd_make_debug_symbol (stdoutput, NULL, 0);
- gas_assert (s != 0);
- debug_section = s->section;
- }
- return debug_section;
- }
- void
- SA_SET_SYM_ENDNDX (symbolS *sym, symbolS *val)
- {
- combined_entry_type *entry, *p;
- entry = &coffsymbol (symbol_get_bfdsym (sym))->native[1];
- p = coffsymbol (symbol_get_bfdsym (val))->native;
- entry->u.auxent.x_sym.x_fcnary.x_fcn.x_endndx.p = p;
- entry->fix_end = 1;
- }
- static void
- SA_SET_SYM_TAGNDX (symbolS *sym, symbolS *val)
- {
- combined_entry_type *entry, *p;
- entry = &coffsymbol (symbol_get_bfdsym (sym))->native[1];
- p = coffsymbol (symbol_get_bfdsym (val))->native;
- entry->u.auxent.x_sym.x_tagndx.p = p;
- entry->fix_tag = 1;
- }
- static int
- S_GET_DATA_TYPE (symbolS *sym)
- {
- return coffsymbol (symbol_get_bfdsym (sym))->native->u.syment.n_type;
- }
- int
- S_SET_DATA_TYPE (symbolS *sym, int val)
- {
- coffsymbol (symbol_get_bfdsym (sym))->native->u.syment.n_type = val;
- return val;
- }
- int
- S_GET_STORAGE_CLASS (symbolS *sym)
- {
- return coffsymbol (symbol_get_bfdsym (sym))->native->u.syment.n_sclass;
- }
- int
- S_SET_STORAGE_CLASS (symbolS *sym, int val)
- {
- coffsymbol (symbol_get_bfdsym (sym))->native->u.syment.n_sclass = val;
- return val;
- }
- /* Merge a debug symbol containing debug information into a normal symbol. */
- static void
- c_symbol_merge (symbolS *debug, symbolS *normal)
- {
- S_SET_DATA_TYPE (normal, S_GET_DATA_TYPE (debug));
- S_SET_STORAGE_CLASS (normal, S_GET_STORAGE_CLASS (debug));
- if (S_GET_NUMBER_AUXILIARY (debug) > S_GET_NUMBER_AUXILIARY (normal))
- /* Take the most we have. */
- S_SET_NUMBER_AUXILIARY (normal, S_GET_NUMBER_AUXILIARY (debug));
- if (S_GET_NUMBER_AUXILIARY (debug) > 0)
- /* Move all the auxiliary information. */
- memcpy (SYM_AUXINFO (normal), SYM_AUXINFO (debug),
- (S_GET_NUMBER_AUXILIARY (debug)
- * sizeof (*SYM_AUXINFO (debug))));
- /* Move the debug flags. */
- SF_SET_DEBUG_FIELD (normal, SF_GET_DEBUG_FIELD (debug));
- }
- void
- c_dot_file_symbol (const char *filename, int appfile ATTRIBUTE_UNUSED)
- {
- symbolS *symbolP;
- /* BFD converts filename to a .file symbol with an aux entry. It
- also handles chaining. */
- symbolP = symbol_new (filename, bfd_abs_section_ptr, &zero_address_frag, 0);
- S_SET_STORAGE_CLASS (symbolP, C_FILE);
- S_SET_NUMBER_AUXILIARY (symbolP, 1);
- symbol_get_bfdsym (symbolP)->flags = BSF_DEBUGGING;
- #ifndef NO_LISTING
- {
- extern int listing;
- if (listing)
- listing_source_file (filename);
- }
- #endif
- /* Make sure that the symbol is first on the symbol chain. */
- if (symbol_rootP != symbolP)
- {
- symbol_remove (symbolP, &symbol_rootP, &symbol_lastP);
- symbol_insert (symbolP, symbol_rootP, &symbol_rootP, &symbol_lastP);
- }
- }
- /* Line number handling. */
- struct line_no
- {
- struct line_no *next;
- fragS *frag;
- alent l;
- };
- int coff_line_base;
- /* Symbol of last function, which we should hang line#s off of. */
- static symbolS *line_fsym;
- #define in_function() (line_fsym != 0)
- #define clear_function() (line_fsym = 0)
- #define set_function(F) (line_fsym = (F), coff_add_linesym (F))
- void
- coff_obj_symbol_new_hook (symbolS *symbolP)
- {
- long sz = (OBJ_COFF_MAX_AUXENTRIES + 1) * sizeof (combined_entry_type);
- char * s = XNEWVEC (char, sz);
- memset (s, 0, sz);
- coffsymbol (symbol_get_bfdsym (symbolP))->native = (combined_entry_type *) s;
- coffsymbol (symbol_get_bfdsym (symbolP))->native->is_sym = true;
- S_SET_DATA_TYPE (symbolP, T_NULL);
- S_SET_STORAGE_CLASS (symbolP, 0);
- S_SET_NUMBER_AUXILIARY (symbolP, 0);
- if (S_IS_STRING (symbolP))
- SF_SET_STRING (symbolP);
- if (S_IS_LOCAL (symbolP))
- SF_SET_LOCAL (symbolP);
- }
- void
- coff_obj_symbol_clone_hook (symbolS *newsymP, symbolS *orgsymP)
- {
- long elts = OBJ_COFF_MAX_AUXENTRIES + 1;
- combined_entry_type * s = XNEWVEC (combined_entry_type, elts);
- memcpy (s, coffsymbol (symbol_get_bfdsym (orgsymP))->native,
- elts * sizeof (combined_entry_type));
- coffsymbol (symbol_get_bfdsym (newsymP))->native = s;
- SF_SET (newsymP, SF_GET (orgsymP));
- }
- /* Handle .ln directives. */
- static symbolS *current_lineno_sym;
- static struct line_no *line_nos;
- /* FIXME: Blindly assume all .ln directives will be in the .text section. */
- int coff_n_line_nos;
- static void
- add_lineno (fragS * frag, addressT offset, int num)
- {
- struct line_no * new_line = XNEW (struct line_no);
- if (!current_lineno_sym)
- abort ();
- #ifndef OBJ_XCOFF
- /* The native aix assembler accepts negative line number. */
- if (num <= 0)
- {
- /* Zero is used as an end marker in the file. */
- as_warn (_("Line numbers must be positive integers\n"));
- num = 1;
- }
- #endif /* OBJ_XCOFF */
- new_line->next = line_nos;
- new_line->frag = frag;
- new_line->l.line_number = num;
- new_line->l.u.offset = offset;
- line_nos = new_line;
- coff_n_line_nos++;
- }
- void
- coff_add_linesym (symbolS *sym)
- {
- if (line_nos)
- {
- coffsymbol (symbol_get_bfdsym (current_lineno_sym))->lineno =
- (alent *) line_nos;
- coff_n_line_nos++;
- line_nos = 0;
- }
- current_lineno_sym = sym;
- }
- static void
- obj_coff_ln (int appline)
- {
- int l;
- if (! appline && def_symbol_in_progress != NULL)
- {
- as_warn (_(".ln pseudo-op inside .def/.endef: ignored."));
- demand_empty_rest_of_line ();
- return;
- }
- l = get_absolute_expression ();
- /* If there is no lineno symbol, treat a .ln
- directive as if it were a .appline directive. */
- if (appline || current_lineno_sym == NULL)
- new_logical_line ((char *) NULL, l - 1);
- else
- add_lineno (frag_now, frag_now_fix (), l);
- #ifndef NO_LISTING
- {
- extern int listing;
- if (listing)
- {
- if (! appline)
- l += coff_line_base - 1;
- listing_source_line (l);
- }
- }
- #endif
- demand_empty_rest_of_line ();
- }
- /* .loc is essentially the same as .ln; parse it for assembler
- compatibility. */
- static void
- obj_coff_loc (int ignore ATTRIBUTE_UNUSED)
- {
- int lineno;
- /* FIXME: Why do we need this check? We need it for ECOFF, but why
- do we need it for COFF? */
- if (now_seg != text_section)
- {
- as_warn (_(".loc outside of .text"));
- demand_empty_rest_of_line ();
- return;
- }
- if (def_symbol_in_progress != NULL)
- {
- as_warn (_(".loc pseudo-op inside .def/.endef: ignored."));
- demand_empty_rest_of_line ();
- return;
- }
- /* Skip the file number. */
- SKIP_WHITESPACE ();
- get_absolute_expression ();
- SKIP_WHITESPACE ();
- lineno = get_absolute_expression ();
- #ifndef NO_LISTING
- {
- extern int listing;
- if (listing)
- {
- lineno += coff_line_base - 1;
- listing_source_line (lineno);
- }
- }
- #endif
- demand_empty_rest_of_line ();
- add_lineno (frag_now, frag_now_fix (), lineno);
- }
- /* Handle the .ident pseudo-op. */
- static void
- obj_coff_ident (int ignore ATTRIBUTE_UNUSED)
- {
- segT current_seg = now_seg;
- subsegT current_subseg = now_subseg;
- #ifdef TE_PE
- {
- segT sec;
- /* We could put it in .comment, but that creates an extra section
- that shouldn't be loaded into memory, which requires linker
- changes... For now, until proven otherwise, use .rdata. */
- sec = subseg_new (".rdata$zzz", 0);
- bfd_set_section_flags (sec,
- ((SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_DATA)
- & bfd_applicable_section_flags (stdoutput)));
- }
- #else
- subseg_new (".comment", 0);
- #endif
- stringer (8 + 1);
- subseg_set (current_seg, current_subseg);
- }
- /* Handle .def directives.
- One might ask : why can't we symbol_new if the symbol does not
- already exist and fill it with debug information. Because of
- the C_EFCN special symbol. It would clobber the value of the
- function symbol before we have a chance to notice that it is
- a C_EFCN. And a second reason is that the code is more clear this
- way. (at least I think it is :-). */
- #define SKIP_SEMI_COLON() while (*input_line_pointer++ != ';')
- #define SKIP_WHITESPACES() while (*input_line_pointer == ' ' || \
- *input_line_pointer == '\t') \
- input_line_pointer++;
- static void
- obj_coff_def (int what ATTRIBUTE_UNUSED)
- {
- char name_end; /* Char after the end of name. */
- char *symbol_name; /* Name of the debug symbol. */
- char *symbol_name_copy; /* Temporary copy of the name. */
- if (def_symbol_in_progress != NULL)
- {
- as_warn (_(".def pseudo-op used inside of .def/.endef: ignored."));
- demand_empty_rest_of_line ();
- return;
- }
- SKIP_WHITESPACES ();
- name_end = get_symbol_name (&symbol_name);
- symbol_name_copy = xstrdup (symbol_name);
- #ifdef tc_canonicalize_symbol_name
- symbol_name_copy = tc_canonicalize_symbol_name (symbol_name_copy);
- #endif
- /* Initialize the new symbol. */
- def_symbol_in_progress = symbol_make (symbol_name_copy);
- symbol_set_frag (def_symbol_in_progress, &zero_address_frag);
- S_SET_VALUE (def_symbol_in_progress, 0);
- if (S_IS_STRING (def_symbol_in_progress))
- SF_SET_STRING (def_symbol_in_progress);
- (void) restore_line_pointer (name_end);
- demand_empty_rest_of_line ();
- }
- static void
- obj_coff_endef (int ignore ATTRIBUTE_UNUSED)
- {
- symbolS *symbolP = NULL;
- if (def_symbol_in_progress == NULL)
- {
- as_warn (_(".endef pseudo-op used outside of .def/.endef: ignored."));
- demand_empty_rest_of_line ();
- return;
- }
- /* Set the section number according to storage class. */
- switch (S_GET_STORAGE_CLASS (def_symbol_in_progress))
- {
- case C_STRTAG:
- case C_ENTAG:
- case C_UNTAG:
- SF_SET_TAG (def_symbol_in_progress);
- /* Fall through. */
- case C_FILE:
- case C_TPDEF:
- SF_SET_DEBUG (def_symbol_in_progress);
- S_SET_SEGMENT (def_symbol_in_progress, fetch_coff_debug_section ());
- break;
- case C_EFCN:
- SF_SET_LOCAL (def_symbol_in_progress); /* Do not emit this symbol. */
- /* Fall through. */
- case C_BLOCK:
- SF_SET_PROCESS (def_symbol_in_progress); /* Will need processing before writing. */
- /* Fall through. */
- case C_FCN:
- {
- const char *name;
- S_SET_SEGMENT (def_symbol_in_progress, text_section);
- name = S_GET_NAME (def_symbol_in_progress);
- if (name[0] == '.' && name[2] == 'f' && name[3] == '\0')
- {
- switch (name[1])
- {
- case 'b':
- /* .bf */
- if (! in_function ())
- as_warn (_("`%s' symbol without preceding function"), name);
- /* Will need relocating. */
- SF_SET_PROCESS (def_symbol_in_progress);
- clear_function ();
- break;
- #ifdef TE_PE
- case 'e':
- /* .ef */
- /* The MS compilers output the actual endline, not the
- function-relative one... we want to match without
- changing the assembler input. */
- SA_SET_SYM_LNNO (def_symbol_in_progress,
- (SA_GET_SYM_LNNO (def_symbol_in_progress)
- + coff_line_base));
- break;
- #endif
- }
- }
- }
- break;
- #ifdef C_AUTOARG
- case C_AUTOARG:
- #endif /* C_AUTOARG */
- case C_AUTO:
- case C_REG:
- case C_ARG:
- case C_REGPARM:
- case C_FIELD:
- /* According to the COFF documentation:
- http://osr5doc.sco.com:1996/topics/COFF_SectNumFld.html
- A special section number (-2) marks symbolic debugging symbols,
- including structure/union/enumeration tag names, typedefs, and
- the name of the file. A section number of -1 indicates that the
- symbol has a value but is not relocatable. Examples of
- absolute-valued symbols include automatic and register variables,
- function arguments, and .eos symbols.
- But from Ian Lance Taylor:
- http://sources.redhat.com/ml/binutils/2000-08/msg00202.html
- the actual tools all marked them as section -1. So the GNU COFF
- assembler follows historical COFF assemblers.
- However, it causes problems for djgpp
- http://sources.redhat.com/ml/binutils/2000-08/msg00210.html
- By defining STRICTCOFF, a COFF port can make the assembler to
- follow the documented behavior. */
- #ifdef STRICTCOFF
- case C_MOS:
- case C_MOE:
- case C_MOU:
- case C_EOS:
- #endif
- SF_SET_DEBUG (def_symbol_in_progress);
- S_SET_SEGMENT (def_symbol_in_progress, absolute_section);
- break;
- #ifndef STRICTCOFF
- case C_MOS:
- case C_MOE:
- case C_MOU:
- case C_EOS:
- S_SET_SEGMENT (def_symbol_in_progress, absolute_section);
- break;
- #endif
- case C_EXT:
- case C_WEAKEXT:
- #ifdef TE_PE
- case C_NT_WEAK:
- #endif
- case C_STAT:
- case C_LABEL:
- /* Valid but set somewhere else (s_comm, s_lcomm, colon). */
- break;
- default:
- case C_USTATIC:
- case C_EXTDEF:
- case C_ULABEL:
- as_warn (_("unexpected storage class %d"),
- S_GET_STORAGE_CLASS (def_symbol_in_progress));
- break;
- }
- /* Now that we have built a debug symbol, try to find if we should
- merge with an existing symbol or not. If a symbol is C_EFCN or
- absolute_section or untagged SEG_DEBUG it never merges. We also
- don't merge labels, which are in a different namespace, nor
- symbols which have not yet been defined since they are typically
- unique, nor do we merge tags with non-tags. */
- /* Two cases for functions. Either debug followed by definition or
- definition followed by debug. For definition first, we will
- merge the debug symbol into the definition. For debug first, the
- lineno entry MUST point to the definition function or else it
- will point off into space when obj_crawl_symbol_chain() merges
- the debug symbol into the real symbol. Therefor, let's presume
- the debug symbol is a real function reference. */
- /* FIXME-SOON If for some reason the definition label/symbol is
- never seen, this will probably leave an undefined symbol at link
- time. */
- if (S_GET_STORAGE_CLASS (def_symbol_in_progress) == C_EFCN
- || S_GET_STORAGE_CLASS (def_symbol_in_progress) == C_LABEL
- || (streq (bfd_section_name (S_GET_SEGMENT (def_symbol_in_progress)),
- "*DEBUG*")
- && !SF_GET_TAG (def_symbol_in_progress))
- || S_GET_SEGMENT (def_symbol_in_progress) == absolute_section
- || ! symbol_constant_p (def_symbol_in_progress)
- || (symbolP = symbol_find (S_GET_NAME (def_symbol_in_progress))) == NULL
- || SF_GET_TAG (def_symbol_in_progress) != SF_GET_TAG (symbolP))
- {
- /* If it already is at the end of the symbol list, do nothing */
- if (def_symbol_in_progress != symbol_lastP)
- {
- symbol_remove (def_symbol_in_progress, &symbol_rootP, &symbol_lastP);
- symbol_append (def_symbol_in_progress, symbol_lastP, &symbol_rootP,
- &symbol_lastP);
- }
- }
- else
- {
- /* This symbol already exists, merge the newly created symbol
- into the old one. This is not mandatory. The linker can
- handle duplicate symbols correctly. But I guess that it save
- a *lot* of space if the assembly file defines a lot of
- symbols. [loic] */
- /* The debug entry (def_symbol_in_progress) is merged into the
- previous definition. */
- c_symbol_merge (def_symbol_in_progress, symbolP);
- symbol_remove (def_symbol_in_progress, &symbol_rootP, &symbol_lastP);
- def_symbol_in_progress = symbolP;
- if (SF_GET_FUNCTION (def_symbol_in_progress)
- || SF_GET_TAG (def_symbol_in_progress)
- || S_GET_STORAGE_CLASS (def_symbol_in_progress) == C_STAT)
- {
- /* For functions, and tags, and static symbols, the symbol
- *must* be where the debug symbol appears. Move the
- existing symbol to the current place. */
- /* If it already is at the end of the symbol list, do nothing. */
- if (def_symbol_in_progress != symbol_lastP)
- {
- symbol_remove (def_symbol_in_progress, &symbol_rootP, &symbol_lastP);
- symbol_append (def_symbol_in_progress, symbol_lastP, &symbol_rootP, &symbol_lastP);
- }
- }
- }
- if (SF_GET_TAG (def_symbol_in_progress))
- {
- symbolS *oldtag;
- oldtag = symbol_find (S_GET_NAME (def_symbol_in_progress));
- if (oldtag == NULL || ! SF_GET_TAG (oldtag))
- tag_insert (S_GET_NAME (def_symbol_in_progress),
- def_symbol_in_progress);
- }
- if (SF_GET_FUNCTION (def_symbol_in_progress))
- {
- set_function (def_symbol_in_progress);
- SF_SET_PROCESS (def_symbol_in_progress);
- if (symbolP == NULL)
- /* That is, if this is the first time we've seen the
- function. */
- symbol_table_insert (def_symbol_in_progress);
- }
- def_symbol_in_progress = NULL;
- demand_empty_rest_of_line ();
- }
- static void
- obj_coff_dim (int ignore ATTRIBUTE_UNUSED)
- {
- int d_index;
- if (def_symbol_in_progress == NULL)
- {
- as_warn (_(".dim pseudo-op used outside of .def/.endef: ignored."));
- demand_empty_rest_of_line ();
- return;
- }
- S_SET_NUMBER_AUXILIARY (def_symbol_in_progress, 1);
- for (d_index = 0; d_index < DIMNUM; d_index++)
- {
- SKIP_WHITESPACES ();
- SA_SET_SYM_DIMEN (def_symbol_in_progress, d_index,
- get_absolute_expression ());
- switch (*input_line_pointer)
- {
- case ',':
- input_line_pointer++;
- break;
- default:
- as_warn (_("badly formed .dim directive ignored"));
- /* Fall through. */
- case '\n':
- case ';':
- d_index = DIMNUM;
- break;
- }
- }
- demand_empty_rest_of_line ();
- }
- static void
- obj_coff_line (int ignore ATTRIBUTE_UNUSED)
- {
- int this_base;
- if (def_symbol_in_progress == NULL)
- {
- /* Probably stabs-style line? */
- obj_coff_ln (0);
- return;
- }
- this_base = get_absolute_expression ();
- if (streq (".bf", S_GET_NAME (def_symbol_in_progress)))
- coff_line_base = this_base;
- S_SET_NUMBER_AUXILIARY (def_symbol_in_progress, 1);
- SA_SET_SYM_LNNO (def_symbol_in_progress, this_base);
- demand_empty_rest_of_line ();
- #ifndef NO_LISTING
- if (streq (".bf", S_GET_NAME (def_symbol_in_progress)))
- {
- extern int listing;
- if (listing)
- listing_source_line ((unsigned int) this_base);
- }
- #endif
- }
- static void
- obj_coff_size (int ignore ATTRIBUTE_UNUSED)
- {
- if (def_symbol_in_progress == NULL)
- {
- as_warn (_(".size pseudo-op used outside of .def/.endef: ignored."));
- demand_empty_rest_of_line ();
- return;
- }
- S_SET_NUMBER_AUXILIARY (def_symbol_in_progress, 1);
- SA_SET_SYM_SIZE (def_symbol_in_progress, get_absolute_expression ());
- demand_empty_rest_of_line ();
- }
- static void
- obj_coff_scl (int ignore ATTRIBUTE_UNUSED)
- {
- if (def_symbol_in_progress == NULL)
- {
- as_warn (_(".scl pseudo-op used outside of .def/.endef: ignored."));
- demand_empty_rest_of_line ();
- return;
- }
- S_SET_STORAGE_CLASS (def_symbol_in_progress, get_absolute_expression ());
- demand_empty_rest_of_line ();
- }
- static void
- obj_coff_tag (int ignore ATTRIBUTE_UNUSED)
- {
- char *symbol_name;
- char name_end;
- if (def_symbol_in_progress == NULL)
- {
- as_warn (_(".tag pseudo-op used outside of .def/.endef: ignored."));
- demand_empty_rest_of_line ();
- return;
- }
- S_SET_NUMBER_AUXILIARY (def_symbol_in_progress, 1);
- name_end = get_symbol_name (&symbol_name);
- #ifdef tc_canonicalize_symbol_name
- symbol_name = tc_canonicalize_symbol_name (symbol_name);
- #endif
- /* Assume that the symbol referred to by .tag is always defined.
- This was a bad assumption. I've added find_or_make. xoxorich. */
- SA_SET_SYM_TAGNDX (def_symbol_in_progress,
- tag_find_or_make (symbol_name));
- if (SA_GET_SYM_TAGNDX (def_symbol_in_progress) == 0L)
- as_warn (_("tag not found for .tag %s"), symbol_name);
- SF_SET_TAGGED (def_symbol_in_progress);
- (void) restore_line_pointer (name_end);
- demand_empty_rest_of_line ();
- }
- static void
- obj_coff_type (int ignore ATTRIBUTE_UNUSED)
- {
- if (def_symbol_in_progress == NULL)
- {
- as_warn (_(".type pseudo-op used outside of .def/.endef: ignored."));
- demand_empty_rest_of_line ();
- return;
- }
- S_SET_DATA_TYPE (def_symbol_in_progress, get_absolute_expression ());
- if (ISFCN (S_GET_DATA_TYPE (def_symbol_in_progress)) &&
- S_GET_STORAGE_CLASS (def_symbol_in_progress) != C_TPDEF)
- SF_SET_FUNCTION (def_symbol_in_progress);
- demand_empty_rest_of_line ();
- }
- static void
- obj_coff_val (int ignore ATTRIBUTE_UNUSED)
- {
- if (def_symbol_in_progress == NULL)
- {
- as_warn (_(".val pseudo-op used outside of .def/.endef: ignored."));
- demand_empty_rest_of_line ();
- return;
- }
- if (is_name_beginner (*input_line_pointer))
- {
- char *symbol_name;
- char name_end = get_symbol_name (&symbol_name);
- #ifdef tc_canonicalize_symbol_name
- symbol_name = tc_canonicalize_symbol_name (symbol_name);
- #endif
- if (streq (symbol_name, "."))
- {
- /* If the .val is != from the .def (e.g. statics). */
- symbol_set_frag (def_symbol_in_progress, frag_now);
- S_SET_VALUE (def_symbol_in_progress, (valueT) frag_now_fix ());
- }
- else if (! streq (S_GET_NAME (def_symbol_in_progress), symbol_name))
- {
- expressionS exp;
- exp.X_op = O_symbol;
- exp.X_add_symbol = symbol_find_or_make (symbol_name);
- exp.X_op_symbol = NULL;
- exp.X_add_number = 0;
- symbol_set_value_expression (def_symbol_in_progress, &exp);
- /* If the segment is undefined when the forward reference is
- resolved, then copy the segment id from the forward
- symbol. */
- SF_SET_GET_SEGMENT (def_symbol_in_progress);
- /* FIXME: gcc can generate address expressions here in
- unusual cases (search for "obscure" in sdbout.c). We
- just ignore the offset here, thus generating incorrect
- debugging information. We ignore the rest of the line
- just below. */
- }
- /* Otherwise, it is the name of a non debug symbol and its value
- will be calculated later. */
- (void) restore_line_pointer (name_end);
- }
- else
- {
- S_SET_VALUE (def_symbol_in_progress, get_absolute_expression ());
- }
- demand_empty_rest_of_line ();
- }
- #ifdef TE_PE
- /* Return nonzero if name begins with weak alternate symbol prefix. */
- static int
- weak_is_altname (const char * name)
- {
- return startswith (name, weak_altprefix);
- }
- /* Return the name of the alternate symbol
- name corresponding to a weak symbol's name. */
- static const char *
- weak_name2altname (const char * name)
- {
- return concat (weak_altprefix, name, (char *) NULL);
- }
- /* Return the name of the weak symbol corresponding to an
- alternate symbol. */
- static const char *
- weak_altname2name (const char * name)
- {
- gas_assert (weak_is_altname (name));
- return xstrdup (name + 6);
- }
- /* Make a weak symbol name unique by
- appending the name of an external symbol. */
- static const char *
- weak_uniquify (const char * name)
- {
- const char * unique = "";
- #ifdef TE_PE
- if (an_external_name != NULL)
- unique = an_external_name;
- #endif
- gas_assert (weak_is_altname (name));
- return concat (name, ".", unique, (char *) NULL);
- }
- void
- pecoff_obj_set_weak_hook (symbolS *symbolP)
- {
- symbolS *alternateP;
- /* See _Microsoft Portable Executable and Common Object
- File Format Specification_, section 5.5.3.
- Create a symbol representing the alternate value.
- coff_frob_symbol will set the value of this symbol from
- the value of the weak symbol itself. */
- S_SET_STORAGE_CLASS (symbolP, C_NT_WEAK);
- S_SET_NUMBER_AUXILIARY (symbolP, 1);
- SA_SET_SYM_FSIZE (symbolP, IMAGE_WEAK_EXTERN_SEARCH_NOLIBRARY);
- alternateP = symbol_find_or_make (weak_name2altname (S_GET_NAME (symbolP)));
- S_SET_EXTERNAL (alternateP);
- S_SET_STORAGE_CLASS (alternateP, C_NT_WEAK);
- SA_SET_SYM_TAGNDX (symbolP, alternateP);
- }
- void
- pecoff_obj_clear_weak_hook (symbolS *symbolP)
- {
- symbolS *alternateP;
- S_SET_STORAGE_CLASS (symbolP, 0);
- SA_SET_SYM_FSIZE (symbolP, 0);
- alternateP = symbol_find (weak_name2altname (S_GET_NAME (symbolP)));
- S_CLEAR_EXTERNAL (alternateP);
- }
- #endif /* TE_PE */
- /* Handle .weak. This is a GNU extension in formats other than PE. */
- static void
- obj_coff_weak (int ignore ATTRIBUTE_UNUSED)
- {
- char *name;
- int c;
- symbolS *symbolP;
- do
- {
- c = get_symbol_name (&name);
- if (*name == 0)
- {
- as_warn (_("badly formed .weak directive ignored"));
- ignore_rest_of_line ();
- return;
- }
- c = 0;
- symbolP = symbol_find_or_make (name);
- *input_line_pointer = c;
- SKIP_WHITESPACE_AFTER_NAME ();
- S_SET_WEAK (symbolP);
- if (c == ',')
- {
- input_line_pointer++;
- SKIP_WHITESPACE ();
- if (*input_line_pointer == '\n')
- c = '\n';
- }
- }
- while (c == ',');
- demand_empty_rest_of_line ();
- }
- void
- coff_obj_read_begin_hook (void)
- {
- /* These had better be the same. Usually 18 bytes. */
- know (sizeof (SYMENT) == sizeof (AUXENT));
- know (SYMESZ == AUXESZ);
- tag_init ();
- }
- symbolS *coff_last_function;
- #ifndef OBJ_XCOFF
- static symbolS *coff_last_bf;
- #endif
- void
- coff_frob_symbol (symbolS *symp, int *punt)
- {
- static symbolS *last_tagP;
- static stack *block_stack;
- static symbolS *set_end;
- symbolS *next_set_end = NULL;
- if (symp == &abs_symbol)
- {
- *punt = 1;
- return;
- }
- if (current_lineno_sym)
- coff_add_linesym (NULL);
- if (!block_stack)
- block_stack = stack_init (512, sizeof (symbolS*));
- #ifdef TE_PE
- if (S_GET_STORAGE_CLASS (symp) == C_NT_WEAK
- && ! S_IS_WEAK (symp)
- && weak_is_altname (S_GET_NAME (symp)))
- {
- /* This is a weak alternate symbol. All processing of
- PECOFFweak symbols is done here, through the alternate. */
- symbolS *weakp = symbol_find_noref (weak_altname2name
- (S_GET_NAME (symp)), 1);
- gas_assert (weakp);
- gas_assert (S_GET_NUMBER_AUXILIARY (weakp) == 1);
- if (! S_IS_WEAK (weakp))
- {
- /* The symbol was turned from weak to strong. Discard altname. */
- *punt = 1;
- return;
- }
- else if (symbol_equated_p (weakp))
- {
- /* The weak symbol has an alternate specified; symp is unneeded. */
- S_SET_STORAGE_CLASS (weakp, C_NT_WEAK);
- SA_SET_SYM_TAGNDX (weakp,
- symbol_get_value_expression (weakp)->X_add_symbol);
- S_CLEAR_EXTERNAL (symp);
- *punt = 1;
- return;
- }
- else
- {
- /* The weak symbol has been assigned an alternate value.
- Copy this value to symp, and set symp as weakp's alternate. */
- if (S_GET_STORAGE_CLASS (weakp) != C_NT_WEAK)
- {
- S_SET_STORAGE_CLASS (symp, S_GET_STORAGE_CLASS (weakp));
- S_SET_STORAGE_CLASS (weakp, C_NT_WEAK);
- }
- if (S_IS_DEFINED (weakp))
- {
- /* This is a defined weak symbol. Copy value information
- from the weak symbol itself to the alternate symbol. */
- symbol_set_value_expression (symp,
- symbol_get_value_expression (weakp));
- symbol_set_frag (symp, symbol_get_frag (weakp));
- S_SET_SEGMENT (symp, S_GET_SEGMENT (weakp));
- }
- else
- {
- /* This is an undefined weak symbol.
- Define the alternate symbol to zero. */
- S_SET_VALUE (symp, 0);
- S_SET_SEGMENT (symp, absolute_section);
- }
- S_SET_NAME (symp, weak_uniquify (S_GET_NAME (symp)));
- S_SET_STORAGE_CLASS (symp, C_EXT);
- S_SET_VALUE (weakp, 0);
- S_SET_SEGMENT (weakp, undefined_section);
- }
- }
- #else /* TE_PE */
- if (S_IS_WEAK (symp))
- S_SET_STORAGE_CLASS (symp, C_WEAKEXT);
- #endif /* TE_PE */
- if (!S_IS_DEFINED (symp)
- && !S_IS_WEAK (symp)
- && S_GET_STORAGE_CLASS (symp) != C_STAT)
- S_SET_STORAGE_CLASS (symp, C_EXT);
- if (!SF_GET_DEBUG (symp))
- {
- symbolS * real;
- if (!SF_GET_LOCAL (symp)
- && !SF_GET_STATICS (symp)
- && S_GET_STORAGE_CLASS (symp) != C_LABEL
- && symbol_constant_p (symp)
- && (real = symbol_find_noref (S_GET_NAME (symp), 1))
- && S_GET_STORAGE_CLASS (real) == C_NULL
- && real != symp)
- {
- c_symbol_merge (symp, real);
- *punt = 1;
- return;
- }
- if (!S_IS_DEFINED (symp) && !SF_GET_LOCAL (symp))
- {
- gas_assert (S_GET_VALUE (symp) == 0);
- if (S_IS_WEAKREFD (symp))
- *punt = 1;
- else
- S_SET_EXTERNAL (symp);
- }
- else if (S_GET_STORAGE_CLASS (symp) == C_NULL)
- {
- if (S_GET_SEGMENT (symp) == text_section
- && symp != seg_info (text_section)->sym)
- S_SET_STORAGE_CLASS (symp, C_LABEL);
- else
- S_SET_STORAGE_CLASS (symp, C_STAT);
- }
- if (SF_GET_PROCESS (symp))
- {
- if (S_GET_STORAGE_CLASS (symp) == C_BLOCK)
- {
- if (streq (S_GET_NAME (symp), ".bb"))
- stack_push (block_stack, (char *) &symp);
- else
- {
- symbolS *begin;
- begin = *(symbolS **) stack_pop (block_stack);
- if (begin == 0)
- as_warn (_("mismatched .eb"));
- else
- next_set_end = begin;
- }
- }
- if (coff_last_function == 0 && SF_GET_FUNCTION (symp)
- && S_IS_DEFINED (symp))
- {
- union internal_auxent *auxp;
- coff_last_function = symp;
- if (S_GET_NUMBER_AUXILIARY (symp) < 1)
- S_SET_NUMBER_AUXILIARY (symp, 1);
- auxp = SYM_AUXENT (symp);
- memset (auxp->x_sym.x_fcnary.x_ary.x_dimen, 0,
- sizeof (auxp->x_sym.x_fcnary.x_ary.x_dimen));
- }
- if (S_GET_STORAGE_CLASS (symp) == C_EFCN
- && S_IS_DEFINED (symp))
- {
- if (coff_last_function == 0)
- as_fatal (_("C_EFCN symbol for %s out of scope"),
- S_GET_NAME (symp));
- SA_SET_SYM_FSIZE (coff_last_function,
- (long) (S_GET_VALUE (symp)
- - S_GET_VALUE (coff_last_function)));
- next_set_end = coff_last_function;
- coff_last_function = 0;
- }
- }
- if (S_IS_EXTERNAL (symp))
- S_SET_STORAGE_CLASS (symp, C_EXT);
- else if (SF_GET_LOCAL (symp))
- *punt = 1;
- if (SF_GET_FUNCTION (symp))
- symbol_get_bfdsym (symp)->flags |= BSF_FUNCTION;
- }
- /* Double check weak symbols. */
- if (S_IS_WEAK (symp) && S_IS_COMMON (symp))
- as_bad (_("Symbol `%s' can not be both weak and common"),
- S_GET_NAME (symp));
- if (SF_GET_TAG (symp))
- last_tagP = symp;
- else if (S_GET_STORAGE_CLASS (symp) == C_EOS)
- next_set_end = last_tagP;
- #ifdef OBJ_XCOFF
- /* This is pretty horrible, but we have to set *punt correctly in
- order to call SA_SET_SYM_ENDNDX correctly. */
- if (! symbol_used_in_reloc_p (symp)
- && S_GET_STORAGE_CLASS (symp) != C_DWARF
- && ((symbol_get_bfdsym (symp)->flags & BSF_SECTION_SYM) != 0
- || (! (S_IS_EXTERNAL (symp) || S_IS_WEAK (symp))
- && ! symbol_get_tc (symp)->output
- && S_GET_STORAGE_CLASS (symp) != C_FILE)))
- *punt = 1;
- #endif
- if (set_end != (symbolS *) NULL
- && ! *punt
- && ((symbol_get_bfdsym (symp)->flags & BSF_NOT_AT_END) != 0
- || (S_IS_DEFINED (symp)
- && ! S_IS_COMMON (symp)
- && (! S_IS_EXTERNAL (symp) || SF_GET_FUNCTION (symp)))))
- {
- SA_SET_SYM_ENDNDX (set_end, symp);
- set_end = NULL;
- }
- if (next_set_end != NULL)
- {
- if (set_end != NULL)
- as_warn (_("Warning: internal error: forgetting to set endndx of %s"),
- S_GET_NAME (set_end));
- set_end = next_set_end;
- }
- #ifndef OBJ_XCOFF
- if (! *punt
- && S_GET_STORAGE_CLASS (symp) == C_FCN
- && streq (S_GET_NAME (symp), ".bf"))
- {
- if (coff_last_bf != NULL)
- SA_SET_SYM_ENDNDX (coff_last_bf, symp);
- coff_last_bf = symp;
- }
- #endif
- if (coffsymbol (symbol_get_bfdsym (symp))->lineno)
- {
- int i;
- struct line_no *lptr;
- alent *l;
- lptr = (struct line_no *) coffsymbol (symbol_get_bfdsym (symp))->lineno;
- for (i = 0; lptr; lptr = lptr->next)
- i++;
- lptr = (struct line_no *) coffsymbol (symbol_get_bfdsym (symp))->lineno;
- /* We need i entries for line numbers, plus 1 for the first
- entry which BFD will override, plus 1 for the last zero
- entry (a marker for BFD). */
- l = XNEWVEC (alent, (i + 2));
- coffsymbol (symbol_get_bfdsym (symp))->lineno = l;
- l[i + 1].line_number = 0;
- l[i + 1].u.sym = NULL;
- for (; i > 0; i--)
- {
- if (lptr->frag)
- lptr->l.u.offset += lptr->frag->fr_address / OCTETS_PER_BYTE;
- l[i] = lptr->l;
- lptr = lptr->next;
- }
- }
- }
- void
- coff_adjust_section_syms (bfd *abfd ATTRIBUTE_UNUSED,
- asection *sec,
- void * x ATTRIBUTE_UNUSED)
- {
- symbolS *secsym;
- segment_info_type *seginfo = seg_info (sec);
- int nlnno, nrelocs = 0;
- /* RS/6000 gas creates a .debug section manually in ppc_frob_file in
- tc-ppc.c. Do not get confused by it. */
- if (seginfo == NULL)
- return;
- if (streq (sec->name, ".text"))
- nlnno = coff_n_line_nos;
- else
- nlnno = 0;
- {
- /* @@ Hope that none of the fixups expand to more than one reloc
- entry... */
- fixS *fixp = seginfo->fix_root;
- while (fixp)
- {
- if (! fixp->fx_done)
- nrelocs++;
- fixp = fixp->fx_next;
- }
- }
- if (bfd_section_size (sec) == 0
- && nrelocs == 0
- && nlnno == 0
- && sec != text_section
- && sec != data_section
- && sec != bss_section)
- return;
- secsym = section_symbol (sec);
- /* This is an estimate; we'll plug in the real value using
- SET_SECTION_RELOCS later */
- #ifdef OBJ_XCOFF
- if (S_GET_STORAGE_CLASS (secsym) == C_DWARF)
- SA_SET_SECT_NRELOC (secsym, nrelocs);
- else
- {
- SA_SET_SCN_NRELOC (secsym, nrelocs);
- SA_SET_SCN_NLINNO (secsym, nlnno);
- }
- #else
- SA_SET_SCN_NRELOC (secsym, nrelocs);
- SA_SET_SCN_NLINNO (secsym, nlnno);
- #endif
- }
- void
- coff_frob_file_after_relocs (void)
- {
- bfd_map_over_sections (stdoutput, coff_adjust_section_syms, NULL);
- }
- /* Implement the .section pseudo op:
- .section name {, "flags"}
- ^ ^
- | +--- optional flags: 'b' for bss
- | 'i' for info
- +-- section name 'l' for lib
- 'n' for noload
- 'o' for over
- 'w' for data
- 'd' (apparently m88k for data)
- 'e' for exclude
- 'x' for text
- 'r' for read-only data
- 's' for shared data (PE)
- 'y' for noread
- '0' - '9' for power-of-two alignment (GNU extension).
- But if the argument is not a quoted string, treat it as a
- subsegment number.
- Note the 'a' flag is silently ignored. This allows the same
- .section directive to be parsed in both ELF and COFF formats. */
- void
- obj_coff_section (int ignore ATTRIBUTE_UNUSED)
- {
- /* Strip out the section name. */
- char *section_name;
- char c;
- int alignment = -1;
- char *name;
- unsigned int exp;
- flagword flags, oldflags;
- asection *sec;
- bool is_bss = false;
- if (flag_mri)
- {
- char type;
- s_mri_sect (&type);
- return;
- }
- c = get_symbol_name (§ion_name);
- name = xmemdup0 (section_name, input_line_pointer - section_name);
- *input_line_pointer = c;
- SKIP_WHITESPACE_AFTER_NAME ();
- exp = 0;
- flags = SEC_NO_FLAGS;
- if (*input_line_pointer == ',')
- {
- ++input_line_pointer;
- SKIP_WHITESPACE ();
- if (*input_line_pointer != '"')
- exp = get_absolute_expression ();
- else
- {
- unsigned char attr;
- int readonly_removed = 0;
- int load_removed = 0;
- while (attr = *++input_line_pointer,
- attr != '"'
- && ! is_end_of_line[attr])
- {
- if (ISDIGIT (attr))
- {
- alignment = attr - '0';
- continue;
- }
- switch (attr)
- {
- case 'e':
- /* Exclude section from linking. */
- flags |= SEC_EXCLUDE;
- break;
- case 'b':
- /* Uninitialised data section. */
- flags |= SEC_ALLOC;
- flags &=~ SEC_LOAD;
- is_bss = true;
- break;
- case 'n':
- /* Section not loaded. */
- flags &=~ SEC_LOAD;
- flags |= SEC_NEVER_LOAD;
- load_removed = 1;
- break;
- case 's':
- /* Shared section. */
- flags |= SEC_COFF_SHARED;
- /* Fall through. */
- case 'd':
- /* Data section. */
- flags |= SEC_DATA;
- if (! load_removed)
- flags |= SEC_LOAD;
- flags &=~ SEC_READONLY;
- break;
- case 'w':
- /* Writable section. */
- flags &=~ SEC_READONLY;
- readonly_removed = 1;
- break;
- case 'a':
- /* Ignore. Here for compatibility with ELF. */
- break;
- case 'r': /* Read-only section. Implies a data section. */
- readonly_removed = 0;
- /* Fall through. */
- case 'x': /* Executable section. */
- /* If we are setting the 'x' attribute or if the 'r'
- attribute is being used to restore the readonly status
- of a code section (eg "wxr") then set the SEC_CODE flag,
- otherwise set the SEC_DATA flag. */
- flags |= (attr == 'x' || (flags & SEC_CODE) ? SEC_CODE : SEC_DATA);
- if (! load_removed)
- flags |= SEC_LOAD;
- /* Note - the READONLY flag is set here, even for the 'x'
- attribute in order to be compatible with the MSVC
- linker. */
- if (! readonly_removed)
- flags |= SEC_READONLY;
- break;
- case 'y':
- flags |= SEC_COFF_NOREAD | SEC_READONLY;
- break;
- case 'i': /* STYP_INFO */
- case 'l': /* STYP_LIB */
- case 'o': /* STYP_OVER */
- as_warn (_("unsupported section attribute '%c'"), attr);
- break;
- default:
- as_warn (_("unknown section attribute '%c'"), attr);
- break;
- }
- }
- if (attr == '"')
- ++input_line_pointer;
- }
- }
- sec = subseg_new (name, (subsegT) exp);
- if (is_bss)
- seg_info (sec)->bss = 1;
- if (alignment >= 0)
- sec->alignment_power = alignment;
- oldflags = bfd_section_flags (sec);
- if (oldflags == SEC_NO_FLAGS)
- {
- /* Set section flags for a new section just created by subseg_new.
- Provide a default if no flags were parsed. */
- if (flags == SEC_NO_FLAGS)
- flags = TC_COFF_SECTION_DEFAULT_ATTRIBUTES;
- #ifdef COFF_LONG_SECTION_NAMES
- /* Add SEC_LINK_ONCE and SEC_LINK_DUPLICATES_DISCARD to .gnu.linkonce
- sections so adjust_reloc_syms in write.c will correctly handle
- relocs which refer to non-local symbols in these sections. */
- if (startswith (name, ".gnu.linkonce"))
- flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD;
- #endif
- if (!bfd_set_section_flags (sec, flags))
- as_warn (_("error setting flags for \"%s\": %s"),
- bfd_section_name (sec),
- bfd_errmsg (bfd_get_error ()));
- }
- else if (flags != SEC_NO_FLAGS)
- {
- /* This section's attributes have already been set. Warn if the
- attributes don't match. */
- flagword matchflags = (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE
- | SEC_DATA | SEC_COFF_SHARED | SEC_NEVER_LOAD
- | SEC_COFF_NOREAD);
- if ((flags ^ oldflags) & matchflags)
- as_warn (_("Ignoring changed section attributes for %s"), name);
- }
- demand_empty_rest_of_line ();
- }
- void
- coff_adjust_symtab (void)
- {
- if (symbol_rootP == NULL
- || S_GET_STORAGE_CLASS (symbol_rootP) != C_FILE)
- c_dot_file_symbol ("fake", 0);
- }
- void
- coff_frob_section (segT sec)
- {
- segT strsec;
- char *p;
- fragS *fragp;
- bfd_vma n_entries;
- /* The COFF back end in BFD requires that all section sizes be
- rounded up to multiples of the corresponding section alignments,
- supposedly because standard COFF has no other way of encoding alignment
- for sections. If your COFF flavor has a different way of encoding
- section alignment, then skip this step, as TICOFF does. */
- bfd_vma size = bfd_section_size (sec);
- #if !defined(TICOFF)
- bfd_vma align_power = (bfd_vma) sec->alignment_power + OCTETS_PER_BYTE_POWER;
- bfd_vma mask = ((bfd_vma) 1 << align_power) - 1;
- if (size & mask)
- {
- bfd_vma new_size;
- fragS *last;
- new_size = (size + mask) & ~mask;
- bfd_set_section_size (sec, new_size);
- /* If the size had to be rounded up, add some padding in
- the last non-empty frag. */
- fragp = seg_info (sec)->frchainP->frch_root;
- last = seg_info (sec)->frchainP->frch_last;
- while (fragp->fr_next != last)
- fragp = fragp->fr_next;
- last->fr_address = size;
- fragp->fr_offset += new_size - size;
- }
- #endif
- /* If the section size is non-zero, the section symbol needs an aux
- entry associated with it, indicating the size. We don't know
- all the values yet; coff_frob_symbol will fill them in later. */
- #ifndef TICOFF
- if (size != 0
- || sec == text_section
- || sec == data_section
- || sec == bss_section)
- #endif
- {
- symbolS *secsym = section_symbol (sec);
- unsigned char sclass = C_STAT;
- #ifdef OBJ_XCOFF
- if (bfd_section_flags (sec) & SEC_DEBUGGING)
- sclass = C_DWARF;
- #endif
- S_SET_STORAGE_CLASS (secsym, sclass);
- S_SET_NUMBER_AUXILIARY (secsym, 1);
- SF_SET_STATICS (secsym);
- #ifdef OBJ_XCOFF
- SA_SET_SECT_SCNLEN (secsym, size);
- #else
- SA_SET_SCN_SCNLEN (secsym, size);
- #endif
- }
- /* FIXME: These should be in a "stabs.h" file, or maybe as.h. */
- #ifndef STAB_SECTION_NAME
- #define STAB_SECTION_NAME ".stab"
- #endif
- #ifndef STAB_STRING_SECTION_NAME
- #define STAB_STRING_SECTION_NAME ".stabstr"
- #endif
- if (! streq (STAB_STRING_SECTION_NAME, sec->name))
- return;
- strsec = sec;
- sec = subseg_get (STAB_SECTION_NAME, 0);
- /* size is already rounded up, since other section will be listed first */
- size = bfd_section_size (strsec);
- n_entries = bfd_section_size (sec) / 12 - 1;
- /* Find first non-empty frag. It should be large enough. */
- fragp = seg_info (sec)->frchainP->frch_root;
- while (fragp && fragp->fr_fix == 0)
- fragp = fragp->fr_next;
- gas_assert (fragp != 0 && fragp->fr_fix >= 12);
- /* Store the values. */
- p = fragp->fr_literal;
- bfd_h_put_16 (stdoutput, n_entries, (bfd_byte *) p + 6);
- bfd_h_put_32 (stdoutput, size, (bfd_byte *) p + 8);
- }
- void
- obj_coff_init_stab_section (segT seg)
- {
- const char *file;
- char *p;
- char *stabstr_name;
- unsigned int stroff;
- /* Make space for this first symbol. */
- p = frag_more (12);
- /* Zero it out. */
- memset (p, 0, 12);
- file = as_where ((unsigned int *) NULL);
- stabstr_name = concat (seg->name, "str", (char *) NULL);
- stroff = get_stab_string_offset (file, stabstr_name, true);
- know (stroff == 1);
- md_number_to_chars (p, stroff, 4);
- }
- #ifdef DEBUG
- const char * s_get_name (symbolS *);
- const char *
- s_get_name (symbolS *s)
- {
- return ((s == NULL) ? "(NULL)" : S_GET_NAME (s));
- }
- void symbol_dump (void);
- void
- symbol_dump (void)
- {
- symbolS *symbolP;
- for (symbolP = symbol_rootP; symbolP; symbolP = symbol_next (symbolP))
- printf (_("0x%lx: \"%s\" type = %ld, class = %d, segment = %d\n"),
- (unsigned long) symbolP,
- S_GET_NAME (symbolP),
- (long) S_GET_DATA_TYPE (symbolP),
- S_GET_STORAGE_CLASS (symbolP),
- (int) S_GET_SEGMENT (symbolP));
- }
- #endif /* DEBUG */
- const pseudo_typeS coff_pseudo_table[] =
- {
- {"ABORT", s_abort, 0},
- {"appline", obj_coff_ln, 1},
- /* We accept the .bss directive for backward compatibility with
- earlier versions of gas. */
- {"bss", obj_coff_bss, 0},
- #ifdef TE_PE
- /* PE provides an enhanced version of .comm with alignment. */
- {"comm", obj_coff_comm, 0},
- #endif /* TE_PE */
- {"def", obj_coff_def, 0},
- {"dim", obj_coff_dim, 0},
- {"endef", obj_coff_endef, 0},
- {"ident", obj_coff_ident, 0},
- {"line", obj_coff_line, 0},
- {"ln", obj_coff_ln, 0},
- {"scl", obj_coff_scl, 0},
- {"sect", obj_coff_section, 0},
- {"sect.s", obj_coff_section, 0},
- {"section", obj_coff_section, 0},
- {"section.s", obj_coff_section, 0},
- /* FIXME: We ignore the MRI short attribute. */
- {"size", obj_coff_size, 0},
- {"tag", obj_coff_tag, 0},
- {"type", obj_coff_type, 0},
- {"val", obj_coff_val, 0},
- {"version", s_ignore, 0},
- {"loc", obj_coff_loc, 0},
- {"optim", s_ignore, 0}, /* For sun386i cc (?) */
- {"weak", obj_coff_weak, 0},
- #if defined TC_TIC4X
- /* The tic4x uses sdef instead of def. */
- {"sdef", obj_coff_def, 0},
- #endif
- #if defined(SEH_CMDS)
- SEH_CMDS
- #endif
- {NULL, NULL, 0}
- };
- /* Support for a COFF emulation. */
- static void
- coff_pop_insert (void)
- {
- pop_insert (coff_pseudo_table);
- }
- static int
- coff_separate_stab_sections (void)
- {
- return 1;
- }
- const struct format_ops coff_format_ops =
- {
- bfd_target_coff_flavour,
- 0, /* dfl_leading_underscore */
- 1, /* emit_section_symbols */
- 0, /* begin */
- c_dot_file_symbol,
- coff_frob_symbol,
- 0, /* frob_file */
- 0, /* frob_file_before_adjust */
- 0, /* frob_file_before_fix */
- coff_frob_file_after_relocs,
- 0, /* s_get_size */
- 0, /* s_set_size */
- 0, /* s_get_align */
- 0, /* s_set_align */
- 0, /* s_get_other */
- 0, /* s_set_other */
- 0, /* s_get_desc */
- 0, /* s_set_desc */
- 0, /* s_get_type */
- 0, /* s_set_type */
- 0, /* copy_symbol_attributes */
- 0, /* generate_asm_lineno */
- 0, /* process_stab */
- coff_separate_stab_sections,
- obj_coff_init_stab_section,
- 0, /* sec_sym_ok_for_reloc */
- coff_pop_insert,
- 0, /* ecoff_set_ext */
- coff_obj_read_begin_hook,
- coff_obj_symbol_new_hook,
- coff_obj_symbol_clone_hook,
- coff_adjust_symtab
- };
|