]> Shamusworld >> Repos - rln/blobdiff - rln.h
Fix for bug #191, thanks to jagmod for the report.
[rln] / rln.h
diff --git a/rln.h b/rln.h
index 4897aa331ce6eb3aa502d29680099fcf14ffb335..2a51fa94005d7543aa3262e21b5b89c8495c8508 100644 (file)
--- a/rln.h
+++ b/rln.h
@@ -1,22 +1,16 @@
 //
-// RLN - Reboot's Linker for the Atari Jaguar Console System
-// RLN.H - Application Header
-// Copyright (C) 199x Allan K. Pratt, 2011 Reboot & Friends
+// RLN - Renamed Linker for the Atari Jaguar console system
+// Copyright (C) 199x Allan K. Pratt, 2011-2021 Reboot & Friends
 //
 
-#ifndef __RLH_H__
-#define __RLH_H__
+#ifndef __RLN_H__
+#define __RLN_H__
 
-// Required Include Files 
-
-// Macro Definitions 
-
-// Requirements for Windows Compilation
 
 #ifdef WIN32
 //#define _OPEN_FLAGS  _O_BINARY|_O_RDWR
 #define _OPEN_FLAGS  _O_BINARY|_O_RDONLY
-#define _BACKSLASH   '\\'
+#define PATH_DELIMITER   '\\'
 #ifdef _MSC_VER
    #if _MSC_VER > 1000
       #pragma warning(disable:4996)
 #include <setjmp.h>
 #endif
 
-// Requirements for Mac OS-X or Linux Compilation
-
 #ifdef __GCCUNIX__
 //#define _OPEN_FLAGS  O_RDWR
 #define _OPEN_FLAGS  O_RDONLY
-#define _BACKSLASH   '/'
+#define PATH_DELIMITER   '/'
 #include <sys/fcntl.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <unistd.h>
 #endif
 
-#define MAJOR        1                          // Major version number
-#define MINOR        0                          // Minor version number
-#define PATCH        2                          // Patch release number
+#define MAJOR   1                      // Major version number
+#define MINOR   7                      // Minor version number
+#define PATCH   4                      // Patch release number
 
 #ifdef WIN32
-#define PLATFORM     "Win32"                    // Release platform - Windows
-#else 
+#define PLATFORM     "Win32"           // Release platform - Windows
+#else
 #ifdef __GCCUNIX__
-#define PLATFORM     "OSX/Linux"                // Release platform - MAC OSX or Linux
+#define PLATFORM     "OSX/Linux"       // Release platform - MAC OSX or Linux
 #else
-#define PLATFORM     "Unknown"                  // Release platform - Not Specified 
+#define PLATFORM     "Unknown"         // Release platform - Not Specified
 #endif
 #endif
 
 // Command link flag, warning macro
 #define warn(x, f) printf("Warning: repeated flag `%c'%s\n", x, f ? "; previous one(s) ignored." : ".")
 
-// Macro for max: good because longs, shorts, or pointers can be compared
-#ifndef max
-#define max(a,b) ((a) > (b) ? (a) : (b))
-#endif // max
-
 // Macro to swap the 16-bit words of a 32-bit integer
-#define _SWAPWORD(x) (((unsigned)(x) >> 16) | ((unsigned)(x) << 16)) 
+#define _SWAPWORD(x) (((uint32_t)(x) >> 16) | ((uint32_t)(x) << 16))
 
-#define FARGSIZE     1024                       // Number of chars in filename argument
-#define FNLEN        1024                       // Size of a file name 
-#define NHANDLES     256                        // Number of open file handles at once 
-#define OST_BLOCK    0x400000                   // Output symbol table block (4MB)
-#define DSTSEG_D     1                          // Include file destination seg (DATA)
-#define DSTSEG_T     2                          // Include file destination seg (TEXT)
-#define MAXARGS 256                             // Max number of args in a command file
+#define FARGSIZE     1024                      // Number of chars in filename argument
+#define FNLEN        1024                      // Size of a file name
+#define NHANDLES     256                       // Number of open file handles at once
+#define OST_BLOCK    0x400000          // Output symbol table block (4MB)
+#define DSTSEG_D     1                         // Include file destination seg (DATA)
+#define DSTSEG_T     2                         // Include file destination seg (TEXT)
+#define MAXARGS      4096                      // Max number of args in a command file
 
 // Headers
 
 // will have to read the file into a buffer and stuff the values into the
 // structure (see slongio.c).
 
+// Rather than rely on dodgy compilers for something that's now a C99 standard,
+// let's do this:
+#include <stdint.h>
+#include <dirent.h>
+
+// Alcyon object file header structures.
+//
+// Same as an Atari ST/GEMDOS/TOS executable file header.
+//
+// References:
+//  http://cd.textfiles.com/ataricompendium/BOOK/HTML/CHAP2.HTM#processes
+//  https://mikro.naprvyraz.sk/docs/GEM/GEMDOS.TXT
+//  MADMAC source from Landon Dyer (See below for URL)
+//
+// Note the above disagree on the last entry in the header layout: In practice
+// the files MADMAC produces and that ALN consumes use the header layout from
+// the Atari Compendium page.
+struct ALCHEADER
+{
+       uint16_t magic;                                 // $601A
+       uint32_t tsize;                                 // text segment size
+       uint32_t dsize;                                 // data segment size
+       uint32_t bsize;                                 // BSS segment size
+       uint32_t ssize;                                 // symbol table size
+       uint32_t reserved0;                             // unused
+       uint32_t reserved1;                             // unused
+       uint16_t absflag;                               // Always '0' (relocatable) for obj files
+};
+
+// Alcyon/DRI symbol type bits - From size.c:show_dri_symbol_type() in
+// https://github.com/cubanismo/jag_utils, as well as
+// the GEMDOS Reference Manual, 4/4/86, "Executable Files" section, in the
+// table "Values For Symbol Types," available various places, e.g.,
+// https://mikro.naprvyraz.sk/docs/GEM/GEMDOS.TXT
+#define ALCSYM_DEFINED         0x8000
+#define ALCSYM_EQUATED         0x4000
+#define ALCSYM_GLOBAL          0x2000
+#define ALCSYM_EQUATED_REG     0x1000
+#define ALCSYM_EXTERN          0x0800
+#define ALCSYM_DATA                    0x0400
+#define ALCSYM_TEXT                    0x0200
+#define ALCSYM_BSS                     0x0100
+
+// Alcyon/DRI symbol relocation flags - Derived from mark.c in the
+// original MADMAC sources released by Landon Dyer on his blog:
+//
+// https://dadhacker-125488.ingress-alpha.ewp.live/
+//
+// At this link from his September 2nd, 2008 post:
+//
+// http://www.dadhacker.com/Downloads/madmac.zip
+//
+// Downloaded from the Internet Archive Wayback Machine November 2015
+// snapshot of the above URL, here:
+//
+// https://web.archive.org/web/20151120225539/http://www.dadhacker.com/Downloads/madmac.zip
+//
+// Another valuable source of information on the Alcyon relocation data,
+// and the Alcyon/DRI C object file format in general is the Sozobon 2.0
+// source code:
+//
+// https://sourceforge.net/projects/sozobon/files/
+//
+// Sozobon is a reimplementation of the original Atari Alcyon C compiler
+// suite that can generate and link Alcyon/DRI object files compatible
+// with the original. Take a look at the jas/cpy.c file for an alternate
+// implementation of Alcyon/DRI relocation section data generation than
+// the one in MADMAC, as well as an alternate Alcyon/DRI relocation
+// data processing implementation in ld/rel.c.
+#define ALCREL_ABS                     0x0000  // No relocation at this location
+#define ALCREL_DATA                    0x0001  // Local address from data segment
+#define ALCREL_TEXT                    0x0002  // Local address from text segment
+#define ALCREL_BSS                     0x0003  // Local address from BSS segment
+#define ALCREL_EXTABS          0x0004  // External fixup: Absolute address
+#define ALCREL_LONG                    0x0005  // Relocation type is in next word
+#define ALCREL_EXTPCREL                0x0006  // External fixup: PC relative address
+#define ALCREL_SYMIDX(rval)    ((rval) >> 3)   // 0-based index of ext fixup symbol
+
+struct ALCSYM
+{
+       uint8_t name[8];                                // fixed-size, padded with zeros.  NOT NUL-terminated!
+       uint16_t type;                                  // symbol type mask, from ALCSYM_* flags above.
+       uint32_t value;                                 // value
+};
+
 struct OHEADER
 {
-   long magic;                                         // $0107 for .o, $601B for abs
-   long tsize;
-   long dsize;
-   long bsize;
-   long ssize;
-   union {
-      struct {                                         // For .o 
-         long tsize;                            // Text relocation size
-         long dsize;                            // Data relocation size
-         char reserved[12];
-      } reloc;
-      struct {                                         // For .abs 
-         long stksize;                             // Unused 
-         long tstart;                           // Start of TEXT 
-         long rbflag;                           // -1 if no fixups at all 
-         long dstart;                           // Start of DATA 
-         long bstart;                           // Start of BSS
-      } abs;
-   } absrel;
-   char * ostbase;                              // Base of output symbol table 
-   long fsize;                                  // Length of fixups
-   char * fixups;                               // Start of fixups 
+       uint32_t magic;                                 // $0107 for .o, $601B for .abs
+       uint32_t tsize;
+       uint32_t dsize;
+       uint32_t bsize;
+       uint32_t ssize;
+       union {
+               struct {                                        // For .o
+                       uint32_t tsize;                 // Text relocation size
+                       uint32_t dsize;                 // Data relocation size
+                       uint8_t reserved[12];
+               } reloc;
+               struct {                                        // For .abs
+                       uint32_t stksize;               // Unused
+                       uint32_t tstart;                // Start of TEXT
+                       uint32_t rbflag;                // -1 if no fixups at all
+                       uint32_t dstart;                // Start of DATA
+                       uint32_t bstart;                // Start of BSS
+               } abs;
+       } absrel;
+       uint8_t * ostbase;                              // Base of output symbol table
+       uint32_t fsize;                                 // Length of fixups
+       uint8_t * fixups;                               // Start of fixups
 };
 
-#define new_oheader()   (struct OHEADER *)malloc((long)sizeof(struct OHEADER))
+#define new_oheader()   (struct OHEADER *)malloc(sizeof(struct OHEADER))
+
+// BSD/a.out object relocation flags.
+#define BSDREL_MOVEI           0x00000001      // Word-swapped (I.e., JRISC movei) long
+#define BSDREL_WORD                    0x00000002
+#define BSDREL_OP                      0x00000004      // Object Processor relocation
+#define BSDREL_GLOBAL          0x00000010      // AKA external reference
+#define BSDREL_ABS                     0x00000040
+#define BSDREL_PCREL           0x000000A0      // Note this implies BSDREL_GLOBAL
+#define BSDREL_SYMIDX_SHIFT    8                       // Bits to shift
+#define BSDREL_SYMIDX(_rf)     ((_rf) >> BSDREL_SYMIDX_SHIFT)
+#define BSDREL_SEGMASK         0xFFFFFF00
+#define BSDREL_SEG_ABS         0x00000200
+#define BSDREL_SEG_TEXT                0x00000400
+#define BSDREL_SEG_DATA                0x00000600
+#define BSDREL_SEG_BSS         0x00000800
 
 struct ARHEADER
 {
-   char a_fname[14];
-   long a_modti;
-   char a_userid;
-   char a_gid;
-   int a_fimode;
-   long a_fsize;
-   int reserved;                                // Two bytes zeroes btw header & file 
+       uint8_t a_fname[14];
+       uint32_t a_modti;
+       uint8_t a_userid;
+       uint8_t a_gid;
+       uint16_t a_fimode;
+       uint32_t a_fsize;
+       uint16_t reserved;                              // Two bytes zeroes btwn header & file
 };
 
-#define new_arheader()  (struct ARHEADER *)malloc((long)sizeof(struct ARHEADER))
+#define new_arheader()  (struct ARHEADER *)malloc(sizeof(struct ARHEADER))
+
+// Object file structure and related items
 
-// Object File Structure and Related Items
+enum { TEXT=0, DATA=1, BSS=2 };
 
 struct OFILE
 {
-   char o_name[FNLEN];                          // Fixed-length names
-   char o_arname[FNLEN];                        // Name of archive this is from
-   struct OFILE * o_next;                       // Next object file
-   long o_tbase, o_dbase, o_bbase;              // Computed bases for this ofile
-   int o_symstart;                              // First sym in image is nth in out
-   int o_flags;                                 // Flags (see O_*)
-   struct OHEADER o_header;                     // Header of this file
-   char * o_image;                              // Image of this file
+       uint8_t o_name[FNLEN];                          // Fixed-length names
+       uint8_t o_arname[FNLEN];                        // Name of archive this is from
+       struct OFILE * o_next;                          // Next object file
+       uint32_t o_tbase, o_dbase, o_bbase;     // Computed bases for this ofile
+       uint16_t o_symstart;                            // First sym in image is nth in out
+       uint16_t o_flags;                                       // Flags (see O_*)
+       struct OHEADER o_header;                        // Header of this file
+       uint8_t * o_image;                                      // Image of this file
+       uint8_t isArchiveFile;                          // Temporary extra flag
+//These are likely redundant, and can probably be removed with judicious
+//editing of where they are used (in favor of OHEADER vars)
+       uint32_t segSize[3];                            // Size of TEXT, DATA & BSS (aligned)
+       uint32_t segBase[3];                            // Accumulated base address of TDB
 };
 
-#define new_ofile()  (struct OFILE *)malloc((long)sizeof(struct OFILE))
+#define new_ofile()  (struct OFILE *)malloc(sizeof(struct OFILE))
 
 // Flags in an Object File's o_flags field
-// O_USED: means this ofile is used or is on the command line or in a -x 
-#define O_USED       0x0001
-#define O_ARCHIVE    0x0002                     // This is a dummy archive entry
+// O_USED: means this ofile is used or is on the command line or in a -x
+#define O_USED       0x0001
+// N.B.: This is *never* set anywhere in the linker code...
+#define O_ARCHIVE    0x0002                    // This is a dummy archive entry
 
 // Symbol Record
 
-// SYMREC: Used by builddir for the lists of exports and imports, and by the
-// linker for the output symbol table (that's why there are type and value
-// fields, unused in builddir)
+// SYMREC: Used by the linker for the output symbol table
 
-#define SYMLEN       100                        // Symbol name size (incl null)
+#define OST_SIZE_INIT 8                                // Half the initial output symbol table size
 
 struct SYMREC
 {
-   char s_name[SYMLEN];                         // Including null terminator 
-   int s_type;
-   long s_value;
-   struct SYMREC *s_next;
+       uint32_t s_idx;
+       uint32_t s_type;
+       uint32_t s_value;
 };
 
-#define new_symrec() (struct SYMREC *)malloc((long)sizeof(struct SYMREC))
+#define new_symrec() (struct SYMREC *)malloc(sizeof(struct SYMREC))
 
 // Hash Record
 
 // HREC: One item in a hash bucket, including a link to the next item. Commons
 // and Globals share a hash table, but their value fields are interpreted
-// differently.  
+// differently.
+
+#define SYMLEN       256                       // Symbol name size (incl. null)
 
 struct HREC
 {
-   char h_sym[SYMLEN];
-   struct HREC * h_next;
-   struct OFILE * h_ofile;
-   long h_value;
-   int h_type;
+       uint8_t h_sym[SYMLEN];
+       struct HREC * h_next;
+       struct OFILE * h_ofile;
+       uint32_t h_value;
+//Shamus: This was an "int" but as per above, should have been a 16-bit value.
+//        Changing it to a 32-bit value (as per compiler warning).
+       uint32_t h_type;
 };
 
-#define new_hrec()   (struct HREC *)malloc((long)sizeof(struct HREC))
+#define new_hrec()   (struct HREC *)malloc(sizeof(struct HREC))
 
-#define NBUCKETS     1024                       // Number of hash buckets
+#define NBUCKETS     1024   // Number of hash buckets
 
 // Bit definitions for the type field of a symbol.
 //
@@ -197,16 +293,16 @@ struct HREC
 // format, in the first two bytes of the field) which is the index of the
 // symbol in the output symbol table.
 //
-// If that field is -1, it means you have to look this symbol up in the
-// ost to get its index.  This happens when the symbol was extern to this
-// module and defined by a LATER module.
+// If that field is -1, it means you have to look this symbol up in the OST to
+// get its index. This happens when the symbol was extern to this module and
+// defined by a LATER module.
 //
-// The upshot is that a symbol which isn't in the ost has its type & value
-// fields intact, while a symbol which is in the ost has T_OST set and
-// its index in its value field (or -1 if you have to look it up).
-// When producing the output fixups, you either output a symbol fixup with
-// the new index (for a partial link), or resolve the symbol based on its
-// type & value from the output symbol table.
+// The upshot is that a symbol which isn't in the OST has its type & value
+// fields intact, while a symbol which is in the OST has ABST_OST set and its
+// index in its value field (or -1 if you have to look it up).
+// When producing the output fixups, you either output a symbol fixup with the
+// new index (for a partial link), or resolve the symbol based on its type &
+// value from the output symbol table.
 
 #define ABST_DEFINED    0x8000
 #define ABST_EQUATED    0x4000
@@ -216,50 +312,52 @@ struct HREC
 #define ABST_DATA       0x0400 /* data-based relocatable */
 #define ABST_TEXT       0x0200 /* text-based relocatable */
 #define ABST_BSS        0x0100 /* bss-based relocatable  */
-#define ABST_FILE       0x0080                  // file symbol 
-#define ABST_ARCHIVE    0x0040                  // only when FILE set: archive file or no 
-#define ABST_OST        0x0001                  // private: "symbol is in ost": see above 
-#define T_COMMON       (T_GLOBAL | T_EXTERN)
-#define T_SEG          (T_DATA | T_TEXT | T_BSS)   // segment bits 
+#define ABST_FILE       0x0080 // file symbol
+#define ABST_ARCHIVE    0x0040 // only when FILE set: archive file or no
+#define ABST_OST        0x0001 // private: "symbol is in OST": see above
+//#define T_COMMON     (T_GLOBAL | T_EXTERN)
 
 // Symbol Table - Type Definitions
-
-#define T_UNDF          0x00000000     // Undefined Symbol
-#define T_EXT           0x01000000     // External Bit, OR\92ed In
-#define T_ABS           0x02000000     // Absolute Symbol
-#define T_TEXT          0x04000000     // TEXT Segment
-#define T_DATA          0x06000000     // DATA Segment
-#define T_BSS           0x08000000     // BSS Segment
+// N.B.: T_GLBL can be ORed with any of T_ABS, T_TEXT, TDATA, or T_BSS!
+//       Also, these are really a mashup of a struct, consisting of the
+//       following items: type (1 byte), other (1 byte), & descr. (2 bytes).
+//       Also, the type is not enough to distinguish between external &
+//       common symbols; for this,  you need to go to the value field to see
+//       what's there (0=external, !0=common).
+
+#define T_UNDF         0x00000000     // Undefined symbol
+#define T_GLBL         0x01000000     // Scoping bit, OR'ed in (global)
+#define T_ABS          0x02000000     // Absolute symbol (equated)
+#define T_TEXT         0x04000000     // TEXT segment
+#define T_DATA         0x06000000     // DATA segment
+#define T_BSS          0x08000000     // BSS segment
+#define T_SEG          (T_DATA | T_TEXT | T_BSS)   // segment bits
 
 // These macros are used with the TYPE field of a SYMBOL.
-
-#define iscommon(type) (((type) & T_EXT) == T_EXT)
-#define isglobal(type) (((type) & T_EXT) == T_EXT)
-#define isextern(type) (((type) & T_EXT) == T_EXT)
-#define islocal(type)  (((type) & T_EXT) == 0)
+// They are also mostly WRONG
+/*
+Absolutes (equates) can't be externals (line 434)
+-- they are non-relocatable
+*/
+
+#define iscommon(type) (((type) & T_GLBL) == 0)
+#define islocal(type)  (((type) & T_GLBL) == 0)
+#define isglobal(type) ((type) & T_GLBL)
+#define isextern(type) ((type) & T_GLBL)
+
+/*
+Shamus:
+Just look at this. I can't believe that somebody actually wrote this piece of
+failure and thought it was a good idea. I'm leaving it here as a testament to
+complete, total, and utter failure. :-)
+*/
 
 // This macro is used to compare two symbols for equality. It depends on
 // symcopy remaining as it is (copies two longs plus a null)
 
-#define symcmp(a,b) ((*(long *)(a) == *(long *)(b)) && \
-                                       (*(long *)((a) + sizeof(long)) == \
-                                       *(long *)((b) + sizeof(long))))
-
-// Function Prototypes
-
-int doargs(int, char *[]);
-char * make_string(char *);
-void put_name(struct OFILE *);
-int flush_handles(void);
-void symcopy(char *, char *);
-int ost_add(char *,int, long);
-int add_fixup(long);
-void display_help(void);
-void display_version(void);
-int pladd(char *, char *);
-char * path_tail(char *);
-int dolist(void);
-int segmentpad(FILE *, long, int);
-int ost_lookup(char *);
-
-#endif // __RLH_H__
+//#define symcmp(a,b) ((*(long *)(a) == *(long *)(b)) && \
+//                                     (*(long *)((a) + sizeof(long)) == \
+//                                     *(long *)((b) + sizeof(long))))
+
+#endif // __RLN_H__
+