2151 lines
72 KiB
C
2151 lines
72 KiB
C
/*** comdat.c - handle COMDAT records
|
||
*
|
||
* Copyright <C> 1990, Microsoft Corporation
|
||
*
|
||
* Purpose:
|
||
* Process COMDAT records in various stages of linker work.
|
||
*
|
||
* Revision History:
|
||
*
|
||
* [] 06-Jun-1990 WJK Created
|
||
*
|
||
*************************************************************************/
|
||
|
||
#include <minlit.h> /* Basic types and constants */
|
||
#include <bndtrn.h> /* More types and constants */
|
||
#include <bndrel.h> /* More types and constants */
|
||
#include <lnkio.h> /* Linker I/O definitions */
|
||
#include <newexe.h> /* DOS & 286 .EXE data structures */
|
||
#if EXE386
|
||
#include <exe386.h> /* 386 .EXE data structures */
|
||
#endif
|
||
#include <lnkmsg.h> /* Error messages */
|
||
#if OXOUT OR OIAPX286
|
||
#include <xenfmt.h> /* Xenix format definitions */
|
||
#endif
|
||
#include <extern.h> /* External declarations */
|
||
#include <string.h>
|
||
|
||
#if OSEGEXE
|
||
extern RLCPTR rlcLidata; /* Pointer to LIDATA fixup array */
|
||
extern RLCPTR rlcCurLidata; /* Pointer to current LIDATA fixup */
|
||
#endif
|
||
|
||
#define COMDAT_SEG_NAME "\012COMDAT_SEG"
|
||
#define COMDAT_NAME_LEN 11
|
||
#define COMDATDEBUG FALSE
|
||
|
||
#define ALLOC_TYPE(x) ((x)&ALLOCATION_MASK)
|
||
#define SELECT_TYPE(x) ((x)&SELECTION_MASK)
|
||
#define IsVTABLE(x) ((x)&VTABLE_BIT)
|
||
#define IsLOCAL(x) ((x)&LOCAL_BIT)
|
||
#define IsORDERED(x) ((x)&ORDER_BIT)
|
||
#define IsCONCAT(x) ((x)&CONCAT_BIT)
|
||
#define IsDEFINED(x) ((x)&DEFINED_BIT)
|
||
#define IsALLOCATED(x) ((x)&ALLOCATED_BIT)
|
||
#define IsITERATED(x) ((x)&ITER_BIT)
|
||
#define IsREFERENCED(x) ((x)&REFERENCED_BIT)
|
||
#define IsSELECTED(x) ((x)&SELECTED_BIT)
|
||
#define SkipCONCAT(x) ((x)&SKIP_BIT)
|
||
|
||
/*
|
||
* Global data exported from this module
|
||
*/
|
||
|
||
FTYPE fSkipFixups; // TRUE if skiping COMDAT and its fixups
|
||
FTYPE fFarCallTransSave;
|
||
// Previous state of /FarCallTarnaslation
|
||
|
||
/*
|
||
* Local types
|
||
*/
|
||
|
||
typedef struct comdatRec
|
||
{
|
||
GRTYPE ggr;
|
||
SNTYPE gsn;
|
||
RATYPE ra;
|
||
WORD flags;
|
||
WORD attr;
|
||
WORD align;
|
||
WORD type;
|
||
RBTYPE name;
|
||
}
|
||
COMDATREC;
|
||
|
||
/*
|
||
* Local data
|
||
*/
|
||
|
||
LOCAL SNTYPE curGsnCode16; // Current 16-bit code segment
|
||
LOCAL DWORD curCodeSize16; // Current 16-bit code segment size
|
||
LOCAL SNTYPE curGsnData16; // Current 16-bit data segment
|
||
LOCAL DWORD curDataSize16; // Current 16-bit data segment size
|
||
#if EXE386
|
||
LOCAL SNTYPE curGsnCode32; // Current 32-bit code segment
|
||
LOCAL DWORD curCodeSize32; // Current 32-bit code segment size
|
||
LOCAL SNTYPE curGsnData32; // Current 32-bit data segment
|
||
LOCAL DWORD curDataSize32; // Current 32-bit data segment size
|
||
#endif
|
||
#if OVERLAYS
|
||
LOCAL WORD iOvlCur; // Current overlay index
|
||
#endif
|
||
#if TCE
|
||
SYMBOLUSELIST aEntryPoints; // List of program entry points
|
||
#endif
|
||
|
||
extern BYTE * ObExpandIteratedData(unsigned char *pb,
|
||
unsigned short cBlocks,
|
||
WORD *pSize);
|
||
|
||
/*
|
||
* Local function prototypes
|
||
*/
|
||
|
||
LOCAL DWORD NEAR DoCheckSum(void);
|
||
LOCAL void NEAR PickComDat(RBTYPE vrComdat, COMDATREC *omfRec, WORD fNew);
|
||
LOCAL void NEAR ReadComDat(COMDATREC *omfRec);
|
||
LOCAL void NEAR ConcatComDat(RBTYPE vrComdat, COMDATREC *omfRec);
|
||
LOCAL void NEAR AttachPublic(RBTYPE vrComdat, COMDATREC *omfRec);
|
||
LOCAL void NEAR AdjustOffsets(RBTYPE vrComdat, DWORD startOff, SNTYPE gsnAlloc);
|
||
LOCAL WORD NEAR SizeOfComDat(RBTYPE vrComdat, DWORD *pActual);
|
||
LOCAL RATYPE NEAR DoAligment(RATYPE value, WORD align);
|
||
LOCAL DWORD NEAR DoAllocation(SNTYPE gsnAlloc, DWORD size,
|
||
RBTYPE vrComdat, DWORD comdatSize);
|
||
LOCAL WORD NEAR NewSegment(SNTYPE *gsnPrev, DWORD *sizePrev, WORD allocKind);
|
||
LOCAL void NEAR AllocAnonymus(RBTYPE vrComdat);
|
||
LOCAL WORD NEAR SegSizeOverflow(DWORD segSize, DWORD comdatSize,
|
||
WORD f16bit, WORD fCode);
|
||
#if TCE
|
||
LOCAL void NEAR MarkAlive( APROPCOMDAT *pC );
|
||
LOCAL void PerformTce( void );
|
||
void AddTceEntryPoint( APROPCOMDAT *pC );
|
||
#endif
|
||
#if COMDATDEBUG
|
||
void DisplayComdats(char *title, WORD fPhysical);
|
||
#endif
|
||
|
||
#pragma check_stack(on)
|
||
|
||
/*** DoCheckSum - calculate a check sum of a COMDAT data block
|
||
*
|
||
* Purpose:
|
||
* The check sum is used for match exact criteria.
|
||
*
|
||
* Input:
|
||
* No explicit value is passed. The following global data is used as
|
||
* input to this function:
|
||
*
|
||
* cbRec - current record lenght; decremented by every read from
|
||
* the OMF record, so effectivelly cbRec tells you how
|
||
* many bytes are left in the record.
|
||
*
|
||
* Output:
|
||
* Returns the 32-bit check sum of COMDAT data block.
|
||
*
|
||
* Exceptions:
|
||
* None.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
LOCAL DWORD NEAR DoCheckSum(void)
|
||
{
|
||
DWORD result;
|
||
DWORD shift;
|
||
|
||
|
||
result = 0L;
|
||
shift = 0;
|
||
while (cbRec > 1)
|
||
{
|
||
result += ((DWORD ) Gets()) << (BYTELN * shift);
|
||
shift = (shift + 1) & 3;
|
||
}
|
||
return(result);
|
||
}
|
||
|
||
|
||
/*** PickComDat - fill in the COMDAT descriptor
|
||
*
|
||
* Purpose:
|
||
* Fill in the linkers symbol table COMDAT descriptor. This function
|
||
* is called for new descriptors and for already entered one which
|
||
* need to be updated - remember we have plenty of COMDAT selection criteria.
|
||
*
|
||
* Input:
|
||
* vrComDat - virtual pointer to symbol table entry
|
||
* omfRec - pointer to COMDAT OMF data
|
||
* fNew - TRUE if new entry in symbol table
|
||
* mpgsnprop - table mapping global segment index to symbol table entry
|
||
* This one of those friendly global variables linker is full of.
|
||
* vrprop - virtual pointer to symbol table entry - another global
|
||
* variable; it is set by call to PropSymLookup which must
|
||
* proceed call to PickComDat
|
||
* cbRec - size of current OMF record - global variable - decremented
|
||
* by every read from record
|
||
* vrpropFile - current .OBJ file - global variable
|
||
* lfaLast - current offset in the .OBJ - global variable
|
||
*
|
||
* Output:
|
||
* No explicit value is returned. As a side effect symbol table entry
|
||
* is updated and VM page is marked dirty.
|
||
*
|
||
* Exceptions:
|
||
* Explicit allocation, but target segment not defined - issue error and
|
||
* return.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
LOCAL void NEAR PickComDat(RBTYPE vrComdat, COMDATREC *omfRec, WORD fNew)
|
||
{
|
||
RBTYPE vrTmp; // Virtual pointer to COMDAT symbol table entry
|
||
APROPCOMDATPTR apropComdat; // Pointer to symbol table descriptor
|
||
APROPFILEPTR apropFile; // Current object module prop. cell
|
||
WORD cbDataExp = 0; // Length of expanded DATA field
|
||
|
||
#if RGMI_IN_PLACE
|
||
rgmi = bufg; /* use temporary buffer for holding info */
|
||
#endif
|
||
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, TRUE);
|
||
if ((ALLOC_TYPE(omfRec->attr) == EXPLICIT) &&
|
||
omfRec->gsn && (mpgsnrprop[omfRec->gsn] == VNIL))
|
||
{
|
||
// ERROR - explicit allocation segment not defined
|
||
|
||
OutError(ER_comdatalloc, 1 + GetPropName(apropComdat));
|
||
return;
|
||
}
|
||
|
||
// Fill in the COMDAT descriptor
|
||
|
||
apropComdat->ac_ggr = omfRec->ggr;
|
||
apropComdat->ac_gsn = omfRec->gsn;
|
||
apropComdat->ac_ra = omfRec->ra;
|
||
|
||
if (IsITERATED (omfRec->flags)) // We'll need to find size of expanded block
|
||
{
|
||
BYTE *pb = rgmi;
|
||
vcbData = (WORD)(cbRec - 1);// Length of the DATA field
|
||
|
||
GetBytesNoLim (rgmi, vcbData);
|
||
while((pb = ObExpandIteratedData(pb,1, &cbDataExp)) < rgmi + vcbData);
|
||
apropComdat->ac_size = cbDataExp;
|
||
|
||
}
|
||
else
|
||
{
|
||
apropComdat->ac_size = cbRec - 1;
|
||
}
|
||
|
||
if (fNew)
|
||
{
|
||
apropComdat->ac_flags = omfRec->flags;
|
||
#if OVERLAYS
|
||
if (IsVTABLE(apropComdat->ac_flags))
|
||
apropComdat->ac_iOvl = IOVROOT;
|
||
else
|
||
apropComdat->ac_iOvl = NOTIOVL;
|
||
#endif
|
||
}
|
||
else
|
||
apropComdat->ac_flags |= omfRec->flags;
|
||
apropComdat->ac_selAlloc = (BYTE) omfRec->attr;
|
||
apropComdat->ac_align = (BYTE) omfRec->align;
|
||
if (ALLOC_TYPE(omfRec->attr) == EXACT)
|
||
apropComdat->ac_data = DoCheckSum();
|
||
else
|
||
apropComdat->ac_data = 0L;
|
||
apropComdat->ac_obj = vrpropFile;
|
||
apropComdat->ac_objLfa = lfaLast;
|
||
if (IsORDERED(apropComdat->ac_flags))
|
||
apropComdat->ac_flags |= DEFINED_BIT;
|
||
|
||
|
||
if (!IsCONCAT(omfRec->flags))
|
||
{
|
||
if (ALLOC_TYPE(omfRec->attr) == EXPLICIT)
|
||
{
|
||
// Attach this COMDAT to its segment list
|
||
|
||
AttachComdat(vrComdat, omfRec->gsn);
|
||
}
|
||
#if OVERLAYS
|
||
else if (fOverlays && (apropComdat->ac_iOvl == NOTIOVL))
|
||
apropComdat->ac_iOvl = iovFile;
|
||
#endif
|
||
// Attach this COMDAT to its file list
|
||
|
||
apropFile = (APROPFILEPTR ) FetchSym(vrpropFile, TRUE);
|
||
if (apropFile->af_ComDat == VNIL)
|
||
{
|
||
apropFile->af_ComDat = vrComdat;
|
||
apropFile->af_ComDatLast = vrComdat;
|
||
}
|
||
else
|
||
{
|
||
vrTmp = apropFile->af_ComDatLast;
|
||
apropFile->af_ComDatLast = vrComdat;
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrTmp, TRUE);
|
||
apropComdat->ac_sameFile = vrComdat;
|
||
}
|
||
}
|
||
}
|
||
|
||
/*** ReadComDat - self-explanatory
|
||
*
|
||
* Purpose:
|
||
* Decode the COMDAT record.
|
||
*
|
||
* Input:
|
||
* omfRec - pointer to COMDAT OMF record
|
||
* bsInput - current .OBJ file - global variable
|
||
* grMac - current maximum number of group defined in this .OBJ module
|
||
* global variable
|
||
* snMac - current maximum number of segments defined in this .OBJ
|
||
* module - global variable
|
||
* mpgrggr - table mapping local group index to global group index - global
|
||
* variable
|
||
* mpsngsn - table mapping local segment index to global segment index
|
||
* - global variable
|
||
*
|
||
* Output:
|
||
* Returns COMDAT symbol name, group and segment indexes, data offset
|
||
* attributes and aligment.
|
||
*
|
||
* Exceptions:
|
||
* Invalid .OBJ format.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
LOCAL void NEAR ReadComDat(COMDATREC *omfRec)
|
||
{
|
||
SNTYPE sn; // Local SEGDEF no. - module scope only
|
||
|
||
|
||
omfRec->ggr = 0;
|
||
omfRec->gsn = 0;
|
||
|
||
// The record header (type and length) has been already read
|
||
// and stored in rect and cbRec - read the COMDAT attribute byte
|
||
|
||
omfRec->flags = (WORD) Gets();
|
||
omfRec->attr = (WORD) Gets();
|
||
omfRec->align = (WORD) Gets();
|
||
#if OMF386
|
||
if(rect & 1)
|
||
omfRec->ra = LGets();
|
||
else
|
||
#endif
|
||
omfRec->ra = WGets(); // Get COMDAT data offset
|
||
omfRec->type = GetIndex(0, 0x7FFF); // Get type index
|
||
if (ALLOC_TYPE(omfRec->attr) == EXPLICIT)
|
||
{
|
||
// If explicit allocation read the public base of COMDAT symbol
|
||
|
||
omfRec->ggr = (GRTYPE) GetIndex(0, (WORD) (grMac - 1));
|
||
// Get group index
|
||
if(!(sn = GetIndex(0, (WORD) (snMac - 1))))
|
||
{
|
||
// If frame number present
|
||
omfRec->gsn = 0; // No global SEGDEF no.
|
||
SkipBytes(2); // Skip the frame number
|
||
}
|
||
else // Else if local SEGDEF no. given
|
||
{
|
||
if (omfRec->ggr != GRNIL)
|
||
omfRec->ggr = mpgrggr[omfRec->ggr]; // If group specified, get global no
|
||
omfRec->gsn = mpsngsn[sn]; // Get global SEGDEF no.
|
||
}
|
||
}
|
||
omfRec->name = mplnamerhte[GetIndex(1, (WORD) (lnameMac - 1))];
|
||
// Get symbol length
|
||
}
|
||
|
||
|
||
/*** ConcatComDat - append COMDAT to the list of concatenated records
|
||
*
|
||
* Purpose:
|
||
* Concatenate COMDAT records. This function build the list of COMDAT
|
||
* descriptors for contatenated records. Only the first descriptor
|
||
* on the list has attribute COMDAT, which means that the head of the
|
||
* list can be found when looking up the symbol table. The rest of the
|
||
* elements on the list remain anonymus.
|
||
*
|
||
* Input:
|
||
* vrComdat - virtual pointer to the first descriptor on the list
|
||
* omfRec - pointer to COMDAT OMF record
|
||
*
|
||
* Output:
|
||
* No explicit value is returned. As a side effect this function
|
||
* adds the descriptor to the list of concatenated COMDAT records.
|
||
*
|
||
* Exceptions:
|
||
* Different attributes in the first and concatenated records - display
|
||
* error message and skip the concatenated record.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
LOCAL void NEAR ConcatComDat(RBTYPE vrComdat, COMDATREC *omfRec)
|
||
{
|
||
APROPCOMDATPTR apropComdatNew; // Real pointer to added COMDAT
|
||
RBTYPE vrComdatNew; // Virtual pointer to added COMDAT
|
||
APROPCOMDATPTR apropComdat; // Real pointer to the head of the list
|
||
RBTYPE vrTmp;
|
||
|
||
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, TRUE);
|
||
if (apropComdat->ac_gsn != omfRec->gsn ||
|
||
apropComdat->ac_ggr != omfRec->ggr ||
|
||
apropComdat->ac_selAlloc != (BYTE) omfRec->attr)
|
||
{
|
||
if(IsORDERED(apropComdat->ac_flags) &&
|
||
(ALLOC_TYPE(apropComdat->ac_selAlloc) == EXPLICIT))
|
||
{
|
||
// Must preserve the allocation info from the .def file
|
||
omfRec->gsn = apropComdat->ac_gsn;
|
||
omfRec->ggr = apropComdat->ac_ggr;
|
||
omfRec->attr = apropComdat->ac_selAlloc;
|
||
}
|
||
else
|
||
OutError(ER_badconcat, 1 + GetPropName(apropComdat));
|
||
}
|
||
vrComdatNew = RbAllocSymNode(sizeof(APROPCOMDAT));
|
||
// Allocate symbol space
|
||
apropComdatNew = (APROPCOMDATPTR ) FetchSym(vrComdatNew, TRUE);
|
||
apropComdatNew->ac_next = NULL;
|
||
apropComdatNew->ac_attr = ATTRNIL;
|
||
PickComDat(vrComdatNew, omfRec, TRUE);
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, TRUE);
|
||
// Refetch head of the list
|
||
if (apropComdat->ac_concat == VNIL)
|
||
apropComdat->ac_concat = vrComdatNew;
|
||
else
|
||
{
|
||
// Append at the end of the list
|
||
|
||
vrTmp = apropComdat->ac_concat;
|
||
while (vrTmp != VNIL)
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrTmp, TRUE);
|
||
vrTmp = apropComdat->ac_concat;
|
||
}
|
||
apropComdat->ac_concat = vrComdatNew;
|
||
}
|
||
}
|
||
|
||
|
||
/*** AttachPublic - add matching public symbol to the COMDAT
|
||
*
|
||
* Purpose:
|
||
* Attaches public symbol definition to the COMDAT definition. It is
|
||
* necessary because the fixups work only on matched EXTDEF with PUBDEF
|
||
* not with COMDAT, so in order to correctly resolve references to COMDAT
|
||
* symbol linker needs the PUBDEF for the same symbol, which eventually
|
||
* will be matched with references made to the EXTDEF.
|
||
* The public symbols for COMDAT's are created when we see new COMDAT
|
||
* symbol or we have COMDAT introduced by ORDER statement in the .DEF
|
||
* file.
|
||
*
|
||
* Input:
|
||
* vrComdat - virtual pointer to COMDAT descriptor
|
||
* omfRec - COMDAT record
|
||
*
|
||
* Output:
|
||
* No explicit value is returned. As a side effect the link is created
|
||
* between COMDAT descriptor and new PUBDEF descriptor.
|
||
*
|
||
* Exceptions:
|
||
* COMDAT symbol matches COMDEF symbol - display error and contine
|
||
* with COMDEF symbol converted to PUBDEF. The .EXE will not load
|
||
* under OS/2 or Windows, because the error bit will be set.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
LOCAL void NEAR AttachPublic(RBTYPE vrComdat, COMDATREC *omfRec)
|
||
{
|
||
APROPNAMEPTR apropName; // Symbol table entry for public name
|
||
APROPCOMDATPTR apropComdat; // Symbol table entry for COMDAT symbol
|
||
WORD fReferenced; // TRUE if we've seen CEXTDEF
|
||
|
||
|
||
fReferenced = FALSE;
|
||
apropName = (APROPNAMEPTR ) PropRhteLookup(omfRec->name, ATTRUND, FALSE);
|
||
// Look for symbol among undefined
|
||
if (apropName != PROPNIL) // Symbol known to be undefined
|
||
{
|
||
fReferenced = TRUE;
|
||
#if TCE
|
||
if(((APROPUNDEFPTR)apropName)->au_fAlive) // was called from a non-COMDAT
|
||
{
|
||
#if TCE_DEBUG
|
||
fprintf(stdout, "\r\nAlive UNDEF -> COMDAT %s ", 1+GetPropName(apropName));
|
||
#endif
|
||
AddTceEntryPoint((APROPCOMDAT*)vrComdat);
|
||
}
|
||
#endif
|
||
}
|
||
else
|
||
apropName = (APROPNAMEPTR ) PropAdd(omfRec->name, ATTRPNM);
|
||
// Else try to create new entry
|
||
apropName->an_attr = ATTRPNM; // Symbol is a public name
|
||
apropName->an_thunk = THUNKNIL;
|
||
|
||
if (IsLOCAL(omfRec->flags))
|
||
{
|
||
apropName->an_flags = 0;
|
||
#if ILINK
|
||
++locMac;
|
||
#endif
|
||
}
|
||
else
|
||
{
|
||
apropName->an_flags = FPRINT;
|
||
++pubMac;
|
||
}
|
||
#if ILINK
|
||
apropName->an_module = imodFile;
|
||
#endif
|
||
MARKVP(); // Mark virtual page as changed
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, TRUE);
|
||
apropComdat->ac_pubSym = vrprop;
|
||
if (fReferenced)
|
||
apropComdat->ac_flags |= REFERENCED_BIT;
|
||
#if SYMDEB
|
||
if (fSymdeb && !IsLOCAL(omfRec->flags) && !fSkipPublics)
|
||
{
|
||
DebPublic(vrprop, PUBDEF);
|
||
}
|
||
#endif
|
||
}
|
||
|
||
/*** ComDatRc1 - process COMDAT record in pass 1
|
||
*
|
||
* Purpose:
|
||
* Process COMDAT record in pass 1. Select appropriate copy of COMDAT.
|
||
*
|
||
* Input:
|
||
* No explicit value is passed to this function. The OMF record is
|
||
* read from input file bsInput - global variable.
|
||
*
|
||
* Output:
|
||
* No explicit value is returned. Valid COMDAT descriptor is entered into
|
||
* the linker symbol table. If necessary list of COMDATs allocated in the
|
||
* explicit segment is updated.
|
||
*
|
||
* Exceptions:
|
||
* Explicit allocation segment not found - error message and skip the record.
|
||
* We have public with the same name as COMDAT - error message and skip
|
||
* the record.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
void NEAR ComDatRc1(void)
|
||
{
|
||
COMDATREC omfRec; // COMDAT OMF record
|
||
APROPCOMDATPTR apropComdat; // Symbol table entry for COMDAT symbol
|
||
RBTYPE vrComdat; // Virtual pointer to COMDAT record
|
||
char *sbName; // COMDAT symbol
|
||
|
||
|
||
ReadComDat(&omfRec);
|
||
apropComdat = (APROPCOMDATPTR ) PropRhteLookup(omfRec.name, ATTRCOMDAT, FALSE);
|
||
// Look for symbol among COMDATs
|
||
vrComdat = vrprop;
|
||
#if TCE
|
||
pActiveComdat = apropComdat;
|
||
#endif
|
||
if (apropComdat != PROPNIL)
|
||
{
|
||
// We already know a COMDAT with this name
|
||
|
||
|
||
if (IsORDERED(apropComdat->ac_flags) && !IsDEFINED(apropComdat->ac_flags))
|
||
{
|
||
if (ALLOC_TYPE(apropComdat->ac_selAlloc) == EXPLICIT)
|
||
{
|
||
// Preserve explicit allocation from the .def file
|
||
|
||
omfRec.gsn = apropComdat->ac_gsn;
|
||
omfRec.attr = apropComdat->ac_selAlloc;
|
||
}
|
||
PickComDat(vrComdat, &omfRec, FALSE);
|
||
AttachPublic(vrComdat, &omfRec);
|
||
}
|
||
else if (!SkipCONCAT(apropComdat->ac_flags) &&
|
||
IsCONCAT(omfRec.flags) &&
|
||
(apropComdat->ac_obj == vrpropFile))
|
||
{
|
||
// Append concatenation record
|
||
|
||
ConcatComDat(vrComdat, &omfRec);
|
||
}
|
||
else
|
||
{
|
||
#if TCE
|
||
pActiveComdat = NULL; // not needed for TCE
|
||
#endif
|
||
apropComdat->ac_flags |= SKIP_BIT;
|
||
sbName = 1 + GetPropName(apropComdat);
|
||
switch (SELECT_TYPE(omfRec.attr))
|
||
{
|
||
case ONLY_ONCE:
|
||
DupErr(sbName);
|
||
break;
|
||
|
||
case PICK_FIRST:
|
||
break;
|
||
|
||
case SAME_SIZE:
|
||
if (apropComdat->ac_size != (DWORD) (cbRec - 1))
|
||
OutError(ER_badsize, sbName);
|
||
break;
|
||
|
||
case EXACT:
|
||
if (apropComdat->ac_data != DoCheckSum())
|
||
OutError(ER_badexact, sbName);
|
||
break;
|
||
|
||
default:
|
||
OutError(ER_badselect, sbName);
|
||
break;
|
||
}
|
||
}
|
||
}
|
||
else
|
||
{
|
||
// Check if we know a public symbol with this name
|
||
apropComdat = (APROPCOMDATPTR ) PropRhteLookup(omfRec.name, ATTRPNM, FALSE);
|
||
if (apropComdat != PROPNIL)
|
||
{
|
||
if (!IsCONCAT(omfRec.flags))
|
||
{
|
||
sbName = 1 + GetPropName(apropComdat);
|
||
DupErr(sbName); // COMDAT matches code PUBDEF
|
||
} // Display error only for the first COMDAT
|
||
// ignore concatenation records
|
||
}
|
||
else
|
||
{
|
||
// Enter COMDAT into symbol table
|
||
apropComdat = (APROPCOMDATPTR ) PropAdd(omfRec.name, ATTRCOMDAT);
|
||
vrComdat = vrprop;
|
||
PickComDat(vrprop, &omfRec, TRUE);
|
||
AttachPublic(vrComdat, &omfRec);
|
||
#if TCE
|
||
#define ENTRIES 32
|
||
#if 0
|
||
fprintf(stdout, "\r\nNew COMDAT '%s' at %X; ac_uses %X, ac_usedby %X ",
|
||
1+GetPropName(apropComdat), apropComdat,&(apropComdat->ac_uses), &(apropComdat->ac_usedby));
|
||
fprintf(stdout, "\r\nNew COMDAT '%s' ",1+GetPropName(apropComdat));
|
||
#endif
|
||
apropComdat->ac_fAlive = FALSE; // Assume it is unreferenced
|
||
apropComdat->ac_uses.cEntries = 0;
|
||
apropComdat->ac_uses.cMaxEntries = ENTRIES;
|
||
apropComdat->ac_uses.pEntries = GetMem(ENTRIES * sizeof(APROPCOMDAT*));
|
||
pActiveComdat = apropComdat;
|
||
#endif
|
||
}
|
||
}
|
||
SkipBytes((WORD) (cbRec - 1)); // Skip to check sum byte
|
||
}
|
||
|
||
|
||
/*** AdjustOffsets - adjust COMDATs offsets
|
||
*
|
||
* Purpose:
|
||
* Adjust COMDATs offsets to reflect their position inside
|
||
* logical segments.
|
||
*
|
||
* Input:
|
||
* vrComdat - virtual pointer to COMDAT symbol table entry
|
||
* startOff - starting offset in the logical segment
|
||
* gsnAlloc - global segment index of allocation segment
|
||
*
|
||
* Output:
|
||
* No explicit value is returned. As a side effect offsets
|
||
* of COMDAT data block are adjusted to their final position
|
||
* inside the logical segment. All concatenated COMDAT block
|
||
* get proper global logical segment index.
|
||
*
|
||
* Exceptions:
|
||
* None.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
LOCAL void NEAR AdjustOffsets(RBTYPE vrComdat, DWORD startOff, SNTYPE gsnAlloc)
|
||
{
|
||
APROPCOMDATPTR apropComdat; // Symbol table entry for COMDAT symbol
|
||
|
||
|
||
while (vrComdat != VNIL)
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, TRUE);
|
||
// Fetch COMDAT descriptor from VM
|
||
apropComdat->ac_ra += startOff;
|
||
apropComdat->ac_gsn = gsnAlloc;
|
||
vrComdat = apropComdat->ac_concat;
|
||
}
|
||
}
|
||
|
||
|
||
/*** SizeOfComDat - return the size of COMDAT data
|
||
*
|
||
* Purpose:
|
||
* Calculate the size of COMDAT data block. Takes into account the initial
|
||
* offset from the COMDAT symbol and concatenation records.
|
||
*
|
||
* Input:
|
||
* vrComdat - virtual pointer to COMDAT symbol table entry
|
||
*
|
||
* Output:
|
||
* Returns TRUE and the size of COMDAT data block in pActual, otherwise
|
||
* function returns FALSE and pActual is invalid.
|
||
*
|
||
* Exceptions:
|
||
* COMDAT data block greater then 64k and allocation in 16-bit segment
|
||
* - issue error and return FALSE
|
||
* COMDAT data block grater then 4Gb - issue error and return FALSE
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
LOCAL WORD NEAR SizeOfComDat(RBTYPE vrComdat, DWORD *pActual)
|
||
{
|
||
APROPCOMDATPTR apropComdat; // Symbol table entry for COMDAT symbol
|
||
APROPSNPTR apropSn; // Pointer to COMDAT explicit segment
|
||
long raInit; // Initial offset from COMDAT symbol
|
||
DWORD sizeTotal; // Total size of data blocks
|
||
WORD f16bitAlloc; // TRUE if allocation in 16-bit segment
|
||
RBTYPE vrTmp;
|
||
|
||
|
||
*pActual = 0L;
|
||
raInit = -1L;
|
||
sizeTotal= 0L;
|
||
f16bitAlloc = FALSE;
|
||
vrTmp = vrComdat;
|
||
while (vrTmp != VNIL)
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrTmp, FALSE);
|
||
// Fetch COMDAT descriptor from VM
|
||
if (raInit == -1L)
|
||
raInit = apropComdat->ac_ra;// Remember initial offset
|
||
else if (apropComdat->ac_ra < sizeTotal)
|
||
sizeTotal = apropComdat->ac_ra;
|
||
// Correct size for overlaping blocks
|
||
if (sizeTotal + apropComdat->ac_size < sizeTotal)
|
||
{
|
||
// Oops !!! more then 4Gb
|
||
|
||
OutError(ER_size4Gb, 1 + GetPropName(apropComdat));
|
||
return(FALSE);
|
||
|
||
}
|
||
sizeTotal += apropComdat->ac_size;
|
||
vrTmp = apropComdat->ac_concat;
|
||
}
|
||
sizeTotal += raInit;
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, FALSE);
|
||
// Refetch COMDAT descriptor from VM
|
||
if (apropComdat->ac_gsn)
|
||
{
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[apropComdat->ac_gsn],FALSE);
|
||
// Fetch SEGDEF from virtual memory
|
||
#if NOT EXE386
|
||
if (!Is32BIT(apropSn->as_flags))
|
||
f16bitAlloc = TRUE;
|
||
#endif
|
||
}
|
||
else
|
||
f16bitAlloc = (WORD) ((ALLOC_TYPE(apropComdat->ac_selAlloc) == CODE16) ||
|
||
(ALLOC_TYPE(apropComdat->ac_selAlloc) == DATA16));
|
||
|
||
if (f16bitAlloc && sizeTotal > LXIVK)
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, FALSE);
|
||
OutError(ER_badsize, 1 + GetPropName(apropComdat));
|
||
return(FALSE);
|
||
}
|
||
*pActual = sizeTotal;
|
||
return(TRUE);
|
||
}
|
||
|
||
|
||
/*** DoAligment - self-explanatory
|
||
*
|
||
* Purpose:
|
||
* Given the aligment type round the value to the specific boundary.
|
||
*
|
||
* Input:
|
||
* value - value to align
|
||
* align - aligment type
|
||
*
|
||
* Output:
|
||
* Returns the aligned value.
|
||
*
|
||
* Exceptions:
|
||
* Unknow aligment type - do nothing.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
LOCAL RATYPE NEAR DoAligment(RATYPE value, WORD align)
|
||
{
|
||
if (align == ALGNWRD)
|
||
value = (~0L<<1) & (value + (1<<1) - 1);
|
||
// Round size up to word boundary
|
||
#if OMF386
|
||
else if (align == ALGNDBL)
|
||
value = (~0L<<2) & (value + (1<<2) - 1);
|
||
#endif // Round size up to double boundary
|
||
else if (align == ALGNPAR)
|
||
value = (~0L<<4) & (value + (1<<4) - 1);
|
||
// Round size up to para. boundary
|
||
else if (align == ALGNPAG)
|
||
value = (~0L<<8) & (value + (1<<8) - 1);
|
||
// Round size up to page boundary
|
||
return(value);
|
||
}
|
||
|
||
/*** DoAllocation - palce COMDAT inside given segment
|
||
*
|
||
* Purpose:
|
||
* Perform actual COMDAT allocation in given segment. Adjust COMDAT
|
||
* position according to the segment or COMDAT (if specified) aligment.
|
||
*
|
||
* Input:
|
||
* gsnAlloc - allocation segment global index
|
||
* gsnSize - current segment size
|
||
* vrComdat - virtual pointer to COMDAT descriptor
|
||
* comdatSize - comdat size
|
||
*
|
||
* Output:
|
||
* Function returns the new segment size. As a side effect the COMDAT
|
||
* descriptor is updated to reflect its allocation and the matching
|
||
* PUBDEF is entered into symbol table.
|
||
*
|
||
* Exceptions:
|
||
* None.
|
||
*
|
||
* Notes:
|
||
* After allocation the field ac_size is the size of the whole
|
||
* COMDAT allocation including all concatenated records, so don't use
|
||
* it for determinig the size of this COMDAT record..
|
||
*
|
||
*************************************************************************/
|
||
|
||
LOCAL DWORD NEAR DoAllocation(SNTYPE gsnAlloc, DWORD size,
|
||
RBTYPE vrComdat, DWORD comdatSize)
|
||
{
|
||
APROPCOMDATPTR apropComdat; // Symbol table entry for COMDAT symbol
|
||
APROPSNPTR apropSn; // Pointer to COMDAT segment
|
||
APROPNAMEPTR apropName; // Symbol table entry for public name
|
||
WORD comdatAlloc; // Allocation criteria
|
||
WORD comdatAlign; // COMDAT alignment
|
||
WORD align; // Alignment type
|
||
WORD f16bitAlloc; // TRUE if allocation in 16-bit segment
|
||
WORD fCode; // TRUE if allocation in code segment
|
||
GRTYPE comdatGgr; // Global group index
|
||
RATYPE comdatRa; // Offset in logical segmet
|
||
|
||
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, FALSE);
|
||
if (IsALLOCATED(apropComdat->ac_flags)
|
||
#if OVERLAYS
|
||
|| (fOverlays && (apropComdat->ac_iOvl != iOvlCur))
|
||
#endif
|
||
)
|
||
return(size);
|
||
#if TCE
|
||
if (fTCE && !apropComdat->ac_fAlive)
|
||
{
|
||
#if TCE_DEBUG
|
||
fprintf(stdout, "\r\nComdat '%s' not included due to TCE ",
|
||
1+GetPropName(apropComdat));
|
||
#endif
|
||
apropComdat->ac_flags = apropComdat->ac_flags & (!REFERENCED_BIT);
|
||
return(size);
|
||
}
|
||
#endif
|
||
comdatAlloc = (WORD) (ALLOC_TYPE(apropComdat->ac_selAlloc));
|
||
comdatAlign = apropComdat->ac_align;
|
||
comdatGgr = apropComdat->ac_ggr;
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[gsnAlloc],FALSE);
|
||
fCode = (WORD) IsCodeFlg(apropSn->as_flags);
|
||
if (comdatAlign)
|
||
align = comdatAlign;
|
||
else
|
||
align = (WORD) ((apropSn->as_tysn >> 2) & 7);
|
||
|
||
size = DoAligment(size, align);
|
||
if (comdatAlloc == CODE16 || comdatAlloc == DATA16)
|
||
f16bitAlloc = TRUE;
|
||
#if NOT EXE386
|
||
else if (!Is32BIT(apropSn->as_flags))
|
||
f16bitAlloc = TRUE;
|
||
#endif
|
||
else
|
||
f16bitAlloc = FALSE;
|
||
|
||
if (SegSizeOverflow(size, comdatSize, f16bitAlloc, fCode))
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, FALSE);
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[gsnAlloc],FALSE);
|
||
Fatal(ER_nospace, 1 + GetPropName(apropComdat), 1 + GetPropName(apropSn));
|
||
}
|
||
else
|
||
{
|
||
AdjustOffsets(vrComdat, size, gsnAlloc);
|
||
size += comdatSize;
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, TRUE);
|
||
comdatRa = apropComdat->ac_ra;
|
||
apropComdat->ac_flags |= ALLOCATED_BIT;
|
||
apropComdat->ac_size = comdatSize;
|
||
if (apropComdat->ac_pubSym != VNIL)
|
||
{
|
||
apropName = (APROPNAMEPTR ) FetchSym(apropComdat->ac_pubSym, TRUE);
|
||
apropName->an_ggr = comdatGgr;
|
||
apropName->an_gsn = gsnAlloc;
|
||
apropName->an_ra = comdatRa;
|
||
}
|
||
else
|
||
Fatal(ER_unalloc, 1 + GetPropName(apropComdat));
|
||
}
|
||
return(size);
|
||
}
|
||
|
||
|
||
/*** AllocComDat - allocate COMDATs
|
||
*
|
||
* Purpose:
|
||
* Allocate COMDATs in the final memory image. First start with ordered
|
||
* allocation - in .DEF file we saw the list of procedures. Next allocate
|
||
* explicitly assinged COMDATs to specific logical segments. And finally
|
||
* allocate the rest of COMDATs creating as many as necessary segments
|
||
* to hold all allocations.
|
||
*
|
||
* Input:
|
||
* No ecplicit value is passed - I love this - side effects forever.
|
||
* In the good linker tradition of using global variables, here is the
|
||
* list of globals used by this function:
|
||
*
|
||
* mpgsnaprop - table mapping global segment index to symbol table entry
|
||
* gsnMac - maximum global segment index
|
||
*
|
||
* Output:
|
||
* No explicit value is returned - didn't I tell you - side effects forever.
|
||
* So, the side effect of this function is the allocation of COMDATs in the
|
||
* appropriate logical segments. The offset fields in the COMDAT descriptor
|
||
* (ac_ra) now reflect the final posiotion of data block associated with the
|
||
* COMDAT symbol inside given logical segment. The sizes of appropriate
|
||
* segments are updated to reflect allocation of COMDATs. For every COMDAT
|
||
* symbol there is a matching PUBDEF created by this function, so in pass2
|
||
* linker can resolve correctly all references (via fixups to EXTDEF with
|
||
* the COMDAT name) to COMDAT symbols.
|
||
*
|
||
* Exceptions:
|
||
* No space in explicitly designated segment for COMDAT - print error
|
||
* message and skip COMDAT; probably in pass2 user will see many
|
||
* unresolved externals.
|
||
*
|
||
* Notes:
|
||
* This function MUST be called before AssignAddresses. Otherwise there
|
||
* will be no spcase for COMDAT allocation, because logical segments will
|
||
* packed into physical ones.
|
||
*
|
||
*************************************************************************/
|
||
|
||
void NEAR AllocComDat(void)
|
||
{
|
||
SNTYPE gsn;
|
||
RBTYPE vrComdat; // Virtual pointer to COMDAT descriptor
|
||
APROPCOMDATPTR apropComdat; // Symbol table entry for COMDAT symbol
|
||
APROPSNPTR apropSn; // Pointer to COMDAT explicit segment
|
||
RATYPE gsnSize; // Size of explicit segment
|
||
DWORD comdatSize; // COMDAT data block size
|
||
APROPCOMDAT comdatDsc; // COMDAT symbol table descriptor
|
||
APROPFILEPTR apropFile; // Pointer to file entry
|
||
APROPNAMEPTR apropName; // Pointer to matching PUBDEF
|
||
RBTYPE vrFileNext; // Virtual pointer to prop list of next file
|
||
|
||
|
||
#if COMDATDEBUG
|
||
DisplayComdats("BEFORE allocation", FALSE);
|
||
#endif
|
||
#if TCE
|
||
APROPCOMDATPTR apropMain;
|
||
// Do Transitive Comdat Elimination (TCE)
|
||
if(fTCE)
|
||
{
|
||
apropMain = PropSymLookup("\5_main", ATTRCOMDAT, FALSE);
|
||
if(apropMain)
|
||
AddTceEntryPoint(apropMain);
|
||
#if TCE_DEBUG
|
||
else
|
||
fprintf(stdout, "\r\nUnable to find block '_main' ");
|
||
#endif
|
||
apropMain = PropSymLookup("\7WINMAIN", ATTRCOMDAT, FALSE);
|
||
if(apropMain)
|
||
AddTceEntryPoint(apropMain);
|
||
#if TCE_DEBUG
|
||
else
|
||
fprintf(stdout, "\r\nUnable to find block 'WINMAIN' ");
|
||
#endif
|
||
apropMain = PropSymLookup("\7LIBMAIN", ATTRCOMDAT, FALSE);
|
||
if(apropMain)
|
||
AddTceEntryPoint(apropMain);
|
||
#if TCE_DEBUG
|
||
else
|
||
fprintf(stdout, "\r\nUnable to find block 'LIBMAIN' ");
|
||
#endif
|
||
PerformTce();
|
||
}
|
||
#endif
|
||
// Loop thru overlays - for non overlayed executables
|
||
// the following loop is executed only once - iovMac = 1
|
||
|
||
#if OVERLAYS
|
||
for (iOvlCur = 0; iOvlCur < iovMac; iOvlCur++)
|
||
{
|
||
#endif
|
||
// Do ordered allocation
|
||
|
||
for (vrComdat = procOrder; vrComdat != VNIL; vrComdat = comdatDsc.ac_order)
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, FALSE);
|
||
comdatDsc = *apropComdat;
|
||
if (!(comdatDsc.ac_flags & DEFINED_BIT))
|
||
{
|
||
OutWarn(ER_notdefcomdat, 1 + GetPropName(apropComdat));
|
||
continue;
|
||
}
|
||
|
||
#if OVERLAYS
|
||
if (fOverlays && (apropComdat->ac_iOvl != NOTIOVL) &&
|
||
(apropComdat->ac_iOvl != iOvlCur))
|
||
continue;
|
||
#endif
|
||
if (fPackFunctions && !IsREFERENCED(apropComdat->ac_flags))
|
||
continue;
|
||
|
||
if (SizeOfComDat(vrComdat, &comdatSize))
|
||
{
|
||
if (ALLOC_TYPE(comdatDsc.ac_selAlloc) == EXPLICIT)
|
||
{
|
||
gsn = comdatDsc.ac_gsn;
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[gsn], FALSE);
|
||
gsnSize = apropSn->as_cbMx;
|
||
gsnSize = DoAllocation(gsn, gsnSize, vrComdat, comdatSize);
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[gsn], TRUE);
|
||
apropSn->as_cbMx = gsnSize;
|
||
}
|
||
else if (ALLOC_TYPE(comdatDsc.ac_selAlloc) != ALLOC_UNKNOWN)
|
||
AllocAnonymus(vrComdat);
|
||
}
|
||
}
|
||
|
||
// Do explicit allocation
|
||
|
||
for (gsn = 1; gsn < gsnMac; gsn++)
|
||
{
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[gsn],FALSE);
|
||
// Fetch SEGDEF from virtual memory
|
||
#if OVERLAYS
|
||
if (fOverlays && apropSn->as_iov != iOvlCur)
|
||
continue;
|
||
#endif
|
||
if (apropSn->as_ComDat != VNIL)
|
||
{
|
||
gsnSize = apropSn->as_cbMx;
|
||
for (vrComdat = apropSn->as_ComDat;
|
||
vrComdat != VNIL && SizeOfComDat(vrComdat, &comdatSize);
|
||
vrComdat = apropComdat->ac_sameSeg)
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, FALSE);
|
||
|
||
if ((!fPackFunctions || IsREFERENCED(apropComdat->ac_flags)) &&
|
||
!IsALLOCATED(apropComdat->ac_flags))
|
||
{
|
||
gsnSize = DoAllocation(gsn, gsnSize, vrComdat, comdatSize);
|
||
}
|
||
}
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[gsn], TRUE);
|
||
apropSn->as_cbMx = gsnSize;
|
||
}
|
||
}
|
||
|
||
// Now allocate the rest of COMDATs
|
||
|
||
vrFileNext = rprop1stFile; // Next file to look at is first
|
||
while (vrFileNext != VNIL) // Loop to process objects
|
||
{
|
||
apropFile = (APROPFILEPTR ) FetchSym(vrFileNext, FALSE);
|
||
// Fetch table entry from VM
|
||
|
||
vrFileNext = apropFile->af_FNxt;
|
||
// Get pointer to next file
|
||
for (vrComdat = apropFile->af_ComDat;
|
||
vrComdat != VNIL;
|
||
vrComdat = apropComdat->ac_sameFile)
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, FALSE);
|
||
// Fetch table entry from VM
|
||
#if OVERLAYS
|
||
if (fOverlays && (apropComdat->ac_iOvl != NOTIOVL) &&
|
||
(apropComdat->ac_iOvl != iOvlCur))
|
||
continue;
|
||
#endif
|
||
if (!IsREFERENCED(apropComdat->ac_flags))
|
||
{
|
||
// Mark matching PUBDEF as unreferenced, so it shows
|
||
// in the map file
|
||
|
||
apropName = (APROPNAMEPTR) FetchSym(apropComdat->ac_pubSym, TRUE);
|
||
apropName->an_flags |= FUNREF;
|
||
}
|
||
|
||
if ((!fPackFunctions || IsREFERENCED(apropComdat->ac_flags)) &&
|
||
!IsALLOCATED(apropComdat->ac_flags))
|
||
{
|
||
if (ALLOC_TYPE(apropComdat->ac_selAlloc) != ALLOC_UNKNOWN)
|
||
{
|
||
AllocAnonymus(vrComdat);
|
||
}
|
||
}
|
||
}
|
||
}
|
||
|
||
// Close all open segments for anonymus allocation
|
||
|
||
if (curGsnCode16)
|
||
{
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[curGsnCode16], TRUE);
|
||
apropSn->as_cbMx = curCodeSize16;
|
||
curGsnCode16 = 0;
|
||
curCodeSize16 = 0;
|
||
}
|
||
|
||
if (curGsnData16)
|
||
{
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[curGsnData16], TRUE);
|
||
apropSn->as_cbMx = curDataSize16;
|
||
curGsnData16 = 0;
|
||
curDataSize16 = 0;
|
||
}
|
||
#if EXE386
|
||
if (curGsnCode32)
|
||
{
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[curGsnCode32], TRUE);
|
||
apropSn->as_cbMx = curCodeSize32;
|
||
curGsnCode32 = 0;
|
||
curCodeSize32 = 0;
|
||
}
|
||
|
||
if (curGsnData32)
|
||
{
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[curGsnData32], TRUE);
|
||
apropSn->as_cbMx = curDataSize32;
|
||
curGsnData32 = 0;
|
||
curDataSize32 = 0;
|
||
}
|
||
#endif
|
||
#if OVERLAYS
|
||
}
|
||
#endif
|
||
#if COMDATDEBUG
|
||
DisplayComdats("AFTER allocation", FALSE);
|
||
#endif
|
||
}
|
||
|
||
/*** NewSegment - open new COMDAT segment
|
||
*
|
||
* Purpose:
|
||
* Open new linker defined segment. The name of the segment is created
|
||
* according to the following template:
|
||
*
|
||
* COMDAT_SEG<nnn>
|
||
*
|
||
* where - <nnn> is the segment number.
|
||
* If there was previous segment, then update its size.
|
||
*
|
||
* Input:
|
||
* gsnPrev - previous segment global index
|
||
* sizePrev - previous segment size
|
||
* allocKind - segment type to open
|
||
*
|
||
* Output:
|
||
* Function returns the new global segment index in gsnPrev and
|
||
* new segment aligment;
|
||
*
|
||
* Exceptions:
|
||
* To many logical segments - error message displayed by GenSeg
|
||
* and abort.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
LOCAL WORD NEAR NewSegment(SNTYPE *gsnPrev, DWORD *sizePrev, WORD allocKind)
|
||
{
|
||
static int segNo = 1; // Segment number
|
||
char segName[20]; // Segment name - no names longer then
|
||
// 20 chars since we are generating them
|
||
APROPSNPTR apropSn; // Pointer to COMDAT segment
|
||
|
||
|
||
if (*gsnPrev)
|
||
{
|
||
// Update previous segment size
|
||
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[*gsnPrev], TRUE);
|
||
apropSn->as_cbMx = *sizePrev;
|
||
*sizePrev = 0L;
|
||
}
|
||
|
||
// Create segment name
|
||
|
||
strcpy(segName, COMDAT_SEG_NAME);
|
||
_itoa(segNo, &segName[COMDAT_NAME_LEN], 10);
|
||
segName[0] = (char) strlen(&segName[1]);
|
||
++segNo;
|
||
|
||
if (allocKind == CODE16 || allocKind == CODE32)
|
||
{
|
||
apropSn = GenSeg(segName, "\004CODE", GRNIL, (FTYPE) TRUE);
|
||
apropSn->as_flags = dfCode; // Use default code flags
|
||
}
|
||
else
|
||
{
|
||
apropSn = GenSeg(segName,
|
||
allocKind == DATA16 ? "\010FAR_DATA" : "\004DATA",
|
||
GRNIL, (FTYPE) TRUE);
|
||
apropSn->as_flags = dfData; // Use default data flags
|
||
}
|
||
#if OVERLAYS
|
||
apropSn->as_iov = (IOVTYPE) NOTIOVL;
|
||
CheckOvl(apropSn, iOvlCur);
|
||
#endif
|
||
|
||
// Set segment aligment
|
||
|
||
#if EXE386
|
||
apropSn->as_tysn = DWORDPUBSEG; // DWORD
|
||
#else
|
||
apropSn->as_tysn = PARAPUBSEG; // Paragraph
|
||
#endif
|
||
*gsnPrev = apropSn->as_gsn;
|
||
apropSn->as_fExtra |= COMDAT_SEG;
|
||
return((WORD) ((apropSn->as_tysn >> 2) & 7));
|
||
}
|
||
|
||
|
||
/*** SegSizeOverflow - check the segment size
|
||
*
|
||
* Purpose:
|
||
* Check if the allocation of the COMDAT in a given segment will
|
||
* overflow its size limits. The segment size limit can be changed
|
||
* by the /PACKCODE:<nnn> or /PACKDATA:<nnn> options. If the /PACKxxxx
|
||
* options are not used the limits are:
|
||
*
|
||
* - 64k - 36 - for 16-bit code segments
|
||
* - 64k - for 16-bit data segments
|
||
* - 4Gb - for 32-bit code/data segments
|
||
*
|
||
* Input:
|
||
* segSize - segment size
|
||
* comdatsize - COMDAT size
|
||
* f16bit - TRUE if 16-bit segment
|
||
* fCode - TRUE if code segment
|
||
*
|
||
* Output:
|
||
* Function returns TRUE if size overflow, otherwise function
|
||
* returns FALSE.
|
||
*
|
||
* Exceptions:
|
||
* None.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
LOCAL WORD NEAR SegSizeOverflow(DWORD segSize, DWORD comdatSize,
|
||
WORD f16bit, WORD fCode)
|
||
{
|
||
DWORD limit;
|
||
|
||
if (fCode)
|
||
{
|
||
if (packLim)
|
||
limit = packLim;
|
||
else if (f16bit)
|
||
limit = LXIVK - 36;
|
||
else
|
||
limit = CBMAXSEG32;
|
||
}
|
||
else
|
||
{
|
||
if (DataPackLim)
|
||
limit = DataPackLim;
|
||
else if (f16bit)
|
||
limit = LXIVK;
|
||
else
|
||
limit = CBMAXSEG32;
|
||
}
|
||
return(limit - comdatSize < segSize);
|
||
}
|
||
|
||
/*** AttachComdat - add comdat to the segment list
|
||
*
|
||
* Purpose:
|
||
* Add comdat descriptor to the list of comdats allocated in the
|
||
* given logical segment. Check for overlay assigment missmatch
|
||
* and report problems.
|
||
*
|
||
* Input:
|
||
* vrComdat - virtual pointer to the comdat descriptor
|
||
* gsn - global logical segment index
|
||
*
|
||
* Output:
|
||
* No explicit value is returned. As a side effect the comdat
|
||
* descriptor is placed on the allocation list of given segment.
|
||
*
|
||
* Exceptions:
|
||
* None.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
void AttachComdat(RBTYPE vrComdat, SNTYPE gsn)
|
||
{
|
||
RBTYPE vrTmp; // Virtual pointer to COMDAT symbol table entry
|
||
APROPSNPTR apropSn; // Pointer to COMDAT segment if explicit allocation
|
||
APROPCOMDATPTR apropComdat; // Pointer to symbol table descriptor
|
||
|
||
|
||
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, TRUE);
|
||
|
||
// Attach this COMDAT to its segment list
|
||
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[gsn], TRUE);
|
||
#if OVERLAYS
|
||
if (fOverlays && (apropComdat->ac_iOvl != apropSn->as_iov))
|
||
{
|
||
if (apropComdat->ac_iOvl != NOTIOVL)
|
||
OutWarn(ER_badcomdatovl, 1 + GetPropName(apropComdat),
|
||
apropComdat->ac_iOvl, apropSn->as_iov);
|
||
apropComdat->ac_iOvl = apropSn->as_iov;
|
||
}
|
||
#endif
|
||
if (apropSn->as_ComDat == VNIL)
|
||
{
|
||
apropSn->as_ComDat = vrComdat;
|
||
apropSn->as_ComDatLast = vrComdat;
|
||
apropComdat->ac_sameSeg = VNIL;
|
||
}
|
||
else
|
||
{
|
||
// Because COMDATs can be attached to a given segment in the
|
||
// .DEF file and later in the .OBJ file, we have to check
|
||
// if a given comdat is already on the segment list
|
||
|
||
for (vrTmp = apropSn->as_ComDat; vrTmp != VNIL;)
|
||
{
|
||
if (vrTmp == vrComdat)
|
||
return;
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrTmp, FALSE);
|
||
vrTmp = apropComdat->ac_sameSeg;
|
||
}
|
||
|
||
// Add new COMDAT to the segment list
|
||
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[gsn], TRUE);
|
||
vrTmp = apropSn->as_ComDatLast;
|
||
apropSn->as_ComDatLast = vrComdat;
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrTmp, TRUE);
|
||
apropComdat->ac_sameSeg = vrComdat;
|
||
}
|
||
}
|
||
|
||
|
||
/*** AllocAnonymus - allocate COMDATs without explicit segment
|
||
*
|
||
* Purpose:
|
||
* Allocate COMDATs without explicit segment. Create as many as necessary
|
||
* code/data segments to hold all COMDATs.
|
||
*
|
||
* Input:
|
||
* vrComdat - virtual pointer to symbol table entry for COMDAT name
|
||
*
|
||
* Output:
|
||
* No explicit value is returned. As a side effect the COMDAT symbol is
|
||
* allocated and matching public symbol is created. If necessary
|
||
* appropriate segment is defined.
|
||
*
|
||
* Exceptions:
|
||
* None.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
|
||
LOCAL void NEAR AllocAnonymus(RBTYPE vrComdat)
|
||
{
|
||
WORD comdatAlloc; // Allocation type
|
||
WORD comdatAlign; // COMDAT aligment
|
||
WORD align;
|
||
DWORD comdatSize; // COMDAT data block size
|
||
APROPCOMDATPTR apropComdat; // Real pointer to COMDAT descriptor
|
||
static WORD segAlign16; // Aligment for 16-bit segments
|
||
#if EXE386
|
||
static WORD segAlign32; // Aligment for 32-bit segments
|
||
#endif
|
||
|
||
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, FALSE);
|
||
comdatAlloc = (WORD) (ALLOC_TYPE(apropComdat->ac_selAlloc));
|
||
comdatAlign = apropComdat->ac_align;
|
||
|
||
if (SizeOfComDat(vrComdat, &comdatSize))
|
||
{
|
||
if (comdatAlign)
|
||
align = comdatAlign;
|
||
else
|
||
{
|
||
#if EXE386
|
||
if (comdatAlloc == CODE32 || comdatAlloc == DATA32)
|
||
align = segAlign32;
|
||
else
|
||
#endif
|
||
align = segAlign16;
|
||
}
|
||
switch (comdatAlloc)
|
||
{
|
||
case CODE16:
|
||
if (!curGsnCode16 ||
|
||
SegSizeOverflow(DoAligment(curCodeSize16, align), comdatSize, TRUE, TRUE))
|
||
{
|
||
// Open new 16-bit code segment
|
||
|
||
segAlign16 = NewSegment(&curGsnCode16, &curCodeSize16, comdatAlloc);
|
||
}
|
||
curCodeSize16 = DoAllocation(curGsnCode16, curCodeSize16, vrComdat, comdatSize);
|
||
AttachComdat(vrComdat, curGsnCode16);
|
||
break;
|
||
|
||
case DATA16:
|
||
if (!curGsnData16 ||
|
||
SegSizeOverflow(DoAligment(curDataSize16, align), comdatSize, TRUE, FALSE))
|
||
{
|
||
// Open new 16-bit data segment
|
||
|
||
segAlign16 = NewSegment(&curGsnData16, &curDataSize16, comdatAlloc);
|
||
}
|
||
curDataSize16 = DoAllocation(curGsnData16, curDataSize16, vrComdat, comdatSize);
|
||
AttachComdat(vrComdat, curGsnData16);
|
||
break;
|
||
#if EXE386
|
||
case CODE32:
|
||
if (!curGsnCode32 ||
|
||
SegSizeOverflow(DoAligment(curCodeSize32, align), comdatSize, FALSE, TRUE))
|
||
{
|
||
// Open new 32-bit code segment
|
||
|
||
segAlign32 = NewSegment(&curGsnCode32, &curCodeSize32, comdatAlloc);
|
||
}
|
||
curCodeSize32 = DoAllocation(curGsnCode32, curCodeSize32, vrComdat, comdatSize);
|
||
AttachComdat(vrComdat, curGsnCode32);
|
||
break;
|
||
|
||
case DATA32:
|
||
if (!curGsnData32 ||
|
||
SegSizeOverflow(DoAligment(curDataSize32, align), comdatSize, FALSE, FALSE))
|
||
{
|
||
// Open new 32-bit data segment
|
||
|
||
segAlign32 = NewSegment(&curGsnData32, &curDataSize32, comdatAlloc);
|
||
}
|
||
curDataSize32 = DoAllocation(curGsnData32, curDataSize32, vrComdat, comdatSize);
|
||
AttachComdat(vrComdat, curGsnData32);
|
||
break;
|
||
#endif
|
||
default:
|
||
OutError(ER_badalloc, 1 + GetPropName(apropComdat));
|
||
return;
|
||
}
|
||
}
|
||
}
|
||
|
||
|
||
/*** FixComdatRa - shift by 16 bytes COMDATs allocated in _TEXT
|
||
*
|
||
* Purpose:
|
||
* Follow the /DOSSEG convention for logical segment _TEXT,
|
||
* and shift up by 16 bytes all COMDATS allocated in this segment.
|
||
*
|
||
* Input:
|
||
* gsnText - _TEXT global segment index - global variable
|
||
*
|
||
* Output:
|
||
* No explicit value is returned. As a side effect the offset of
|
||
* the COMDAT allocated in _TEXT is increased by 16.
|
||
*
|
||
* Exceptions:
|
||
* None.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
void FixComdatRa(void)
|
||
{
|
||
APROPSNPTR apropSn; // Pointer to COMDAT explicit segment
|
||
RBTYPE vrComdat; // Virtual pointer to COMDAT descriptor
|
||
RBTYPE vrConcat; // Virtual pointer to concatenated records
|
||
APROPCOMDATPTR apropComdat; // Symbol table entry for COMDAT symbol
|
||
RATYPE raShift;
|
||
|
||
|
||
apropSn = (APROPSNPTR ) FetchSym(mpgsnrprop[gsnText], FALSE);
|
||
// Fetch SEGDEF from virtual memory
|
||
raShift = mpgsndra[gsnText] - mpsegraFirst[mpgsnseg[gsnText]];
|
||
for (vrComdat = apropSn->as_ComDat; vrComdat != VNIL;)
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, TRUE);
|
||
vrComdat = apropComdat->ac_sameSeg;
|
||
if (fPackFunctions && !IsREFERENCED(apropComdat->ac_flags))
|
||
continue;
|
||
|
||
apropComdat->ac_ra += raShift;
|
||
|
||
// Search concatenation list
|
||
|
||
for (vrConcat = apropComdat->ac_concat; vrConcat != VNIL; vrConcat = apropComdat->ac_concat)
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrConcat, TRUE);
|
||
apropComdat->ac_ra += raShift;
|
||
}
|
||
}
|
||
}
|
||
|
||
|
||
/*** UpdateComdatContrib - update COMDATs contributions
|
||
*
|
||
* Purpose:
|
||
* For every file with COMDATs add contribution information to the
|
||
* .ILK file. Some COMDATs are allocated in named segments, some
|
||
* in anonynus segments created by linker. The ILINK needs to know
|
||
* how much given .OBJ file contributed to given logical segment.
|
||
* Since the COMDAT contributions are not visible while processing
|
||
* object files in pass one, this function is required to update
|
||
* contribution information. Also if /MAP:FULL i used then add
|
||
* COMDATs contributions to the map file information
|
||
*
|
||
* Input:
|
||
* - fIlk - TRUE if updating ILINK information
|
||
* - fMap - TRUE if updating MAP file information
|
||
* - rprop1stFile - head of .OBJ file list
|
||
* - vrpropFile - pointer to the current .OBJ
|
||
*
|
||
* Output:
|
||
* No explicit value is returned.
|
||
*
|
||
* Exceptions:
|
||
* None.
|
||
*
|
||
* Notes:
|
||
* This function has to be called after pass 2, so all non-COMDAT
|
||
* contributions are already recorded. This allows us to detect the
|
||
* fact that named COMDAT allocation (explicit segment) has increased
|
||
* contribution to given logical segment by the size of COMDATs.
|
||
*
|
||
*************************************************************************/
|
||
|
||
void UpdateComdatContrib(
|
||
#if ILINK
|
||
WORD fIlk,
|
||
#endif
|
||
WORD fMap)
|
||
{
|
||
APROPFILEPTR apropFile; // Pointer to file entry
|
||
RBTYPE vrFileNext; // Virtual pointer to prop list of next file
|
||
APROPCOMDATPTR apropComdat; // Symbol table entry for COMDAT symbol
|
||
RBTYPE vrComdat; // Virtual pointer to COMDAT descriptor
|
||
SNTYPE gsnCur; // Global segment index of current segment
|
||
DWORD sizeCur; // Current segment size
|
||
RATYPE raInit; // Initial offset of the first COMDAT
|
||
// allocated in the given segment
|
||
#if ILINK
|
||
RATYPE raEnd; // End offset
|
||
#endif
|
||
vrFileNext = rprop1stFile; // Next file to look at is first
|
||
while (vrFileNext != VNIL) // Loop to process objects
|
||
{
|
||
vrpropFile = vrFileNext; // Make next file the current file
|
||
apropFile = (APROPFILEPTR ) FetchSym(vrFileNext, FALSE);
|
||
// Fetch table entry from VM
|
||
vrFileNext = apropFile->af_FNxt;// Get pointer to next file
|
||
vrComdat = apropFile->af_ComDat;
|
||
#if ILINK
|
||
imodFile = apropFile->af_imod;
|
||
#endif
|
||
sizeCur = 0L;
|
||
while (vrComdat != VNIL)
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, FALSE);
|
||
// Fetch table entry from VM
|
||
vrComdat = apropComdat->ac_sameFile;
|
||
if (fPackFunctions && !IsREFERENCED(apropComdat->ac_flags))
|
||
continue;
|
||
|
||
raInit = apropComdat->ac_ra;
|
||
gsnCur = apropComdat->ac_gsn;
|
||
#if ILINK
|
||
raEnd = raInit + apropComdat->ac_size;
|
||
#endif
|
||
sizeCur = apropComdat->ac_size;
|
||
|
||
// Save information about contributions
|
||
|
||
#if ILINK
|
||
if (fIlk)
|
||
AddContribution(gsnCur, (WORD) raInit, (WORD) raEnd, cbPadCode);
|
||
#endif
|
||
if (fMap)
|
||
AddContributor(gsnCur, raInit, sizeCur);
|
||
}
|
||
}
|
||
}
|
||
|
||
|
||
#if SYMDEB
|
||
|
||
/*** DoComdatDebugging - notify CodeView about segments with COMDATs
|
||
*
|
||
* Purpose:
|
||
* CodeView expects in sstModules subsection an information about code
|
||
* segments defined in the given object module (.OBJ file). When COMDATs
|
||
* are present linker has no way of figuring this out in pass 1, because
|
||
* there is no code segment definitions (all COMDATs have anonymus
|
||
* allocation) or the code segments have size zero (explicit allocation).
|
||
* This function is called after the COMDAT allocation is performed and
|
||
* segments have assigned their addresses. The list of .OBJ files is
|
||
* traversed and for each .OBJ file the list of COMDATs defined in this
|
||
* file is examined and the appropriate code segment information is
|
||
* stored for CodeView.
|
||
*
|
||
* Input:
|
||
* No explicit value is passed. The following global variables are used:
|
||
*
|
||
* rprop1stFile - head of .OBJ file list
|
||
* vrpropFile - pointer to the current .OBJ
|
||
*
|
||
* Output:
|
||
* No explicit value is returned.
|
||
*
|
||
* Exceptions:
|
||
* None.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
void NEAR DoComdatDebugging(void)
|
||
{
|
||
APROPFILEPTR apropFile; // Pointer to file entry
|
||
RBTYPE vrFileNext; // Virtual pointer to prop list of next file
|
||
APROPCOMDATPTR apropComdat; // Symbol table entry for COMDAT symbol
|
||
RBTYPE vrComdat; // Virtual pointer to COMDAT descriptor
|
||
SNTYPE gsnCur; // Global segment index of current segment
|
||
RATYPE raInit; // Initial offset of the first COMDAT
|
||
// allocated in the given segment
|
||
RATYPE raEnd; // End of contributor
|
||
|
||
vrFileNext = rprop1stFile; // Next file to look at is first
|
||
while (vrFileNext != VNIL) // Loop to process objects
|
||
{
|
||
vrpropFile = vrFileNext; // Make next file the current file
|
||
apropFile = (APROPFILEPTR ) FetchSym(vrFileNext, FALSE);
|
||
// Fetch table entry from VM
|
||
vrFileNext = apropFile->af_FNxt;// Get pointer to next file
|
||
|
||
vrComdat = apropFile->af_ComDat;
|
||
while (vrComdat != VNIL)
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, FALSE);
|
||
// Fetch table entry from VM
|
||
raInit = (RATYPE)-1;
|
||
raEnd = 0;
|
||
gsnCur = apropComdat->ac_gsn;
|
||
while (vrComdat != VNIL && gsnCur == apropComdat->ac_gsn)
|
||
{
|
||
if(apropComdat->ac_ra < raInit && IsALLOCATED(apropComdat->ac_flags))
|
||
raInit = apropComdat->ac_ra;
|
||
if(apropComdat->ac_ra + apropComdat->ac_size > raEnd)
|
||
raEnd = apropComdat->ac_ra + apropComdat->ac_size;
|
||
|
||
vrComdat = apropComdat->ac_sameFile;
|
||
if (vrComdat != VNIL)
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, FALSE);
|
||
}
|
||
|
||
// Contribution to the new logical segment from this .OBJ file
|
||
|
||
SaveCode(gsnCur, raEnd - raInit, raInit);
|
||
}
|
||
}
|
||
}
|
||
|
||
#endif
|
||
|
||
/*** ComDatRc2 - process COMDAT record in pass 2
|
||
*
|
||
* Purpose:
|
||
* Process COMDAT record in pass 1. Select appropriate copy of COMDAT.
|
||
*
|
||
* Input:
|
||
* No explicit value is passed to this function. The OMF record is
|
||
* read from input file bsInput - global variable.
|
||
*
|
||
* Output:
|
||
* No explicit value is returned. Apropriate copy of COMDAT data block
|
||
* is loaded into final memory image.
|
||
*
|
||
* Exceptions:
|
||
* Unknown COMDAT name - phase error - display internal LINK error and quit
|
||
* Unallocated COMDAT - phase error - display internal LINK error and quit
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
void NEAR ComDatRc2(void)
|
||
{
|
||
COMDATREC omfRec; // COMDAT OMF record
|
||
APROPCOMDATPTR apropComdat; // Symbol table entry for COMDAT symbol
|
||
WORD fRightCopy; // TRUE if we have rigth instance of COMDAT
|
||
RBTYPE vrTmp; // Temporary
|
||
char *sbName; // COMDAT symbol
|
||
AHTEPTR ahte; // Hash table entry
|
||
|
||
ReadComDat(&omfRec);
|
||
apropComdat = (APROPCOMDATPTR ) PropRhteLookup(omfRec.name, ATTRCOMDAT, FALSE);
|
||
// Look for symbol among COMDATs
|
||
ahte = (AHTEPTR) FetchSym(omfRec.name, FALSE);
|
||
sbName = 1 + GetFarSb(ahte->cch);
|
||
|
||
if (apropComdat == PROPNIL)
|
||
Fatal(ER_undefcomdat, sbName);
|
||
|
||
if (fPackFunctions && !IsREFERENCED(apropComdat->ac_flags))
|
||
{
|
||
SkipBytes((WORD) (cbRec - 1)); // Skip to checksum byte
|
||
fSkipFixups = TRUE; // Skip fixups if any
|
||
return;
|
||
}
|
||
|
||
if (!IsCONCAT(omfRec.flags))
|
||
fRightCopy = (WORD) (apropComdat->ac_obj == vrpropFile &&
|
||
apropComdat->ac_objLfa == lfaLast);
|
||
else
|
||
{
|
||
// Search concatenation list
|
||
|
||
vrTmp = apropComdat->ac_concat;
|
||
fRightCopy = FALSE;
|
||
while (vrTmp != VNIL && !fRightCopy)
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrTmp, TRUE);
|
||
vrTmp = apropComdat->ac_concat;
|
||
fRightCopy = (WORD) (apropComdat->ac_obj == vrpropFile &&
|
||
apropComdat->ac_objLfa == lfaLast);
|
||
}
|
||
}
|
||
|
||
if (fRightCopy)
|
||
{
|
||
// This is the right copy of COMDAT
|
||
|
||
if (!apropComdat->ac_gsn)
|
||
Fatal(ER_unalloc, sbName);
|
||
|
||
apropComdat->ac_flags |= SELECTED_BIT;
|
||
fSkipFixups = FALSE; // Process fixups if any
|
||
omfRec.gsn = apropComdat->ac_gsn;
|
||
omfRec.ra = apropComdat->ac_ra; // Set relative address
|
||
omfRec.flags = apropComdat->ac_flags;
|
||
vcbData = (WORD) (cbRec - 1); // set no. of data bytes in rec
|
||
if (vcbData > DATAMAX)
|
||
Fatal(ER_datarec); // Check if record too large
|
||
#if NOT RGMI_IN_PLACE
|
||
GetBytesNoLim(rgmi, vcbData); // Fill the buffer
|
||
#endif
|
||
vgsnCur = omfRec.gsn; // Set global segment index
|
||
|
||
fDebSeg = (FTYPE) ((fSymdeb) ? (((0x8000 & omfRec.gsn) != 0)) : FALSE);
|
||
// If debug option on check for debug segs
|
||
if (fDebSeg)
|
||
{ // If debug segment
|
||
vraCur = omfRec.ra; // Set current relative address
|
||
vsegCur = vgsnCur = (SEGTYPE) (0x7fff & omfRec.gsn);
|
||
// Set current segment
|
||
}
|
||
else
|
||
{
|
||
// If not a valid segment, don't process datarec
|
||
#if SYMDEB
|
||
if (omfRec.gsn == 0xffff || !omfRec.gsn || mpgsnseg[omfRec.gsn] > segLast)
|
||
#else
|
||
if (!omfRec.gsn || mpgsnseg[omfRec.gsn] > segLast)
|
||
#endif
|
||
{
|
||
vsegCur = SEGNIL;
|
||
vrectData = RECTNIL;
|
||
#if RGMI_IN_PLACE
|
||
SkipBytes(vcbData); // must skip bytes for this record...
|
||
#endif
|
||
return; // Good-bye!
|
||
}
|
||
vsegCur = mpgsnseg[omfRec.gsn];
|
||
// Set current segment
|
||
vraCur = mpsegraFirst[vsegCur] + omfRec.ra;
|
||
// Set current relative address
|
||
if (IsVTABLE(apropComdat->ac_flags))
|
||
{
|
||
fFarCallTransSave = fFarCallTrans;
|
||
fFarCallTrans = (FTYPE) FALSE;
|
||
}
|
||
}
|
||
|
||
if (IsITERATED(omfRec.flags))
|
||
{
|
||
#if RGMI_IN_PLACE
|
||
rgmi = bufg;
|
||
GetBytesNoLim(rgmi, vcbData); // Fill the buffer
|
||
#endif
|
||
|
||
vrectData = LIDATA; // Simulate LIDATA
|
||
#if OSEGEXE
|
||
if(fNewExe)
|
||
{
|
||
if (vcbData >= DATAMAX)
|
||
Fatal(ER_lidata);
|
||
rlcLidata = (RLCPTR) &rgmi[(vcbData + 1) & ~1];
|
||
// Set base of fixup array
|
||
rlcCurLidata = rlcLidata;// Initialize pointer
|
||
return;
|
||
}
|
||
#endif
|
||
#if ODOS3EXE OR OIAPX286
|
||
if(vcbData > (DATAMAX / 2))
|
||
{
|
||
OutError(ER_lidata);
|
||
memset(&rgmi[vcbData],0,DATAMAX - vcbData);
|
||
}
|
||
else
|
||
memset(&rgmi[vcbData],0,vcbData);
|
||
ompimisegDstIdata = (char *) rgmi + vcbData;
|
||
#endif
|
||
}
|
||
else
|
||
{
|
||
#if RGMI_IN_PLACE
|
||
rgmi = PchSegAddress(vcbData, vsegCur, vraCur);
|
||
GetBytesNoLim(rgmi, vcbData); // Fill the buffer
|
||
#endif
|
||
vrectData = LEDATA; // Simulate LEDATA
|
||
}
|
||
if (rect & 1)
|
||
vrectData++; // Simulate 32-bit version
|
||
}
|
||
else
|
||
{
|
||
SkipBytes((WORD) (cbRec - 1)); // Skip to checksum byte
|
||
fSkipFixups = TRUE; // Skip fixups if any
|
||
}
|
||
}
|
||
|
||
#if COMDATDEBUG
|
||
#include <string.h>
|
||
|
||
/*** DisplayOne - display one COMDAT symbol table entry
|
||
*
|
||
* Purpose:
|
||
* Debug aid. Display on standard output the contents of given
|
||
* COMDAT symbol table entry.
|
||
*
|
||
* Input:
|
||
* papropName - real pointer to symbol table entry
|
||
* rhte - hash vector entry
|
||
* rprop - pointer to property cell
|
||
* fNewHte - TRUE if new proprerty list (new entry in hash vector)
|
||
*
|
||
* Output:
|
||
* No explicit value is returned.
|
||
*
|
||
* Exceptions:
|
||
* None.
|
||
*
|
||
* Notes:
|
||
* This function is in standard EnSyms format.
|
||
*
|
||
*************************************************************************/
|
||
|
||
LOCAL void DisplayOne(APROPCOMDATPTR apropName, WORD fPhysical)
|
||
{
|
||
APROPCOMDATPTR apropComdat; // Symbol table entry for COMDAT symbol
|
||
RBTYPE vrComdat; // Virtual pointer to COMDAT descriptor
|
||
APROPCOMDAT comdatDsc; // COMDAT descriptor
|
||
SEGTYPE seg;
|
||
|
||
|
||
FMEMCPY((char FAR *) &comdatDsc, apropName, sizeof(APROPCOMDAT));
|
||
if (fPhysical)
|
||
seg = mpgsnseg[comdatDsc.ac_gsn];
|
||
fprintf(stdout, "%s:\r\n", 1 + GetPropName(apropName));
|
||
fprintf(stdout, "ggr = %d; gsn = %d; ra = 0x%lx; size = %d\r\n",
|
||
comdatDsc.ac_ggr, comdatDsc.ac_gsn, comdatDsc.ac_ra, comdatDsc.ac_size);
|
||
if (fPhysical)
|
||
fprintf(stdout, "sa = 0x%x; ra = 0x%lx\r\n",
|
||
mpsegsa[seg], mpsegraFirst[seg] + comdatDsc.ac_ra);
|
||
fprintf(stdout, "flags = 0x%x; selAlloc = 0x%x; align = 0x%x\r\n",
|
||
comdatDsc.ac_flags, comdatDsc.ac_selAlloc, comdatDsc.ac_align);
|
||
fprintf(stdout, "data = 0x%lx; obj = 0x%lx; objLfa = 0x%lx\r\n",
|
||
comdatDsc.ac_data, comdatDsc.ac_obj, comdatDsc.ac_objLfa);
|
||
fprintf(stdout, "concat = 0x%lx; sameSeg = 0x%lx pubSym = 0x%lx\r\n",
|
||
comdatDsc.ac_concat, comdatDsc.ac_sameSeg, comdatDsc.ac_pubSym);
|
||
fprintf(stdout, "order = 0x%lx; iOvl = 0x%x\r\n",
|
||
comdatDsc.ac_order, comdatDsc.ac_iOvl);
|
||
vrComdat = comdatDsc.ac_concat;
|
||
while (vrComdat != VNIL)
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, FALSE);
|
||
FMEMCPY((char FAR *) &comdatDsc, apropComdat, sizeof(APROPCOMDAT));
|
||
fprintf(stdout, " +++ ggr = %d; gsn = %d; ra = 0x%lx; size = %d\r\n",
|
||
comdatDsc.ac_ggr, comdatDsc.ac_gsn, comdatDsc.ac_ra, comdatDsc.ac_size);
|
||
if (fPhysical)
|
||
fprintf(stdout, " sa = 0x%x; ra = 0x%lx\r\n",
|
||
mpsegsa[seg], mpsegraFirst[seg] + comdatDsc.ac_ra);
|
||
fprintf(stdout, " flags = 0x%x; selAlloc = 0x%x; align = 0x%x\r\n",
|
||
comdatDsc.ac_flags, comdatDsc.ac_selAlloc, comdatDsc.ac_align);
|
||
fprintf(stdout, " data = 0x%lx; obj = 0x%lx; objLfa = 0x%lx\r\n",
|
||
comdatDsc.ac_data, comdatDsc.ac_obj, comdatDsc.ac_objLfa);
|
||
fprintf(stdout, " concat = 0x%lx; sameSeg = 0x%lx pubSym = 0x%lx\r\n",
|
||
comdatDsc.ac_concat, comdatDsc.ac_sameSeg, comdatDsc.ac_pubSym);
|
||
fprintf(stdout, " order = 0x%lx; iOvl = 0x%x\r\n",
|
||
comdatDsc.ac_order, comdatDsc.ac_iOvl);
|
||
vrComdat = comdatDsc.ac_concat;
|
||
}
|
||
fprintf(stdout, "\r\n");
|
||
fflush(stdout);
|
||
}
|
||
|
||
|
||
/*** DisplayComdats - self-expalnatory
|
||
*
|
||
* Purpose:
|
||
* Debug aid. Enumerates all COMDAT records in the linker symbol table
|
||
* displaying each entry.
|
||
*
|
||
* Input:
|
||
* title - pointer to info string.
|
||
* fPhysical - display physical addresses - allowed only if you call
|
||
* this function after AssignAddresses.
|
||
*
|
||
* Output:
|
||
* No explicit value is returned. COMDAT information is written to sdtout.
|
||
*
|
||
* Exceptions:
|
||
* None.
|
||
*
|
||
* Notes:
|
||
* None.
|
||
*
|
||
*************************************************************************/
|
||
|
||
void DisplayComdats(char *title, WORD fPhysical)
|
||
{
|
||
APROPFILEPTR apropFile; // Pointer to file entry
|
||
RBTYPE rbFileNext; // Virtual pointer to prop list of next file
|
||
APROPCOMDATPTR apropComdat; // Symbol table entry for COMDAT symbol
|
||
RBTYPE vrComdat; // Virtual pointer to COMDAT descriptor
|
||
|
||
|
||
fprintf(stdout, "\r\nDisplayComdats: %s\r\n\r\n", title);
|
||
rbFileNext = rprop1stFile; // Next file to look at is first
|
||
while (rbFileNext != VNIL) // Loop to process objects
|
||
{
|
||
apropFile = (APROPFILEPTR ) FetchSym(rbFileNext, FALSE);
|
||
// Fetch table entry from VM
|
||
rbFileNext = apropFile->af_FNxt;// Get pointer to next file
|
||
vrComdat = apropFile->af_ComDat;
|
||
if (vrComdat != VNIL)
|
||
{
|
||
fprintf(stdout, "COMDATs from file: '%s'\r\n\r\n", 1+GetPropName(apropFile));
|
||
while (vrComdat != VNIL)
|
||
{
|
||
apropComdat = (APROPCOMDATPTR ) FetchSym(vrComdat, FALSE);
|
||
// Fetch table entry from VM
|
||
vrComdat = apropComdat->ac_sameFile;
|
||
DisplayOne(apropComdat, fPhysical);
|
||
}
|
||
}
|
||
}
|
||
}
|
||
|
||
#endif
|
||
#if TCE
|
||
void AddComdatUses(APROPCOMDAT *pAC, APROPCOMDAT *pUses)
|
||
{
|
||
int i;
|
||
SYMBOLUSELIST *pA; // ac_uses of this comdat
|
||
ASSERT(pAC);
|
||
ASSERT(pUses);
|
||
ASSERT(pAC->ac_uses.pEntries);
|
||
ASSERT(pUses->ac_usedby.pEntries);
|
||
|
||
// update the ac_uses list
|
||
|
||
pA = &pAC->ac_uses;
|
||
for(i=0; i<pA->cEntries; i++) // eliminate duplicate entries
|
||
{
|
||
if((APROPCOMDAT*)pA->pEntries[i] == pUses)
|
||
return;
|
||
}
|
||
if(pA->cEntries >= pA->cMaxEntries-1)
|
||
{
|
||
#if TCE_DEBUG
|
||
fprintf(stdout,"\r\nReallocating ac_uses list of '%s'old size %d -> %d ",
|
||
1 + GetPropName(pAC), pA->cMaxEntries, pA->cMaxEntries <<1);
|
||
#endif
|
||
pA->cMaxEntries <<= 1;
|
||
if(!(pA->pEntries= REALLOC(pA->pEntries, pA->cMaxEntries*sizeof(RBTYPE*))))
|
||
Fatal(ER_memovf);
|
||
}
|
||
pA->pEntries[pA->cEntries++] = pUses;
|
||
#if TCE_DEBUG
|
||
fprintf(stdout, "\r\nComdat '%s'uses '%s' ",
|
||
1 + GetPropName(pAC), 1 + GetPropName(pUses));
|
||
#endif
|
||
}
|
||
void MarkAlive( APROPCOMDAT *pC )
|
||
{
|
||
int i;
|
||
SYMBOLUSELIST * pU;
|
||
APROPCOMDAT * pCtmp;
|
||
RBTYPE rhte;
|
||
|
||
pU = &pC->ac_uses;
|
||
#if TCE_DEBUG
|
||
fprintf(stdout, "\r\nMarking alive '%s', attr %d ", 1+GetPropName(pC), pC->ac_attr);
|
||
fprintf(stdout, " uses %d symbols ", pU->cEntries);
|
||
for(i=0; i<pU->cEntries; i++)
|
||
fprintf(stdout, " '%s'",1+GetPropName(pU->pEntries[i]));
|
||
fflush(stdout);
|
||
#endif
|
||
|
||
pC->ac_fAlive = TRUE;
|
||
for(i=0; i<pU->cEntries; i++)
|
||
{
|
||
pCtmp = (APROPCOMDATPTR)(pU->pEntries[i]);
|
||
if(pCtmp->ac_attr != ATTRCOMDAT)
|
||
{
|
||
// find the COMDAT descriptor, or abort
|
||
rhte = RhteFromProp((APROPPTR)pCtmp);
|
||
ASSERT(rhte);
|
||
pCtmp = PropRhteLookup(rhte, ATTRCOMDAT, FALSE);
|
||
if(!pCtmp)
|
||
{
|
||
#if TCE_DEBUG
|
||
fprintf(stdout, " comdat cell not found. ");
|
||
#endif
|
||
continue;
|
||
}
|
||
AddTceEntryPoint(pCtmp);
|
||
#if TCE_DEBUG
|
||
fprintf(stdout, "\r\nSwitching to COMDAT %s ", 1+GetPropName(pCtmp));
|
||
#endif
|
||
}
|
||
if(!pCtmp->ac_fAlive)
|
||
{
|
||
#if TCE_DEBUG
|
||
fprintf(stdout, "\r\n Recursing with '%s' ", 1+GetPropName(pCtmp));
|
||
#endif
|
||
MarkAlive(pCtmp);
|
||
}
|
||
#if TCE_DEBUG
|
||
else
|
||
fprintf(stdout,"\r\n already alive: '%s' ",1+GetPropName(pCtmp));
|
||
#endif
|
||
}
|
||
#if TCE_DEBUG
|
||
fprintf(stdout, "\r\n Marking alive finished for '%s' ",1+GetPropName(pC));
|
||
#endif
|
||
}
|
||
|
||
void PerformTce( void )
|
||
{
|
||
int i;
|
||
for(i=0; i<aEntryPoints.cEntries; i++)
|
||
MarkAlive(aEntryPoints.pEntries[i]);
|
||
}
|
||
|
||
void AddTceEntryPoint( APROPCOMDATPTR pC )
|
||
{
|
||
int i;
|
||
for(i=0; i<aEntryPoints.cEntries; i++)
|
||
{
|
||
if(aEntryPoints.pEntries[i] == pC)
|
||
return;
|
||
}
|
||
if(aEntryPoints.cEntries >= aEntryPoints.cMaxEntries -1)
|
||
{
|
||
aEntryPoints.cMaxEntries <<= 1;
|
||
aEntryPoints.pEntries = REALLOC(aEntryPoints.pEntries, aEntryPoints.cMaxEntries * sizeof(RBTYPE*));
|
||
#if TCE_DEBUG
|
||
fprintf(stdout,"\r\nREALLOCATING aEntryPoints List, new size is %d ", aEntryPoints.cMaxEntries);
|
||
#endif
|
||
}
|
||
aEntryPoints.pEntries[aEntryPoints.cEntries++] = pC;
|
||
#if TCE_DEBUG
|
||
fprintf(stdout, "\r\nNew TCE Entry point %d : %s ",
|
||
aEntryPoints.cEntries, 1+GetPropName(pC));
|
||
#endif
|
||
}
|
||
#endif
|