mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-09 04:21:49 +08:00
5773 lines
146 KiB
C
5773 lines
146 KiB
C
/* vms.c -- Write out a VAX/VMS object file
|
||
Copyright (C) 1987, 1988, 1992, 1994, 1995 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, 675 Mass Ave, Cambridge, MA 02139, 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;
|
||
|
||
/* 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;
|
||
|
||
|
||
/*
|
||
* 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;
|
||
|
||
|
||
/*
|
||
* 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;
|
||
|
||
/* A pointer to the current routine that we are working on. */
|
||
|
||
static symbolS *Current_Routine;
|
||
|
||
/* The psect number for $code a.k.a. the text section. */
|
||
|
||
static int Text_Psect;
|
||
|
||
|
||
/*
|
||
* 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) {\
|
||
register const char *p = cp; \
|
||
PUT_CHAR(strlen(p)); \
|
||
while (*p) PUT_CHAR(*p++);}
|
||
|
||
/*
|
||
* 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[0] == '_' ? 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));
|
||
|
||
static char *cvt_integer PARAMS ((char *,int *));
|
||
static char *fix_name PARAMS ((char *));
|
||
static char *get_struct_name PARAMS ((char *));
|
||
|
||
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,const char *,
|
||
struct VMS_Symbol *));
|
||
static int VMS_Initialized_Data_Size PARAMS ((symbolS *,int));
|
||
|
||
/* 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 ((int));
|
||
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 *));
|
||
static void VMS_DBG_Define_Routine PARAMS ((symbolS *,symbolS *,int));
|
||
static void Write_VMS_MHD_Records PARAMS ((void));
|
||
static void Write_VMS_EOM_Record PARAMS ((int,int));
|
||
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 *));
|
||
|
||
|
||
/* The following code defines the special types of pseudo-ops that we
|
||
* use with VMS.
|
||
*/
|
||
|
||
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 */
|
||
|
||
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.6) 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);
|
||
|
||
/* 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 = &(symbol_next (symbolP));
|
||
}
|
||
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",
|
||
"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 ()
|
||
{
|
||
int i;
|
||
#ifndef VMS
|
||
short int zero;
|
||
int RecLen;
|
||
#endif
|
||
|
||
/*
|
||
* If the buffer is empty, we are done
|
||
*/
|
||
if (Object_Record_Offset == 0)
|
||
return;
|
||
/*
|
||
* Write the data to the file
|
||
*/
|
||
#ifndef VMS /* For cross-assembly purposes. */
|
||
md_number_to_chars((char *) &RecLen, Object_Record_Offset, 2);
|
||
i = write (VMS_Object_File_FD, &RecLen, 2);
|
||
#endif /* not VMS */
|
||
i = write (VMS_Object_File_FD,
|
||
Object_Record_Buffer,
|
||
Object_Record_Offset);
|
||
if (i != Object_Record_Offset)
|
||
error ("I/O error writing VMS object file");
|
||
#ifndef VMS /* When cross-assembling, we need to pad the record to an even
|
||
number of bytes. */
|
||
/* pad it if needed */
|
||
zero = 0;
|
||
if ((Object_Record_Offset & 1) != 0)
|
||
write (VMS_Object_File_FD, &zero, 1);
|
||
#endif /* not VMS */
|
||
/*
|
||
* 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 ();
|
||
/*
|
||
* Set the new type
|
||
*/
|
||
Current_Object_Record_Type = Type;
|
||
}
|
||
|
||
|
||
|
||
/*
|
||
* Close the VMS Object file
|
||
*/
|
||
static void
|
||
Close_VMS_Object_File ()
|
||
{
|
||
#ifndef VMS /* For cross-assembly purposes. */
|
||
short int m_one = -1;
|
||
|
||
/* Write a record-length field of 0xffff into the file, which means
|
||
end-of-file when read later. It is only needed for variable-length
|
||
record files transferred to VMS as fixed-length record files
|
||
(typical for binary ftp). */
|
||
write (VMS_Object_File_FD, &m_one, 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);
|
||
}
|
||
|
||
|
||
/*
|
||
* 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;
|
||
|
||
/*
|
||
* We are writing a "Record_Type" record
|
||
*/
|
||
Set_VMS_Object_File_Record (Record_Type);
|
||
/*
|
||
* We can only store 128 bytes at a time
|
||
*/
|
||
while (Size > 0)
|
||
{
|
||
/*
|
||
* Store a maximum of 128 bytes
|
||
*/
|
||
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
|
||
*/
|
||
PUT_CHAR (-i & 0xff);
|
||
/*
|
||
* 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;
|
||
{
|
||
/*
|
||
* We are writing a "Record_Type" record
|
||
*/
|
||
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 "OBJ_S_C_DBG" 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 "OBJ_S_C_DBG" 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 ();
|
||
}
|
||
|
||
/*
|
||
* Write the Traceback Module Begin record
|
||
*/
|
||
static void
|
||
VMS_TBT_Module_Begin ()
|
||
{
|
||
register char *cp, *cp1;
|
||
int Size;
|
||
char Module_Name[256];
|
||
char Local[256];
|
||
|
||
/*
|
||
* Get module name (the FILENAME part of the object file)
|
||
*/
|
||
cp = out_file_name;
|
||
cp1 = Module_Name;
|
||
while (*cp)
|
||
{
|
||
if ((*cp == ']') || (*cp == '>') ||
|
||
(*cp == ':') || (*cp == '/'))
|
||
{
|
||
cp1 = Module_Name;
|
||
cp++;
|
||
continue;
|
||
}
|
||
*cp1++ = islower (*cp) ? toupper (*cp++) : *cp++;
|
||
}
|
||
*cp1 = 0;
|
||
/*
|
||
* Limit it to 31 characters
|
||
*/
|
||
while (--cp1 >= Module_Name)
|
||
if (*cp1 == '.')
|
||
*cp1 = 0;
|
||
if (strlen (Module_Name) > 31)
|
||
{
|
||
if (flag_hash_long_names)
|
||
as_tsktsk ("Module name truncated: %s", Module_Name);
|
||
Module_Name[31] = 0;
|
||
}
|
||
/*
|
||
* Arrange to store the data locally (leave room for size byte)
|
||
*/
|
||
cp = Local + 1;
|
||
/*
|
||
* Begin module
|
||
*/
|
||
*cp++ = DST_S_C_MODBEG;
|
||
/*
|
||
* Unused
|
||
*/
|
||
*cp++ = 0;
|
||
/*
|
||
* Language type == "C"
|
||
*/
|
||
COPY_LONG (cp, DST_S_C_C);
|
||
cp += 4;
|
||
/*
|
||
* Store the module name
|
||
*/
|
||
*cp++ = 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 the 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);
|
||
/*
|
||
* Calculate the record size
|
||
*/
|
||
Size = 1 + 1 + 4 + 1 + strlen (Name);
|
||
/*
|
||
* Record Size
|
||
*/
|
||
Local[0] = Size;
|
||
/*
|
||
* Begin Routine
|
||
*/
|
||
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 the 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;
|
||
/*
|
||
* End of Routine
|
||
*/
|
||
Local[1] = DST_S_C_RTNEND;
|
||
/*
|
||
* Unused
|
||
*/
|
||
Local[2] = 0;
|
||
/*
|
||
* Size of routine
|
||
*/
|
||
COPY_LONG (&Local[3], Size);
|
||
/*
|
||
* Store the record
|
||
*/
|
||
VMS_Store_Immediate_Data (Local, 7, OBJ_S_C_TBT);
|
||
}
|
||
|
||
/*
|
||
* Write the Traceback Block End 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];
|
||
/*
|
||
* Begin block
|
||
*/
|
||
Size = 1 + 1 + 4 + 1 + strlen (Name);
|
||
/*
|
||
* Record Size
|
||
*/
|
||
Local[0] = Size;
|
||
/*
|
||
* 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 OBJ_S_C_DBG 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 the Traceback Block End record
|
||
*/
|
||
static void
|
||
VMS_TBT_Block_End (Size)
|
||
int Size;
|
||
{
|
||
char Local[16];
|
||
|
||
/*
|
||
* End block - simulate with a phony end routine
|
||
*/
|
||
Local[0] = 6;
|
||
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 / PC 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 not delta, set our PC/Line number correlation
|
||
*/
|
||
if (Do_Delta == 0)
|
||
{
|
||
/*
|
||
* Size
|
||
*/
|
||
Local[0] = 1 + 1 + 2 + 1 + 4;
|
||
/*
|
||
* Line Number/PC correlation
|
||
*/
|
||
Local[1] = DST_S_C_LINE_NUM;
|
||
/*
|
||
* Set Line number
|
||
*/
|
||
Local[2] = DST_S_C_SET_LINE_NUM;
|
||
COPY_SHORT (&Local[3], Line_Number - 1);
|
||
/*
|
||
* Set PC
|
||
*/
|
||
Local[5] = DST_S_C_SET_ABS_PC;
|
||
VMS_Store_Immediate_Data (Local, 6, 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 Delta is negative, terminate the line numbers
|
||
*/
|
||
if (Do_Delta < 0)
|
||
{
|
||
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);
|
||
/*
|
||
* Done
|
||
*/
|
||
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
|
||
{
|
||
*cp++ = DST_S_C_INCR_LINUM_W;
|
||
COPY_SHORT (cp, Line_Number - 1);
|
||
cp += 2;
|
||
}
|
||
}
|
||
/*
|
||
* Increment the PC
|
||
*/
|
||
if (Offset <= 128)
|
||
{
|
||
*cp++ = -Offset;
|
||
}
|
||
else
|
||
{
|
||
if (Offset < 0x10000)
|
||
{
|
||
*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;
|
||
}
|
||
}
|
||
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, *cp1;
|
||
int Status, i;
|
||
char Local[512];
|
||
#ifndef VMS /* Used for cross-assembly */
|
||
i = strlen (Filename);
|
||
#else /* VMS */
|
||
static struct FAB Fab;
|
||
static struct NAM Nam;
|
||
static struct XABDAT Date_Xab;
|
||
static struct XABFHC File_Header_Xab;
|
||
char Es_String[255], Rs_String[255];
|
||
|
||
/*
|
||
* Setup the Fab
|
||
*/
|
||
Fab.fab$b_bid = FAB$C_BID;
|
||
Fab.fab$b_bln = sizeof (Fab);
|
||
Fab.fab$l_nam = (&Nam);
|
||
Fab.fab$l_xab = (char *) &Date_Xab;
|
||
/*
|
||
* Setup the Nam block so we can find out the FULL name
|
||
* of the source file.
|
||
*/
|
||
Nam.nam$b_bid = NAM$C_BID;
|
||
Nam.nam$b_bln = sizeof (Nam);
|
||
Nam.nam$l_rsa = Rs_String;
|
||
Nam.nam$b_rss = sizeof (Rs_String);
|
||
Nam.nam$l_esa = Es_String;
|
||
Nam.nam$b_ess = sizeof (Es_String);
|
||
/*
|
||
* Setup the Date and File Header Xabs
|
||
*/
|
||
Date_Xab.xab$b_cod = XAB$C_DAT;
|
||
Date_Xab.xab$b_bln = sizeof (Date_Xab);
|
||
Date_Xab.xab$l_nxt = (char *) &File_Header_Xab;
|
||
File_Header_Xab.xab$b_cod = XAB$C_FHC;
|
||
File_Header_Xab.xab$b_bln = sizeof (File_Header_Xab);
|
||
/*
|
||
* Get the file information
|
||
*/
|
||
Fab.fab$l_fna = Filename;
|
||
Fab.fab$b_fns = strlen (Filename);
|
||
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);
|
||
/*
|
||
* Calculate the size of the resultant string
|
||
*/
|
||
i = Nam.nam$b_rsl;
|
||
#endif /* VMS */
|
||
/*
|
||
* Size of record
|
||
*/
|
||
Local[0] = 1 + 1 + 1 + 1 + 1 + 2 + 8 + 4 + 2 + 1 + 1 + i + 1;
|
||
/*
|
||
* Source declaration
|
||
*/
|
||
Local[1] = DST_S_C_SOURCE;
|
||
/*
|
||
* Make formfeeds count as source records
|
||
*/
|
||
Local[2] = DST_S_C_SRC_FORMFEED;
|
||
/*
|
||
* Declare source file
|
||
*/
|
||
Local[3] = DST_S_C_SRC_DECLFILE;
|
||
Local[4] = 1 + 2 + 8 + 4 + 2 + 1 + 1 + i + 1;
|
||
cp = Local + 5;
|
||
/*
|
||
* Flags
|
||
*/
|
||
*cp++ = 0;
|
||
/*
|
||
* File ID
|
||
*/
|
||
COPY_SHORT (cp, ID_Number);
|
||
cp += 2;
|
||
#ifndef VMS
|
||
/*
|
||
* Creation Date. Unknown, so we fill with zeroes.
|
||
*/
|
||
COPY_LONG (cp, 0);
|
||
cp += 4;
|
||
COPY_LONG (cp, 0);
|
||
cp += 4;
|
||
/*
|
||
* End of file block
|
||
*/
|
||
COPY_LONG (cp, 0);
|
||
cp += 4;
|
||
/*
|
||
* First free byte
|
||
*/
|
||
COPY_SHORT (cp, 0);
|
||
cp += 2;
|
||
/*
|
||
* Record format
|
||
*/
|
||
*cp++ = 0;
|
||
/*
|
||
* Filename
|
||
*/
|
||
*cp++ = i;
|
||
cp1 = Filename;
|
||
#else /* Use this code when assembling for VMS on a VMS system */
|
||
/*
|
||
* Creation Date
|
||
*/
|
||
memcpy (cp, (char *) &Date_Xab.xab$q_cdt, 8);
|
||
cp += 8;
|
||
/*
|
||
* End of file block
|
||
*/
|
||
COPY_LONG (cp, File_Header_Xab.xab$l_ebk);
|
||
cp += 4;
|
||
/*
|
||
* First free byte
|
||
*/
|
||
COPY_SHORT (cp, File_Header_Xab.xab$w_ffb);
|
||
cp += 2;
|
||
/*
|
||
* Record format
|
||
*/
|
||
*cp++ = File_Header_Xab.xab$b_rfo;
|
||
/*
|
||
* Filename
|
||
*/
|
||
*cp++ = i;
|
||
cp1 = Rs_String;
|
||
#endif /* VMS */
|
||
while (--i >= 0)
|
||
*cp++ = *cp1++;
|
||
/*
|
||
* Library module name (none)
|
||
*/
|
||
*cp++ = 0;
|
||
/*
|
||
* Done
|
||
*/
|
||
VMS_Store_Immediate_Data (Local, cp - Local, OBJ_S_C_TBT);
|
||
return 1;
|
||
}
|
||
|
||
|
||
/*
|
||
* Give the number of source lines to the debugger
|
||
*/
|
||
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;
|
||
char Local[16];
|
||
|
||
/*
|
||
* Size of record
|
||
*/
|
||
Local[0] = 1 + 1 + 2 + 1 + 4 + 1 + 2;
|
||
/*
|
||
* Source declaration
|
||
*/
|
||
Local[1] = DST_S_C_SOURCE;
|
||
/*
|
||
* Set Source File
|
||
*/
|
||
cp = Local + 2;
|
||
*cp++ = DST_S_C_SRC_SETFILE;
|
||
/*
|
||
* File ID Number
|
||
*/
|
||
COPY_SHORT (cp, ID_Number);
|
||
cp += 2;
|
||
/*
|
||
* Set record number
|
||
*/
|
||
*cp++ = DST_S_C_SRC_SETREC_L;
|
||
COPY_LONG (cp, Starting_Line_Number);
|
||
cp += 4;
|
||
/*
|
||
* Define lines
|
||
*/
|
||
*cp++ = DST_S_C_SRC_DEFLINES_W;
|
||
COPY_SHORT (cp, Number_Of_Lines);
|
||
cp += 2;
|
||
/*
|
||
* Done
|
||
*/
|
||
VMS_Store_Immediate_Data (Local, cp - Local, OBJ_S_C_TBT);
|
||
}
|
||
|
||
|
||
|
||
/*
|
||
* 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;
|
||
}
|
||
|
||
/*
|
||
* 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 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, neg;
|
||
neg = *str == '-' ? ++str, -1 : 1;
|
||
ival = 0;
|
||
while ((*str <= '9') && (*str >= '0'))
|
||
ival = 10 * ival + *str++ - '0';
|
||
*rtn = neg * ival;
|
||
return str;
|
||
}
|
||
|
||
/* 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 != (struct VMS_DBG_Symbol *) NULL)
|
||
{
|
||
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 == (struct VMS_DBG_Symbol *) NULL)
|
||
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 a reference to a 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
|
||
|
||
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;
|
||
{
|
||
char *pnt;
|
||
char *pnt1;
|
||
char *str;
|
||
struct VMS_DBG_Symbol *spnt;
|
||
int dbx_type;
|
||
|
||
dbx_type = 0;
|
||
str = S_GET_NAME (sp);
|
||
pnt = (char *) strchr (str, ':');
|
||
if (pnt == (char *) NULL)
|
||
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.
|
||
*/
|
||
{
|
||
char *str1;
|
||
char *pnt2;
|
||
symbolS *sp1;
|
||
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)
|
||
{
|
||
char * pnt3=(char*) strchr (S_GET_NAME (sp1), ':') + 1;
|
||
if (*pnt3 == 'F' || *pnt3 == '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 != ':'))
|
||
continue;
|
||
return; /* they are the same! lets skip this one */
|
||
} /* for */
|
||
/* first find the dbx symbol type from list, and then find VMS type */
|
||
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 == (char *) NULL)
|
||
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 == (struct VMS_DBG_Symbol *) NULL)
|
||
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 != (struct VMS_Symbol *) NULL)
|
||
{
|
||
pnt = S_GET_NAME (vsp->Symbol);
|
||
if (pnt != (char *) NULL)
|
||
if (*pnt++ == '_')
|
||
/* make sure name is the same, and make sure correct symbol type */
|
||
if ((strlen (pnt) == strlen (str)) && (strcmp (pnt, str) == 0)
|
||
&& ((S_GET_RAW_TYPE (vsp->Symbol) == type1) ||
|
||
(S_GET_RAW_TYPE (vsp->Symbol) == type2)))
|
||
break;
|
||
vsp = vsp->Next;
|
||
}
|
||
if (vsp != (struct VMS_Symbol *) NULL)
|
||
{
|
||
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')
|
||
{
|
||
static const 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 = ':';
|
||
*S_GET_NAME (sp1) = 'L';
|
||
/* fool assembler to not output this
|
||
* as a routine in the TBT */
|
||
return;
|
||
}
|
||
}
|
||
}
|
||
*pnt1 = ':'; /* and restore the string */
|
||
return;
|
||
}
|
||
|
||
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;
|
||
{
|
||
char *pnt;
|
||
char *pnt1;
|
||
char *str;
|
||
int dbx_type;
|
||
struct VMS_DBG_Symbol *spnt;
|
||
int len;
|
||
int i = 0;
|
||
int bcnt = 0;
|
||
int Min_Offset = -1; /* min PC of validity */
|
||
int Max_Offset = 0; /* max PC of validity */
|
||
symbolS *symbolP;
|
||
|
||
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);
|
||
for (symbolP = symbol_rootP; symbolP; symbolP = symbol_next (symbolP))
|
||
{
|
||
/*
|
||
* Dispatch on STAB type
|
||
*/
|
||
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);
|
||
pnt = (char *) strchr (str, ':');
|
||
if (pnt == (char *) NULL)
|
||
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;
|
||
{
|
||
int i;
|
||
struct VMS_DBG_Symbol *spnt;
|
||
struct VMS_DBG_Symbol *spnt1;
|
||
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);
|
||
if(spnt != (struct VMS_DBG_Symbol*) NULL) {
|
||
while((spnt->advanced == POINTER) || (spnt->advanced == ARRAY))
|
||
{
|
||
i = spnt->type2;
|
||
spnt1 = find_symbol (spnt->type2);
|
||
if ((spnt->advanced == ARRAY) &&
|
||
(spnt1 == (struct VMS_DBG_Symbol *) NULL))
|
||
return 1;
|
||
if (spnt1 == (struct VMS_DBG_Symbol *) NULL)
|
||
break;
|
||
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. (We tend to
|
||
* parse from the back going forward.
|
||
*/
|
||
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 != (char *) NULL) && (*(str + 1) != '*')
|
||
&& (str[1] != 'a' || str[2] != 'r'))
|
||
if (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 we see if this has been defined already, due to a 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 == 'u') || (*pnt == 's'))
|
||
{
|
||
}
|
||
if ((*pnt <= '9') && (*pnt >= '0'))
|
||
{
|
||
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 */
|
||
}
|
||
/* now define this module*/
|
||
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;
|
||
pnt = pnt1; /* Skip final semicolon */
|
||
}
|
||
Local[i++] = 0x01; /* len byte */
|
||
Local[i++] = DBG_S_C_ENUM_END;
|
||
VMS_Store_Immediate_Data (Local, i, OBJ_S_C_DBG);
|
||
i = 0;
|
||
pnt1 = pnt + 1;
|
||
break;
|
||
case 'a':
|
||
spnt->advanced = ARRAY;
|
||
spnt->VMS_type = DBG_S_C_ADVANCED_TYPE;
|
||
pnt = (char *) strchr (pnt, ';');
|
||
if (!pnt)
|
||
return 1;
|
||
pnt1 = cvt_integer (pnt + 1, &spnt->index_min);
|
||
pnt1 = cvt_integer (pnt1 + 1, &spnt->index_max);
|
||
pnt1 = cvt_integer (pnt1 + 1, &spnt->type2);
|
||
pnt = (char *) strchr (str + 1, '=');
|
||
if (pnt && VMS_typedef_parse (pnt) == 1)
|
||
return 1;
|
||
break;
|
||
case 'f':
|
||
spnt->advanced = FUNCTION;
|
||
spnt->VMS_type = DBG_S_C_FUNCTION_ADDR;
|
||
/* this masquerades as a basic type*/
|
||
spnt->data_size = 4;
|
||
pnt1 = cvt_integer (pnt + 1, &spnt->type2);
|
||
break;
|
||
case '*':
|
||
spnt->advanced = POINTER;
|
||
spnt->VMS_type = DBG_S_C_ADVANCED_TYPE;
|
||
spnt->data_size = 4;
|
||
pnt1 = cvt_integer (pnt + 1, &spnt->type2);
|
||
pnt = (char *) strchr (str + 1, '=');
|
||
if (pnt && VMS_typedef_parse (pnt) == 1)
|
||
return 1;
|
||
break;
|
||
default:
|
||
spnt->advanced = UNKNOWN;
|
||
spnt->VMS_type = 0;
|
||
as_tsktsk ("debugger output: %d is an unknown type of variable.",
|
||
spnt->dbx_type);
|
||
return 1; /* unable to decipher */
|
||
}
|
||
/* this removes the evidence of the definition so that the outer levels of
|
||
parsing do not have to worry about it */
|
||
pnt = str;
|
||
while (*pnt1 != '\0')
|
||
*pnt++ = *pnt1++;
|
||
*pnt = '\0';
|
||
return 0;
|
||
}
|
||
|
||
|
||
/*
|
||
* This is the root routine that parses the stabs entries for definitions.
|
||
* it calls VMS_typedef_parse, which can in turn call itself.
|
||
* We need to be careful, since sometimes there are forward references to
|
||
* other symbol types, and these cannot be resolved until we have completed
|
||
* the parse.
|
||
*
|
||
* Also check and see if we are using continuation stabs, if we are, then
|
||
* paste together the entire contents of the stab before we pass it to
|
||
* VMS_typedef_parse.
|
||
*/
|
||
static void
|
||
VMS_LSYM_Parse ()
|
||
{
|
||
char *pnt;
|
||
char *pnt1;
|
||
char *pnt2;
|
||
char *str;
|
||
char *parse_buffer = 0;
|
||
char fixit[10];
|
||
int incomplete, pass, incom1;
|
||
struct forward_ref *fpnt;
|
||
symbolS *sp;
|
||
|
||
pass = 0;
|
||
final_pass = 0;
|
||
incomplete = 0;
|
||
do
|
||
{
|
||
incom1 = incomplete;
|
||
incomplete = 0;
|
||
for (sp = symbol_rootP; sp; sp = symbol_next (sp))
|
||
{
|
||
/*
|
||
* Deal with STAB symbols
|
||
*/
|
||
if (S_IS_DEBUG (sp))
|
||
{
|
||
/*
|
||
* Dispatch on STAB type
|
||
*/
|
||
switch (S_GET_RAW_TYPE (sp))
|
||
{
|
||
case N_GSYM:
|
||
case N_LCSYM:
|
||
case N_STSYM:
|
||
case N_PSYM:
|
||
case N_RSYM:
|
||
case N_LSYM:
|
||
case N_FUN: /*sometimes these contain typedefs*/
|
||
str = S_GET_NAME (sp);
|
||
symbol_name = str;
|
||
pnt = str + strlen(str) -1;
|
||
if (*pnt == '?') /* Continuation stab. */
|
||
{
|
||
symbolS *spnext;
|
||
int tlen = 0;
|
||
|
||
spnext = sp;
|
||
do {
|
||
tlen += strlen(str) - 1;
|
||
spnext = symbol_next (spnext);
|
||
str = S_GET_NAME (spnext);
|
||
pnt = str + strlen(str) - 1;
|
||
} while (*pnt == '?');
|
||
tlen += strlen(str);
|
||
parse_buffer = (char *) xmalloc (tlen + 1);
|
||
strcpy(parse_buffer, S_GET_NAME (sp));
|
||
pnt2 = parse_buffer + strlen(S_GET_NAME (sp)) - 1;
|
||
*pnt2 = '\0';
|
||
spnext = sp;
|
||
do {
|
||
spnext = symbol_next (spnext);
|
||
str = S_GET_NAME (spnext);
|
||
strcat (pnt2, S_GET_NAME (spnext));
|
||
pnt2 += strlen(str) - 1;
|
||
*str = '\0'; /* Erase this string */
|
||
if (*pnt2 != '?') break;
|
||
*pnt2 = '\0';
|
||
} while (1 == 1);
|
||
str = parse_buffer;
|
||
symbol_name = str;
|
||
}
|
||
pnt = (char *) strchr (str, ':');
|
||
if (pnt != (char *) NULL)
|
||
{
|
||
*pnt = '\0';
|
||
pnt1 = pnt + 1;
|
||
pnt2 = (char *) strchr (pnt1, '=');
|
||
if (pnt2 != (char *) NULL)
|
||
incomplete += VMS_typedef_parse (pnt2);
|
||
if (parse_buffer)
|
||
{
|
||
/* At this point the parse buffer should just
|
||
contain name:nn. If it does not, then we
|
||
are in real trouble. Anyway, this is always
|
||
shorter than the original line. */
|
||
strcpy (S_GET_NAME (sp), parse_buffer);
|
||
free (parse_buffer);
|
||
parse_buffer = 0;
|
||
}
|
||
*pnt = ':'; /* put back colon to restore dbx_type */
|
||
}
|
||
break;
|
||
} /*switch*/
|
||
} /* if */
|
||
} /*for*/
|
||
pass++;
|
||
/* Make one last pass, if needed, and define whatever we can that is left */
|
||
if(final_pass == 0 && incomplete == incom1)
|
||
{
|
||
final_pass = 1;
|
||
incom1 ++; /* Force one last pass through */
|
||
}
|
||
} while ((incomplete != 0) && (incomplete != incom1));
|
||
/* repeat until all refs resolved if possible */
|
||
/* if (pass > 1) printf(" Required %d passes\n",pass);*/
|
||
if (incomplete != 0)
|
||
{
|
||
as_tsktsk ("debugger output: Unable to resolve %d circular references.",
|
||
incomplete);
|
||
}
|
||
fpnt = f_ref_root;
|
||
symbol_name = "\0";
|
||
while (fpnt != (struct forward_ref *) NULL)
|
||
{
|
||
if (fpnt->resolved != 'Y')
|
||
{
|
||
if (find_symbol (fpnt->dbx_type) !=
|
||
(struct VMS_DBG_Symbol *) NULL)
|
||
{
|
||
as_tsktsk ("debugger forward reference error, dbx type %d",
|
||
fpnt->dbx_type);
|
||
break;
|
||
}
|
||
fixit[0] = 0;
|
||
sprintf (&fixit[1], "%d=s4;", fpnt->dbx_type);
|
||
pnt2 = (char *) strchr (&fixit[1], '=');
|
||
VMS_typedef_parse (pnt2);
|
||
}
|
||
fpnt = fpnt->next;
|
||
}
|
||
}
|
||
|
||
static void
|
||
Define_Local_Symbols (s1, s2)
|
||
symbolS *s1, *s2;
|
||
{
|
||
symbolS *symbolP1;
|
||
for (symbolP1 = symbol_next (s1); symbolP1 != s2; symbolP1 = symbol_next (symbolP1))
|
||
{
|
||
if (symbolP1 == (symbolS *) NULL)
|
||
return;
|
||
if (S_GET_RAW_TYPE (symbolP1) == N_FUN)
|
||
{
|
||
char * pnt=(char*) strchr (S_GET_NAME (symbolP1), ':') + 1;
|
||
if (*pnt == 'F' || *pnt == 'f') break;
|
||
}
|
||
/*
|
||
* Deal with STAB symbols
|
||
*/
|
||
if (S_IS_DEBUG (symbolP1))
|
||
{
|
||
/*
|
||
* Dispatch on STAB type
|
||
*/
|
||
switch (S_GET_RAW_TYPE (symbolP1))
|
||
{
|
||
case N_LSYM:
|
||
case N_PSYM:
|
||
VMS_local_stab_Parse (symbolP1);
|
||
break;
|
||
case N_RSYM:
|
||
VMS_RSYM_Parse (symbolP1, Current_Routine, Text_Psect);
|
||
break;
|
||
} /*switch*/
|
||
} /* if */
|
||
} /* for */
|
||
}
|
||
|
||
|
||
/* This function crawls the symbol chain searching for local symbols that need
|
||
* to be described to the debugger. When we enter a new scope with a "{", it
|
||
* creates a new "block", which helps the debugger keep track of which scope
|
||
* we are currently in.
|
||
*/
|
||
|
||
static symbolS *
|
||
Define_Routine (symbolP, Level)
|
||
symbolS *symbolP;
|
||
int Level;
|
||
{
|
||
symbolS *sstart;
|
||
symbolS *symbolP1;
|
||
char str[10];
|
||
int rcount = 0;
|
||
int Offset;
|
||
sstart = symbolP;
|
||
for (symbolP1 = symbol_next (symbolP); symbolP1; symbolP1 = symbol_next (symbolP1))
|
||
{
|
||
if (S_GET_RAW_TYPE (symbolP1) == N_FUN)
|
||
{
|
||
char * pnt=(char*) strchr (S_GET_NAME (symbolP1), ':') + 1;
|
||
if (*pnt == 'F' || *pnt == 'f') break;
|
||
}
|
||
/*
|
||
* Deal with STAB symbols
|
||
*/
|
||
if (S_IS_DEBUG (symbolP1))
|
||
{
|
||
/*
|
||
* Dispatch on STAB type
|
||
*/
|
||
switch (S_GET_RAW_TYPE (symbolP1))
|
||
{
|
||
case N_LBRAC:
|
||
if (Level != 0)
|
||
{
|
||
sprintf (str, "$%d", rcount++);
|
||
VMS_TBT_Block_Begin (symbolP1, Text_Psect, str);
|
||
}
|
||
Offset = S_GET_VALUE (symbolP1);
|
||
Define_Local_Symbols (sstart, symbolP1);
|
||
symbolP1 =
|
||
Define_Routine (symbolP1, Level + 1);
|
||
if (Level != 0)
|
||
VMS_TBT_Block_End (S_GET_VALUE (symbolP1) -
|
||
Offset);
|
||
sstart = symbolP1;
|
||
break;
|
||
case N_RBRAC:
|
||
return symbolP1;
|
||
} /*switch*/
|
||
} /* if */
|
||
} /* for */
|
||
/* we end up here if there were no brackets in this function. Define
|
||
everything */
|
||
Define_Local_Symbols (sstart, (symbolS *) 0);
|
||
return symbolP1;
|
||
}
|
||
|
||
|
||
static void
|
||
VMS_DBG_Define_Routine (symbolP, Curr_Routine, Txt_Psect)
|
||
symbolS *symbolP;
|
||
symbolS *Curr_Routine;
|
||
int Txt_Psect;
|
||
{
|
||
Current_Routine = Curr_Routine;
|
||
Text_Psect = Txt_Psect;
|
||
Define_Routine (symbolP, 0);
|
||
}
|
||
|
||
|
||
#ifndef VMS
|
||
#include <sys/types.h>
|
||
#include <time.h>
|
||
static void get_VMS_time_on_unix PARAMS ((char *));
|
||
|
||
/* Manufacture a VMS-like time string on a Unix based system. */
|
||
static void
|
||
get_VMS_time_on_unix (Now)
|
||
char *Now;
|
||
{
|
||
char *pnt;
|
||
time_t timeb;
|
||
|
||
time (&timeb);
|
||
pnt = ctime (&timeb);
|
||
pnt[3] = 0;
|
||
pnt[7] = 0;
|
||
pnt[10] = 0;
|
||
pnt[16] = 0;
|
||
pnt[24] = 0;
|
||
sprintf (Now, "%2s-%3s-%s %s", pnt + 8, pnt + 4, pnt + 20, pnt + 11);
|
||
}
|
||
#endif /* not VMS */
|
||
|
||
/*
|
||
* Write the MHD (Module Header) records
|
||
*/
|
||
static void
|
||
Write_VMS_MHD_Records ()
|
||
{
|
||
register const char *cp;
|
||
register char *cp1;
|
||
register int i;
|
||
#ifdef VMS
|
||
struct { unsigned short len, mbz; char *ptr; } Descriptor;
|
||
#endif
|
||
char Module_Name[255+1];
|
||
char Now[17+1];
|
||
|
||
/*
|
||
* We are writing a module header record
|
||
*/
|
||
Set_VMS_Object_File_Record (OBJ_S_C_HDR);
|
||
/*
|
||
* ***************************
|
||
* *MAIN MODULE HEADER RECORD*
|
||
* ***************************
|
||
*
|
||
* Store record type and header type
|
||
*/
|
||
PUT_CHAR (OBJ_S_C_HDR);
|
||
PUT_CHAR (MHD_S_C_MHD);
|
||
/*
|
||
* Structure level is 0
|
||
*/
|
||
PUT_CHAR (OBJ_S_C_STRLVL);
|
||
/*
|
||
* Maximum record size is size of the object record buffer
|
||
*/
|
||
PUT_SHORT (sizeof (Object_Record_Buffer));
|
||
|
||
/*
|
||
* FIXME: module name and version should be user
|
||
* specifiable via `.ident' and/or `#pragma ident'.
|
||
*/
|
||
|
||
/*
|
||
* Get module name (the FILENAME part of the object file)
|
||
*/
|
||
cp = out_file_name;
|
||
cp1 = Module_Name;
|
||
while (*cp)
|
||
{
|
||
if ((*cp == ']') || (*cp == '>') ||
|
||
(*cp == ':') || (*cp == '/'))
|
||
{
|
||
cp1 = Module_Name;
|
||
cp++;
|
||
continue;
|
||
}
|
||
*cp1++ = islower (*cp) ? toupper (*cp++) : *cp++;
|
||
}
|
||
*cp1 = 0;
|
||
/*
|
||
* Limit it to 31 characters and store in the object record
|
||
*/
|
||
while (--cp1 >= Module_Name)
|
||
if (*cp1 == '.')
|
||
*cp1 = 0;
|
||
if (strlen (Module_Name) > 31)
|
||
{
|
||
if (flag_hash_long_names)
|
||
as_tsktsk ("Module name truncated: %s\n", Module_Name);
|
||
Module_Name[31] = 0;
|
||
}
|
||
PUT_COUNTED_STRING (Module_Name);
|
||
/*
|
||
* Module Version is "V1.0"
|
||
*/
|
||
PUT_COUNTED_STRING ("V1.0");
|
||
/*
|
||
* Creation time is "now" (17 chars of time string): "dd-MMM-yyyy hh:mm".
|
||
*/
|
||
#ifndef VMS
|
||
get_VMS_time_on_unix (Now);
|
||
#else /* VMS */
|
||
Descriptor.len = sizeof Now - 1;
|
||
Descriptor.mbz = 0; /* type & class unspecified */
|
||
Descriptor.ptr = Now;
|
||
(void) sys$asctim ((unsigned short *)0, &Descriptor, (long *)0, 0);
|
||
#endif /* VMS */
|
||
for (i = 0; i < 17; i++)
|
||
PUT_CHAR (Now[i]);
|
||
/*
|
||
* Patch time is "never" (17 zeros)
|
||
*/
|
||
for (i = 0; i < 17; i++)
|
||
PUT_CHAR (0);
|
||
/*
|
||
* Flush the record
|
||
*/
|
||
Flush_VMS_Object_Record_Buffer ();
|
||
/*
|
||
* *************************
|
||
* *LANGUAGE PROCESSOR NAME*
|
||
* *************************
|
||
*
|
||
* Store record type and header type
|
||
*/
|
||
PUT_CHAR (OBJ_S_C_HDR);
|
||
PUT_CHAR (MHD_S_C_LNM);
|
||
/*
|
||
* Store language processor name and version
|
||
* (not a counted string!)
|
||
*
|
||
* This is normally supplied by the gcc driver for the command line
|
||
* which invokes gas. If absent, we fall back to gas's version.
|
||
*/
|
||
cp = compiler_version_string;
|
||
if (cp == 0)
|
||
{
|
||
cp = "GNU AS V";
|
||
while (*cp)
|
||
PUT_CHAR (*cp++);
|
||
cp = GAS_VERSION;
|
||
}
|
||
while (*cp >= ' ')
|
||
PUT_CHAR (*cp++);
|
||
/*
|
||
* Flush the record
|
||
*/
|
||
Flush_VMS_Object_Record_Buffer ();
|
||
}
|
||
|
||
|
||
/*
|
||
* Write the EOM (End Of Module) record
|
||
*/
|
||
static void
|
||
Write_VMS_EOM_Record (Psect, Offset)
|
||
int Psect;
|
||
int Offset;
|
||
{
|
||
/*
|
||
* We are writing an end-of-module record
|
||
* (this assumes that the entry point will always be in a psect
|
||
* represented by a single byte, which is the case for code in
|
||
* Text_Psect==0)
|
||
*/
|
||
Set_VMS_Object_File_Record (OBJ_S_C_EOM);
|
||
/*
|
||
* Store record Type
|
||
*/
|
||
PUT_CHAR (OBJ_S_C_EOM);
|
||
/*
|
||
* Store the error severity (0)
|
||
*/
|
||
PUT_CHAR (0);
|
||
/*
|
||
* Store the entry point, if it exists
|
||
*/
|
||
if (Psect >= 0)
|
||
{
|
||
/*
|
||
* Store the entry point Psect
|
||
*/
|
||
PUT_CHAR (Psect);
|
||
/*
|
||
* Store the entry point Psect offset
|
||
*/
|
||
PUT_LONG (Offset);
|
||
}
|
||
/*
|
||
* Flush the record
|
||
*/
|
||
Flush_VMS_Object_Record_Buffer ();
|
||
}
|
||
|
||
|
||
/* this hash routine borrowed from GNU-EMACS, and strengthened slightly ERY*/
|
||
|
||
static int
|
||
hash_string (ptr)
|
||
const char *ptr;
|
||
{
|
||
register const unsigned char *p = (unsigned char *) ptr;
|
||
register const unsigned char *end = p + strlen (ptr);
|
||
register unsigned char c;
|
||
register int hash = 0;
|
||
|
||
while (p != end)
|
||
{
|
||
c = *p++;
|
||
hash = ((hash << 3) + (hash << 15) + (hash >> 28) + c);
|
||
}
|
||
return hash;
|
||
}
|
||
|
||
/*
|
||
* Generate a Case-Hacked VMS symbol name (limited to 31 chars)
|
||
*/
|
||
static void
|
||
VMS_Case_Hack_Symbol (In, Out)
|
||
register const char *In;
|
||
register char *Out;
|
||
{
|
||
long int init;
|
||
long int result;
|
||
char *pnt = 0;
|
||
char *new_name;
|
||
const char *old_name;
|
||
register int i;
|
||
int destructor = 0; /*hack to allow for case sens in a destructor*/
|
||
int truncate = 0;
|
||
int Case_Hack_Bits = 0;
|
||
int Saw_Dollar = 0;
|
||
static char Hex_Table[16] =
|
||
{'0', '1', '2', '3', '4', '5', '6', '7', '8', '9', 'A', 'B', 'C', 'D', 'E', 'F'};
|
||
|
||
/*
|
||
* Kill any leading "_"
|
||
*/
|
||
if ((In[0] == '_') && ((In[1] > '9') || (In[1] < '0')))
|
||
In++;
|
||
|
||
new_name = Out; /* save this for later*/
|
||
|
||
#if barfoo /* Dead code */
|
||
if ((In[0] == '_') && (In[1] == '$') && (In[2] == '_'))
|
||
destructor = 1;
|
||
#endif
|
||
|
||
/* We may need to truncate the symbol, save the hash for later*/
|
||
result = (strlen (In) > 23) ? hash_string (In) : 0;
|
||
/*
|
||
* Is there a Psect Attribute to skip??
|
||
*/
|
||
if (HAS_PSECT_ATTRIBUTES (In))
|
||
{
|
||
/*
|
||
* Yes: Skip it
|
||
*/
|
||
In += PSECT_ATTRIBUTES_STRING_LENGTH;
|
||
while (*In)
|
||
{
|
||
if ((In[0] == '$') && (In[1] == '$'))
|
||
{
|
||
In += 2;
|
||
break;
|
||
}
|
||
In++;
|
||
}
|
||
}
|
||
|
||
old_name = In;
|
||
/* if (strlen(In) > 31 && flag_hash_long_names)
|
||
as_tsktsk("Symbol name truncated: %s\n", In); */
|
||
/*
|
||
* Do the case conversion
|
||
*/
|
||
i = 23; /* Maximum of 23 chars */
|
||
while (*In && (--i >= 0))
|
||
{
|
||
Case_Hack_Bits <<= 1;
|
||
if (*In == '$')
|
||
Saw_Dollar = 1;
|
||
if ((destructor == 1) && (i == 21))
|
||
Saw_Dollar = 0;
|
||
switch (vms_name_mapping)
|
||
{
|
||
case 0:
|
||
if (isupper(*In)) {
|
||
*Out++ = *In++;
|
||
Case_Hack_Bits |= 1;
|
||
} else {
|
||
*Out++ = islower(*In) ? toupper(*In++) : *In++;
|
||
}
|
||
break;
|
||
case 3: *Out++ = *In++;
|
||
break;
|
||
case 2:
|
||
if (islower(*In)) {
|
||
*Out++ = *In++;
|
||
} else {
|
||
*Out++ = isupper(*In) ? tolower(*In++) : *In++;
|
||
}
|
||
break;
|
||
}
|
||
}
|
||
/*
|
||
* If we saw a dollar sign, we don't do case hacking
|
||
*/
|
||
if (flag_no_hash_mixed_case || Saw_Dollar)
|
||
Case_Hack_Bits = 0;
|
||
|
||
/*
|
||
* If we have more than 23 characters and everything is lowercase
|
||
* we can insert the full 31 characters
|
||
*/
|
||
if (*In)
|
||
{
|
||
/*
|
||
* We have more than 23 characters
|
||
* If we must add the case hack, then we have truncated the str
|
||
*/
|
||
pnt = Out;
|
||
truncate = 1;
|
||
if (Case_Hack_Bits == 0)
|
||
{
|
||
/*
|
||
* And so far they are all lower case:
|
||
* Check up to 8 more characters
|
||
* and ensure that they are lowercase
|
||
*/
|
||
for (i = 0; (In[i] != 0) && (i < 8); i++)
|
||
if (isupper(In[i]) && !Saw_Dollar && !flag_no_hash_mixed_case)
|
||
break;
|
||
|
||
if (In[i] == 0)
|
||
truncate = 0;
|
||
|
||
if ((i == 8) || (In[i] == 0))
|
||
{
|
||
/*
|
||
* They are: Copy up to 31 characters
|
||
* to the output string
|
||
*/
|
||
i = 8;
|
||
while ((--i >= 0) && (*In))
|
||
switch (vms_name_mapping){
|
||
case 0: *Out++ = islower(*In) ?
|
||
toupper (*In++) :
|
||
*In++;
|
||
break;
|
||
case 3: *Out++ = *In++;
|
||
break;
|
||
case 2: *Out++ = isupper(*In) ?
|
||
tolower(*In++) :
|
||
*In++;
|
||
break;
|
||
}
|
||
}
|
||
}
|
||
}
|
||
/*
|
||
* If there were any uppercase characters in the name we
|
||
* take on the case hacking string
|
||
*/
|
||
|
||
/* Old behavior for regular GNU-C compiler */
|
||
if (!flag_hash_long_names)
|
||
truncate = 0;
|
||
if ((Case_Hack_Bits != 0) || (truncate == 1))
|
||
{
|
||
if (truncate == 0)
|
||
{
|
||
*Out++ = '_';
|
||
for (i = 0; i < 6; i++)
|
||
{
|
||
*Out++ = Hex_Table[Case_Hack_Bits & 0xf];
|
||
Case_Hack_Bits >>= 4;
|
||
}
|
||
*Out++ = 'X';
|
||
}
|
||
else
|
||
{
|
||
Out = pnt; /*Cut back to 23 characters maximum */
|
||
*Out++ = '_';
|
||
for (i = 0; i < 7; i++)
|
||
{
|
||
init = result & 0x01f;
|
||
*Out++ = (init < 10) ? ('0' + init) : ('A' + init - 10);
|
||
result = result >> 5;
|
||
}
|
||
}
|
||
} /*Case Hack */
|
||
/*
|
||
* Done
|
||
*/
|
||
*Out = 0;
|
||
if (truncate == 1 && flag_hash_long_names && flag_show_after_trunc)
|
||
as_tsktsk ("Symbol %s replaced by %s\n", old_name, new_name);
|
||
}
|
||
|
||
|
||
/*
|
||
* Scan a symbol name for a psect attribute specification
|
||
*/
|
||
#define GLOBALSYMBOL_BIT 0x10000
|
||
#define GLOBALVALUE_BIT 0x20000
|
||
|
||
|
||
static void
|
||
VMS_Modify_Psect_Attributes (Name, Attribute_Pointer)
|
||
const char *Name;
|
||
int *Attribute_Pointer;
|
||
{
|
||
register int i;
|
||
register const char *cp;
|
||
int Negate;
|
||
static const struct
|
||
{
|
||
const char *Name;
|
||
int Value;
|
||
} Attributes[] =
|
||
{
|
||
{"PIC", GPS_S_M_PIC},
|
||
{"LIB", GPS_S_M_LIB},
|
||
{"OVR", GPS_S_M_OVR},
|
||
{"REL", GPS_S_M_REL},
|
||
{"GBL", GPS_S_M_GBL},
|
||
{"SHR", GPS_S_M_SHR},
|
||
{"EXE", GPS_S_M_EXE},
|
||
{"RD", GPS_S_M_RD},
|
||
{"WRT", GPS_S_M_WRT},
|
||
{"VEC", GPS_S_M_VEC},
|
||
{"GLOBALSYMBOL", GLOBALSYMBOL_BIT},
|
||
{"GLOBALVALUE", GLOBALVALUE_BIT},
|
||
{0, 0}
|
||
};
|
||
|
||
/*
|
||
* Kill leading "_"
|
||
*/
|
||
if (*Name == '_')
|
||
Name++;
|
||
/*
|
||
* Check for a PSECT attribute list
|
||
*/
|
||
if (!HAS_PSECT_ATTRIBUTES (Name))
|
||
return; /* If not, return */
|
||
/*
|
||
* Skip the attribute list indicator
|
||
*/
|
||
Name += PSECT_ATTRIBUTES_STRING_LENGTH;
|
||
/*
|
||
* Process the attributes ("_" separated, "$" terminated)
|
||
*/
|
||
while (*Name != '$')
|
||
{
|
||
/*
|
||
* Assume not negating
|
||
*/
|
||
Negate = 0;
|
||
/*
|
||
* Check for "NO"
|
||
*/
|
||
if ((Name[0] == 'N') && (Name[1] == 'O'))
|
||
{
|
||
/*
|
||
* We are negating (and skip the NO)
|
||
*/
|
||
Negate = 1;
|
||
Name += 2;
|
||
}
|
||
/*
|
||
* Find the token delimiter
|
||
*/
|
||
cp = Name;
|
||
while (*cp && (*cp != '_') && (*cp != '$'))
|
||
cp++;
|
||
/*
|
||
* Look for the token in the attribute list
|
||
*/
|
||
for (i = 0; Attributes[i].Name; i++)
|
||
{
|
||
/*
|
||
* If the strings match, set/clear the attr.
|
||
*/
|
||
if (strncmp (Name, Attributes[i].Name, cp - Name) == 0)
|
||
{
|
||
/*
|
||
* Set or clear
|
||
*/
|
||
if (Negate)
|
||
*Attribute_Pointer &=
|
||
~Attributes[i].Value;
|
||
else
|
||
*Attribute_Pointer |=
|
||
Attributes[i].Value;
|
||
/*
|
||
* Done
|
||
*/
|
||
break;
|
||
}
|
||
}
|
||
/*
|
||
* Now skip the attribute
|
||
*/
|
||
Name = cp;
|
||
if (*Name == '_')
|
||
Name++;
|
||
}
|
||
}
|
||
|
||
|
||
#define GBLSYM_REF 0
|
||
#define GBLSYM_DEF 1
|
||
#define GBLSYM_VAL 2
|
||
#define GBLSYM_LCL 4 /* not GBL after all... */
|
||
|
||
/*
|
||
* Define a global symbol (or possibly a local one).
|
||
*/
|
||
static void
|
||
VMS_Global_Symbol_Spec (Name, Psect_Number, Psect_Offset, Flags)
|
||
const char *Name;
|
||
int Psect_Number;
|
||
int Psect_Offset;
|
||
int Flags;
|
||
{
|
||
char Local[32];
|
||
|
||
/*
|
||
* We are writing a GSD record
|
||
*/
|
||
Set_VMS_Object_File_Record (OBJ_S_C_GSD);
|
||
/*
|
||
* If the buffer is empty we must insert the GSD record type
|
||
*/
|
||
if (Object_Record_Offset == 0)
|
||
PUT_CHAR (OBJ_S_C_GSD);
|
||
/*
|
||
* We are writing a Global (or local) symbol definition subrecord.
|
||
*/
|
||
PUT_CHAR ((Flags & GBLSYM_LCL) != 0 ? GSD_S_C_LSY :
|
||
((unsigned) Psect_Number <= 255) ? GSD_S_C_SYM : GSD_S_C_SYMW);
|
||
/*
|
||
* Data type is undefined
|
||
*/
|
||
PUT_CHAR (0);
|
||
/*
|
||
* Switch on Definition/Reference
|
||
*/
|
||
if ((Flags & GBLSYM_DEF) == 0)
|
||
{
|
||
/*
|
||
* Reference
|
||
*/
|
||
PUT_SHORT (((Flags & GBLSYM_VAL) == 0) ? GSY_S_M_REL : 0);
|
||
if ((Flags & GBLSYM_LCL) != 0) /* local symbols have extra field */
|
||
PUT_SHORT (Current_Environment);
|
||
}
|
||
else
|
||
{
|
||
/*
|
||
* Definition
|
||
*[ assert (LSY_S_M_DEF == GSY_S_M_DEF && LSY_S_M_REL == GSY_S_M_REL); ]
|
||
*/
|
||
PUT_SHORT (((Flags & GBLSYM_VAL) == 0) ?
|
||
GSY_S_M_DEF | GSY_S_M_REL : GSY_S_M_DEF);
|
||
if ((Flags & GBLSYM_LCL) != 0) /* local symbols have extra field */
|
||
PUT_SHORT (Current_Environment);
|
||
/*
|
||
* Psect Number
|
||
*/
|
||
if ((Flags & GBLSYM_LCL) == 0 && (unsigned) Psect_Number <= 255)
|
||
PUT_CHAR (Psect_Number);
|
||
else
|
||
PUT_SHORT (Psect_Number);
|
||
/*
|
||
* Offset
|
||
*/
|
||
PUT_LONG (Psect_Offset);
|
||
}
|
||
/*
|
||
* Finally, the global symbol name
|
||
*/
|
||
VMS_Case_Hack_Symbol (Name, Local);
|
||
PUT_COUNTED_STRING (Local);
|
||
/*
|
||
* 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 ();
|
||
}
|
||
|
||
/*
|
||
* Define an environment to support local symbol references.
|
||
* This is just to mollify the linker; we don't actually do
|
||
* anything useful with it.
|
||
*/
|
||
static void
|
||
VMS_Local_Environment_Setup (Env_Name)
|
||
const char *Env_Name;
|
||
{
|
||
/* We are writing a GSD record. */
|
||
Set_VMS_Object_File_Record (OBJ_S_C_GSD);
|
||
/* If the buffer is empty we must insert the GSD record type. */
|
||
if (Object_Record_Offset == 0)
|
||
PUT_CHAR (OBJ_S_C_GSD);
|
||
/* We are writing an ENV subrecord. */
|
||
PUT_CHAR (GSD_S_C_ENV);
|
||
|
||
++Current_Environment; /* index of environment being defined */
|
||
|
||
/* ENV$W_FLAGS: we are defining the next environment. It's not nested. */
|
||
PUT_SHORT (ENV_S_M_DEF);
|
||
/* ENV$W_ENVINDX: index is always 0 for non-nested definitions. */
|
||
PUT_SHORT (0);
|
||
|
||
/* ENV$B_NAMLNG + ENV$T_NAME: environment name in ASCIC format. */
|
||
if (!Env_Name) Env_Name = "";
|
||
PUT_COUNTED_STRING ((char *)Env_Name);
|
||
|
||
/* 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 ();
|
||
}
|
||
|
||
|
||
/*
|
||
* Define a psect
|
||
*/
|
||
static int
|
||
VMS_Psect_Spec (Name, Size, Type, vsp)
|
||
const char *Name;
|
||
int Size;
|
||
const char *Type;
|
||
struct VMS_Symbol *vsp;
|
||
{
|
||
char Local[32];
|
||
int Psect_Attributes;
|
||
|
||
/*
|
||
* Generate the appropriate PSECT flags given the PSECT type
|
||
*/
|
||
if (strcmp (Type, "COMMON") == 0)
|
||
{
|
||
/*
|
||
* Common block psects are: PIC,OVR,REL,GBL,SHR,RD,WRT
|
||
*/
|
||
Psect_Attributes = (GPS_S_M_PIC | GPS_S_M_OVR | GPS_S_M_REL | GPS_S_M_GBL |
|
||
GPS_S_M_SHR | GPS_S_M_RD | GPS_S_M_WRT);
|
||
}
|
||
else if (strcmp (Type, "CONST") == 0)
|
||
{
|
||
/*
|
||
* Common block psects are: PIC,OVR,REL,GBL,SHR,RD
|
||
*/
|
||
Psect_Attributes = (GPS_S_M_PIC | GPS_S_M_OVR | GPS_S_M_REL | GPS_S_M_GBL |
|
||
GPS_S_M_SHR | GPS_S_M_RD);
|
||
}
|
||
else if (strcmp (Type, "DATA") == 0)
|
||
{
|
||
/*
|
||
* The Data psects are PIC,REL,RD,WRT
|
||
*/
|
||
Psect_Attributes =
|
||
(GPS_S_M_PIC | GPS_S_M_REL | GPS_S_M_RD | GPS_S_M_WRT);
|
||
}
|
||
else if (strcmp (Type, "TEXT") == 0)
|
||
{
|
||
/*
|
||
* The Text psects are PIC,REL,SHR,EXE,RD
|
||
*/
|
||
Psect_Attributes =
|
||
(GPS_S_M_PIC | GPS_S_M_REL | GPS_S_M_SHR |
|
||
GPS_S_M_EXE | GPS_S_M_RD);
|
||
}
|
||
else
|
||
{
|
||
/*
|
||
* Error: Unknown psect type
|
||
*/
|
||
error ("Unknown VMS psect type");
|
||
}
|
||
/*
|
||
* Modify the psect attributes according to any attribute string
|
||
*/
|
||
if (vsp && S_GET_TYPE (vsp->Symbol) == N_ABS)
|
||
Psect_Attributes |= GLOBALVALUE_BIT;
|
||
else if (HAS_PSECT_ATTRIBUTES (Name))
|
||
VMS_Modify_Psect_Attributes (Name, &Psect_Attributes);
|
||
/*
|
||
* Check for globalref/def/val.
|
||
*/
|
||
if ((Psect_Attributes & GLOBALVALUE_BIT) != 0)
|
||
{
|
||
/*
|
||
* globalvalue symbols were generated before. This code
|
||
* prevents unsightly psect buildup, and makes sure that
|
||
* fixup references are emitted correctly.
|
||
*/
|
||
vsp->Psect_Index = -1; /* to catch errors */
|
||
S_SET_TYPE (vsp->Symbol, N_UNDF); /* make refs work */
|
||
return 1; /* decrement psect counter */
|
||
}
|
||
|
||
if ((Psect_Attributes & GLOBALSYMBOL_BIT) != 0)
|
||
{
|
||
switch (S_GET_RAW_TYPE (vsp->Symbol))
|
||
{
|
||
case N_UNDF | N_EXT:
|
||
VMS_Global_Symbol_Spec (Name, vsp->Psect_Index,
|
||
vsp->Psect_Offset, GBLSYM_REF);
|
||
vsp->Psect_Index = -1;
|
||
S_SET_TYPE (vsp->Symbol, N_UNDF);
|
||
return 1; /* return and indicate no psect */
|
||
case N_DATA | N_EXT:
|
||
VMS_Global_Symbol_Spec (Name, vsp->Psect_Index,
|
||
vsp->Psect_Offset, GBLSYM_DEF);
|
||
/* In this case we still generate the psect */
|
||
break;
|
||
default:
|
||
as_fatal ("Globalsymbol attribute for symbol %s was unexpected.",
|
||
Name);
|
||
break;
|
||
} /* switch */
|
||
}
|
||
|
||
Psect_Attributes &= 0xffff; /* clear out the globalref/def stuff */
|
||
/*
|
||
* We are writing a GSD record
|
||
*/
|
||
Set_VMS_Object_File_Record (OBJ_S_C_GSD);
|
||
/*
|
||
* If the buffer is empty we must insert the GSD record type
|
||
*/
|
||
if (Object_Record_Offset == 0)
|
||
PUT_CHAR (OBJ_S_C_GSD);
|
||
/*
|
||
* We are writing a PSECT definition subrecord
|
||
*/
|
||
PUT_CHAR (GSD_S_C_PSC);
|
||
/*
|
||
* Psects are always LONGWORD aligned
|
||
*/
|
||
PUT_CHAR (2);
|
||
/*
|
||
* Specify the psect attributes
|
||
*/
|
||
PUT_SHORT (Psect_Attributes);
|
||
/*
|
||
* Specify the allocation
|
||
*/
|
||
PUT_LONG (Size);
|
||
/*
|
||
* Finally, the psect name
|
||
*/
|
||
VMS_Case_Hack_Symbol (Name, Local);
|
||
PUT_COUNTED_STRING (Local);
|
||
/*
|
||
* 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 ();
|
||
return 0;
|
||
}
|
||
|
||
|
||
/*
|
||
* Given the pointer to a symbol we calculate how big the data at the
|
||
* symbol is. We do this by looking for the next symbol (local or
|
||
* global) which will indicate the start of another datum.
|
||
*/
|
||
static int
|
||
VMS_Initialized_Data_Size (sp, End_Of_Data)
|
||
register symbolS *sp;
|
||
int End_Of_Data;
|
||
{
|
||
symbolS *sp1, *Next_Symbol;
|
||
/* Cache values to avoid extra lookups. */
|
||
valueT sp_val = S_GET_VALUE (sp), sp1_val, next_val = 0;
|
||
|
||
/*
|
||
* Find the next symbol
|
||
* it delimits this datum
|
||
*/
|
||
Next_Symbol = 0;
|
||
for (sp1 = symbol_rootP; sp1; sp1 = symbol_next (sp1))
|
||
{
|
||
/*
|
||
* The data type must match
|
||
*/
|
||
if (S_GET_TYPE (sp1) != N_DATA)
|
||
continue;
|
||
|
||
sp1_val = S_GET_VALUE (sp1);
|
||
|
||
/*
|
||
* The symbol must be AFTER this symbol
|
||
*/
|
||
if (sp1_val <= sp_val)
|
||
continue;
|
||
/*
|
||
* We ignore THIS symbol
|
||
*/
|
||
if (sp1 == sp)
|
||
continue;
|
||
/*
|
||
* If there is already a candidate selected for the
|
||
* next symbol, see if we are a better candidate
|
||
*/
|
||
if (Next_Symbol)
|
||
{
|
||
/*
|
||
* We are a better candidate if we are "closer"
|
||
* to the symbol
|
||
*/
|
||
if (sp1_val > next_val)
|
||
continue;
|
||
}
|
||
/*
|
||
* Make this the candidate
|
||
*/
|
||
Next_Symbol = sp1;
|
||
next_val = sp1_val;
|
||
}
|
||
/*
|
||
* Calculate its size
|
||
*/
|
||
return Next_Symbol ? (next_val - sp_val) : (End_Of_Data - sp_val);
|
||
}
|
||
|
||
/*
|
||
* Check symbol names for the Psect hack with a globalvalue, and then
|
||
* generate globalvalues for those that have it.
|
||
*/
|
||
static void
|
||
VMS_Emit_Globalvalues (text_siz, data_siz, Data_Segment)
|
||
unsigned text_siz;
|
||
unsigned data_siz;
|
||
char *Data_Segment;
|
||
{
|
||
register symbolS *sp;
|
||
char *stripped_name, *Name;
|
||
int Size;
|
||
int Psect_Attributes;
|
||
int globalvalue;
|
||
int typ, abstyp;
|
||
|
||
/*
|
||
* Scan the symbol table for globalvalues, and emit def/ref when
|
||
* required. These will be caught again later and converted to
|
||
* N_UNDF
|
||
*/
|
||
for (sp = symbol_rootP; sp; sp = sp->sy_next)
|
||
{
|
||
typ = S_GET_RAW_TYPE (sp);
|
||
abstyp = ((typ & ~N_EXT) == N_ABS);
|
||
/*
|
||
* See if this is something we want to look at.
|
||
*/
|
||
if (!abstyp &&
|
||
typ != (N_DATA | N_EXT) &&
|
||
typ != (N_UNDF | N_EXT))
|
||
continue;
|
||
/*
|
||
* See if this has globalvalue specification.
|
||
*/
|
||
Name = S_GET_NAME (sp);
|
||
|
||
if (abstyp)
|
||
{
|
||
stripped_name = 0;
|
||
Psect_Attributes = GLOBALVALUE_BIT;
|
||
}
|
||
else if (HAS_PSECT_ATTRIBUTES (Name))
|
||
{
|
||
stripped_name = (char *) xmalloc (strlen (Name) + 1);
|
||
strcpy (stripped_name, Name);
|
||
Psect_Attributes = 0;
|
||
VMS_Modify_Psect_Attributes (stripped_name, &Psect_Attributes);
|
||
}
|
||
else
|
||
continue;
|
||
|
||
if ((Psect_Attributes & GLOBALVALUE_BIT) != 0)
|
||
{
|
||
switch (typ)
|
||
{
|
||
case N_ABS:
|
||
/* Local symbol references will want
|
||
to have an environment defined. */
|
||
if (Current_Environment < 0)
|
||
VMS_Local_Environment_Setup (".N_ABS");
|
||
VMS_Global_Symbol_Spec (Name, 0,
|
||
S_GET_VALUE(sp),
|
||
GBLSYM_DEF|GBLSYM_VAL|GBLSYM_LCL);
|
||
break;
|
||
case N_ABS | N_EXT:
|
||
VMS_Global_Symbol_Spec (Name, 0,
|
||
S_GET_VALUE(sp),
|
||
GBLSYM_DEF|GBLSYM_VAL);
|
||
break;
|
||
case N_UNDF | N_EXT:
|
||
VMS_Global_Symbol_Spec (stripped_name, 0, 0, GBLSYM_VAL);
|
||
break;
|
||
case N_DATA | N_EXT:
|
||
Size = VMS_Initialized_Data_Size (sp, text_siz + data_siz);
|
||
if (Size > 4)
|
||
error ("Invalid data type for globalvalue");
|
||
globalvalue = md_chars_to_number (Data_Segment +
|
||
S_GET_VALUE (sp) - text_siz , Size);
|
||
/* Three times for good luck. The linker seems to get confused
|
||
if there are fewer than three */
|
||
VMS_Global_Symbol_Spec (stripped_name, 0, 0, GBLSYM_VAL);
|
||
VMS_Global_Symbol_Spec (stripped_name, 0, globalvalue,
|
||
GBLSYM_DEF|GBLSYM_VAL);
|
||
VMS_Global_Symbol_Spec (stripped_name, 0, globalvalue,
|
||
GBLSYM_DEF|GBLSYM_VAL);
|
||
break;
|
||
default:
|
||
as_warn ("Invalid globalvalue of %s", stripped_name);
|
||
break;
|
||
} /* switch */
|
||
} /* if */
|
||
if (stripped_name) free (stripped_name); /* clean up */
|
||
} /* for */
|
||
|
||
}
|
||
|
||
|
||
/*
|
||
* Define a procedure entry pt/mask
|
||
*/
|
||
static void
|
||
VMS_Procedure_Entry_Pt (Name, Psect_Number, Psect_Offset, Entry_Mask)
|
||
char *Name;
|
||
int Psect_Number;
|
||
int Psect_Offset;
|
||
int Entry_Mask;
|
||
{
|
||
char Local[32];
|
||
|
||
/*
|
||
* We are writing a GSD record
|
||
*/
|
||
Set_VMS_Object_File_Record (OBJ_S_C_GSD);
|
||
/*
|
||
* If the buffer is empty we must insert the GSD record type
|
||
*/
|
||
if (Object_Record_Offset == 0)
|
||
PUT_CHAR (OBJ_S_C_GSD);
|
||
/*
|
||
* We are writing a Procedure Entry Pt/Mask subrecord
|
||
*/
|
||
PUT_CHAR (((unsigned) Psect_Number <= 255) ? GSD_S_C_EPM : GSD_S_C_EPMW);
|
||
/*
|
||
* Data type is undefined
|
||
*/
|
||
PUT_CHAR (0);
|
||
/*
|
||
* Flags = "RELOCATABLE" and "DEFINED"
|
||
*/
|
||
PUT_SHORT (GSY_S_M_DEF | GSY_S_M_REL);
|
||
/*
|
||
* Psect Number
|
||
*/
|
||
if ((unsigned) Psect_Number <= 255)
|
||
PUT_CHAR (Psect_Number);
|
||
else
|
||
PUT_SHORT (Psect_Number);
|
||
/*
|
||
* Offset
|
||
*/
|
||
PUT_LONG (Psect_Offset);
|
||
/*
|
||
* Entry mask
|
||
*/
|
||
PUT_SHORT (Entry_Mask);
|
||
/*
|
||
* Finally, the global symbol name
|
||
*/
|
||
VMS_Case_Hack_Symbol (Name, Local);
|
||
PUT_COUNTED_STRING (Local);
|
||
/*
|
||
* 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 ();
|
||
}
|
||
|
||
|
||
/*
|
||
* Set the current location counter to a particular Psect and Offset
|
||
*/
|
||
static void
|
||
VMS_Set_Psect (Psect_Index, Offset, Record_Type)
|
||
int Psect_Index;
|
||
int Offset;
|
||
int Record_Type;
|
||
{
|
||
/*
|
||
* We are writing a "Record_Type" record
|
||
*/
|
||
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 + Offset
|
||
*/
|
||
vms_tir_stack_psect (Psect_Index, Offset, 0);
|
||
/*
|
||
* Set relocation base
|
||
*/
|
||
PUT_CHAR (TIR_S_C_CTL_SETRB);
|
||
/*
|
||
* 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 ();
|
||
}
|
||
|
||
|
||
/*
|
||
* Store repeated immediate data in current Psect
|
||
*/
|
||
static void
|
||
VMS_Store_Repeated_Data (Repeat_Count, Pointer, Size, Record_Type)
|
||
int Repeat_Count;
|
||
register char *Pointer;
|
||
int Size;
|
||
int Record_Type;
|
||
{
|
||
|
||
/*
|
||
* Ignore zero bytes/words/longwords
|
||
*/
|
||
switch (Size)
|
||
{
|
||
case 4:
|
||
if (Pointer[3] != 0 || Pointer[2] != 0) break;
|
||
/* else FALLTHRU */
|
||
case 2:
|
||
if (Pointer[1] != 0) break;
|
||
/* else FALLTHRU */
|
||
case 1:
|
||
if (Pointer[0] != 0) break;
|
||
/* zero value */
|
||
return;
|
||
default:
|
||
break;
|
||
}
|
||
/*
|
||
* If the data is too big for a TIR_S_C_STO_RIVB sub-record
|
||
* then we do it manually
|
||
*/
|
||
if (Size > 255)
|
||
{
|
||
while (--Repeat_Count >= 0)
|
||
VMS_Store_Immediate_Data (Pointer, Size, Record_Type);
|
||
return;
|
||
}
|
||
/*
|
||
* We are writing a "Record_Type" record
|
||
*/
|
||
Set_VMS_Object_File_Record (Record_Type);
|
||
/*
|
||
* If the buffer is empty we must insert record type
|
||
*/
|
||
if (Object_Record_Offset == 0)
|
||
PUT_CHAR (Record_Type);
|
||
/*
|
||
* Stack the repeat count
|
||
*/
|
||
PUT_CHAR (TIR_S_C_STA_LW);
|
||
PUT_LONG (Repeat_Count);
|
||
/*
|
||
* And now the command and its data
|
||
*/
|
||
PUT_CHAR (TIR_S_C_STO_RIVB);
|
||
PUT_CHAR (Size);
|
||
while (--Size >= 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 ();
|
||
}
|
||
|
||
|
||
/*
|
||
* Store a Position Independent Reference
|
||
*/
|
||
static void
|
||
VMS_Store_PIC_Symbol_Reference (Symbol, Offset, PC_Relative,
|
||
Psect, Psect_Offset, Record_Type)
|
||
symbolS *Symbol;
|
||
int Offset;
|
||
int PC_Relative;
|
||
int Psect;
|
||
int Psect_Offset;
|
||
int Record_Type;
|
||
{
|
||
register struct VMS_Symbol *vsp = Symbol->sy_obj;
|
||
char Local[32];
|
||
int local_sym = 0;
|
||
|
||
/*
|
||
* We are writing a "Record_Type" record
|
||
*/
|
||
Set_VMS_Object_File_Record (Record_Type);
|
||
/*
|
||
* If the buffer is empty we must insert record type
|
||
*/
|
||
if (Object_Record_Offset == 0)
|
||
PUT_CHAR (Record_Type);
|
||
/*
|
||
* Set to the appropriate offset in the Psect.
|
||
* For a Code reference we need to fix the operand
|
||
* specifier as well, so back up 1 byte;
|
||
* for a Data reference we just store HERE.
|
||
*/
|
||
VMS_Set_Psect (Psect,
|
||
PC_Relative ? Psect_Offset - 1 : Psect_Offset,
|
||
Record_Type);
|
||
/*
|
||
* Make sure we are still generating a "Record Type" record
|
||
*/
|
||
if (Object_Record_Offset == 0)
|
||
PUT_CHAR (Record_Type);
|
||
/*
|
||
* Dispatch on symbol type (so we can stack its value)
|
||
*/
|
||
switch (S_GET_RAW_TYPE (Symbol))
|
||
{
|
||
/*
|
||
* Global symbol
|
||
*/
|
||
case N_ABS:
|
||
local_sym = 1;
|
||
/*FALLTHRU*/
|
||
case N_ABS | N_EXT:
|
||
#ifdef NOT_VAX_11_C_COMPATIBLE
|
||
case N_UNDF | N_EXT:
|
||
case N_DATA | N_EXT:
|
||
#endif /* NOT_VAX_11_C_COMPATIBLE */
|
||
case N_UNDF:
|
||
case N_TEXT | N_EXT:
|
||
/*
|
||
* Get the symbol name (case hacked)
|
||
*/
|
||
VMS_Case_Hack_Symbol (S_GET_NAME (Symbol), Local);
|
||
/*
|
||
* Stack the global symbol value
|
||
*/
|
||
if (!local_sym)
|
||
{
|
||
PUT_CHAR (TIR_S_C_STA_GBL);
|
||
}
|
||
else
|
||
{
|
||
/* Local symbols have an extra field. */
|
||
PUT_CHAR (TIR_S_C_STA_LSY);
|
||
PUT_SHORT (Current_Environment);
|
||
}
|
||
PUT_COUNTED_STRING (Local);
|
||
if (Offset)
|
||
{
|
||
/*
|
||
* Stack the longword offset
|
||
*/
|
||
PUT_CHAR (TIR_S_C_STA_LW);
|
||
PUT_LONG (Offset);
|
||
/*
|
||
* Add the two, leaving the result on the stack
|
||
*/
|
||
PUT_CHAR (TIR_S_C_OPR_ADD);
|
||
}
|
||
break;
|
||
/*
|
||
* Uninitialized local data
|
||
*/
|
||
case N_BSS:
|
||
/*
|
||
* Stack the Psect (+offset)
|
||
*/
|
||
vms_tir_stack_psect (vsp->Psect_Index,
|
||
vsp->Psect_Offset + Offset,
|
||
0);
|
||
break;
|
||
/*
|
||
* Local text
|
||
*/
|
||
case N_TEXT:
|
||
/*
|
||
* Stack the Psect (+offset)
|
||
*/
|
||
vms_tir_stack_psect (vsp->Psect_Index,
|
||
S_GET_VALUE (Symbol) + Offset,
|
||
0);
|
||
break;
|
||
/*
|
||
* Initialized local or global data
|
||
*/
|
||
case N_DATA:
|
||
#ifndef NOT_VAX_11_C_COMPATIBLE
|
||
case N_UNDF | N_EXT:
|
||
case N_DATA | N_EXT:
|
||
#endif /* NOT_VAX_11_C_COMPATIBLE */
|
||
/*
|
||
* Stack the Psect (+offset)
|
||
*/
|
||
vms_tir_stack_psect (vsp->Psect_Index,
|
||
vsp->Psect_Offset + Offset,
|
||
0);
|
||
break;
|
||
}
|
||
/*
|
||
* Store either a code or data reference
|
||
*/
|
||
PUT_CHAR (PC_Relative ? TIR_S_C_STO_PICR : 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 ();
|
||
}
|
||
|
||
|
||
/*
|
||
* Check in the text area for an indirect pc-relative reference
|
||
* and fix it up with addressing mode 0xff [PC indirect]
|
||
*
|
||
* THIS SHOULD BE REPLACED BY THE USE OF TIR_S_C_STO_PIRR IN THE
|
||
* PIC CODE GENERATING FIXUP ROUTINE.
|
||
*/
|
||
static void
|
||
VMS_Fix_Indirect_Reference (Text_Psect, Offset, fragP, text_frag_root)
|
||
int Text_Psect;
|
||
int Offset;
|
||
register fragS *fragP;
|
||
fragS *text_frag_root;
|
||
{
|
||
/*
|
||
* The addressing mode byte is 1 byte before the address
|
||
*/
|
||
Offset--;
|
||
/*
|
||
* Is it in THIS frag??
|
||
*/
|
||
if ((Offset < fragP->fr_address) ||
|
||
(Offset >= (fragP->fr_address + fragP->fr_fix)))
|
||
{
|
||
/*
|
||
* We need to search for the fragment containing this
|
||
* Offset
|
||
*/
|
||
for (fragP = text_frag_root; fragP; fragP = fragP->fr_next)
|
||
{
|
||
if ((Offset >= fragP->fr_address) &&
|
||
(Offset < (fragP->fr_address + fragP->fr_fix)))
|
||
break;
|
||
}
|
||
/*
|
||
* If we couldn't find the frag, things are BAD!!
|
||
*/
|
||
if (fragP == 0)
|
||
error ("Couldn't find fixup fragment when checking for indirect reference");
|
||
}
|
||
/*
|
||
* Check for indirect PC relative addressing mode
|
||
*/
|
||
if (fragP->fr_literal[Offset - fragP->fr_address] == (char) 0xff)
|
||
{
|
||
static char Address_Mode = (char) 0xff;
|
||
|
||
/*
|
||
* Yes: Store the indirect mode back into the image
|
||
* to fix up the damage done by STO_PICR
|
||
*/
|
||
VMS_Set_Psect (Text_Psect, Offset, OBJ_S_C_TIR);
|
||
VMS_Store_Immediate_Data (&Address_Mode, 1, OBJ_S_C_TIR);
|
||
}
|
||
}
|
||
|
||
/*
|
||
* If the procedure "main()" exists we have to add the instruction
|
||
* "jsb c$main_args" at the beginning to be compatible with VAX-11 "C".
|
||
*
|
||
* FIXME: the macro name `HACK_DEC_C_STARTUP' should be renamed
|
||
* to `HACK_VAXCRTL_STARTUP' because Digital's compiler
|
||
* named "DEC C" uses run-time library "DECC$SHR", but this
|
||
* startup code is for "VAXCRTL", the library for Digital's
|
||
* older "VAX C". Also, this extra code isn't needed for
|
||
* supporting gcc because it already generates the VAXCRTL
|
||
* startup call when compiling main(). The reference to
|
||
* `flag_hash_long_names' looks very suspicious too;
|
||
* probably an old-style command line option was inadvertently
|
||
* overloaded here, then blindly converted into the new one.
|
||
*/
|
||
void
|
||
vms_check_for_main ()
|
||
{
|
||
register symbolS *symbolP;
|
||
#ifdef HACK_DEC_C_STARTUP /* JF */
|
||
register struct frchain *frchainP;
|
||
register fragS *fragP;
|
||
register fragS **prev_fragPP;
|
||
register struct fix *fixP;
|
||
register fragS *New_Frag;
|
||
int i;
|
||
#endif /* HACK_DEC_C_STARTUP */
|
||
|
||
symbolP = (symbolS *) symbol_find ("_main");
|
||
if (symbolP && !S_IS_DEBUG (symbolP) &&
|
||
S_IS_EXTERNAL (symbolP) && (S_GET_TYPE (symbolP) == N_TEXT))
|
||
{
|
||
#ifdef HACK_DEC_C_STARTUP
|
||
if (!flag_hash_long_names)
|
||
{
|
||
#endif
|
||
/*
|
||
* Remember the entry point symbol
|
||
*/
|
||
Entry_Point_Symbol = symbolP;
|
||
#ifdef HACK_DEC_C_STARTUP
|
||
}
|
||
else
|
||
{
|
||
/*
|
||
* Scan all the fragment chains for the one with "_main"
|
||
* (Actually we know the fragment from the symbol, but we need
|
||
* the previous fragment so we can change its pointer)
|
||
*/
|
||
frchainP = frchain_root;
|
||
while (frchainP)
|
||
{
|
||
/*
|
||
* Scan all the fragments in this chain, remembering
|
||
* the "previous fragment"
|
||
*/
|
||
prev_fragPP = &frchainP->frch_root;
|
||
fragP = frchainP->frch_root;
|
||
while (fragP && (fragP != frchainP->frch_last))
|
||
{
|
||
/*
|
||
* Is this the fragment?
|
||
*/
|
||
if (fragP == symbolP->sy_frag)
|
||
{
|
||
/*
|
||
* Yes: Modify the fragment by replacing
|
||
* it with a new fragment.
|
||
*/
|
||
New_Frag = (fragS *)
|
||
xmalloc (sizeof (*New_Frag) +
|
||
fragP->fr_fix +
|
||
fragP->fr_var +
|
||
5);
|
||
/*
|
||
* The fragments are the same except
|
||
* that the "fixed" area is larger
|
||
*/
|
||
*New_Frag = *fragP;
|
||
New_Frag->fr_fix += 6;
|
||
/*
|
||
* Copy the literal data opening a hole
|
||
* 2 bytes after "_main" (i.e. just after
|
||
* the entry mask). Into which we place
|
||
* the JSB instruction.
|
||
*/
|
||
New_Frag->fr_literal[0] = fragP->fr_literal[0];
|
||
New_Frag->fr_literal[1] = fragP->fr_literal[1];
|
||
New_Frag->fr_literal[2] = 0x16; /* Jsb */
|
||
New_Frag->fr_literal[3] = 0xef;
|
||
New_Frag->fr_literal[4] = 0;
|
||
New_Frag->fr_literal[5] = 0;
|
||
New_Frag->fr_literal[6] = 0;
|
||
New_Frag->fr_literal[7] = 0;
|
||
for (i = 2; i < fragP->fr_fix + fragP->fr_var; i++)
|
||
New_Frag->fr_literal[i + 6] =
|
||
fragP->fr_literal[i];
|
||
/*
|
||
* Now replace the old fragment with the
|
||
* newly generated one.
|
||
*/
|
||
*prev_fragPP = New_Frag;
|
||
/*
|
||
* Remember the entry point symbol
|
||
*/
|
||
Entry_Point_Symbol = symbolP;
|
||
/*
|
||
* Scan the text area fixup structures
|
||
* as offsets in the fragment may have
|
||
* changed
|
||
*/
|
||
for (fixP = text_fix_root; fixP; fixP = fixP->fx_next)
|
||
{
|
||
/*
|
||
* Look for references to this
|
||
* fragment.
|
||
*/
|
||
if (fixP->fx_frag == fragP)
|
||
{
|
||
/*
|
||
* Change the fragment
|
||
* pointer
|
||
*/
|
||
fixP->fx_frag = New_Frag;
|
||
/*
|
||
* If the offset is after
|
||
* the entry mask we need
|
||
* to account for the JSB
|
||
* instruction we just
|
||
* inserted.
|
||
*/
|
||
if (fixP->fx_where >= 2)
|
||
fixP->fx_where += 6;
|
||
}
|
||
}
|
||
/*
|
||
* Scan the symbols as offsets in the
|
||
* fragment may have changed
|
||
*/
|
||
for (symbolP = symbol_rootP;
|
||
symbolP;
|
||
symbolP = symbol_next (symbolP))
|
||
{
|
||
/*
|
||
* Look for references to this
|
||
* fragment.
|
||
*/
|
||
if (symbolP->sy_frag == fragP)
|
||
{
|
||
/*
|
||
* Change the fragment
|
||
* pointer
|
||
*/
|
||
symbolP->sy_frag = New_Frag;
|
||
/*
|
||
* If the offset is after
|
||
* the entry mask we need
|
||
* to account for the JSB
|
||
* instruction we just
|
||
* inserted.
|
||
*/
|
||
if (S_GET_VALUE (symbolP) >= 2)
|
||
S_SET_VALUE (symbolP,
|
||
S_GET_VALUE (symbolP) + 6);
|
||
}
|
||
}
|
||
/*
|
||
* Make a symbol reference to
|
||
* "_c$main_args" so we can get
|
||
* its address inserted into the
|
||
* JSB instruction.
|
||
*/
|
||
symbolP = (symbolS *) xmalloc (sizeof (*symbolP));
|
||
S_SET_NAME (symbolP, "_C$MAIN_ARGS");
|
||
S_SET_TYPE (symbolP, N_UNDF);
|
||
S_SET_OTHER (symbolP, 0);
|
||
S_SET_DESC (symbolP, 0);
|
||
S_SET_VALUE (symbolP, 0);
|
||
symbolP->sy_name_offset = 0;
|
||
symbolP->sy_number = 0;
|
||
symbolP->sy_obj = 0;
|
||
symbolP->sy_frag = New_Frag;
|
||
symbolP->sy_resolved = 0;
|
||
symbolP->sy_resolving = 0;
|
||
/* this actually inserts at the beginning of the list */
|
||
symbol_append (symbol_rootP, symbolP,
|
||
&symbol_rootP, &symbol_lastP);
|
||
|
||
symbol_rootP = symbolP;
|
||
/*
|
||
* Generate a text fixup structure
|
||
* to get "_c$main_args" stored into the
|
||
* JSB instruction.
|
||
*/
|
||
fixP = (struct fix *) xmalloc (sizeof (*fixP));
|
||
fixP->fx_frag = New_Frag;
|
||
fixP->fx_where = 4;
|
||
fixP->fx_addsy = symbolP;
|
||
fixP->fx_subsy = 0;
|
||
fixP->fx_offset = 0;
|
||
fixP->fx_size = 4;
|
||
fixP->fx_pcrel = 1;
|
||
fixP->fx_next = text_fix_root;
|
||
text_fix_root = fixP;
|
||
/*
|
||
* Now make sure we exit from the loop
|
||
*/
|
||
frchainP = 0;
|
||
break;
|
||
}
|
||
/*
|
||
* Try the next fragment
|
||
*/
|
||
prev_fragPP = &fragP->fr_next;
|
||
fragP = fragP->fr_next;
|
||
}
|
||
/*
|
||
* Try the next fragment chain
|
||
*/
|
||
if (frchainP)
|
||
frchainP = frchainP->frch_next;
|
||
}
|
||
}
|
||
#endif /* HACK_DEC_C_STARTUP */
|
||
}
|
||
}
|
||
|
||
|
||
#define IS_GXX_VTABLE(symP) (strncmp (S_GET_NAME (symP), "__vt.", 5) == 0)
|
||
|
||
/*
|
||
* Write a VAX/VMS object file (everything else has been done!)
|
||
*/
|
||
void
|
||
vms_write_object_file (text_siz, data_siz, bss_siz, text_frag_root,
|
||
data_frag_root)
|
||
unsigned text_siz;
|
||
unsigned data_siz;
|
||
unsigned bss_siz;
|
||
fragS *text_frag_root;
|
||
fragS *data_frag_root;
|
||
{
|
||
register fragS *fragP;
|
||
register symbolS *symbolP;
|
||
register symbolS *sp;
|
||
register struct fix *fixP;
|
||
register struct VMS_Symbol *vsp;
|
||
char *Data_Segment = 0;
|
||
int Local_Initialized_Data_Size = 0;
|
||
int Globalref;
|
||
int Psect_Number = 0; /* Psect Index Number */
|
||
int Text_Psect = -1; /* Text Psect Index */
|
||
int Data_Psect = -2; /* Data Psect Index JF: Was -1 */
|
||
int Bss_Psect = -3; /* Bss Psect Index JF: Was -1 */
|
||
|
||
/*
|
||
* Create the VMS object file
|
||
*/
|
||
Create_VMS_Object_File ();
|
||
/*
|
||
* Write the module header records
|
||
*/
|
||
Write_VMS_MHD_Records ();
|
||
|
||
/*
|
||
* Store the Data segment:
|
||
*
|
||
* Since this is REALLY hard to do any other way,
|
||
* we actually manufacture the data segment and
|
||
* the store the appropriate values out of it.
|
||
* We need to generate this early, so that globalvalues
|
||
* can be properly emitted.
|
||
*/
|
||
if (data_siz > 0)
|
||
{
|
||
/*
|
||
* Allocate the data segment
|
||
*/
|
||
Data_Segment = (char *) xmalloc (data_siz);
|
||
/*
|
||
* Run through the data fragments, filling in the segment
|
||
*/
|
||
for (fragP = data_frag_root; fragP; fragP = fragP->fr_next)
|
||
{
|
||
register long int count;
|
||
register char *fill_literal;
|
||
register long int fill_size;
|
||
int i;
|
||
|
||
i = fragP->fr_address - text_siz;
|
||
if (fragP->fr_fix)
|
||
memcpy (Data_Segment + i,
|
||
fragP->fr_literal,
|
||
fragP->fr_fix);
|
||
i += fragP->fr_fix;
|
||
|
||
fill_literal = fragP->fr_literal + fragP->fr_fix;
|
||
if ((fill_size = fragP->fr_var) != 0)
|
||
for (count = fragP->fr_offset; count; count--)
|
||
{
|
||
memcpy (Data_Segment + i, fill_literal, fill_size);
|
||
i += fill_size;
|
||
}
|
||
}
|
||
}
|
||
|
||
|
||
/*
|
||
* Generate the VMS object file records
|
||
* 1st GSD then TIR records
|
||
*/
|
||
|
||
/******* Global Symbol Dictionary *******/
|
||
/*
|
||
* Emit globalvalues now. We must do this before the text psect
|
||
* is defined, or we will get linker warnings about multiply defined
|
||
* symbols. All of the globalvalues "reference" psect 0, although
|
||
* it really does not have anything to do with it.
|
||
*/
|
||
VMS_Emit_Globalvalues (text_siz, data_siz, Data_Segment);
|
||
/*
|
||
* Define the Text Psect
|
||
*/
|
||
Text_Psect = Psect_Number++;
|
||
VMS_Psect_Spec ("$code", text_siz, "TEXT", 0);
|
||
/*
|
||
* Define the BSS Psect
|
||
*/
|
||
if (bss_siz > 0)
|
||
{
|
||
Bss_Psect = Psect_Number++;
|
||
VMS_Psect_Spec ("$uninitialized_data", bss_siz, "DATA", 0);
|
||
}
|
||
#ifndef gxx_bug_fixed
|
||
/*
|
||
* The g++ compiler does not write out external references to vtables
|
||
* correctly. Check for this and holler if we see it happening.
|
||
* If that compiler bug is ever fixed we can remove this.
|
||
* (Jun'95: gcc 2.7.0's cc1plus still exhibits this behavior.)
|
||
*/
|
||
for (sp = symbol_rootP; sp; sp = symbol_next (sp))
|
||
if (S_GET_RAW_TYPE (sp) == N_UNDF && IS_GXX_VTABLE (sp))
|
||
{
|
||
S_SET_TYPE (sp, N_UNDF | N_EXT);
|
||
S_SET_OTHER (sp, 1);
|
||
as_warn ("g++ wrote an extern reference to `%s' as a routine.\n%s",
|
||
S_GET_NAME (sp),
|
||
"I will fix it, but I hope that it was not really a routine.");
|
||
}
|
||
#endif /* gxx_bug_fixed */
|
||
/*
|
||
* Now scan the symbols and emit the appropriate GSD records
|
||
*/
|
||
for (sp = symbol_rootP; sp; sp = symbol_next (sp))
|
||
{
|
||
/*
|
||
* Dispatch on symbol type
|
||
*/
|
||
switch (S_GET_RAW_TYPE (sp))
|
||
{
|
||
/*
|
||
* Global uninitialized data
|
||
*/
|
||
case N_UNDF | N_EXT:
|
||
/*
|
||
* Make a VMS data symbol entry
|
||
*/
|
||
vsp = (struct VMS_Symbol *) xmalloc (sizeof (*vsp));
|
||
vsp->Symbol = sp;
|
||
vsp->Size = S_GET_VALUE (sp);
|
||
vsp->Psect_Index = Psect_Number++;
|
||
vsp->Psect_Offset = 0;
|
||
vsp->Next = VMS_Symbols;
|
||
VMS_Symbols = vsp;
|
||
sp->sy_obj = vsp;
|
||
/*
|
||
* Make the psect for this data
|
||
*/
|
||
Globalref = VMS_Psect_Spec (S_GET_NAME (sp),
|
||
vsp->Size,
|
||
S_GET_OTHER (sp) ? "CONST" : "COMMON",
|
||
vsp);
|
||
if (Globalref)
|
||
Psect_Number--;
|
||
|
||
/* See if this is an external vtable. We want to help the linker find
|
||
these things in libraries, so we make a symbol reference. This
|
||
is not compatible with VAX-C usage for variables, but since vtables are
|
||
only used internally by g++, we can get away with this hack. */
|
||
|
||
if (IS_GXX_VTABLE (sp))
|
||
VMS_Global_Symbol_Spec (S_GET_NAME(sp),
|
||
vsp->Psect_Index,
|
||
0,
|
||
GBLSYM_REF);
|
||
|
||
#ifdef NOT_VAX_11_C_COMPATIBLE
|
||
/*
|
||
* Place a global symbol at the
|
||
* beginning of the Psect
|
||
*/
|
||
VMS_Global_Symbol_Spec (S_GET_NAME (sp),
|
||
vsp->Psect_Index,
|
||
0,
|
||
GBLSYM_DEF);
|
||
#endif /* NOT_VAX_11_C_COMPATIBLE */
|
||
break;
|
||
/*
|
||
* Local uninitialized data
|
||
*/
|
||
case N_BSS:
|
||
/*
|
||
* Make a VMS data symbol entry
|
||
*/
|
||
vsp = (struct VMS_Symbol *) xmalloc (sizeof (*vsp));
|
||
vsp->Symbol = sp;
|
||
vsp->Size = 0;
|
||
vsp->Psect_Index = Bss_Psect;
|
||
vsp->Psect_Offset = S_GET_VALUE (sp) - bss_address_frag.fr_address;
|
||
vsp->Next = VMS_Symbols;
|
||
VMS_Symbols = vsp;
|
||
sp->sy_obj = vsp;
|
||
break;
|
||
/*
|
||
* Global initialized data
|
||
*/
|
||
case N_DATA | N_EXT:
|
||
/*
|
||
* Make a VMS data symbol entry
|
||
*/
|
||
vsp = (struct VMS_Symbol *) xmalloc (sizeof (*vsp));
|
||
vsp->Symbol = sp;
|
||
vsp->Size = VMS_Initialized_Data_Size (sp, text_siz + data_siz);
|
||
vsp->Psect_Index = Psect_Number++;
|
||
vsp->Psect_Offset = 0;
|
||
vsp->Next = VMS_Symbols;
|
||
VMS_Symbols = vsp;
|
||
sp->sy_obj = vsp;
|
||
/*
|
||
* Make its psect
|
||
*/
|
||
Globalref = VMS_Psect_Spec (S_GET_NAME (sp),
|
||
vsp->Size,
|
||
S_GET_OTHER (sp) ? "CONST" : "COMMON",
|
||
vsp);
|
||
if (Globalref)
|
||
Psect_Number--;
|
||
|
||
/* See if this is an external vtable. We want to help the linker find
|
||
these things in libraries, so we make a symbol definition. This
|
||
is not compatible with VAX-C usage for variables, but since vtables are
|
||
only used internally by g++, we can get away with this hack. */
|
||
|
||
if (IS_GXX_VTABLE (sp))
|
||
VMS_Global_Symbol_Spec (S_GET_NAME (sp),
|
||
vsp->Psect_Index,
|
||
0,
|
||
GBLSYM_DEF);
|
||
|
||
#ifdef NOT_VAX_11_C_COMPATIBLE
|
||
/*
|
||
* Place a global symbol at the
|
||
* beginning of the Psect
|
||
*/
|
||
VMS_Global_Symbol_Spec (S_GET_NAME (sp),
|
||
vsp->Psect_Index,
|
||
0,
|
||
GBLSYM_DEF);
|
||
#endif /* NOT_VAX_11_C_COMPATIBLE */
|
||
break;
|
||
/*
|
||
* Local initialized data
|
||
*/
|
||
case N_DATA:
|
||
{
|
||
char *sym_name = S_GET_NAME (sp);
|
||
|
||
/* Always suppress local numeric labels. */
|
||
if (!sym_name || strcmp (sym_name, FAKE_LABEL_NAME) != 0)
|
||
{
|
||
/*
|
||
* Make a VMS data symbol entry.
|
||
*/
|
||
vsp = (struct VMS_Symbol *) xmalloc (sizeof (*vsp));
|
||
vsp->Symbol = sp;
|
||
vsp->Size = VMS_Initialized_Data_Size (sp, text_siz + data_siz);
|
||
vsp->Psect_Index = Data_Psect;
|
||
vsp->Psect_Offset = Local_Initialized_Data_Size;
|
||
Local_Initialized_Data_Size += vsp->Size;
|
||
vsp->Next = VMS_Symbols;
|
||
VMS_Symbols = vsp;
|
||
sp->sy_obj = vsp;
|
||
}
|
||
}
|
||
break;
|
||
/*
|
||
* Global Text definition
|
||
*/
|
||
case N_TEXT | N_EXT:
|
||
{
|
||
unsigned short Entry_Mask;
|
||
|
||
/*
|
||
* Get the entry mask
|
||
*/
|
||
fragP = sp->sy_frag;
|
||
/* First frag might be empty if we're generating listings.
|
||
So skip empty rs_fill frags. */
|
||
while (fragP && fragP->fr_type == rs_fill && fragP->fr_fix == 0)
|
||
fragP = fragP->fr_next;
|
||
|
||
/* If first frag doesn't contain the data, what do we do?
|
||
If it's possibly smaller than two bytes, that would
|
||
imply that the entry mask is not stored where we're
|
||
expecting it.
|
||
|
||
If you can find a test case that triggers this, report
|
||
it (and tell me what the entry mask field ought to be),
|
||
and I'll try to fix it. KR */
|
||
if (fragP->fr_fix < 2)
|
||
abort ();
|
||
|
||
Entry_Mask = (fragP->fr_literal[0] & 0x00ff) |
|
||
((fragP->fr_literal[1] & 0x00ff) << 8);
|
||
/*
|
||
* Define the procedure entry point.
|
||
*/
|
||
VMS_Procedure_Entry_Pt (S_GET_NAME (sp),
|
||
Text_Psect,
|
||
S_GET_VALUE (sp),
|
||
Entry_Mask);
|
||
break;
|
||
}
|
||
/*
|
||
* Local Text definition
|
||
*/
|
||
case N_TEXT:
|
||
/*
|
||
* Make a VMS data symbol entry
|
||
*/
|
||
if (Text_Psect != -1)
|
||
{
|
||
vsp = (struct VMS_Symbol *) xmalloc (sizeof (*vsp));
|
||
vsp->Symbol = sp;
|
||
vsp->Size = 0;
|
||
vsp->Psect_Index = Text_Psect;
|
||
vsp->Psect_Offset = S_GET_VALUE (sp);
|
||
vsp->Next = VMS_Symbols;
|
||
VMS_Symbols = vsp;
|
||
sp->sy_obj = vsp;
|
||
}
|
||
break;
|
||
/*
|
||
* Global Reference
|
||
*/
|
||
case N_UNDF:
|
||
/*
|
||
* Make a GSD global symbol reference
|
||
* record.
|
||
*/
|
||
VMS_Global_Symbol_Spec (S_GET_NAME (sp),
|
||
0,
|
||
0,
|
||
GBLSYM_REF);
|
||
break;
|
||
/*
|
||
* Absolute symbol
|
||
*/
|
||
case N_ABS:
|
||
case N_ABS | N_EXT:
|
||
/*
|
||
* gcc doesn't generate these;
|
||
* VMS_Emit_Globalvalue handles them though.
|
||
*/
|
||
vsp = (struct VMS_Symbol *) xmalloc (sizeof (*vsp));
|
||
vsp->Symbol = sp;
|
||
vsp->Size = 4; /* always assume 32 bits */
|
||
vsp->Psect_Index = 0;
|
||
vsp->Psect_Offset = S_GET_VALUE (sp);
|
||
vsp->Next = VMS_Symbols;
|
||
VMS_Symbols = vsp;
|
||
sp->sy_obj = vsp;
|
||
break;
|
||
/*
|
||
* Anything else
|
||
*/
|
||
default:
|
||
/*
|
||
* Ignore STAB symbols, including .stabs emitted by g++.
|
||
*/
|
||
if (S_IS_DEBUG (sp) || (S_GET_TYPE (sp) == 22))
|
||
break;
|
||
/*
|
||
* Error otherwise.
|
||
*/
|
||
as_tsktsk ("unhandled stab type %d", S_GET_TYPE (sp));
|
||
break;
|
||
}
|
||
}
|
||
/*
|
||
* Define the Data Psect
|
||
*/
|
||
if ((data_siz > 0) && (Local_Initialized_Data_Size > 0))
|
||
{
|
||
/*
|
||
* Do it
|
||
*/
|
||
Data_Psect = Psect_Number++;
|
||
VMS_Psect_Spec ("$data",
|
||
Local_Initialized_Data_Size,
|
||
"DATA", 0);
|
||
/*
|
||
* Scan the VMS symbols and fill in the data psect
|
||
*/
|
||
for (vsp = VMS_Symbols; vsp; vsp = vsp->Next)
|
||
{
|
||
/*
|
||
* Only look for undefined psects
|
||
*/
|
||
if (vsp->Psect_Index < 0)
|
||
{
|
||
/*
|
||
* And only initialized data
|
||
*/
|
||
if (S_GET_TYPE (vsp->Symbol) == N_DATA
|
||
&& !S_IS_EXTERNAL (vsp->Symbol))
|
||
vsp->Psect_Index = Data_Psect;
|
||
}
|
||
}
|
||
}
|
||
|
||
/******* Text Information and Relocation Records *******/
|
||
/*
|
||
* Write the text segment data
|
||
*/
|
||
if (text_siz > 0)
|
||
{
|
||
/*
|
||
* Scan the text fragments
|
||
*/
|
||
for (fragP = text_frag_root; fragP; fragP = fragP->fr_next)
|
||
{
|
||
/*
|
||
* Stop if we get to the data fragments
|
||
*/
|
||
if (fragP == data_frag_root)
|
||
break;
|
||
/*
|
||
* Ignore fragments with no data
|
||
*/
|
||
if ((fragP->fr_fix == 0) && (fragP->fr_var == 0))
|
||
continue;
|
||
/*
|
||
* Go the the appropriate offset in the
|
||
* Text Psect.
|
||
*/
|
||
VMS_Set_Psect (Text_Psect, fragP->fr_address, OBJ_S_C_TIR);
|
||
/*
|
||
* Store the "fixed" part
|
||
*/
|
||
if (fragP->fr_fix)
|
||
VMS_Store_Immediate_Data (fragP->fr_literal,
|
||
fragP->fr_fix,
|
||
OBJ_S_C_TIR);
|
||
/*
|
||
* Store the "variable" part
|
||
*/
|
||
if (fragP->fr_var && fragP->fr_offset)
|
||
VMS_Store_Repeated_Data (fragP->fr_offset,
|
||
fragP->fr_literal +
|
||
fragP->fr_fix,
|
||
fragP->fr_var,
|
||
OBJ_S_C_TIR);
|
||
}
|
||
/*
|
||
* Now we go through the text segment fixups and
|
||
* generate TIR records to fix up addresses within
|
||
* the Text Psect
|
||
*/
|
||
for (fixP = text_fix_root; fixP; fixP = fixP->fx_next)
|
||
{
|
||
/*
|
||
* We DO handle the case of "Symbol - Symbol" as
|
||
* long as it is in the same segment.
|
||
*/
|
||
if (fixP->fx_subsy && fixP->fx_addsy)
|
||
{
|
||
int i;
|
||
|
||
/*
|
||
* They need to be in the same segment
|
||
*/
|
||
if (S_GET_RAW_TYPE (fixP->fx_subsy) !=
|
||
S_GET_RAW_TYPE (fixP->fx_addsy))
|
||
error ("Fixup data addsy and subsy didn't have the same type");
|
||
/*
|
||
* And they need to be in one that we
|
||
* can check the psect on
|
||
*/
|
||
if ((S_GET_TYPE (fixP->fx_addsy) != N_DATA) &&
|
||
(S_GET_TYPE (fixP->fx_addsy) != N_TEXT))
|
||
error ("Fixup data addsy and subsy didn't have an appropriate type");
|
||
/*
|
||
* This had better not be PC relative!
|
||
*/
|
||
if (fixP->fx_pcrel)
|
||
error ("Fixup data was erroneously \"pcrel\"");
|
||
/*
|
||
* Subtract their values to get the
|
||
* difference.
|
||
*/
|
||
i = S_GET_VALUE (fixP->fx_addsy) - S_GET_VALUE (fixP->fx_subsy);
|
||
/*
|
||
* Now generate the fixup object records
|
||
* Set the psect and store the data
|
||
*/
|
||
VMS_Set_Psect (Text_Psect,
|
||
fixP->fx_where + fixP->fx_frag->fr_address,
|
||
OBJ_S_C_TIR);
|
||
VMS_Store_Immediate_Data (&i,
|
||
fixP->fx_size,
|
||
OBJ_S_C_TIR);
|
||
/*
|
||
* Done
|
||
*/
|
||
continue;
|
||
}
|
||
/*
|
||
* Size will HAVE to be "long"
|
||
*/
|
||
if (fixP->fx_size != 4)
|
||
error ("Fixup datum was not a longword");
|
||
/*
|
||
* Symbol must be "added" (if it is ever
|
||
* subtracted we can
|
||
* fix this assumption)
|
||
*/
|
||
if (fixP->fx_addsy == 0)
|
||
error ("Fixup datum was not \"fixP->fx_addsy\"");
|
||
/*
|
||
* Store the symbol value in a PIC fashion
|
||
*/
|
||
VMS_Store_PIC_Symbol_Reference (fixP->fx_addsy,
|
||
fixP->fx_offset,
|
||
fixP->fx_pcrel,
|
||
Text_Psect,
|
||
fixP->fx_where +
|
||
fixP->fx_frag->fr_address,
|
||
OBJ_S_C_TIR);
|
||
/*
|
||
* Check for indirect address reference,
|
||
* which has to be fixed up (as the linker
|
||
* will screw it up with TIR_S_C_STO_PICR).
|
||
*/
|
||
if (fixP->fx_pcrel)
|
||
VMS_Fix_Indirect_Reference (Text_Psect,
|
||
fixP->fx_where +
|
||
fixP->fx_frag->fr_address,
|
||
fixP->fx_frag,
|
||
text_frag_root);
|
||
}
|
||
}
|
||
/*
|
||
* Store the Data segment:
|
||
*
|
||
* Since this is REALLY hard to do any other way,
|
||
* we actually manufacture the data segment and
|
||
* the store the appropriate values out of it.
|
||
* The segment was manufactured before, now we just
|
||
* dump it into the appropriate psects.
|
||
*/
|
||
if (data_siz > 0)
|
||
{
|
||
|
||
/*
|
||
* Now we can run through all the data symbols
|
||
* and store the data
|
||
*/
|
||
for (vsp = VMS_Symbols; vsp; vsp = vsp->Next)
|
||
{
|
||
/*
|
||
* Ignore anything other than data symbols
|
||
*/
|
||
if (S_GET_TYPE (vsp->Symbol) != N_DATA)
|
||
continue;
|
||
/*
|
||
* Set the Psect + Offset
|
||
*/
|
||
VMS_Set_Psect (vsp->Psect_Index,
|
||
vsp->Psect_Offset,
|
||
OBJ_S_C_TIR);
|
||
/*
|
||
* Store the data
|
||
*/
|
||
VMS_Store_Immediate_Data (
|
||
Data_Segment + S_GET_VALUE (vsp->Symbol) - text_siz,
|
||
vsp->Size,
|
||
OBJ_S_C_TIR);
|
||
}
|
||
/*
|
||
* Now we go through the data segment fixups and
|
||
* generate TIR records to fix up addresses within
|
||
* the Data Psects
|
||
*/
|
||
for (fixP = data_fix_root; fixP; fixP = fixP->fx_next)
|
||
{
|
||
/*
|
||
* Find the symbol for the containing datum
|
||
*/
|
||
for (vsp = VMS_Symbols; vsp; vsp = vsp->Next)
|
||
{
|
||
/*
|
||
* Only bother with Data symbols
|
||
*/
|
||
sp = vsp->Symbol;
|
||
if (S_GET_TYPE (sp) != N_DATA)
|
||
continue;
|
||
/*
|
||
* Ignore symbol if After fixup
|
||
*/
|
||
if (S_GET_VALUE (sp) >
|
||
(fixP->fx_where +
|
||
fixP->fx_frag->fr_address))
|
||
continue;
|
||
/*
|
||
* See if the datum is here
|
||
*/
|
||
if ((S_GET_VALUE (sp) + vsp->Size) <=
|
||
(fixP->fx_where +
|
||
fixP->fx_frag->fr_address))
|
||
continue;
|
||
/*
|
||
* We DO handle the case of "Symbol - Symbol" as
|
||
* long as it is in the same segment.
|
||
*/
|
||
if (fixP->fx_subsy && fixP->fx_addsy)
|
||
{
|
||
int i;
|
||
|
||
/*
|
||
* They need to be in the same segment
|
||
*/
|
||
if (S_GET_RAW_TYPE (fixP->fx_subsy) !=
|
||
S_GET_RAW_TYPE (fixP->fx_addsy))
|
||
error ("Fixup data addsy and subsy didn't have the same type");
|
||
/*
|
||
* And they need to be in one that we
|
||
* can check the psect on
|
||
*/
|
||
if ((S_GET_TYPE (fixP->fx_addsy) != N_DATA) &&
|
||
(S_GET_TYPE (fixP->fx_addsy) != N_TEXT))
|
||
error ("Fixup data addsy and subsy didn't have an appropriate type");
|
||
/*
|
||
* This had better not be PC relative!
|
||
*/
|
||
if (fixP->fx_pcrel)
|
||
error ("Fixup data was erroneously \"pcrel\"");
|
||
/*
|
||
* Subtract their values to get the
|
||
* difference.
|
||
*/
|
||
i = S_GET_VALUE (fixP->fx_addsy) -
|
||
S_GET_VALUE (fixP->fx_subsy);
|
||
/*
|
||
* Now generate the fixup object records
|
||
* Set the psect and store the data
|
||
*/
|
||
VMS_Set_Psect (vsp->Psect_Index,
|
||
fixP->fx_frag->fr_address +
|
||
fixP->fx_where -
|
||
S_GET_VALUE (vsp->Symbol) +
|
||
vsp->Psect_Offset,
|
||
OBJ_S_C_TIR);
|
||
VMS_Store_Immediate_Data (&i,
|
||
fixP->fx_size,
|
||
OBJ_S_C_TIR);
|
||
/*
|
||
* Done
|
||
*/
|
||
break;
|
||
}
|
||
/*
|
||
* Size will HAVE to be "long"
|
||
*/
|
||
if (fixP->fx_size != 4)
|
||
error ("Fixup datum was not a longword");
|
||
/*
|
||
* Symbol must be "added" (if it is ever
|
||
* subtracted we can
|
||
* fix this assumption)
|
||
*/
|
||
if (fixP->fx_addsy == 0)
|
||
error ("Fixup datum was not \"fixP->fx_addsy\"");
|
||
/*
|
||
* Store the symbol value in a PIC fashion
|
||
*/
|
||
VMS_Store_PIC_Symbol_Reference (fixP->fx_addsy,
|
||
fixP->fx_offset,
|
||
fixP->fx_pcrel,
|
||
vsp->Psect_Index,
|
||
fixP->fx_frag->fr_address +
|
||
fixP->fx_where -
|
||
S_GET_VALUE (vsp->Symbol) +
|
||
vsp->Psect_Offset,
|
||
OBJ_S_C_TIR);
|
||
/*
|
||
* Done
|
||
*/
|
||
break;
|
||
}
|
||
|
||
}
|
||
}
|
||
|
||
/*
|
||
* Write the Traceback Begin Module record
|
||
*/
|
||
VMS_TBT_Module_Begin ();
|
||
/*
|
||
* Scan the symbols and write out the routines
|
||
* (this makes the assumption that symbols are in
|
||
* order of ascending text segment offset)
|
||
*/
|
||
{
|
||
symbolS *Current_Routine = 0;
|
||
int Current_Line_Number = 0;
|
||
int Current_Offset = -1;
|
||
struct input_file *Current_File = 0;
|
||
|
||
/* Output debugging info for global variables and static variables that are not
|
||
* specific to one routine. We also need to examine all stabs directives, to
|
||
* find the definitions to all of the advanced data types, and this is done by
|
||
* VMS_LSYM_Parse. This needs to be done before any definitions are output to
|
||
* the object file, since there can be forward references in the stabs
|
||
* directives. When through with parsing, the text of the stabs directive
|
||
* is altered, with the definitions removed, so that later passes will see
|
||
* directives as they would be written if the type were already defined.
|
||
*
|
||
* We also look for files and include files, and make a list of them. We
|
||
* examine the source file numbers to establish the actual lines that code was
|
||
* generated from, and then generate offsets.
|
||
*/
|
||
VMS_LSYM_Parse ();
|
||
for (symbolP = symbol_rootP; symbolP; symbolP = symbol_next (symbolP))
|
||
{
|
||
/*
|
||
* Deal with STAB symbols
|
||
*/
|
||
if (S_IS_DEBUG (symbolP))
|
||
{
|
||
/*
|
||
* Dispatch on STAB type
|
||
*/
|
||
switch ((unsigned char) S_GET_RAW_TYPE (symbolP))
|
||
{
|
||
case N_SLINE:
|
||
if (S_GET_DESC (symbolP) > Current_File->max_line)
|
||
Current_File->max_line = S_GET_DESC (symbolP);
|
||
if (S_GET_DESC (symbolP) < Current_File->min_line)
|
||
Current_File->min_line = S_GET_DESC (symbolP);
|
||
break;
|
||
case N_SO:
|
||
Current_File = find_file (symbolP);
|
||
Current_File->flag = 1;
|
||
Current_File->min_line = 1;
|
||
break;
|
||
case N_SOL:
|
||
Current_File = find_file (symbolP);
|
||
break;
|
||
case N_GSYM:
|
||
VMS_GSYM_Parse (symbolP, Text_Psect);
|
||
break;
|
||
case N_LCSYM:
|
||
VMS_LCSYM_Parse (symbolP, Text_Psect);
|
||
break;
|
||
case N_FUN: /* For static constant symbols */
|
||
case N_STSYM:
|
||
VMS_STSYM_Parse (symbolP, Text_Psect);
|
||
break;
|
||
}
|
||
}
|
||
}
|
||
|
||
/* Now we take a quick sweep through the files and assign offsets
|
||
to each one. This will essentially be the starting line number to
|
||
the debugger for each file. Output the info for the debugger to
|
||
specify the files, and then tell it how many lines to use. */
|
||
{
|
||
int File_Number = 0;
|
||
int Debugger_Offset = 0;
|
||
int file_available;
|
||
Current_File = file_root;
|
||
for (Current_File = file_root; Current_File;
|
||
Current_File = Current_File->next)
|
||
{
|
||
if (Current_File == (struct input_file *) NULL)
|
||
break;
|
||
if (Current_File->max_line == 0)
|
||
continue;
|
||
if ((strncmp (Current_File->name, "GNU_GXX_INCLUDE:", 16) == 0) &&
|
||
!flag_debug)
|
||
continue;
|
||
if ((strncmp (Current_File->name, "GNU_CC_INCLUDE:", 15) == 0) &&
|
||
!flag_debug)
|
||
continue;
|
||
/* show a few extra lines at the start of the region selected */
|
||
if (Current_File->min_line > 2)
|
||
Current_File->min_line -= 2;
|
||
Current_File->offset = Debugger_Offset - Current_File->min_line + 1;
|
||
Debugger_Offset += Current_File->max_line - Current_File->min_line + 1;
|
||
if (Current_File->same_file_fpnt != (struct input_file *) NULL)
|
||
Current_File->file_number = Current_File->same_file_fpnt->file_number;
|
||
else
|
||
{
|
||
Current_File->file_number = ++File_Number;
|
||
file_available = VMS_TBT_Source_File (Current_File->name,
|
||
Current_File->file_number);
|
||
if (!file_available)
|
||
{
|
||
Current_File->file_number = 0;
|
||
File_Number--;
|
||
continue;
|
||
}
|
||
}
|
||
VMS_TBT_Source_Lines (Current_File->file_number,
|
||
Current_File->min_line,
|
||
Current_File->max_line - Current_File->min_line + 1);
|
||
} /* for */
|
||
} /* scope */
|
||
Current_File = (struct input_file *) NULL;
|
||
|
||
for (symbolP = symbol_rootP; symbolP; symbolP = symbol_next (symbolP))
|
||
{
|
||
/*
|
||
* Deal with text symbols
|
||
*/
|
||
if (!S_IS_DEBUG (symbolP) && (S_GET_TYPE (symbolP) == N_TEXT))
|
||
{
|
||
/*
|
||
* Ignore symbols starting with "L",
|
||
* as they are local symbols
|
||
*/
|
||
if (*S_GET_NAME (symbolP) == 'L')
|
||
continue;
|
||
/*
|
||
* If there is a routine start defined,
|
||
* terminate it.
|
||
*/
|
||
if (Current_Routine)
|
||
{
|
||
/*
|
||
* End the routine
|
||
*/
|
||
VMS_TBT_Routine_End (text_siz, Current_Routine);
|
||
}
|
||
/*
|
||
* Check for & skip dummy labels like "gcc_compiled.".
|
||
* They're identified by the IN_DEFAULT_SECTION flag.
|
||
*/
|
||
if ((S_GET_OTHER (symbolP) & IN_DEFAULT_SECTION) != 0 &&
|
||
(S_GET_VALUE (symbolP) == 0))
|
||
continue;
|
||
/*
|
||
* Store the routine begin traceback info
|
||
*/
|
||
if (Text_Psect != -1)
|
||
{
|
||
VMS_TBT_Routine_Begin (symbolP, Text_Psect);
|
||
Current_Routine = symbolP;
|
||
}
|
||
|
||
/* Output local symbols, i.e. all symbols that are associated with a specific
|
||
* routine. We output them now so the debugger recognizes them as local to
|
||
* this routine.
|
||
*/
|
||
{
|
||
symbolS *symbolP1;
|
||
char *pnt;
|
||
char *pnt1;
|
||
for (symbolP1 = Current_Routine; symbolP1; symbolP1 = symbol_next (symbolP1))
|
||
{
|
||
if (!S_IS_DEBUG (symbolP1))
|
||
continue;
|
||
if (S_GET_RAW_TYPE (symbolP1) != N_FUN)
|
||
continue;
|
||
pnt = S_GET_NAME (symbolP);
|
||
pnt1 = S_GET_NAME (symbolP1);
|
||
if (*pnt++ != '_')
|
||
continue;
|
||
while (*pnt++ == *pnt1++)
|
||
{
|
||
}
|
||
if (*pnt1 != 'F' && *pnt1 != 'f') continue;
|
||
if ((*(--pnt) == '\0') && (*(--pnt1) == ':'))
|
||
break;
|
||
}
|
||
if (symbolP1 != (symbolS *) NULL)
|
||
VMS_DBG_Define_Routine (symbolP1, Current_Routine, Text_Psect);
|
||
} /* local symbol block */
|
||
/*
|
||
* Done
|
||
*/
|
||
continue;
|
||
}
|
||
/*
|
||
* Deal with STAB symbols
|
||
*/
|
||
if (S_IS_DEBUG (symbolP))
|
||
{
|
||
/*
|
||
* Dispatch on STAB type
|
||
*/
|
||
switch ((unsigned char) S_GET_RAW_TYPE (symbolP))
|
||
{
|
||
/*
|
||
* Line number
|
||
*/
|
||
case N_SLINE:
|
||
/* Offset the line into the correct portion
|
||
* of the file */
|
||
if (Current_File->file_number == 0)
|
||
break;
|
||
/* Sometimes the same offset gets several source
|
||
* lines assigned to it.
|
||
* We should be selective about which lines
|
||
* we allow, we should prefer lines that are
|
||
* in the main source file when debugging
|
||
* inline functions. */
|
||
if ((Current_File->file_number != 1) &&
|
||
S_GET_VALUE (symbolP) ==
|
||
Current_Offset)
|
||
break;
|
||
/* calculate actual debugger source line */
|
||
S_GET_DESC (symbolP)
|
||
+= Current_File->offset;
|
||
/*
|
||
* If this is the 1st N_SLINE, setup
|
||
* PC/Line correlation. Otherwise
|
||
* do the delta PC/Line. If the offset
|
||
* for the line number is not +ve we need
|
||
* to do another PC/Line correlation
|
||
* setup
|
||
*/
|
||
if (Current_Offset == -1)
|
||
{
|
||
VMS_TBT_Line_PC_Correlation (
|
||
S_GET_DESC (symbolP),
|
||
S_GET_VALUE (symbolP),
|
||
Text_Psect,
|
||
0);
|
||
}
|
||
else
|
||
{
|
||
if ((S_GET_DESC (symbolP) -
|
||
Current_Line_Number) <= 0)
|
||
{
|
||
/*
|
||
* Line delta is not +ve, we
|
||
* need to close the line and
|
||
* start a new PC/Line
|
||
* correlation.
|
||
*/
|
||
VMS_TBT_Line_PC_Correlation (0,
|
||
S_GET_VALUE (symbolP) -
|
||
Current_Offset,
|
||
0,
|
||
-1);
|
||
VMS_TBT_Line_PC_Correlation (
|
||
S_GET_DESC (symbolP),
|
||
S_GET_VALUE (symbolP),
|
||
Text_Psect,
|
||
0);
|
||
}
|
||
else
|
||
{
|
||
/*
|
||
* Line delta is +ve, all is well
|
||
*/
|
||
VMS_TBT_Line_PC_Correlation (
|
||
S_GET_DESC (symbolP) -
|
||
Current_Line_Number,
|
||
S_GET_VALUE (symbolP) -
|
||
Current_Offset,
|
||
0,
|
||
1);
|
||
}
|
||
}
|
||
/*
|
||
* Update the current line/PC
|
||
*/
|
||
Current_Line_Number = S_GET_DESC (symbolP);
|
||
Current_Offset = S_GET_VALUE (symbolP);
|
||
/*
|
||
* Done
|
||
*/
|
||
break;
|
||
/*
|
||
* Source file
|
||
*/
|
||
case N_SO:
|
||
/*
|
||
* Remember that we had a source file
|
||
* and emit the source file debugger
|
||
* record
|
||
*/
|
||
Current_File =
|
||
find_file (symbolP);
|
||
break;
|
||
/* We need to make sure that we are really in the actual source file when
|
||
* we compute the maximum line number. Otherwise the debugger gets really
|
||
* confused */
|
||
case N_SOL:
|
||
Current_File =
|
||
find_file (symbolP);
|
||
break;
|
||
}
|
||
}
|
||
}
|
||
/*
|
||
* If there is a routine start defined,
|
||
* terminate it (and the line numbers)
|
||
*/
|
||
if (Current_Routine)
|
||
{
|
||
/*
|
||
* Terminate the line numbers
|
||
*/
|
||
VMS_TBT_Line_PC_Correlation (0,
|
||
text_siz - S_GET_VALUE (Current_Routine),
|
||
0,
|
||
-1);
|
||
/*
|
||
* Terminate the routine
|
||
*/
|
||
VMS_TBT_Routine_End (text_siz, Current_Routine);
|
||
}
|
||
}
|
||
/*
|
||
* Write the Traceback End Module TBT record
|
||
*/
|
||
VMS_TBT_Module_End ();
|
||
|
||
/*
|
||
* Write the End Of Module record
|
||
*/
|
||
if (Entry_Point_Symbol == 0)
|
||
Write_VMS_EOM_Record (-1, 0);
|
||
else
|
||
Write_VMS_EOM_Record (Text_Psect,
|
||
S_GET_VALUE (Entry_Point_Symbol));
|
||
|
||
|
||
/*
|
||
* All done, close the object file
|
||
*/
|
||
Close_VMS_Object_File ();
|
||
}
|
||
|
||
/* end of obj-vms.c */
|