| /* vms.c -- Write out a VAX/VMS object file |
| Copyright 1987, 1988, 1992, 1993, 1994, 1995, 1997, 1998, 2000, 2001 |
| Free Software Foundation, Inc. |
| |
| 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 |
| the Free Software Foundation; either version 2, 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, 59 Temple Place - Suite 330, Boston, MA |
| 02111-1307, USA. */ |
| |
| /* Written by David L. Kashtan */ |
| /* Modified by Eric Youngdale to write VMS debug records for program |
| variables */ |
| |
| /* Want all of obj-vms.h (as obj-format.h, via targ-env.h, via as.h). */ |
| #define WANT_VMS_OBJ_DEFS |
| |
| #include "as.h" |
| #include "config.h" |
| #include "subsegs.h" |
| #include "obstack.h" |
| |
| /* What we do if there is a goof. */ |
| #define error as_fatal |
| |
| #ifdef VMS /* These are of no use if we are cross assembling. */ |
| #include <fab.h> /* Define File Access Block */ |
| #include <nam.h> /* Define NAM Block */ |
| #include <xab.h> /* Define XAB - all different types*/ |
| extern int sys$open(), sys$close(), sys$asctim(); |
| #endif |
| |
| /* |
| * Version string of the compiler that produced the code we are |
| * assembling. (And this assembler, if we do not have compiler info.) |
| */ |
| char *compiler_version_string; |
| |
| extern int flag_hash_long_names; /* -+ */ |
| extern int flag_one; /* -1; compatibility with gcc 1.x */ |
| extern int flag_show_after_trunc; /* -H */ |
| extern int flag_no_hash_mixed_case; /* -h NUM */ |
| |
| /* Flag that determines how we map names. This takes several values, and |
| * is set with the -h switch. A value of zero implies names should be |
| * upper case, and the presence of the -h switch inhibits the case hack. |
| * No -h switch at all sets vms_name_mapping to 0, and allows case hacking. |
| * A value of 2 (set with -h2) implies names should be |
| * all lower case, with no case hack. A value of 3 (set with -h3) implies |
| * that case should be preserved. */ |
| |
| /* If the -+ switch is given, then the hash is appended to any name that is |
| * longer than 31 characters, regardless of the setting of the -h switch. |
| */ |
| |
| char vms_name_mapping = 0; |
| |
| static symbolS *Entry_Point_Symbol = 0; /* Pointer to "_main" */ |
| |
| /* |
| * We augment the "gas" symbol structure with this |
| */ |
| struct VMS_Symbol |
| { |
| struct VMS_Symbol *Next; |
| symbolS *Symbol; |
| int Size; |
| int Psect_Index; |
| int Psect_Offset; |
| }; |
| |
| struct VMS_Symbol *VMS_Symbols = 0; |
| struct VMS_Symbol *Ctors_Symbols = 0; |
| struct VMS_Symbol *Dtors_Symbols = 0; |
| |
| /* We need this to keep track of the various input files, so that we can |
| * give the debugger the correct source line. |
| */ |
| |
| struct input_file |
| { |
| struct input_file *next; |
| struct input_file *same_file_fpnt; |
| int file_number; |
| int max_line; |
| int min_line; |
| int offset; |
| char flag; |
| char *name; |
| symbolS *spnt; |
| }; |
| |
| static struct input_file *file_root = (struct input_file *) NULL; |
| |
| /* |
| * Styles of PSECTS (program sections) that we generate; just shorthand |
| * to avoid lists of section attributes. Used by VMS_Psect_Spec(). |
| */ |
| enum ps_type |
| { |
| ps_TEXT, ps_DATA, ps_COMMON, ps_CONST, ps_CTORS, ps_DTORS |
| }; |
| |
| /* |
| * This enum is used to keep track of the various types of variables that |
| * may be present. |
| */ |
| |
| enum advanced_type |
| { |
| BASIC, POINTER, ARRAY, ENUM, STRUCT, UNION, FUNCTION, VOID, ALIAS, UNKNOWN |
| }; |
| |
| /* |
| * This structure contains the information from the stabs directives, and the |
| * information is filled in by VMS_typedef_parse. Everything that is needed |
| * to generate the debugging record for a given symbol is present here. |
| * This could be done more efficiently, using nested struct/unions, but for now |
| * I am happy that it works. |
| */ |
| struct VMS_DBG_Symbol |
| { |
| struct VMS_DBG_Symbol *next; |
| /* description of what this is */ |
| enum advanced_type advanced; |
| /* this record is for this type */ |
| int dbx_type; |
| /* For advanced types this is the type referred to. I.e., the type |
| a pointer points to, or the type of object that makes up an |
| array. */ |
| int type2; |
| /* Use this type when generating a variable def */ |
| int VMS_type; |
| /* used for arrays - this will be present for all */ |
| int index_min; |
| /* entries, but will be meaningless for non-arrays */ |
| int index_max; |
| /* Size in bytes of the data type. For an array, this is the size |
| of one element in the array */ |
| int data_size; |
| /* Number of the structure/union/enum - used for ref */ |
| int struc_numb; |
| }; |
| |
| #define SYMTYPLST_SIZE (1<<4) /* 16; must be power of two */ |
| #define SYMTYP_HASH(x) ((unsigned) (x) & (SYMTYPLST_SIZE-1)) |
| struct VMS_DBG_Symbol *VMS_Symbol_type_list[SYMTYPLST_SIZE]; |
| |
| /* |
| * We need this structure to keep track of forward references to |
| * struct/union/enum that have not been defined yet. When they are ultimately |
| * defined, then we can go back and generate the TIR commands to make a back |
| * reference. |
| */ |
| |
| struct forward_ref |
| { |
| struct forward_ref *next; |
| int dbx_type; |
| int struc_numb; |
| char resolved; |
| }; |
| |
| struct forward_ref *f_ref_root = (struct forward_ref *) NULL; |
| |
| /* |
| * This routine is used to compare the names of certain types to various |
| * fixed types that are known by the debugger. |
| */ |
| #define type_check(X) !strcmp (symbol_name, X) |
| |
| /* |
| * This variable is used to keep track of the name of the symbol we are |
| * working on while we are parsing the stabs directives. |
| */ |
| static const char *symbol_name; |
| |
| /* We use this counter to assign numbers to all of the structures, unions |
| * and enums that we define. When we actually declare a variable to the |
| * debugger, we can simply do it by number, rather than describing the |
| * whole thing each time. |
| */ |
| |
| static structure_count = 0; |
| |
| /* This variable is used to indicate that we are making the last attempt to |
| parse the stabs, and that we should define as much as we can, and ignore |
| the rest */ |
| |
| static int final_pass; |
| |
| /* This variable is used to keep track of the current structure number |
| * for a given variable. If this is < 0, that means that the structure |
| * has not yet been defined to the debugger. This is still cool, since |
| * the VMS object language has ways of fixing things up after the fact, |
| * so we just make a note of this, and generate fixups at the end. |
| */ |
| static int struct_number; |
| |
| /* This is used to distinguish between D_float and G_float for telling |
| the debugger about doubles. gcc outputs the same .stabs regardless |
| of whether -mg is used to select alternate doubles. */ |
| |
| static int vax_g_doubles = 0; |
| |
| /* Local symbol references (used to handle N_ABS symbols; gcc does not |
| generate those, but they're possible with hand-coded assembler input) |
| are always made relative to some particular environment. If the current |
| input has any such symbols, then we expect this to get incremented |
| exactly once and end up having all of them be in environment #0. */ |
| |
| static int Current_Environment = -1; |
| |
| /* Every object file must specify an module name, which is also used by |
| traceback records. Set in Write_VMS_MHD_Records(). */ |
| |
| static char Module_Name[255+1]; |
| |
| /* |
| * Variable descriptors are used tell the debugger the data types of certain |
| * more complicated variables (basically anything involving a structure, |
| * union, enum, array or pointer). Some non-pointer variables of the |
| * basic types that the debugger knows about do not require a variable |
| * descriptor. |
| * |
| * Since it is impossible to have a variable descriptor longer than 128 |
| * bytes by virtue of the way that the VMS object language is set up, |
| * it makes not sense to make the arrays any longer than this, or worrying |
| * about dynamic sizing of the array. |
| * |
| * These are the arrays and counters that we use to build a variable |
| * descriptor. |
| */ |
| |
| #define MAX_DEBUG_RECORD 128 |
| static char Local[MAX_DEBUG_RECORD]; /* buffer for variable descriptor */ |
| static char Asuffix[MAX_DEBUG_RECORD]; /* buffer for array descriptor */ |
| static int Lpnt; /* index into Local */ |
| static int Apoint; /* index into Asuffix */ |
| static char overflow; /* flag to indicate we have written too much*/ |
| static int total_len; /* used to calculate the total length of variable |
| descriptor plus array descriptor - used for len byte*/ |
| |
| /* Flag if we have told user about finding global constants in the text |
| section. */ |
| static int gave_compiler_message = 0; |
| |
| /* |
| * Global data (Object records limited to 512 bytes by VAX-11 "C" runtime) |
| */ |
| static int VMS_Object_File_FD; /* File Descriptor for object file */ |
| static char Object_Record_Buffer[512]; /* Buffer for object file records */ |
| static int Object_Record_Offset;/* Offset to end of data */ |
| static int Current_Object_Record_Type; /* Type of record in above */ |
| |
| /* |
| * Macros for moving data around. Must work on big-endian systems. |
| */ |
| #ifdef VMS /* These are more efficient for VMS->VMS systems */ |
| #define COPY_LONG(dest,val) ( *(long *) (dest) = (val) ) |
| #define COPY_SHORT(dest,val) ( *(short *) (dest) = (val) ) |
| #else |
| #define COPY_LONG(dest,val) md_number_to_chars ((dest), (val), 4) |
| #define COPY_SHORT(dest,val) md_number_to_chars ((dest), (val), 2) |
| #endif |
| /* |
| * Macros for placing data into the object record buffer. |
| */ |
| #define PUT_LONG(val) \ |
| ( COPY_LONG (&Object_Record_Buffer[Object_Record_Offset], (val)), \ |
| Object_Record_Offset += 4 ) |
| |
| #define PUT_SHORT(val) \ |
| ( COPY_SHORT (&Object_Record_Buffer[Object_Record_Offset], (val)), \ |
| Object_Record_Offset += 2 ) |
| |
| #define PUT_CHAR(val) ( Object_Record_Buffer[Object_Record_Offset++] = (val) ) |
| |
| #define PUT_COUNTED_STRING(cp) do { \ |
| register const char *p = (cp); \ |
| PUT_CHAR ((char) strlen (p)); \ |
| while (*p) PUT_CHAR (*p++); } while (0) |
| |
| /* |
| * Macro for determining if a Name has psect attributes attached |
| * to it. |
| */ |
| #define PSECT_ATTRIBUTES_STRING "$$PsectAttributes_" |
| #define PSECT_ATTRIBUTES_STRING_LENGTH 18 |
| |
| #define HAS_PSECT_ATTRIBUTES(Name) \ |
| (strncmp ((*Name == '_' ? Name + 1 : Name), \ |
| PSECT_ATTRIBUTES_STRING, \ |
| PSECT_ATTRIBUTES_STRING_LENGTH) == 0) |
| |
| |
| /* in: segT out: N_TYPE bits */ |
| const short seg_N_TYPE[] = |
| { |
| N_ABS, |
| N_TEXT, |
| N_DATA, |
| N_BSS, |
| N_UNDF, /* unknown */ |
| N_UNDF, /* error */ |
| N_UNDF, /* expression */ |
| N_UNDF, /* debug */ |
| N_UNDF, /* ntv */ |
| N_UNDF, /* ptv */ |
| N_REGISTER, /* register */ |
| }; |
| |
| const segT N_TYPE_seg[N_TYPE + 2] = |
| { /* N_TYPE == 0x1E = 32-2 */ |
| SEG_UNKNOWN, /* N_UNDF == 0 */ |
| SEG_GOOF, |
| SEG_ABSOLUTE, /* N_ABS == 2 */ |
| SEG_GOOF, |
| SEG_TEXT, /* N_TEXT == 4 */ |
| SEG_GOOF, |
| SEG_DATA, /* N_DATA == 6 */ |
| SEG_GOOF, |
| SEG_BSS, /* N_BSS == 8 */ |
| SEG_GOOF, |
| SEG_GOOF, SEG_GOOF, SEG_GOOF, SEG_GOOF, SEG_GOOF, SEG_GOOF, SEG_GOOF, SEG_GOOF, |
| SEG_GOOF, SEG_GOOF, SEG_GOOF, SEG_GOOF, SEG_GOOF, SEG_GOOF, SEG_GOOF, SEG_GOOF, |
| SEG_GOOF, SEG_GOOF, SEG_GOOF, SEG_GOOF, |
| SEG_REGISTER, /* dummy N_REGISTER for regs = 30 */ |
| SEG_GOOF, |
| }; |
| |
| |
| /* Local support routines which return a value. */ |
| |
| static struct input_file *find_file PARAMS ((symbolS *)); |
| static struct VMS_DBG_Symbol *find_symbol PARAMS ((int)); |
| static symbolS *Define_Routine PARAMS ((symbolS *,int,symbolS *,int)); |
| |
| static char *cvt_integer PARAMS ((char *,int *)); |
| static char *fix_name PARAMS ((char *)); |
| static char *get_struct_name PARAMS ((char *)); |
| |
| static offsetT VMS_Initialized_Data_Size PARAMS ((symbolS *,unsigned)); |
| |
| static int VMS_TBT_Source_File PARAMS ((char *,int)); |
| static int gen1 PARAMS ((struct VMS_DBG_Symbol *,int)); |
| static int forward_reference PARAMS ((char *)); |
| static int final_forward_reference PARAMS ((struct VMS_DBG_Symbol *)); |
| static int VMS_typedef_parse PARAMS ((char *)); |
| static int hash_string PARAMS ((const char *)); |
| static int VMS_Psect_Spec PARAMS ((const char *,int,enum ps_type, |
| struct VMS_Symbol *)); |
| |
| /* Local support routines which don't directly return any value. */ |
| |
| static void s_const PARAMS ((int)); |
| static void Create_VMS_Object_File PARAMS ((void)); |
| static void Flush_VMS_Object_Record_Buffer PARAMS ((void)); |
| static void Set_VMS_Object_File_Record PARAMS ((int)); |
| static void Close_VMS_Object_File PARAMS ((void)); |
| static void vms_tir_stack_psect PARAMS ((int,int,int)); |
| static void VMS_Store_Immediate_Data PARAMS ((const char *,int,int)); |
| static void VMS_Set_Data PARAMS ((int,int,int,int)); |
| static void VMS_Store_Struct PARAMS ((int)); |
| static void VMS_Def_Struct PARAMS ((int)); |
| static void VMS_Set_Struct PARAMS ((int)); |
| static void VMS_TBT_Module_Begin PARAMS ((void)); |
| static void VMS_TBT_Module_End PARAMS ((void)); |
| static void VMS_TBT_Routine_Begin PARAMS ((symbolS *,int)); |
| static void VMS_TBT_Routine_End PARAMS ((int,symbolS *)); |
| static void VMS_TBT_Block_Begin PARAMS ((symbolS *,int,char *)); |
| static void VMS_TBT_Block_End PARAMS ((valueT)); |
| static void VMS_TBT_Line_PC_Correlation PARAMS ((int,int,int,int)); |
| static void VMS_TBT_Source_Lines PARAMS ((int,int,int)); |
| static void fpush PARAMS ((int,int)); |
| static void rpush PARAMS ((int,int)); |
| static void array_suffix PARAMS ((struct VMS_DBG_Symbol *)); |
| static void new_forward_ref PARAMS ((int)); |
| static void generate_suffix PARAMS ((struct VMS_DBG_Symbol *,int)); |
| static void bitfield_suffix PARAMS ((struct VMS_DBG_Symbol *,int)); |
| static void setup_basic_type PARAMS ((struct VMS_DBG_Symbol *)); |
| static void VMS_DBG_record PARAMS ((struct VMS_DBG_Symbol *,int,int,char *)); |
| static void VMS_local_stab_Parse PARAMS ((symbolS *)); |
| static void VMS_stab_parse PARAMS ((symbolS *,int,int,int,int)); |
| static void VMS_GSYM_Parse PARAMS ((symbolS *,int)); |
| static void VMS_LCSYM_Parse PARAMS ((symbolS *,int)); |
| static void VMS_STSYM_Parse PARAMS ((symbolS *,int)); |
| static void VMS_RSYM_Parse PARAMS ((symbolS *,symbolS *,int)); |
| static void VMS_LSYM_Parse PARAMS ((void)); |
| static void Define_Local_Symbols PARAMS ((symbolS *,symbolS *,symbolS *,int)); |
| static void Write_VMS_MHD_Records PARAMS ((void)); |
| static void Write_VMS_EOM_Record PARAMS ((int,valueT)); |
| static void VMS_Case_Hack_Symbol PARAMS ((const char *,char *)); |
| static void VMS_Modify_Psect_Attributes PARAMS ((const char *,int *)); |
| static void VMS_Global_Symbol_Spec PARAMS ((const char *,int,int,int)); |
| static void VMS_Local_Environment_Setup PARAMS ((const char *)); |
| static void VMS_Emit_Globalvalues PARAMS ((unsigned,unsigned,char *)); |
| static void VMS_Procedure_Entry_Pt PARAMS ((char *,int,int,int)); |
| static void VMS_Set_Psect PARAMS ((int,int,int)); |
| static void VMS_Store_Repeated_Data PARAMS ((int,char *,int,int)); |
| static void VMS_Store_PIC_Symbol_Reference PARAMS ((symbolS *,int, |
| int,int,int,int)); |
| static void VMS_Fix_Indirect_Reference PARAMS ((int,int,fragS *,fragS *)); |
| |
| /* Support code which used to be inline within vms_write_object_file. */ |
| static void vms_fixup_text_section PARAMS ((unsigned,struct frag *,struct frag *)); |
| static void synthesize_data_segment PARAMS ((unsigned,unsigned,struct frag *)); |
| static void vms_fixup_data_section PARAMS ((unsigned,unsigned)); |
| static void global_symbol_directory PARAMS ((unsigned,unsigned)); |
| static void local_symbols_DST PARAMS ((symbolS *,symbolS *)); |
| static void vms_build_DST PARAMS ((unsigned)); |
| static void vms_fixup_xtors_section PARAMS ((struct VMS_Symbol *, int)); |
| |
| |
| /* The following code defines the special types of pseudo-ops that we |
| use with VMS. */ |
| |
| unsigned char const_flag = IN_DEFAULT_SECTION; |
| |
| static void |
| s_const (arg) |
| int arg; /* 3rd field from obj_pseudo_table[]; not needed here */ |
| { |
| /* Since we don't need `arg', use it as our scratch variable so that |
| we won't get any "not used" warnings about it. */ |
| arg = get_absolute_expression (); |
| subseg_set (SEG_DATA, (subsegT) arg); |
| const_flag = 1; |
| demand_empty_rest_of_line (); |
| } |
| |
| const pseudo_typeS obj_pseudo_table[] = |
| { |
| {"const", s_const, 0}, |
| {0, 0, 0}, |
| }; /* obj_pseudo_table */ |
| |
| /* Routine to perform RESOLVE_SYMBOL_REDEFINITION(). */ |
| |
| int |
| vms_resolve_symbol_redef (sym) |
| symbolS *sym; |
| { |
| /* |
| * If the new symbol is .comm AND it has a size of zero, |
| * we ignore it (i.e. the old symbol overrides it) |
| */ |
| if (SEGMENT_TO_SYMBOL_TYPE ((int) now_seg) == (N_UNDF | N_EXT) |
| && frag_now_fix () == 0) |
| { |
| as_warn (_("compiler emitted zero-size common symbol `%s' already defined"), |
| S_GET_NAME (sym)); |
| return 1; |
| } |
| /* |
| * If the old symbol is .comm and it has a size of zero, |
| * we override it with the new symbol value. |
| */ |
| if (S_IS_EXTERNAL (sym) && S_IS_DEFINED (sym) && S_GET_VALUE (sym) == 0) |
| { |
| as_warn (_("compiler redefined zero-size common symbol `%s'"), |
| S_GET_NAME (sym)); |
| sym->sy_frag = frag_now; |
| S_SET_OTHER (sym, const_flag); |
| S_SET_VALUE (sym, frag_now_fix ()); |
| /* Keep N_EXT bit. */ |
| sym->sy_symbol.n_type |= SEGMENT_TO_SYMBOL_TYPE ((int) now_seg); |
| return 1; |
| } |
| |
| return 0; |
| } |
| |
| /* `tc_frob_label' handler for colon(symbols.c), used to examine the |
| dummy label(s) gcc inserts at the beginning of each file it generates. |
| gcc 1.x put "gcc_compiled."; gcc 2.x (as of 2.7) puts "gcc2_compiled." |
| and "__gnu_language_<name>" and possibly "__vax_<type>_doubles". */ |
| |
| void |
| vms_check_for_special_label (symbolP) |
| symbolS *symbolP; |
| { |
| /* Special labels only occur prior to explicit section directives. */ |
| if ((const_flag & IN_DEFAULT_SECTION) != 0) |
| { |
| char *sym_name = S_GET_NAME (symbolP); |
| |
| if (*sym_name == '_') |
| ++sym_name; |
| |
| if (!strcmp (sym_name, "__vax_g_doubles")) |
| vax_g_doubles = 1; |
| #if 0 /* not necessary */ |
| else if (!strcmp (sym_name, "__vax_d_doubles")) |
| vax_g_doubles = 0; |
| #endif |
| #if 0 /* these are potential alternatives to tc-vax.c's md_parse_options() */ |
| else if (!strcmp (sym_name, "gcc_compiled.")) |
| flag_one = 1; |
| else if (!strcmp (sym_name, "__gnu_language_cplusplus")) |
| flag_hash_long_names = 1; |
| #endif |
| } |
| return; |
| } |
| |
| void |
| obj_read_begin_hook () |
| { |
| return; |
| } |
| |
| void |
| obj_crawl_symbol_chain (headers) |
| object_headers *headers; |
| { |
| symbolS *symbolP; |
| symbolS **symbolPP; |
| int symbol_number = 0; |
| |
| symbolPP = &symbol_rootP; /* -> last symbol chain link. */ |
| while ((symbolP = *symbolPP) != NULL) |
| { |
| resolve_symbol_value (symbolP, 1); |
| |
| /* OK, here is how we decide which symbols go out into the |
| brave new symtab. Symbols that do are: |
| |
| * symbols with no name (stabd's?) |
| * symbols with debug info in their N_TYPE |
| * symbols with \1 as their 3rd character (numeric labels) |
| * "local labels" needed for PIC fixups |
| |
| Symbols that don't are: |
| * symbols that are registers |
| |
| All other symbols are output. We complain if a deleted |
| symbol was marked external. */ |
| |
| if (!S_IS_REGISTER (symbolP)) |
| { |
| symbolP->sy_number = symbol_number++; |
| symbolP->sy_name_offset = 0; |
| symbolPP = &symbolP->sy_next; |
| } |
| else |
| { |
| if (S_IS_EXTERNAL (symbolP) || !S_IS_DEFINED (symbolP)) |
| { |
| as_bad (_("Local symbol %s never defined"), S_GET_NAME (symbolP)); |
| } /* oops. */ |
| |
| /* Unhook it from the chain. */ |
| *symbolPP = symbol_next (symbolP); |
| } /* if this symbol should be in the output */ |
| |
| } /* for each symbol */ |
| |
| H_SET_STRING_SIZE (headers, string_byte_count); |
| H_SET_SYMBOL_TABLE_SIZE (headers, symbol_number); |
| } /* obj_crawl_symbol_chain() */ |
| |
| |
| /****** VMS OBJECT FILE HACKING ROUTINES *******/ |
| |
| /* Create the VMS object file. */ |
| |
| static void |
| Create_VMS_Object_File () |
| { |
| #if defined(eunice) || !defined(VMS) |
| VMS_Object_File_FD = creat (out_file_name, 0777, "var"); |
| #else /* eunice */ |
| VMS_Object_File_FD = creat (out_file_name, 0, "rfm=var", |
| "ctx=bin", "mbc=16", "deq=64", "fop=tef", |
| "shr=nil"); |
| #endif /* eunice */ |
| /* Deal with errors. */ |
| if (VMS_Object_File_FD < 0) |
| as_fatal (_("Couldn't create VMS object file \"%s\""), out_file_name); |
| /* Initialize object file hacking variables. */ |
| Object_Record_Offset = 0; |
| Current_Object_Record_Type = -1; |
| } |
| |
| /* Flush the object record buffer to the object file. */ |
| |
| static void |
| Flush_VMS_Object_Record_Buffer () |
| { |
| /* If the buffer is empty, there's nothing to do. */ |
| if (Object_Record_Offset == 0) |
| return; |
| |
| #ifndef VMS /* For cross-assembly purposes. */ |
| { |
| char RecLen[2]; |
| |
| /* "Variable-length record" files have a two byte length field |
| prepended to each record. It's normally out-of-band, and native |
| VMS output will insert it automatically for this type of file. |
| When cross-assembling, we must write it explicitly. */ |
| md_number_to_chars (RecLen, Object_Record_Offset, 2); |
| if (write (VMS_Object_File_FD, RecLen, 2) != 2) |
| error (_("I/O error writing VMS object file (length prefix)")); |
| /* We also need to force the actual record to be an even number of |
| bytes. For native output, that's automatic; when cross-assembling, |
| pad with a NUL byte if length is odd. Do so _after_ writing the |
| pre-padded length. Since our buffer is defined with even size, |
| an odd offset implies that it has some room left. */ |
| if ((Object_Record_Offset & 1) != 0) |
| Object_Record_Buffer[Object_Record_Offset++] = '\0'; |
| } |
| #endif /* not VMS */ |
| |
| /* Write the data to the file. */ |
| if (write (VMS_Object_File_FD, Object_Record_Buffer, Object_Record_Offset) |
| != Object_Record_Offset) |
| error (_("I/O error writing VMS object file")); |
| |
| /* The buffer is now empty. */ |
| Object_Record_Offset = 0; |
| } |
| |
| /* Declare a particular type of object file record. */ |
| |
| static void |
| Set_VMS_Object_File_Record (Type) |
| int Type; |
| { |
| /* If the type matches, we are done. */ |
| if (Type == Current_Object_Record_Type) |
| return; |
| /* Otherwise: flush the buffer. */ |
| Flush_VMS_Object_Record_Buffer (); |
| /* Remember the new type. */ |
| Current_Object_Record_Type = Type; |
| } |
| |
| /* Close the VMS Object file. */ |
| |
| static void |
| Close_VMS_Object_File () |
| { |
| /* Flush (should never be necessary) and reset saved record-type context. */ |
| Set_VMS_Object_File_Record (-1); |
| |
| #ifndef VMS /* For cross-assembly purposes. */ |
| { |
| char RecLen[2]; |
| int minus_one = -1; |
| |
| /* Write a 2 byte record-length field of -1 into the file, which |
| means end-of-block when read, hence end-of-file when occurring |
| in the file's last block. It is only needed for variable-length |
| record files transferred to VMS as fixed-length record files |
| (typical for binary FTP; NFS shouldn't need it, but it won't hurt). */ |
| md_number_to_chars (RecLen, minus_one, 2); |
| write (VMS_Object_File_FD, RecLen, 2); |
| } |
| #else |
| /* When written on a VMS system, the file header (cf inode) will record |
| the actual end-of-file position and no inline marker is needed. */ |
| #endif |
| |
| close (VMS_Object_File_FD); |
| } |
| |
| |
| /****** Text Information and Relocation routines ******/ |
| |
| /* Stack Psect base followed by signed, varying-sized offset. |
| Common to several object records. */ |
| |
| static void |
| vms_tir_stack_psect (Psect_Index, Offset, Force) |
| int Psect_Index; |
| int Offset; |
| int Force; |
| { |
| int psect_width, offset_width; |
| |
| psect_width = ((unsigned) Psect_Index > 255) ? 2 : 1; |
| offset_width = (Force || Offset > 32767 || Offset < -32768) ? 4 |
| : (Offset > 127 || Offset < -128) ? 2 : 1; |
| #define Sta_P(p,o) (((o)<<1) | ((p)-1)) |
| /* byte or word psect; byte, word, or longword offset */ |
| switch (Sta_P(psect_width,offset_width)) |
| { |
| case Sta_P(1,1): PUT_CHAR (TIR_S_C_STA_PB); |
| PUT_CHAR ((char) (unsigned char) Psect_Index); |
| PUT_CHAR ((char) Offset); |
| break; |
| case Sta_P(1,2): PUT_CHAR (TIR_S_C_STA_PW); |
| PUT_CHAR ((char) (unsigned char) Psect_Index); |
| PUT_SHORT (Offset); |
| break; |
| case Sta_P(1,4): PUT_CHAR (TIR_S_C_STA_PL); |
| PUT_CHAR ((char) (unsigned char) Psect_Index); |
| PUT_LONG (Offset); |
| break; |
| case Sta_P(2,1): PUT_CHAR (TIR_S_C_STA_WPB); |
| PUT_SHORT (Psect_Index); |
| PUT_CHAR ((char) Offset); |
| break; |
| case Sta_P(2,2): PUT_CHAR (TIR_S_C_STA_WPW); |
| PUT_SHORT (Psect_Index); |
| PUT_SHORT (Offset); |
| break; |
| case Sta_P(2,4): PUT_CHAR (TIR_S_C_STA_WPL); |
| PUT_SHORT (Psect_Index); |
| PUT_LONG (Offset); |
| break; |
| } |
| #undef Sta_P |
| } |
| |
| /* Store immediate data in current Psect. */ |
| |
| static void |
| VMS_Store_Immediate_Data (Pointer, Size, Record_Type) |
| const char *Pointer; |
| int Size; |
| int Record_Type; |
| { |
| register int i; |
| |
| Set_VMS_Object_File_Record (Record_Type); |
| /* We can only store as most 128 bytes at a time due to the way that |
| TIR commands are encoded. */ |
| while (Size > 0) |
| { |
| i = (Size > 128) ? 128 : Size; |
| Size -= i; |
| /* If we cannot accommodate this record, flush the buffer. */ |
| if ((Object_Record_Offset + i + 1) >= sizeof Object_Record_Buffer) |
| Flush_VMS_Object_Record_Buffer (); |
| /* If the buffer is empty we must insert record type. */ |
| if (Object_Record_Offset == 0) |
| PUT_CHAR (Record_Type); |
| /* Store the count. The Store Immediate TIR command is implied by |
| a negative command byte, and the length of the immediate data |
| is abs(command_byte). So, we write the negated length value. */ |
| PUT_CHAR ((char) (-i & 0xff)); |
| /* Now store the data. */ |
| while (--i >= 0) |
| PUT_CHAR (*Pointer++); |
| } |
| /* Flush the buffer if it is more than 75% full. */ |
| if (Object_Record_Offset > (sizeof (Object_Record_Buffer) * 3 / 4)) |
| Flush_VMS_Object_Record_Buffer (); |
| } |
| |
| /* Make a data reference. */ |
| |
| static void |
| VMS_Set_Data (Psect_Index, Offset, Record_Type, Force) |
| int Psect_Index; |
| int Offset; |
| int Record_Type; |
| int Force; |
| { |
| Set_VMS_Object_File_Record (Record_Type); |
| /* If the buffer is empty we must insert the record type. */ |
| if (Object_Record_Offset == 0) |
| PUT_CHAR (Record_Type); |
| /* Stack the Psect base with its offset. */ |
| vms_tir_stack_psect (Psect_Index, Offset, Force); |
| /* Set relocation base. */ |
| PUT_CHAR (TIR_S_C_STO_PIDR); |
| /* Flush the buffer if it is more than 75% full. */ |
| if (Object_Record_Offset > (sizeof (Object_Record_Buffer) * 3 / 4)) |
| Flush_VMS_Object_Record_Buffer (); |
| } |
| |
| /* Make a debugger reference to a struct, union or enum. */ |
| |
| static void |
| VMS_Store_Struct (Struct_Index) |
| int Struct_Index; |
| { |
| /* We are writing a debug record. */ |
| Set_VMS_Object_File_Record (OBJ_S_C_DBG); |
| /* If the buffer is empty we must insert the record type. */ |
| if (Object_Record_Offset == 0) |
| PUT_CHAR (OBJ_S_C_DBG); |
| PUT_CHAR (TIR_S_C_STA_UW); |
| PUT_SHORT (Struct_Index); |
| PUT_CHAR (TIR_S_C_CTL_STKDL); |
| PUT_CHAR (TIR_S_C_STO_L); |
| /* Flush the buffer if it is more than 75% full. */ |
| if (Object_Record_Offset > (sizeof (Object_Record_Buffer) * 3 / 4)) |
| Flush_VMS_Object_Record_Buffer (); |
| } |
| |
| /* Make a debugger reference to partially define a struct, union or enum. */ |
| |
| static void |
| VMS_Def_Struct (Struct_Index) |
| int Struct_Index; |
| { |
| /* We are writing a debug record. */ |
| Set_VMS_Object_File_Record (OBJ_S_C_DBG); |
| /* If the buffer is empty we must insert the record type. */ |
| if (Object_Record_Offset == 0) |
| PUT_CHAR (OBJ_S_C_DBG); |
| PUT_CHAR (TIR_S_C_STA_UW); |
| PUT_SHORT (Struct_Index); |
| PUT_CHAR (TIR_S_C_CTL_DFLOC); |
| /* Flush the buffer if it is more than 75% full. */ |
| if (Object_Record_Offset > (sizeof (Object_Record_Buffer) * 3 / 4)) |
| Flush_VMS_Object_Record_Buffer (); |
| } |
| |
| static void |
| VMS_Set_Struct (Struct_Index) |
| int Struct_Index; |
| { /* see previous functions for comments */ |
| Set_VMS_Object_File_Record (OBJ_S_C_DBG); |
| if (Object_Record_Offset == 0) |
| PUT_CHAR (OBJ_S_C_DBG); |
| PUT_CHAR (TIR_S_C_STA_UW); |
| PUT_SHORT (Struct_Index); |
| PUT_CHAR (TIR_S_C_CTL_STLOC); |
| if (Object_Record_Offset > (sizeof (Object_Record_Buffer) * 3 / 4)) |
| Flush_VMS_Object_Record_Buffer (); |
| } |
| |
| |
| /****** Traceback Information routines ******/ |
| |
| /* Write the Traceback Module Begin record. */ |
| |
| static void |
| VMS_TBT_Module_Begin () |
| { |
| register char *cp, *cp1; |
| int Size; |
| char Local[256]; |
| |
| /* Arrange to store the data locally (leave room for size byte). */ |
| cp = &Local[1]; |
| /* Begin module. */ |
| *cp++ = DST_S_C_MODBEG; |
| *cp++ = 0; /* flags; not used */ |
| /* |
| * Language type == "C" |
| * |
| * (FIXME: this should be based on the input...) |
| */ |
| COPY_LONG (cp, DST_S_C_C); |
| cp += 4; |
| /* Store the module name. */ |
| *cp++ = (char) strlen (Module_Name); |
| cp1 = Module_Name; |
| while (*cp1) |
| *cp++ = *cp1++; |
| /* Now we can store the record size. */ |
| Size = (cp - Local); |
| Local[0] = Size - 1; |
| /* Put it into the object record. */ |
| VMS_Store_Immediate_Data (Local, Size, OBJ_S_C_TBT); |
| } |
| |
| /* Write the Traceback Module End record. */ |
| |
| static void |
| VMS_TBT_Module_End () |
| { |
| char Local[2]; |
| |
| /* End module. */ |
| Local[0] = 1; |
| Local[1] = DST_S_C_MODEND; |
| /* Put it into the object record. */ |
| VMS_Store_Immediate_Data (Local, 2, OBJ_S_C_TBT); |
| } |
| |
| /* Write a Traceback Routine Begin record. */ |
| |
| static void |
| VMS_TBT_Routine_Begin (symbolP, Psect) |
| symbolS *symbolP; |
| int Psect; |
| { |
| register char *cp, *cp1; |
| char *Name; |
| int Offset; |
| int Size; |
| char Local[512]; |
| |
| /* Strip the leading "_" from the name. */ |
| Name = S_GET_NAME (symbolP); |
| if (*Name == '_') |
| Name++; |
| /* Get the text psect offset. */ |
| Offset = S_GET_VALUE (symbolP); |
| /* Set the record size. */ |
| Size = 1 + 1 + 4 + 1 + strlen (Name); |
| Local[0] = Size; |
| /* DST type "routine begin". */ |
| Local[1] = DST_S_C_RTNBEG; |
| /* Uses CallS/CallG. */ |
| Local[2] = 0; |
| /* Store the data so far. */ |
| VMS_Store_Immediate_Data (Local, 3, OBJ_S_C_TBT); |
| /* Make sure we are still generating a OBJ_S_C_TBT record. */ |
| if (Object_Record_Offset == 0) |
| PUT_CHAR (OBJ_S_C_TBT); |
| /* Stack the address. */ |
| vms_tir_stack_psect (Psect, Offset, 0); |
| /* Store the data reference. */ |
| PUT_CHAR (TIR_S_C_STO_PIDR); |
| /* Store the counted string as data. */ |
| cp = Local; |
| cp1 = Name; |
| Size = strlen (cp1) + 1; |
| *cp++ = Size - 1; |
| while (*cp1) |
| *cp++ = *cp1++; |
| VMS_Store_Immediate_Data (Local, Size, OBJ_S_C_TBT); |
| } |
| |
| /* Write a Traceback Routine End record. |
| |
| We *must* search the symbol table to find the next routine, since the |
| assember has a way of reassembling the symbol table OUT OF ORDER Thus |
| the next routine in the symbol list is not necessarily the next one in |
| memory. For debugging to work correctly we must know the size of the |
| routine. */ |
| |
| static void |
| VMS_TBT_Routine_End (Max_Size, sp) |
| int Max_Size; |
| symbolS *sp; |
| { |
| symbolS *symbolP; |
| int Size = 0x7fffffff; |
| char Local[16]; |
| valueT sym_value, sp_value = S_GET_VALUE (sp); |
| |
| for (symbolP = symbol_rootP; symbolP; symbolP = symbol_next (symbolP)) |
| { |
| if (!S_IS_DEBUG (symbolP) && S_GET_TYPE (symbolP) == N_TEXT) |
| { |
| if (*S_GET_NAME (symbolP) == 'L') |
| continue; |
| sym_value = S_GET_VALUE (symbolP); |
| if (sym_value > sp_value && sym_value < Size) |
| Size = sym_value; |
| |
| /* |
| * Dummy labels like "gcc_compiled." should no longer reach here. |
| */ |
| #if 0 |
| else |
| /* check if gcc_compiled. has size of zero */ |
| if (sym_value == sp_value && |
| sp != symbolP && |
| (!strcmp (S_GET_NAME (sp), "gcc_compiled.") || |
| !strcmp (S_GET_NAME (sp), "gcc2_compiled."))) |
| Size = sym_value; |
| #endif |
| } |
| } |
| if (Size == 0x7fffffff) |
| Size = Max_Size; |
| Size -= sp_value; /* and get the size of the routine */ |
| /* Record Size. */ |
| Local[0] = 6; |
| /* DST type is "routine end". */ |
| Local[1] = DST_S_C_RTNEND; |
| Local[2] = 0; /* unused */ |
| /* Size of routine. */ |
| COPY_LONG (&Local[3], Size); |
| /* Store the record. */ |
| VMS_Store_Immediate_Data (Local, 7, OBJ_S_C_TBT); |
| } |
| |
| /* Write a Traceback Block Begin record. */ |
| |
| static void |
| VMS_TBT_Block_Begin (symbolP, Psect, Name) |
| symbolS *symbolP; |
| int Psect; |
| char *Name; |
| { |
| register char *cp, *cp1; |
| int Offset; |
| int Size; |
| char Local[512]; |
| |
| /* Set the record size. */ |
| Size = 1 + 1 + 4 + 1 + strlen (Name); |
| Local[0] = Size; |
| /* DST type is "begin block"; we simulate with a phony routine. */ |
| Local[1] = DST_S_C_BLKBEG; |
| /* Uses CallS/CallG. */ |
| Local[2] = 0; |
| /* Store the data so far. */ |
| VMS_Store_Immediate_Data (Local, 3, OBJ_S_C_DBG); |
| /* Make sure we are still generating a debug record. */ |
| if (Object_Record_Offset == 0) |
| PUT_CHAR (OBJ_S_C_DBG); |
| /* Now get the symbol address. */ |
| PUT_CHAR (TIR_S_C_STA_WPL); |
| PUT_SHORT (Psect); |
| /* Get the text psect offset. */ |
| Offset = S_GET_VALUE (symbolP); |
| PUT_LONG (Offset); |
| /* Store the data reference. */ |
| PUT_CHAR (TIR_S_C_STO_PIDR); |
| /* Store the counted string as data. */ |
| cp = Local; |
| cp1 = Name; |
| Size = strlen (cp1) + 1; |
| *cp++ = Size - 1; |
| while (*cp1) |
| *cp++ = *cp1++; |
| VMS_Store_Immediate_Data (Local, Size, OBJ_S_C_DBG); |
| } |
| |
| /* Write a Traceback Block End record. */ |
| |
| static void |
| VMS_TBT_Block_End (Size) |
| valueT Size; |
| { |
| char Local[16]; |
| |
| Local[0] = 6; /* record length */ |
| /* DST type is "block end"; simulate with a phony end routine. */ |
| Local[1] = DST_S_C_BLKEND; |
| Local[2] = 0; /* unused, must be zero */ |
| COPY_LONG (&Local[3], Size); |
| VMS_Store_Immediate_Data (Local, 7, OBJ_S_C_DBG); |
| } |
| |
| |
| /* Write a Line number <-> Program Counter correlation record. */ |
| |
| static void |
| VMS_TBT_Line_PC_Correlation (Line_Number, Offset, Psect, Do_Delta) |
| int Line_Number; |
| int Offset; |
| int Psect; |
| int Do_Delta; |
| { |
| register char *cp; |
| char Local[64]; |
| |
| if (Do_Delta == 0) |
| { |
| /* |
| * If not delta, set our PC/Line number correlation. |
| */ |
| cp = &Local[1]; /* Put size in Local[0] later. */ |
| /* DST type is "Line Number/PC correlation". */ |
| *cp++ = DST_S_C_LINE_NUM; |
| /* Set Line number. */ |
| if (Line_Number - 1 <= 255) |
| { |
| *cp++ = DST_S_C_SET_LINUM_B; |
| *cp++ = (char) (Line_Number - 1); |
| } |
| else if (Line_Number - 1 <= 65535) |
| { |
| *cp++ = DST_S_C_SET_LINE_NUM; |
| COPY_SHORT (cp, Line_Number - 1), cp += 2; |
| } |
| else |
| { |
| *cp++ = DST_S_C_SET_LINUM_L; |
| COPY_LONG (cp, Line_Number - 1), cp += 4; |
| } |
| /* Set PC. */ |
| *cp++ = DST_S_C_SET_ABS_PC; |
| /* Store size now that we know it, then output the data. */ |
| Local[0] = cp - &Local[1]; |
| /* Account for the space that TIR_S_C_STO_PIDR will use for the PC. */ |
| Local[0] += 4; /* size includes length of another longword */ |
| VMS_Store_Immediate_Data (Local, cp - Local, OBJ_S_C_TBT); |
| /* Make sure we are still generating a OBJ_S_C_TBT record. */ |
| if (Object_Record_Offset == 0) |
| PUT_CHAR (OBJ_S_C_TBT); |
| vms_tir_stack_psect (Psect, Offset, 0); |
| PUT_CHAR (TIR_S_C_STO_PIDR); |
| /* Do a PC offset of 0 to register the line number. */ |
| Local[0] = 2; |
| Local[1] = DST_S_C_LINE_NUM; |
| Local[2] = 0; /* Increment PC by 0 and register line # */ |
| VMS_Store_Immediate_Data (Local, 3, OBJ_S_C_TBT); |
| } |
| else |
| { |
| if (Do_Delta < 0) |
| { |
| /* |
| * When delta is negative, terminate the line numbers. |
| */ |
| Local[0] = 1 + 1 + 4; |
| Local[1] = DST_S_C_LINE_NUM; |
| Local[2] = DST_S_C_TERM_L; |
| COPY_LONG (&Local[3], Offset); |
| VMS_Store_Immediate_Data (Local, 7, OBJ_S_C_TBT); |
| return; |
| } |
| /* |
| * Do a PC/Line delta. |
| */ |
| cp = &Local[1]; |
| *cp++ = DST_S_C_LINE_NUM; |
| if (Line_Number > 1) |
| { |
| /* We need to increment the line number. */ |
| if (Line_Number - 1 <= 255) |
| { |
| *cp++ = DST_S_C_INCR_LINUM; |
| *cp++ = Line_Number - 1; |
| } |
| else if (Line_Number - 1 <= 65535) |
| { |
| *cp++ = DST_S_C_INCR_LINUM_W; |
| COPY_SHORT (cp, Line_Number - 1), cp += 2; |
| } |
| else |
| { |
| *cp++ = DST_S_C_INCR_LINUM_L; |
| COPY_LONG (cp, Line_Number - 1), cp += 4; |
| } |
| } |
| /* |
| * Increment the PC |
| */ |
| if (Offset <= 128) |
| { |
| /* Small offsets are encoded as negative numbers, rather than the |
| usual non-negative type code followed by another data field. */ |
| *cp++ = (char) -Offset; |
| } |
| else if (Offset <= 65535) |
| { |
| *cp++ = DST_S_C_DELTA_PC_W; |
| COPY_SHORT (cp, Offset), cp += 2; |
| } |
| else |
| { |
| *cp++ = DST_S_C_DELTA_PC_L; |
| COPY_LONG (cp, Offset), cp += 4; |
| } |
| /* Set size now that be know it, then output the data. */ |
| Local[0] = cp - &Local[1]; |
| VMS_Store_Immediate_Data (Local, cp - Local, OBJ_S_C_TBT); |
| } |
| } |
| |
| |
| /* Describe a source file to the debugger. */ |
| |
| static int |
| VMS_TBT_Source_File (Filename, ID_Number) |
| char *Filename; |
| int ID_Number; |
| { |
| register char *cp; |
| int len, rfo, ffb, ebk; |
| char cdt[8]; |
| char Local[512]; |
| #ifdef VMS /* Used for native assembly */ |
| unsigned Status; |
| struct FAB fab; /* RMS file access block */ |
| struct NAM nam; /* file name information */ |
| struct XABDAT xabdat; /* date+time fields */ |
| struct XABFHC xabfhc; /* file header characteristics */ |
| char resultant_string_buffer[255 + 1]; |
| |
| /* |
| * Set up RMS structures: |
| */ |
| /* FAB -- file access block */ |
| memset ((char *) &fab, 0, sizeof fab); |
| fab.fab$b_bid = FAB$C_BID; |
| fab.fab$b_bln = (unsigned char) sizeof fab; |
| fab.fab$l_fna = Filename; |
| fab.fab$b_fns = (unsigned char) strlen (Filename); |
| fab.fab$l_nam = (char *) &nam; |
| fab.fab$l_xab = (char *) &xabdat; |
| /* NAM -- file name block */ |
| memset ((char *) &nam, 0, sizeof nam); |
| nam.nam$b_bid = NAM$C_BID; |
| nam.nam$b_bln = (unsigned char) sizeof nam; |
| nam.nam$l_rsa = resultant_string_buffer; |
| nam.nam$b_rss = (unsigned char) (sizeof resultant_string_buffer - 1); |
| /* XABs -- extended attributes blocks */ |
| memset ((char *) &xabdat, 0, sizeof xabdat); |
| xabdat.xab$b_cod = XAB$C_DAT; |
| xabdat.xab$b_bln = (unsigned char) sizeof xabdat; |
| xabdat.xab$l_nxt = (char *) &xabfhc; |
| memset ((char *) &xabfhc, 0, sizeof xabfhc); |
| xabfhc.xab$b_cod = XAB$C_FHC; |
| xabfhc.xab$b_bln = (unsigned char) sizeof xabfhc; |
| xabfhc.xab$l_nxt = 0; |
| /* |
| * Get the file information |
| */ |
| Status = sys$open (&fab); |
| if (!(Status & 1)) |
| { |
| as_tsktsk (_("Couldn't find source file \"%s\", status=%%X%x"), |
| Filename, Status); |
| return 0; |
| } |
| sys$close (&fab); |
| /* Now extract fields of interest. */ |
| memcpy (cdt, (char *) &xabdat.xab$q_cdt, 8); /* creation date */ |
| ebk = xabfhc.xab$l_ebk; /* end-of-file block */ |
| ffb = xabfhc.xab$w_ffb; /* first free byte of last block */ |
| rfo = xabfhc.xab$b_rfo; /* record format */ |
| len = nam.nam$b_rsl; /* length of Filename */ |
| resultant_string_buffer[len] = '\0'; |
| Filename = resultant_string_buffer; /* full filename */ |
| #else /* Cross-assembly */ |
| /* [Perhaps we ought to use actual values derived from stat() here?] */ |
| memset (cdt, 0, 8); /* null VMS quadword binary time */ |
| ebk = ffb = rfo = 0; |
| len = strlen (Filename); |
| if (len > 255) /* a single byte is used as count prefix */ |
| { |
| Filename += (len - 255); /* tail end is more significant */ |
| len = 255; |
| } |
| #endif /* VMS */ |
| |
| cp = &Local[1]; /* fill in record length later */ |
| *cp++ = DST_S_C_SOURCE; /* DST type is "source file" */ |
| *cp++ = DST_S_C_SRC_FORMFEED; /* formfeeds count as source records */ |
| *cp++ = DST_S_C_SRC_DECLFILE; /* declare source file */ |
| know (cp == &Local[4]); |
| *cp++ = 0; /* fill in this length below */ |
| *cp++ = 0; /* flags; must be zero */ |
| COPY_SHORT (cp, ID_Number), cp += 2; /* file ID number */ |
| memcpy (cp, cdt, 8), cp += 8; /* creation date+time */ |
| COPY_LONG (cp, ebk), cp += 4; /* end-of-file block */ |
| COPY_SHORT (cp, ffb), cp += 2; /* first free byte of last block */ |
| *cp++ = (char) rfo; /* RMS record format */ |
| /* Filename. */ |
| *cp++ = (char) len; |
| while (--len >= 0) |
| *cp++ = *Filename++; |
| /* Library module name (none). */ |
| *cp++ = 0; |
| /* Now that size is known, fill it in and write out the record. */ |
| Local[4] = cp - &Local[5]; /* source file declaration size */ |
| Local[0] = cp - &Local[1]; /* TBT record size */ |
| VMS_Store_Immediate_Data (Local, cp - Local, OBJ_S_C_TBT); |
| return 1; |
| } |
| |
| /* Traceback information is described in terms of lines from compiler |
| listing files, not lines from source files. We need to set up the |
| correlation between listing line numbers and source line numbers. |
| Since gcc's .stabn directives refer to the source lines, we just |
| need to describe a one-to-one correspondence. */ |
| |
| static void |
| VMS_TBT_Source_Lines (ID_Number, Starting_Line_Number, Number_Of_Lines) |
| int ID_Number; |
| int Starting_Line_Number; |
| int Number_Of_Lines; |
| { |
| char *cp; |
| int chunk_limit; |
| char Local[128]; /* room enough to describe 1310700 lines... */ |
| |
| cp = &Local[1]; /* Put size in Local[0] later. */ |
| *cp++ = DST_S_C_SOURCE; /* DST type is "source file". */ |
| *cp++ = DST_S_C_SRC_SETFILE; /* Set Source File. */ |
| COPY_SHORT (cp, ID_Number), cp += 2; /* File ID Number. */ |
| /* Set record number and define lines. Since no longword form of |
| SRC_DEFLINES is available, we need to be able to cope with any huge |
| files a chunk at a time. It doesn't matter for tracebacks, since |
| unspecified lines are mapped one-to-one and work out right, but it |
| does matter within the debugger. Without this explicit mapping, |
| it will complain about lines not existing in the module. */ |
| chunk_limit = (sizeof Local - 5) / 6; |
| if (Number_Of_Lines > 65535 * chunk_limit) /* avoid buffer overflow */ |
| Number_Of_Lines = 65535 * chunk_limit; |
| while (Number_Of_Lines > 65535) |
| { |
| *cp++ = DST_S_C_SRC_SETREC_L; |
| COPY_LONG (cp, Starting_Line_Number), cp += 4; |
| *cp++ = DST_S_C_SRC_DEFLINES_W; |
| COPY_SHORT (cp, 65535), cp += 2; |
| Starting_Line_Number += 65535; |
| Number_Of_Lines -= 65535; |
| } |
| /* Set record number and define lines, normal case. */ |
| if (Starting_Line_Number <= 65535) |
| { |
| *cp++ = DST_S_C_SRC_SETREC_W; |
| COPY_SHORT (cp, Starting_Line_Number), cp += 2; |
| } |
| else |
| { |
| *cp++ = DST_S_C_SRC_SETREC_L; |
| COPY_LONG (cp, Starting_Line_Number), cp += 4; |
| } |
| *cp++ = DST_S_C_SRC_DEFLINES_W; |
| COPY_SHORT (cp, Number_Of_Lines), cp += 2; |
| /* Set size now that be know it, then output the data. */ |
| Local[0] = cp - &Local[1]; |
| VMS_Store_Immediate_Data (Local, cp - Local, OBJ_S_C_TBT); |
| } |
| |
| |
| /****** Debugger Information support routines ******/ |
| |
| /* This routine locates a file in the list of files. If an entry does |
| not exist, one is created. For include files, a new entry is always |
| created such that inline functions can be properly debugged. */ |
| |
| static struct input_file * |
| find_file (sp) |
| symbolS *sp; |
| { |
| struct input_file *same_file = 0; |
| struct input_file *fpnt, *last = 0; |
| char *sp_name; |
| |
| for (fpnt = file_root; fpnt; fpnt = fpnt->next) |
| { |
| if (fpnt->spnt == sp) |
| return fpnt; |
| last = fpnt; |
| } |
| sp_name = S_GET_NAME (sp); |
| for (fpnt = file_root; fpnt; fpnt = fpnt->next) |
| { |
| if (strcmp (sp_name, fpnt->name) == 0) |
| { |
| if (fpnt->flag == 1) |
| return fpnt; |
| same_file = fpnt; |
| break; |
| } |
| } |
| fpnt = (struct input_file *) xmalloc (sizeof (struct input_file)); |
| if (!file_root) |
| file_root = fpnt; |
| else |
| last->next = fpnt; |
| fpnt->next = 0; |
| fpnt->name = sp_name; |
| fpnt->min_line = 0x7fffffff; |
| fpnt->max_line = 0; |
| fpnt->offset = 0; |
| fpnt->flag = 0; |
| fpnt->file_number = 0; |
| fpnt->spnt = sp; |
| fpnt->same_file_fpnt = same_file; |
| return fpnt; |
| } |
| |
| /* This routine converts a number string into an integer, and stops when |
| it sees an invalid character. The return value is the address of the |
| character just past the last character read. No error is generated. */ |
| |
| static char * |
| cvt_integer (str, rtn) |
| char *str; |
| int *rtn; |
| { |
| int ival = 0, sgn = 1; |
| |
| if (*str == '-') |
| sgn = -1, ++str; |
| while (*str >= '0' && *str <= '9') |
| ival = 10 * ival + *str++ - '0'; |
| *rtn = sgn * ival; |
| return str; |
| } |
| |
| |
| /* |
| * The following functions and definitions are used to generate object |
| * records that will describe program variables to the VMS debugger. |
| * |
| * This file contains many of the routines needed to output debugging info |
| * into the object file that the VMS debugger needs to understand symbols. |
| * These routines are called very late in the assembly process, and thus |
| * we can be fairly lax about changing things, since the GSD and the TIR |
| * sections have already been output. |
| */ |
| |
| /* This routine fixes the names that are generated by C++, ".this" is a good |
| example. The period does not work for the debugger, since it looks like |
| the syntax for a structure element, and thus it gets mightily confused. |
| |
| We also use this to strip the PsectAttribute hack from the name before we |
| write a debugger record. */ |
| |
| static char * |
| fix_name (pnt) |
| char *pnt; |
| { |
| char *pnt1; |
| |
| /* Kill any leading "_". */ |
| if (*pnt == '_') |
| pnt++; |
| |
| /* Is there a Psect Attribute to skip?? */ |
| if (HAS_PSECT_ATTRIBUTES (pnt)) |
| { |
| /* Yes: Skip it. */ |
| pnt += PSECT_ATTRIBUTES_STRING_LENGTH; |
| while (*pnt) |
| { |
| if ((pnt[0] == '$') && (pnt[1] == '$')) |
| { |
| pnt += 2; |
| break; |
| } |
| pnt++; |
| } |
| } |
| |
| /* Here we fix the .this -> $this conversion. */ |
| for (pnt1 = pnt; *pnt1 != 0; pnt1++) |
| if (*pnt1 == '.') |
| *pnt1 = '$'; |
| |
| return pnt; |
| } |
| |
| /* When defining a structure, this routine is called to find the name of |
| the actual structure. It is assumed that str points to the equal sign |
| in the definition, and it moves backward until it finds the start of the |
| name. If it finds a 0, then it knows that this structure def is in the |
| outermost level, and thus symbol_name points to the symbol name. */ |
| |
| static char * |
| get_struct_name (str) |
| char *str; |
| { |
| char *pnt; |
| pnt = str; |
| while ((*pnt != ':') && (*pnt != '\0')) |
| pnt--; |
| if (*pnt == '\0') |
| return (char *) symbol_name; |
| *pnt-- = '\0'; |
| while ((*pnt != ';') && (*pnt != '=')) |
| pnt--; |
| if (*pnt == ';') |
| return pnt + 1; |
| while ((*pnt < '0') || (*pnt > '9')) |
| pnt++; |
| while ((*pnt >= '0') && (*pnt <= '9')) |
| pnt++; |
| return pnt; |
| } |
| |
| /* Search symbol list for type number dbx_type. |
| Return a pointer to struct. */ |
| |
| static struct VMS_DBG_Symbol * |
| find_symbol (dbx_type) |
| int dbx_type; |
| { |
| struct VMS_DBG_Symbol *spnt; |
| |
| spnt = VMS_Symbol_type_list[SYMTYP_HASH (dbx_type)]; |
| while (spnt) |
| { |
| if (spnt->dbx_type == dbx_type) |
| break; |
| spnt = spnt->next; |
| } |
| if (!spnt || spnt->advanced != ALIAS) |
| return spnt; |
| return find_symbol (spnt->type2); |
| } |
| |
| #if 0 /* obsolete */ |
| /* this routine puts info into either Local or Asuffix, depending on the sign |
| * of size. The reason is that it is easier to build the variable descriptor |
| * backwards, while the array descriptor is best built forwards. In the end |
| * they get put together, if there is not a struct/union/enum along the way |
| */ |
| static void |
| push (value, size1) |
| int value, size1; |
| { |
| if (size1 < 0) |
| { |
| size1 = -size1; |
| if (Lpnt < size1) |
| { |
| overflow = 1; |
| Lpnt = 1; |
| return; |
| } |
| Lpnt -= size1; |
| md_number_to_chars (&Local[Lpnt + 1], value, size1); |
| } |
| else |
| { |
| if (Apoint + size1 >= MAX_DEBUG_RECORD) |
| { |
| overflow = 1; |
| Apoint = MAX_DEBUG_RECORD - 1; |
| return; |
| } |
| md_number_to_chars (&Asuffix[Apoint], value, size1); |
| Apoint += size1; |
| } |
| } |
| #endif |
| |
| static void |
| fpush (value, size) |
| int value, size; |
| { |
| if (Apoint + size >= MAX_DEBUG_RECORD) |
| { |
| overflow = 1; |
| Apoint = MAX_DEBUG_RECORD - 1; |
| return; |
| } |
| if (size == 1) |
| Asuffix[Apoint++] = (char) value; |
| else |
| { |
| md_number_to_chars (&Asuffix[Apoint], value, size); |
| Apoint += size; |
| } |
| } |
| |
| static void |
| rpush (value, size) |
| int value, size; |
| { |
| if (Lpnt < size) |
| { |
| overflow = 1; |
| Lpnt = 1; |
| return; |
| } |
| if (size == 1) |
| Local[Lpnt--] = (char) value; |
| else |
| { |
| Lpnt -= size; |
| md_number_to_chars (&Local[Lpnt + 1], value, size); |
| } |
| } |
| |
| /* This routine generates the array descriptor for a given array. */ |
| |
| static void |
| array_suffix (spnt2) |
| struct VMS_DBG_Symbol *spnt2; |
| { |
| struct VMS_DBG_Symbol *spnt; |
| struct VMS_DBG_Symbol *spnt1; |
| int rank; |
| int total_size; |
| |
| rank = 0; |
| spnt = spnt2; |
| while (spnt->advanced != ARRAY) |
| { |
| spnt = find_symbol (spnt->type2); |
| if (!spnt) |
| return; |
| } |
| spnt1 = spnt; |
| total_size = 1; |
| while (spnt1->advanced == ARRAY) |
| { |
| rank++; |
| total_size *= (spnt1->index_max - spnt1->index_min + 1); |
| spnt1 = find_symbol (spnt1->type2); |
| } |
| total_size = total_size * spnt1->data_size; |
| fpush (spnt1->data_size, 2); /* element size */ |
| if (spnt1->VMS_type == DBG_S_C_ADVANCED_TYPE) |
| fpush (0, 1); |
| else |
| fpush (spnt1->VMS_type, 1); /* element type */ |
| fpush (DSC_K_CLASS_A, 1); /* descriptor class */ |
| fpush (0, 4); /* base address */ |
| fpush (0, 1); /* scale factor -- not applicable */ |
| fpush (0, 1); /* digit count -- not applicable */ |
| fpush (0xc0, 1); /* flags: multiplier block & bounds present */ |
| fpush (rank, 1); /* number of dimensions */ |
| fpush (total_size, 4); |
| fpush (0, 4); /* pointer to element [0][0]...[0] */ |
| spnt1 = spnt; |
| while (spnt1->advanced == ARRAY) |
| { |
| fpush (spnt1->index_max - spnt1->index_min + 1, 4); |
| spnt1 = find_symbol (spnt1->type2); |
| } |
| spnt1 = spnt; |
| while (spnt1->advanced == ARRAY) |
| { |
| fpush (spnt1->index_min, 4); |
| fpush (spnt1->index_max, 4); |
| spnt1 = find_symbol (spnt1->type2); |
| } |
| } |
| |
| /* This routine generates the start of a variable descriptor based upon |
| a struct/union/enum that has yet to be defined. We define this spot as |
| a new location, and save four bytes for the address. When the struct is |
| finally defined, then we can go back and plug in the correct address. */ |
| |
| static void |
| new_forward_ref (dbx_type) |
| int dbx_type; |
| { |
| struct forward_ref *fpnt; |
| fpnt = (struct forward_ref *) xmalloc (sizeof (struct forward_ref)); |
| fpnt->next = f_ref_root; |
| f_ref_root = fpnt; |
| fpnt->dbx_type = dbx_type; |
| fpnt->struc_numb = ++structure_count; |
| fpnt->resolved = 'N'; |
| rpush (DST_K_TS_IND, 1); /* indirect type specification */ |
| total_len = 5; |
| rpush (total_len, 2); |
| struct_number = -fpnt->struc_numb; |
| } |
| |
| /* This routine generates the variable descriptor used to describe non-basic |
| variables. It calls itself recursively until it gets to the bottom of it |
| all, and then builds the descriptor backwards. It is easiest to do it |
| this way since we must periodically write length bytes, and it is easiest |
| if we know the value when it is time to write it. */ |
| |
| static int |
| gen1 (spnt, array_suffix_len) |
| struct VMS_DBG_Symbol *spnt; |
| int array_suffix_len; |
| { |
| struct VMS_DBG_Symbol *spnt1; |
| int i; |
| |
| switch (spnt->advanced) |
| { |
| case VOID: |
| rpush (DBG_S_C_VOID, 1); |
| total_len += 1; |
| rpush (total_len, 2); |
| return 0; |
| case BASIC: |
| case FUNCTION: |
| if (array_suffix_len == 0) |
| { |
| rpush (spnt->VMS_type, 1); |
| rpush (DBG_S_C_BASIC, 1); |
| total_len = 2; |
| rpush (total_len, 2); |
| return 1; |
| } |
| rpush (0, 4); |
| rpush (DST_K_VFLAGS_DSC, 1); |
| rpush (DST_K_TS_DSC, 1); /* descriptor type specification */ |
| total_len = -2; |
| return 1; |
| case STRUCT: |
| case UNION: |
| case ENUM: |
| struct_number = spnt->struc_numb; |
| if (struct_number < 0) |
| { |
| new_forward_ref (spnt->dbx_type); |
| return 1; |
| } |
| rpush (DBG_S_C_STRUCT, 1); |
| total_len = 5; |
| rpush (total_len, 2); |
| return 1; |
| case POINTER: |
| spnt1 = find_symbol (spnt->type2); |
| i = 1; |
| if (!spnt1) |
| new_forward_ref (spnt->type2); |
| else |
| i = gen1 (spnt1, 0); |
| if (i) |
| { /* (*void) is a special case, do not put pointer suffix */ |
| rpush (DBG_S_C_POINTER, 1); |
| total_len += 3; |
| rpush (total_len, 2); |
| } |
| return 1; |
| case ARRAY: |
| spnt1 = spnt; |
| while (spnt1->advanced == ARRAY) |
| { |
| spnt1 = find_symbol (spnt1->type2); |
| if (!spnt1) |
| { |
| as_tsktsk (_("debugger forward reference error, dbx type %d"), |
| spnt->type2); |
| return 0; |
| } |
| } |
| /* It is too late to generate forward references, so the user gets a message. |
| * This should only happen on a compiler error */ |
| (void) gen1 (spnt1, 1); |
| i = Apoint; |
| array_suffix (spnt); |
| array_suffix_len = Apoint - i; |
| switch (spnt1->advanced) |
| { |
| case BASIC: |
| case FUNCTION: |
| break; |
| default: |
| rpush (0, 2); |
| total_len += 2; |
| rpush (total_len, 2); |
| rpush (DST_K_VFLAGS_DSC, 1); |
| rpush (1, 1); /* flags: element value spec included */ |
| rpush (1, 1); /* one dimension */ |
| rpush (DBG_S_C_COMPLEX_ARRAY, 1); |
| } |
| total_len += array_suffix_len + 8; |
| rpush (total_len, 2); |
| break; |
| default: /* lint suppression */ |
| break; |
| } |
| return 0; |
| } |
| |
| /* This generates a suffix for a variable. If it is not a defined type yet, |
| then dbx_type contains the type we are expecting so we can generate a |
| forward reference. This calls gen1 to build most of the descriptor, and |
| then it puts the icing on at the end. It then dumps whatever is needed |
| to get a complete descriptor (i.e. struct reference, array suffix). */ |
| |
| static void |
| generate_suffix (spnt, dbx_type) |
| struct VMS_DBG_Symbol *spnt; |
| int dbx_type; |
| { |
| static const char pvoid[6] = { |
| 5, /* record.length == 5 */ |
| DST_K_TYPSPEC, /* record.type == 1 (type specification) */ |
| 0, /* name.length == 0, no name follows */ |
| 1, 0, /* type.length == 1 {2 bytes, little endian} */ |
| DBG_S_C_VOID /* type.type == 5 (pointer to unspecified) */ |
| }; |
| int i; |
| |
| Apoint = 0; |
| Lpnt = MAX_DEBUG_RECORD - 1; |
| total_len = 0; |
| struct_number = 0; |
| overflow = 0; |
| if (!spnt) |
| new_forward_ref (dbx_type); |
| else |
| { |
| if (spnt->VMS_type != DBG_S_C_ADVANCED_TYPE) |
| return; /* no suffix needed */ |
| gen1 (spnt, 0); |
| } |
| rpush (0, 1); /* no name (len==0) */ |
| rpush (DST_K_TYPSPEC, 1); |
| total_len += 4; |
| rpush (total_len, 1); |
| /* If the variable descriptor overflows the record, output a descriptor |
| for a pointer to void. */ |
| if ((total_len >= MAX_DEBUG_RECORD) || overflow) |
| { |
| as_warn (_("Variable descriptor %d too complicated. Defined as `void *'."), |
| spnt->dbx_type); |
| VMS_Store_Immediate_Data (pvoid, 6, OBJ_S_C_DBG); |
| return; |
| } |
| i = 0; |
| while (Lpnt < MAX_DEBUG_RECORD - 1) |
| Local[i++] = Local[++Lpnt]; |
| Lpnt = i; |
| /* we use this for reference to structure that has already been defined */ |
| if (struct_number > 0) |
| { |
| VMS_Store_Immediate_Data (Local, Lpnt, OBJ_S_C_DBG); |
| Lpnt = 0; |
| VMS_Store_Struct (struct_number); |
| } |
| /* We use this for a forward reference to a structure that has yet to |
| be defined. We store four bytes of zero to make room for the actual |
| address once it is known. */ |
| if (struct_number < 0) |
| { |
| struct_number = -struct_number; |
| VMS_Store_Immediate_Data (Local, Lpnt, OBJ_S_C_DBG); |
| Lpnt = 0; |
| VMS_Def_Struct (struct_number); |
| COPY_LONG (&Local[Lpnt], 0L); |
| Lpnt += 4; |
| VMS_Store_Immediate_Data (Local, Lpnt, OBJ_S_C_DBG); |
| Lpnt = 0; |
| } |
| i = 0; |
| while (i < Apoint) |
| Local[Lpnt++] = Asuffix[i++]; |
| if (Lpnt != 0) |
| VMS_Store_Immediate_Data (Local, Lpnt, OBJ_S_C_DBG); |
| Lpnt = 0; |
| } |
| |
| /* "novel length" type doesn't work for simple atomic types */ |
| #define USE_BITSTRING_DESCRIPTOR(t) ((t)->advanced == BASIC) |
| #undef SETUP_BASIC_TYPES |
| |
| /* This routine generates a type description for a bitfield. */ |
| |
| static void |
| bitfield_suffix (spnt, width) |
| struct VMS_DBG_Symbol *spnt; |
| int width; |
| { |
| Local[Lpnt++] = 13; /* rec.len==13 */ |
| Local[Lpnt++] = DST_K_TYPSPEC; /* a type specification record */ |
| Local[Lpnt++] = 0; /* not named */ |
| COPY_SHORT (&Local[Lpnt], 9); /* typ.len==9 */ |
| Lpnt += 2; |
| Local[Lpnt++] = DST_K_TS_NOV_LENG; /* This type is a "novel length" |
| incarnation of some other type. */ |
| COPY_LONG (&Local[Lpnt], width); /* size in bits == novel length */ |
| Lpnt += 4; |
| VMS_Store_Immediate_Data (Local, Lpnt, OBJ_S_C_DBG); |
| Lpnt = 0; |
| /* assert( spnt->struc_numb > 0 ); */ |
| VMS_Store_Struct (spnt->struc_numb); /* output 4 more bytes */ |
| } |
| |
| /* Formally define a builtin type, so that it can serve as the target of |
| an indirect reference. It makes bitfield_suffix() easier by avoiding |
| the need to use a forward reference for the first occurrence of each |
| type used in a bitfield. */ |
| |
| static void |
| setup_basic_type (spnt) |
| struct VMS_DBG_Symbol *spnt; |
| { |
| #ifdef SETUP_BASIC_TYPES |
| /* This would be very useful if "novel length" fields actually worked |
| with basic types like they do with enumerated types. However, |
| they do not, so this isn't worth doing just so that you can use |
| EXAMINE/TYPE=(__long_long_int) instead of EXAMINE/QUAD. */ |
| char *p; |
| #ifndef SETUP_SYNONYM_TYPES |
| /* This determines whether compatible things like `int' and `long int' |
| ought to have distinct type records rather than sharing one. */ |
| struct VMS_DBG_Symbol *spnt2; |
| |
| /* first check whether this type has already been seen by another name */ |
| for (spnt2 = VMS_Symbol_type_list[SYMTYP_HASH (spnt->VMS_type)]; |
| spnt2; |
| spnt2 = spnt2->next) |
| if (spnt2 != spnt && spnt2->VMS_type == spnt->VMS_type) |
| { |
| spnt->struc_numb = spnt2->struc_numb; |
| return; |
| } |
| #endif |
| |
| /* `structure number' doesn't really mean `structure'; it means an index |
| into a linker maintained set of saved locations which can be referenced |
| again later. */ |
| spnt->struc_numb = ++structure_count; |
| VMS_Def_Struct (spnt->struc_numb); /* remember where this type lives */ |
| /* define the simple scalar type */ |
| Local[Lpnt++] = 6 + strlen (symbol_name) + 2; /* rec.len */ |
| Local[Lpnt++] = DST_K_TYPSPEC; /* rec.typ==type specification */ |
| Local[Lpnt++] = strlen (symbol_name) + 2; |
| Local[Lpnt++] = '_'; /* prefix name with "__" */ |
| Local[Lpnt++] = '_'; |
| for (p = symbol_name; *p; p++) |
| Local[Lpnt++] = *p == ' ' ? '_' : *p; |
| COPY_SHORT (&Local[Lpnt], 2); /* typ.len==2 */ |
| Lpnt += 2; |
| Local[Lpnt++] = DST_K_TS_ATOM; /* typ.kind is simple type */ |
| Local[Lpnt++] = spnt->VMS_type; /* typ.type */ |
| VMS_Store_Immediate_Data (Local, Lpnt, OBJ_S_C_DBG); |
| Lpnt = 0; |
| #endif /* SETUP_BASIC_TYPES */ |
| return; |
| } |
| |
| /* This routine generates a symbol definition for a C symbol for the debugger. |
| It takes a psect and offset for global symbols; if psect < 0, then this is |
| a local variable and the offset is relative to FP. In this case it can |
| be either a variable (Offset < 0) or a parameter (Offset > 0). */ |
| |
| static void |
| VMS_DBG_record (spnt, Psect, Offset, Name) |
| struct VMS_DBG_Symbol *spnt; |
| int Psect; |
| int Offset; |
| char *Name; |
| { |
| char *Name_pnt; |
| int len; |
| int i = 0; |
| |
| /* if there are bad characters in name, convert them */ |
| Name_pnt = fix_name (Name); |
| |
| len = strlen (Name_pnt); |
| if (Psect < 0) |
| { /* this is a local variable, referenced to SP */ |
| Local[i++] = 7 + len; |
| Local[i++] = spnt->VMS_type; |
| Local[i++] = (Offset > 0) ? DBG_C_FUNCTION_PARAM : DBG_C_LOCAL_SYM; |
| COPY_LONG (&Local[i], Offset); |
| i += 4; |
| } |
| else |
| { |
| Local[i++] = 7 + len; |
| Local[i++] = spnt->VMS_type; |
| Local[i++] = DST_K_VALKIND_ADDR; |
| VMS_Store_Immediate_Data (Local, i, OBJ_S_C_DBG); |
| i = 0; |
| VMS_Set_Data (Psect, Offset, OBJ_S_C_DBG, 0); |
| } |
| Local[i++] = len; |
| while (*Name_pnt != '\0') |
| Local[i++] = *Name_pnt++; |
| VMS_Store_Immediate_Data (Local, i, OBJ_S_C_DBG); |
| if (spnt->VMS_type == DBG_S_C_ADVANCED_TYPE) |
| generate_suffix (spnt, 0); |
| } |
| |
| /* This routine parses the stabs entries in order to make the definition |
| for the debugger of local symbols and function parameters. */ |
| |
| static void |
| VMS_local_stab_Parse (sp) |
| symbolS *sp; |
| { |
| struct VMS_DBG_Symbol *spnt; |
| char *pnt; |
| char *pnt1; |
| char *str; |
| int dbx_type; |
| |
| dbx_type = 0; |
| str = S_GET_NAME (sp); |
| pnt = (char *) strchr (str, ':'); |
| if (!pnt) |
| return; /* no colon present */ |
| pnt1 = pnt++; /* save this for later, and skip colon */ |
| if (*pnt == 'c') |
| return; /* ignore static constants */ |
| |
| /* there is one little catch that we must be aware of. Sometimes function |
| * parameters are optimized into registers, and the compiler, in its infiite |
| * wisdom outputs stabs records for *both*. In general we want to use the |
| * register if it is present, so we must search the rest of the symbols for |
| * this function to see if this parameter is assigned to a register. |
| */ |
| { |
| symbolS *sp1; |
| char *str1; |
| char *pnt2; |
| |
| if (*pnt == 'p') |
| { |
| for (sp1 = symbol_next (sp); sp1; sp1 = symbol_next (sp1)) |
| { |
| if (!S_IS_DEBUG (sp1)) |
| continue; |
| if (S_GET_RAW_TYPE (sp1) == N_FUN) |
| { |
| pnt2 = (char *) strchr (S_GET_NAME (sp1), ':') + 1; |
| if (*pnt2 == 'F' || *pnt2 == 'f') |
| break; |
| } |
| if (S_GET_RAW_TYPE (sp1) != N_RSYM) |
| continue; |
| str1 = S_GET_NAME (sp1); /* and get the name */ |
| pnt2 = str; |
| while (*pnt2 != ':') |
| { |
| if (*pnt2 != *str1) |
| break; |
| pnt2++; |
| str1++; |
| } |
| if (*str1 == ':' && *pnt2 == ':') |
| return; /* They are the same! Let's skip this one. */ |
| } /* for */ |
| pnt++; /* skip p in case no register */ |
| } /* if */ |
| } /* p block */ |
| |
| pnt = cvt_integer (pnt, &dbx_type); |
| spnt = find_symbol (dbx_type); |
| if (!spnt) |
| return; /*Dunno what this is*/ |
| *pnt1 = '\0'; |
| VMS_DBG_record (spnt, -1, S_GET_VALUE (sp), str); |
| *pnt1 = ':'; /* and restore the string */ |
| return; |
| } |
| |
| /* This routine parses a stabs entry to find the information required |
| to define a variable. It is used for global and static variables. |
| Basically we need to know the address of the symbol. With older |
| versions of the compiler, const symbols are treated differently, in |
| that if they are global they are written into the text psect. The |
| global symbol entry for such a const is actually written as a program |
| entry point (Yuk!!), so if we cannot find a symbol in the list of |
| psects, we must search the entry points as well. static consts are |
| even harder, since they are never assigned a memory address. The |
| compiler passes a stab to tell us the value, but I am not sure what |
| to do with it. */ |
| |
| static void |
| VMS_stab_parse (sp, expected_type, type1, type2, Text_Psect) |
| symbolS *sp; |
| int expected_type; /* char */ |
| int type1, type2, Text_Psect; |
| { |
| char *pnt; |
| char *pnt1; |
| char *str; |
| symbolS *sp1; |
| struct VMS_DBG_Symbol *spnt; |
| struct VMS_Symbol *vsp; |
| int dbx_type; |
| |
| dbx_type = 0; |
| str = S_GET_NAME (sp); |
| pnt = (char *) strchr (str, ':'); |
| if (!pnt) |
| return; /* no colon present */ |
| pnt1 = pnt; /* save this for later*/ |
| pnt++; |
| if (*pnt == expected_type) |
| { |
| pnt = cvt_integer (pnt + 1, &dbx_type); |
| spnt = find_symbol (dbx_type); |
| if (!spnt) |
| return; /*Dunno what this is*/ |
| /* |
| * Now we need to search the symbol table to find the psect and |
| * offset for this variable. |
| */ |
| *pnt1 = '\0'; |
| vsp = VMS_Symbols; |
| while (vsp) |
| { |
| pnt = S_GET_NAME (vsp->Symbol); |
| if (pnt && *pnt++ == '_' |
| /* make sure name is the same and symbol type matches */ |
| && strcmp (pnt, str) == 0 |
| && (S_GET_RAW_TYPE (vsp->Symbol) == type1 |
| || S_GET_RAW_TYPE (vsp->Symbol) == type2)) |
| break; |
| vsp = vsp->Next; |
| } |
| if (vsp) |
| { |
| VMS_DBG_record (spnt, vsp->Psect_Index, vsp->Psect_Offset, str); |
| *pnt1 = ':'; /* and restore the string */ |
| return; |
| } |
| /* The symbol was not in the symbol list, but it may be an |
| "entry point" if it was a constant. */ |
| for (sp1 = symbol_rootP; sp1; sp1 = symbol_next (sp1)) |
| { |
| /* |
| * Dispatch on STAB type |
| */ |
| if (S_IS_DEBUG (sp1) || (S_GET_TYPE (sp1) != N_TEXT)) |
| continue; |
| pnt = S_GET_NAME (sp1); |
| if (*pnt == '_') |
| pnt++; |
| if (strcmp (pnt, str) == 0) |
| { |
| if (!gave_compiler_message && expected_type == 'G') |
| { |
| char *long_const_msg = _("\ |
| ***Warning - the assembly code generated by the compiler has placed \n\ |
| global constant(s) in the text psect. These will not be available to \n\ |
| other modules, since this is not the correct way to handle this. You \n\ |
| have two options: 1) get a patched compiler that does not put global \n\ |
| constants in the text psect, or 2) remove the 'const' keyword from \n\ |
| definitions of global variables in your source module(s). Don't say \n\ |
| I didn't warn you! \n"); |
| |
| as_tsktsk (long_const_msg); |
| gave_compiler_message = 1; |
| } |
| VMS_DBG_record (spnt, |
| Text_Psect, |
| S_GET_VALUE (sp1), |
| str); |
| *pnt1 = ':'; |
| /* fool assembler to not output this as a routine in the TBT */ |
| pnt1 = S_GET_NAME (sp1); |
| *pnt1 = 'L'; |
| S_SET_NAME (sp1, pnt1); |
| return; |
| } |
| } |
| } |
| *pnt1 = ':'; /* and restore the string */ |
| return; |
| } |
| |
| /* Simpler interfaces into VMS_stab_parse(). */ |
| |
| static void |
| VMS_GSYM_Parse (sp, Text_Psect) |
| symbolS *sp; |
| int Text_Psect; |
| { /* Global variables */ |
| VMS_stab_parse (sp, 'G', (N_UNDF | N_EXT), (N_DATA | N_EXT), Text_Psect); |
| } |
| |
| static void |
| VMS_LCSYM_Parse (sp, Text_Psect) |
| symbolS *sp; |
| int Text_Psect; |
| { /* Static symbols - uninitialized */ |
| VMS_stab_parse (sp, 'S', N_BSS, -1, Text_Psect); |
| } |
| |
| static void |
| VMS_STSYM_Parse (sp, Text_Psect) |
| symbolS *sp; |
| int Text_Psect; |
| { /* Static symbols - initialized */ |
| VMS_stab_parse (sp, 'S', N_DATA, -1, Text_Psect); |
| } |
| |
| /* For register symbols, we must figure out what range of addresses |
| within the psect are valid. We will use the brackets in the stab |
| directives to give us guidance as to the PC range that this variable |
| is in scope. I am still not completely comfortable with this but |
| as I learn more, I seem to get a better handle on what is going on. |
| Caveat Emptor. */ |
| |
| static void |
| VMS_RSYM_Parse (sp, Current_Routine, Text_Psect) |
| symbolS *sp, *Current_Routine; |
| int Text_Psect; |
| { |
| symbolS *symbolP; |
| struct VMS_DBG_Symbol *spnt; |
| char *pnt; |
| char *pnt1; |
| char *str; |
| int dbx_type; |
| int len; |
| int i = 0; |
| int bcnt = 0; |
| int Min_Offset = -1; /* min PC of validity */ |
| int Max_Offset = 0; /* max PC of validity */ |
| |
| for (symbolP = sp; symbolP; symbolP = symbol_next (symbolP)) |
| { |
| /* |
| * Dispatch on STAB type |
| */ |
| switch (S_GET_RAW_TYPE (symbolP)) |
| { |
| case N_LBRAC: |
| if (bcnt++ == 0) |
| Min_Offset = S_GET_VALUE (symbolP); |
| break; |
| case N_RBRAC: |
| if (--bcnt == 0) |
| Max_Offset = S_GET_VALUE (symbolP) - 1; |
| break; |
| } |
| if ((Min_Offset != -1) && (bcnt == 0)) |
| break; |
| if (S_GET_RAW_TYPE (symbolP) == N_FUN) |
| { |
| pnt = (char *) strchr (S_GET_NAME (symbolP), ':') + 1; |
| if (*pnt == 'F' || *pnt == 'f') break; |
| } |
| } |
| |
| /* Check to see that the addresses were defined. If not, then there |
| were no brackets in the function, and we must try to search for |
| the next function. Since functions can be in any order, we should |
| search all of the symbol list to find the correct ending address. */ |
| if (Min_Offset == -1) |
| { |
| int Max_Source_Offset; |
| int This_Offset; |
| |
| Min_Offset = S_GET_VALUE (sp); |
| Max_Source_Offset = Min_Offset; /* just in case no N_SLINEs found */ |
| for (symbolP = symbol_rootP; symbolP; symbolP = symbol_next (symbolP)) |
| switch (S_GET_RAW_TYPE (symbolP)) |
| { |
| case N_TEXT | N_EXT: |
| This_Offset = S_GET_VALUE (symbolP); |
| if (This_Offset > Min_Offset && This_Offset < Max_Offset) |
| Max_Offset = This_Offset; |
| break; |
| case N_SLINE: |
| This_Offset = S_GET_VALUE (symbolP); |
| if (This_Offset > Max_Source_Offset) |
| Max_Source_Offset = This_Offset; |
| break; |
| } |
| /* If this is the last routine, then we use the PC of the last source |
| line as a marker of the max PC for which this reg is valid. */ |
| if (Max_Offset == 0x7fffffff) |
| Max_Offset = Max_Source_Offset; |
| } |
| |
| dbx_type = 0; |
| str = S_GET_NAME (sp); |
| if ((pnt = (char *) strchr (str, ':')) == 0) |
| return; /* no colon present */ |
| pnt1 = pnt; /* save this for later*/ |
| pnt++; |
| if (*pnt != 'r') |
| return; |
| pnt = cvt_integer (pnt + 1, &dbx_type); |
| spnt = find_symbol (dbx_type); |
| if (!spnt) |
| return; /*Dunno what this is yet*/ |
| *pnt1 = '\0'; |
| pnt = fix_name (S_GET_NAME (sp)); /* if there are bad characters in name, convert them */ |
| len = strlen (pnt); |
| Local[i++] = 25 + len; |
| Local[i++] = spnt->VMS_type; |
| Local[i++] = DST_K_VFLAGS_TVS; /* trailing value specified */ |
| COPY_LONG (&Local[i], 1 + len); /* relative offset, beyond name */ |
| i += 4; |
| Local[i++] = len; /* name length (ascic prefix) */ |
| while (*pnt != '\0') |
| Local[i++] = *pnt++; |
| Local[i++] = DST_K_VS_FOLLOWS; /* value specification follows */ |
| COPY_SHORT (&Local[i], 15); /* length of rest of record */ |
| i += 2; |
| Local[i++] = DST_K_VS_ALLOC_SPLIT; /* split lifetime */ |
| Local[i++] = 1; /* one binding follows */ |
| VMS_Store_Immediate_Data (Local, i, OBJ_S_C_DBG); |
| i = 0; |
| VMS_Set_Data (Text_Psect, Min_Offset, OBJ_S_C_DBG, 1); |
| VMS_Set_Data (Text_Psect, Max_Offset, OBJ_S_C_DBG, 1); |
| Local[i++] = DST_K_VALKIND_REG; /* nested value spec */ |
| COPY_LONG (&Local[i], S_GET_VALUE (sp)); |
| i += 4; |
| VMS_Store_Immediate_Data (Local, i, OBJ_S_C_DBG); |
| *pnt1 = ':'; |
| if (spnt->VMS_type == DBG_S_C_ADVANCED_TYPE) |
| generate_suffix (spnt, 0); |
| } |
| |
| /* This function examines a structure definition, checking all of the elements |
| to make sure that all of them are fully defined. The only thing that we |
| kick out are arrays of undefined structs, since we do not know how big |
| they are. All others we can handle with a normal forward reference. */ |
| |
| static int |
| forward_reference (pnt) |
| char *pnt; |
| { |
| struct VMS_DBG_Symbol *spnt, *spnt1; |
| int i; |
| |
| pnt = cvt_integer (pnt + 1, &i); |
| if (*pnt == ';') |
| return 0; /* no forward references */ |
| do |
| { |
| pnt = (char *) strchr (pnt, ':'); |
| pnt = cvt_integer (pnt + 1, &i); |
| spnt = find_symbol (i); |
| while (spnt && (spnt->advanced == POINTER || spnt->advanced == ARRAY)) |
| { |
| spnt1 = find_symbol (spnt->type2); |
| if (spnt->advanced == ARRAY && !spnt1) |
| return 1; |
| spnt = spnt1; |
| } |
| pnt = cvt_integer (pnt + 1, &i); |
| pnt = cvt_integer (pnt + 1, &i); |
| } while (*++pnt != ';'); |
| return 0; /* no forward refences found */ |
| } |
| |
| /* Used to check a single element of a structure on the final pass. */ |
| |
| static int |
| final_forward_reference (spnt) |
| struct VMS_DBG_Symbol *spnt; |
| { |
| struct VMS_DBG_Symbol *spnt1; |
| |
| while (spnt && (spnt->advanced == POINTER || spnt->advanced == ARRAY)) |
| { |
| spnt1 = find_symbol (spnt->type2); |
| if (spnt->advanced == ARRAY && !spnt1) |
| return 1; |
| spnt = spnt1; |
| } |
| return 0; /* no forward refences found */ |
| } |
| |
| /* This routine parses the stabs directives to find any definitions of dbx |
| type numbers. It makes a note of all of them, creating a structure |
| element of VMS_DBG_Symbol that describes it. This also generates the |
| info for the debugger that describes the struct/union/enum, so that |
| further references to these data types will be by number |
| |
| We have to process pointers right away, since there can be references |
| to them later in the same stabs directive. We cannot have forward |
| references to pointers, (but we can have a forward reference to a |
| pointer to a structure/enum/union) and this is why we process them |
| immediately. After we process the pointer, then we search for defs |
| that are nested even deeper. |
| |
| 8/15/92: We have to process arrays right away too, because there can |
| be multiple references to identical array types in one structure |
| definition, and only the first one has the definition. */ |
| |
| static int |
| VMS_typedef_parse (str) |
| char *str; |
| { |
| char *pnt; |
| char *pnt1; |
| const char *pnt2; |
| int i; |
| int dtype; |
| struct forward_ref *fpnt; |
| int i1, i2, i3, len; |
| struct VMS_DBG_Symbol *spnt; |
| struct VMS_DBG_Symbol *spnt1; |
| |
| /* check for any nested def's */ |
| pnt = (char *) strchr (str + 1, '='); |
| if (pnt && str[1] != '*' && (str[1] != 'a' || str[2] != 'r') |
| && VMS_typedef_parse (pnt) == 1) |
| return 1; |
| /* now find dbx_type of entry */ |
| pnt = str - 1; |
| if (*pnt == 'c') |
| { /* check for static constants */ |
| *str = '\0'; /* for now we ignore them */ |
| return 0; |
| } |
| while ((*pnt <= '9') && (*pnt >= '0')) |
| pnt--; |
| pnt++; /* and get back to the number */ |
| cvt_integer (pnt, &i1); |
| spnt = find_symbol (i1); |
| /* first see if this has been defined already, due to forward reference */ |
| if (!spnt) |
| { |
| i2 = SYMTYP_HASH (i1); |
| spnt = (struct VMS_DBG_Symbol *) xmalloc (sizeof (struct VMS_DBG_Symbol)); |
| spnt->next = VMS_Symbol_type_list[i2]; |
| VMS_Symbol_type_list[i2] = spnt; |
| spnt->dbx_type = i1; /* and save the type */ |
| spnt->type2 = spnt->VMS_type = spnt->data_size = 0; |
| spnt->index_min = spnt->index_max = spnt->struc_numb = 0; |
| } |
| /* |
| * For structs and unions, do a partial parse, otherwise we sometimes get |
| * circular definitions that are impossible to resolve. We read enough |
| * info so that any reference to this type has enough info to be resolved. |
| */ |
| pnt = str + 1; /* point to character past equal sign */ |
| if (*pnt >= '0' && *pnt <= '9') |
| { |
| if (type_check ("void")) |
| { /* this is the void symbol */ |
| *str = '\0'; |
| spnt->advanced = VOID; |
| return 0; |
| } |
| if (type_check ("unknown type")) |
| { |
| *str = '\0'; |
| spnt->advanced = UNKNOWN; |
| return 0; |
| } |
| pnt1 = cvt_integer (pnt, &i1); |
| if (i1 != spnt->dbx_type) |
| { |
| spnt->advanced = ALIAS; |
| spnt->type2 = i1; |
| strcpy (str, pnt1); |
| return 0; |
| } |
| as_tsktsk (_("debugginer output: %d is an unknown untyped variable."), |
| spnt->dbx_type); |
| return 1; /* do not know what this is */ |
| } |
| |
| pnt = str + 1; /* point to character past equal sign */ |
| switch (*pnt) |
| { |
| case 'r': |
| spnt->advanced = BASIC; |
| if (type_check ("int")) |
| { |
| spnt->VMS_type = DBG_S_C_SLINT; |
| spnt->data_size = 4; |
| } |
| else if (type_check ("long int")) |
| { |
| spnt->VMS_type = DBG_S_C_SLINT; |
| spnt->data_size = 4; |
| } |
| else if (type_check ("unsigned int")) |
| { |
| spnt->VMS_type = DBG_S_C_ULINT; |
| spnt->data_size = 4; |
| } |
| else if (type_check ("long unsigned int")) |
| { |
| spnt->VMS_type = DBG_S_C_ULINT; |
| spnt->data_size = 4; |
| } |
| else if (type_check ("short int")) |
| { |
| spnt->VMS_type = DBG_S_C_SSINT; |
| spnt->data_size = 2; |
| } |
| else if (type_check ("short unsigned int")) |
| { |
| spnt->VMS_type = DBG_S_C_USINT; |
| spnt->data_size = 2; |
| } |
| else if (type_check ("char")) |
| { |
| spnt->VMS_type = DBG_S_C_SCHAR; |
| spnt->data_size = 1; |
| } |
| else if (type_check ("signed char")) |
| { |
| spnt->VMS_type = DBG_S_C_SCHAR; |
| spnt->data_size = 1; |
| } |
| else if (type_check ("unsigned char")) |
| { |
| spnt->VMS_type = DBG_S_C_UCHAR; |
| spnt->data_size = 1; |
| } |
| else if (type_check ("float")) |
| { |
| spnt->VMS_type = DBG_S_C_REAL4; |
| spnt->data_size = 4; |
| } |
| else if (type_check ("double")) |
| { |
| spnt->VMS_type = vax_g_doubles ? DBG_S_C_REAL8_G : DBG_S_C_REAL8; |
| spnt->data_size = 8; |
| } |
| else if (type_check ("long double")) |
| { |
| /* same as double, at least for now */ |
| spnt->VMS_type = vax_g_doubles ? DBG_S_C_REAL8_G : DBG_S_C_REAL8; |
| spnt->data_size = 8; |
| } |
| else if (type_check ("long long int")) |
| { |
| spnt->VMS_type = DBG_S_C_SQUAD; /* signed quadword */ |
| spnt->data_size = 8; |
| } |
| else if (type_check ("long long unsigned int")) |
| { |
| spnt->VMS_type = DBG_S_C_UQUAD; /* unsigned quadword */ |
| spnt->data_size = 8; |
| } |
| else if (type_check ("complex float")) |
| { |
| spnt->VMS_type = DBG_S_C_COMPLX4; |
| spnt->data_size = 2 * 4; |
| } |
| else if (type_check ("complex double")) |
| { |
| spnt->VMS_type = vax_g_doubles ? DBG_S_C_COMPLX8_G : DBG_S_C_COMPLX8; |
| spnt->data_size = 2 * 8; |
| } |
| else if (type_check ("complex long double")) |
| { |
| /* same as complex double, at least for now */ |
| spnt->VMS_type = vax_g_doubles ? DBG_S_C_COMPLX8_G : DBG_S_C_COMPLX8; |
| spnt->data_size = 2 * 8; |
| } |
| else |
| { |
| /* [pr] |
| * Shouldn't get here, but if we do, something |
| * more substantial ought to be done... |
| */ |
| spnt->VMS_type = 0; |
| spnt->data_size = 0; |
| } |
| if (spnt->VMS_type != 0) |
| setup_basic_type (spnt); |
| pnt1 = (char *) strchr (str, ';') + 1; |
| break; |
| case 's': |
| case 'u': |
| spnt->advanced = (*pnt == 's') ? STRUCT : UNION; |
| spnt->VMS_type = DBG_S_C_ADVANCED_TYPE; |
| pnt1 = cvt_integer (pnt + 1, &spnt->data_size); |
| if (!final_pass && forward_reference (pnt)) |
| { |
| spnt->struc_numb = -1; |
| return 1; |
| } |
| spnt->struc_numb = ++structure_count; |
| pnt1--; |
| pnt = get_struct_name (str); |
| VMS_Def_Struct (spnt->struc_numb); |
| i = 0; |
| for (fpnt = f_ref_root; fpnt; fpnt = fpnt->next) |
| if (fpnt->dbx_type == spnt->dbx_type) |
| { |
| fpnt->resolved = 'Y'; |
| VMS_Set_Struct (fpnt->struc_numb); |
| VMS_Store_Struct (spnt->struc_numb); |
| i++; |
| } |
| if (i > 0) |
| VMS_Set_Struct (spnt->struc_numb); |
| i = 0; |
| Local[i++] = 11 + strlen (pnt); |
| Local[i++] = DBG_S_C_STRUCT_START; |
| Local[i++] = DST_K_VFLAGS_NOVAL; /* structure definition only */ |
| COPY_LONG (&Local[i], 0L); /* hence value is unused */ |
| i += 4; |
| Local[i++] = strlen (pnt); |
| pnt2 = pnt; |
| while (*pnt2 != '\0') |
| Local[i++] = *pnt2++; |
| i2 = spnt->data_size * 8; /* number of bits */ |
| COPY_LONG (&Local[i], i2); |
| i += 4; |
| VMS_Store_Immediate_Data (Local, i, OBJ_S_C_DBG); |
| i = 0; |
| if (pnt != symbol_name) |
| { |
| pnt += strlen (pnt); |
| *pnt = ':'; |
| } /* replace colon for later */ |
| while (*++pnt1 != ';') |
| { |
| pnt = (char *) strchr (pnt1, ':'); |
| *pnt = '\0'; |
| pnt2 = pnt1; |
| pnt1 = cvt_integer (pnt + 1, &dtype); |
| pnt1 = cvt_integer (pnt1 + 1, &i2); |
| pnt1 = cvt_integer (pnt1 + 1, &i3); |
| spnt1 = find_symbol (dtype); |
| len = strlen (pnt2); |
| if (spnt1 && (spnt1->advanced == BASIC || spnt1->advanced == ENUM) |
| && ((i3 != spnt1->data_size * 8) || (i2 % 8 != 0))) |
| { /* bitfield */ |
| if (USE_BITSTRING_DESCRIPTOR (spnt1)) |
| { |
| /* This uses a type descriptor, which doesn't work if |
| the enclosing structure has been placed in a register. |
| Also, enum bitfields degenerate to simple integers. */ |
| int unsigned_type = (spnt1->VMS_type == DBG_S_C_ULINT |
| || spnt1->VMS_type == DBG_S_C_USINT |
| || spnt1->VMS_type == DBG_S_C_UCHAR |
| || spnt1->VMS_type == DBG_S_C_UQUAD |
| || spnt1->advanced == ENUM); /* (approximate) */ |
| Apoint = 0; |
| fpush (19 + len, 1); |
| fpush (unsigned_type ? DBG_S_C_UBITU : DBG_S_C_SBITU, 1); |
| fpush (DST_K_VFLAGS_DSC, 1); /* specified by descriptor */ |
| fpush (1 + len, 4); /* relative offset to descriptor */ |
| fpush (len, 1); /* length byte (ascic prefix) */ |
| while (*pnt2 != '\0') /* name bytes */ |
| fpush (*pnt2++, 1); |
| fpush (i3, 2); /* dsc length == size of bitfield */ |
| /* dsc type == un?signed bitfield */ |
| fpush (unsigned_type ? DBG_S_C_UBITU : DBG_S_C_SBITU, 1); |
| fpush (DSC_K_CLASS_UBS, 1); /* dsc class == unaligned bitstring */ |
| fpush (0x00, 4); /* dsc pointer == zeroes */ |
| fpush (i2, 4); /* start position */ |
| VMS_Store_Immediate_Data (Asuffix, Apoint, OBJ_S_C_DBG); |
| Apoint = 0; |
| } |
| else |
| { |
| /* Use a "novel length" type specification, which works |
| right for register structures and for enum bitfields |
| but results in larger object modules. */ |
| Local[i++] = 7 + len; |
| Local[i++] = DBG_S_C_ADVANCED_TYPE; /* type spec follows */ |
| Local[i++] = DBG_S_C_STRUCT_ITEM; /* value is a bit offset */ |
| COPY_LONG (&Local[i], i2); /* bit offset */ |
| i += 4; |
| Local[i++] = strlen (pnt2); |
| while (*pnt2 != '\0') |
| Local[i++] = *pnt2++; |
| VMS_Store_Immediate_Data (Local, i, OBJ_S_C_DBG); |
| i = 0; |
| bitfield_suffix (spnt1, i3); |
| } |
| } |
| else |
| { /* not a bitfield */ |
| /* check if this is a forward reference */ |
| if (final_pass && final_forward_reference (spnt1)) |
| { |
| as_tsktsk (_("debugger output: structure element `%s' has undefined type"), |
| pnt2); |
| continue; |
| } |
| Local[i++] = 7 + len; |
| Local[i++] = spnt1 ? spnt1->VMS_type : DBG_S_C_ADVANCED_TYPE; |
| Local[i++] = DBG_S_C_STRUCT_ITEM; |
| COPY_LONG (&Local[i], i2); /* bit offset */ |
| i += 4; |
| Local[i++] = strlen (pnt2); |
| while (*pnt2 != '\0') |
| Local[i++] = *pnt2++; |
| VMS_Store_Immediate_Data (Local, i, OBJ_S_C_DBG); |
| i = 0; |
| if (!spnt1) |
| generate_suffix (spnt1, dtype); |
| else if (spnt1->VMS_type == DBG_S_C_ADVANCED_TYPE) |
| generate_suffix (spnt1, 0); |
| } |
| } |
| pnt1++; |
| Local[i++] = 0x01; /* length byte */ |
| Local[i++] = DBG_S_C_STRUCT_END; |
| VMS_Store_Immediate_Data (Local, i, OBJ_S_C_DBG); |
| i = 0; |
| break; |
| case 'e': |
| spnt->advanced = ENUM; |
| spnt->VMS_type = DBG_S_C_ADVANCED_TYPE; |
| spnt->struc_numb = ++structure_count; |
| spnt->data_size = 4; |
| VMS_Def_Struct (spnt->struc_numb); |
| i = 0; |
| for (fpnt = f_ref_root; fpnt; fpnt = fpnt->next) |
| if (fpnt->dbx_type == spnt->dbx_type) |
| { |
| fpnt->resolved = 'Y'; |
| VMS_Set_Struct (fpnt->struc_numb); |
| VMS_Store_Struct (spnt->struc_numb); |
| i++; |
| } |
| if (i > 0) |
| VMS_Set_Struct (spnt->struc_numb); |
| i = 0; |
| len = strlen (symbol_name); |
| Local[i++] = 3 + len; |
| Local[i++] = DBG_S_C_ENUM_START; |
| Local[i++] = 4 * 8; /* enum values are 32 bits */ |
| Local[i++] = len; |
| pnt2 = symbol_name; |
| while (*pnt2 != '\0') |
| Local[i++] = *pnt2++; |
| VMS_Store_Immediate_Data (Local, i, OBJ_S_C_DBG); |
| i = 0; |
| while (*++pnt != ';') |
| { |
| pnt1 = (char *) strchr (pnt, ':'); |
| *pnt1++ = '\0'; |
| pnt1 = cvt_integer (pnt1, &i1); |
| len = strlen (pnt); |
| Local[i++] = 7 + len; |
| Local[i++] = DBG_S_C_ENUM_ITEM; |
| Local[i++] = DST_K_VALKIND_LITERAL; |
| COPY_LONG (&Local[i], i1); |
| i += 4; |
| Local[i++] = len; |
| pnt2 = pnt; |
| while (*pnt != '\0') |
| Local[i++] = *pnt++; |
| VMS_Store_Immediate_Data (Local, i, OBJ_S_C_DBG); |
| i = 0; |
|