H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 1 | /* labels.c label handling for the Netwide Assembler |
| 2 | * |
| 3 | * The Netwide Assembler is copyright (C) 1996 Simon Tatham and |
| 4 | * Julian Hall. All rights reserved. The software is |
| 5 | * redistributable under the licence given in the file "Licence" |
| 6 | * distributed in the NASM archive. |
| 7 | */ |
| 8 | |
| 9 | #include <stdio.h> |
| 10 | #include <string.h> |
| 11 | #include <stdlib.h> |
| 12 | #include "nasm.h" |
| 13 | #include "nasmlib.h" |
| 14 | |
| 15 | /* |
| 16 | * A local label is one that begins with exactly one period. Things |
| 17 | * that begin with _two_ periods are NASM-specific things. |
| 18 | */ |
| 19 | #define islocal(l) ((l)[0] == '.' && (l)[1] != '.') |
| 20 | |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 21 | #define LABEL_BLOCK 32 /* no. of labels/block */ |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 22 | #define LBLK_SIZE (LABEL_BLOCK*sizeof(union label)) |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 23 | #define LABEL_HASHES 37 /* no. of hash table entries */ |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 24 | |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 25 | #define END_LIST -3 /* don't clash with NO_SEG! */ |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 26 | #define END_BLOCK -2 |
| 27 | #define BOGUS_VALUE -4 |
| 28 | |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 29 | #define PERMTS_SIZE 4096 /* size of text blocks */ |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 30 | |
| 31 | /* values for label.defn.is_global */ |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 32 | #define DEFINED_BIT 1 |
| 33 | #define GLOBAL_BIT 2 |
| 34 | #define EXTERN_BIT 4 |
| 35 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 36 | #define NOT_DEFINED_YET 0 |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 37 | #define TYPE_MASK 3 |
| 38 | #define LOCAL_SYMBOL (DEFINED_BIT) |
| 39 | #define GLOBAL_PLACEHOLDER (GLOBAL_BIT) |
| 40 | #define GLOBAL_SYMBOL (DEFINED_BIT|GLOBAL_BIT) |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 41 | |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 42 | union label { /* actual label structures */ |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 43 | struct { |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 44 | long segment, offset; |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 45 | char *label, *special; |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 46 | int is_global, is_norm; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 47 | } defn; |
| 48 | struct { |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 49 | long movingon, dummy; |
| 50 | union label *next; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 51 | } admin; |
| 52 | }; |
| 53 | |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 54 | struct permts { /* permanent text storage */ |
| 55 | struct permts *next; /* for the linked list */ |
| 56 | int size, usage; /* size and used space in ... */ |
| 57 | char data[PERMTS_SIZE]; /* ... the data block itself */ |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 58 | }; |
| 59 | |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 60 | extern int global_offset_changed; /* defined in nasm.c */ |
| 61 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 62 | static union label *ltab[LABEL_HASHES];/* using a hash table */ |
| 63 | static union label *lfree[LABEL_HASHES];/* pointer into the above */ |
| 64 | static struct permts *perm_head; /* start of perm. text storage */ |
| 65 | static struct permts *perm_tail; /* end of perm. text storage */ |
| 66 | |
| 67 | static void init_block (union label *blk); |
| 68 | static char *perm_copy (char *string1, char *string2); |
| 69 | |
| 70 | static char *prevlabel; |
| 71 | |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 72 | static int initialised = FALSE; |
| 73 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 74 | /* |
| 75 | * Internal routine: finds the `union label' corresponding to the |
| 76 | * given label name. Creates a new one, if it isn't found, and if |
| 77 | * `create' is TRUE. |
| 78 | */ |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 79 | static union label *find_label (char *label, int create) |
| 80 | { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 81 | int hash = 0; |
| 82 | char *p, *prev; |
| 83 | int prevlen; |
| 84 | union label *lptr; |
| 85 | |
| 86 | if (islocal(label)) |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 87 | prev = prevlabel; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 88 | else |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 89 | prev = ""; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 90 | prevlen = strlen(prev); |
| 91 | p = prev; |
| 92 | while (*p) hash += *p++; |
| 93 | p = label; |
| 94 | while (*p) hash += *p++; |
| 95 | hash %= LABEL_HASHES; |
| 96 | lptr = ltab[hash]; |
| 97 | while (lptr->admin.movingon != END_LIST) { |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 98 | if (lptr->admin.movingon == END_BLOCK) { |
| 99 | lptr = lptr->admin.next; |
| 100 | if (!lptr) |
| 101 | break; |
| 102 | } |
| 103 | if (!strncmp(lptr->defn.label, prev, prevlen) && |
| 104 | !strcmp(lptr->defn.label+prevlen, label)) |
| 105 | return lptr; |
| 106 | lptr++; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 107 | } |
| 108 | if (create) { |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 109 | if (lfree[hash]->admin.movingon == END_BLOCK) { |
| 110 | /* |
| 111 | * must allocate a new block |
| 112 | */ |
| 113 | lfree[hash]->admin.next = (union label *) nasm_malloc (LBLK_SIZE); |
| 114 | lfree[hash] = lfree[hash]->admin.next; |
| 115 | init_block(lfree[hash]); |
| 116 | } |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 117 | |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 118 | lfree[hash]->admin.movingon = BOGUS_VALUE; |
| 119 | lfree[hash]->defn.label = perm_copy (prev, label); |
| 120 | lfree[hash]->defn.special = NULL; |
| 121 | lfree[hash]->defn.is_global = NOT_DEFINED_YET; |
| 122 | return lfree[hash]++; |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 123 | } |
| 124 | else |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 125 | return NULL; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 126 | } |
| 127 | |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 128 | int lookup_label (char *label, long *segment, long *offset) |
| 129 | { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 130 | union label *lptr; |
| 131 | |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 132 | if (!initialised) |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 133 | return 0; |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 134 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 135 | lptr = find_label (label, 0); |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 136 | if (lptr && (lptr->defn.is_global & DEFINED_BIT)) { |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 137 | *segment = lptr->defn.segment; |
| 138 | *offset = lptr->defn.offset; |
| 139 | return 1; |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 140 | } |
| 141 | else |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 142 | return 0; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 143 | } |
| 144 | |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 145 | int is_extern (char *label) |
| 146 | { |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 147 | union label *lptr; |
| 148 | |
| 149 | if (!initialised) |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 150 | return 0; |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 151 | |
| 152 | lptr = find_label (label, 0); |
| 153 | if (lptr && (lptr->defn.is_global & EXTERN_BIT)) |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 154 | return 1; |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 155 | else |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 156 | return 0; |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 157 | } |
| 158 | |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 159 | void redefine_label (char *label, long segment, long offset, char *special, |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 160 | int is_norm, int isextrn, struct ofmt *ofmt, efunc error) |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 161 | { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 162 | union label *lptr; |
| 163 | |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 164 | /* This routine possibly ought to check for phase errors. Most assemblers |
| 165 | * check for phase errors at this point. I don't know whether phase errors |
| 166 | * are even possible, nor whether they are checked somewhere else |
| 167 | */ |
| 168 | |
| 169 | (void) segment; /* Don't warn that this parameter is unused */ |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 170 | (void) special; /* Don't warn that this parameter is unused */ |
| 171 | (void) is_norm; /* Don't warn that this parameter is unused */ |
| 172 | (void) isextrn; /* Don't warn that this parameter is unused */ |
| 173 | (void) ofmt; /* Don't warn that this parameter is unused */ |
| 174 | |
| 175 | #ifdef DEBUG |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 176 | #if DEBUG<3 |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 177 | if (!strncmp(label, "debugdump", 9)) |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 178 | #endif |
| 179 | error(ERR_DEBUG, "redefine_label (%s, %ld, %08lx, %s, %d, %d)", |
| 180 | label, segment, offset, special, is_norm, isextrn); |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 181 | #endif |
| 182 | |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 183 | lptr = find_label (label, 1); |
| 184 | if (!lptr) |
| 185 | error (ERR_PANIC, "can't find label `%s' on pass two", label); |
| 186 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 187 | if (!islocal(label)) { |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 188 | if (*label != '.' && lptr->defn.is_norm) |
| 189 | prevlabel = lptr->defn.label; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 190 | } |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 191 | |
| 192 | global_offset_changed |= (lptr->defn.offset != offset); |
| 193 | lptr->defn.offset = offset; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 194 | } |
| 195 | |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 196 | void define_label (char *label, long segment, long offset, char *special, |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 197 | int is_norm, int isextrn, struct ofmt *ofmt, efunc error) |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 198 | { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 199 | union label *lptr; |
| 200 | |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 201 | #ifdef DEBUG |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 202 | #if DEBUG<3 |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 203 | if (!strncmp(label, "debugdump", 9)) |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 204 | #endif |
| 205 | error(ERR_DEBUG, "define_label (%s, %ld, %08lx, %s, %d, %d)", |
| 206 | label, segment, offset, special, is_norm, isextrn); |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 207 | #endif |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 208 | lptr = find_label (label, 1); |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 209 | if (lptr->defn.is_global & DEFINED_BIT) { |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 210 | error(ERR_NONFATAL, "symbol `%s' redefined", label); |
| 211 | return; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 212 | } |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 213 | lptr->defn.is_global |= DEFINED_BIT; |
| 214 | if (isextrn) |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 215 | lptr->defn.is_global |= EXTERN_BIT; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 216 | |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 217 | if (label[0] != '.' && is_norm) /* not local, but not special either */ |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 218 | prevlabel = lptr->defn.label; |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 219 | else if (label[0] == '.' && label[1] != '.' && !*prevlabel) |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 220 | error(ERR_NONFATAL, "attempt to define a local label before any" |
| 221 | " non-local labels"); |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 222 | |
| 223 | lptr->defn.segment = segment; |
| 224 | lptr->defn.offset = offset; |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 225 | lptr->defn.is_norm = (label[0] != '.' && is_norm); |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 226 | |
H. Peter Anvin | 41bf800 | 2002-04-30 20:58:18 +0000 | [diff] [blame] | 227 | if ( (lptr->defn.is_global & (GLOBAL_BIT|EXTERN_BIT)) != EXTERN_BIT ) { |
| 228 | ofmt->symdef (lptr->defn.label, segment, offset, |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 229 | !!(lptr->defn.is_global & GLOBAL_BIT), |
| 230 | special ? special : lptr->defn.special); |
H. Peter Anvin | 41bf800 | 2002-04-30 20:58:18 +0000 | [diff] [blame] | 231 | ofmt->current_dfmt->debug_deflabel (label, segment, offset, |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 232 | !!(lptr->defn.is_global & GLOBAL_BIT), |
| 233 | special ? special : lptr->defn.special); |
H. Peter Anvin | 41bf800 | 2002-04-30 20:58:18 +0000 | [diff] [blame] | 234 | } |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 235 | } |
| 236 | |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 237 | void define_common (char *label, long segment, long size, char *special, |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 238 | struct ofmt *ofmt, efunc error) |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 239 | { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 240 | union label *lptr; |
| 241 | |
| 242 | lptr = find_label (label, 1); |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 243 | if (lptr->defn.is_global & DEFINED_BIT) { |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 244 | error(ERR_NONFATAL, "symbol `%s' redefined", label); |
| 245 | return; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 246 | } |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 247 | lptr->defn.is_global |= DEFINED_BIT; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 248 | |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 249 | if (label[0] != '.') /* not local, but not special either */ |
| 250 | prevlabel = lptr->defn.label; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 251 | else |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 252 | error(ERR_NONFATAL, "attempt to define a local label as a " |
| 253 | "common variable"); |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 254 | |
| 255 | lptr->defn.segment = segment; |
| 256 | lptr->defn.offset = 0; |
| 257 | |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 258 | ofmt->symdef (lptr->defn.label, segment, size, 2, |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 259 | special ? special : lptr->defn.special); |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 260 | ofmt->current_dfmt->debug_deflabel(lptr->defn.label, segment, size, 2, |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 261 | special ? special : lptr->defn.special); |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 262 | } |
| 263 | |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 264 | void declare_as_global (char *label, char *special, efunc error) |
| 265 | { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 266 | union label *lptr; |
| 267 | |
| 268 | if (islocal(label)) { |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 269 | error(ERR_NONFATAL, "attempt to declare local symbol `%s' as" |
| 270 | " global", label); |
| 271 | return; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 272 | } |
| 273 | lptr = find_label (label, 1); |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 274 | switch (lptr->defn.is_global & TYPE_MASK) { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 275 | case NOT_DEFINED_YET: |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 276 | lptr->defn.is_global = GLOBAL_PLACEHOLDER; |
| 277 | lptr->defn.special = special ? perm_copy(special, "") : NULL; |
| 278 | break; |
| 279 | case GLOBAL_PLACEHOLDER: /* already done: silently ignore */ |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 280 | case GLOBAL_SYMBOL: |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 281 | break; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 282 | case LOCAL_SYMBOL: |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 283 | if (!lptr->defn.is_global & EXTERN_BIT) |
| 284 | error(ERR_NONFATAL, "symbol `%s': GLOBAL directive must" |
| 285 | " appear before symbol definition", label); |
| 286 | break; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 287 | } |
| 288 | } |
| 289 | |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 290 | int init_labels (void) |
| 291 | { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 292 | int i; |
| 293 | |
| 294 | for (i=0; i<LABEL_HASHES; i++) { |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 295 | ltab[i] = (union label *) nasm_malloc (LBLK_SIZE); |
| 296 | if (!ltab[i]) |
| 297 | return -1; /* can't initialise, panic */ |
| 298 | init_block (ltab[i]); |
| 299 | lfree[i] = ltab[i]; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 300 | } |
| 301 | |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 302 | perm_head = |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 303 | perm_tail = (struct permts *) nasm_malloc (sizeof(struct permts)); |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 304 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 305 | if (!perm_head) |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 306 | return -1; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 307 | |
| 308 | perm_head->next = NULL; |
| 309 | perm_head->size = PERMTS_SIZE; |
| 310 | perm_head->usage = 0; |
| 311 | |
| 312 | prevlabel = ""; |
| 313 | |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 314 | initialised = TRUE; |
| 315 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 316 | return 0; |
| 317 | } |
| 318 | |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 319 | void cleanup_labels (void) |
| 320 | { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 321 | int i; |
| 322 | |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 323 | initialised = FALSE; |
| 324 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 325 | for (i=0; i<LABEL_HASHES; i++) { |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 326 | union label *lptr, *lhold; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 327 | |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 328 | lptr = lhold = ltab[i]; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 329 | |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 330 | while (lptr) { |
| 331 | while (lptr->admin.movingon != END_BLOCK) lptr++; |
| 332 | lptr = lptr->admin.next; |
| 333 | nasm_free (lhold); |
| 334 | lhold = lptr; |
| 335 | } |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 336 | } |
| 337 | |
| 338 | while (perm_head) { |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 339 | perm_tail = perm_head; |
| 340 | perm_head = perm_head->next; |
| 341 | nasm_free (perm_tail); |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 342 | } |
| 343 | } |
| 344 | |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 345 | static void init_block (union label *blk) |
| 346 | { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 347 | int j; |
| 348 | |
| 349 | for (j=0; j<LABEL_BLOCK-1; j++) |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 350 | blk[j].admin.movingon = END_LIST; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 351 | blk[LABEL_BLOCK-1].admin.movingon = END_BLOCK; |
| 352 | blk[LABEL_BLOCK-1].admin.next = NULL; |
| 353 | } |
| 354 | |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 355 | static char *perm_copy (char *string1, char *string2) |
| 356 | { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 357 | char *p, *q; |
| 358 | int len = strlen(string1)+strlen(string2)+1; |
| 359 | |
| 360 | if (perm_tail->size - perm_tail->usage < len) { |
H. Peter Anvin | af535c1 | 2002-04-30 20:59:21 +0000 | [diff] [blame^] | 361 | perm_tail->next = (struct permts *)nasm_malloc(sizeof(struct permts)); |
| 362 | perm_tail = perm_tail->next; |
| 363 | perm_tail->next = NULL; |
| 364 | perm_tail->size = PERMTS_SIZE; |
| 365 | perm_tail->usage = 0; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 366 | } |
| 367 | p = q = perm_tail->data + perm_tail->usage; |
| 368 | while ( (*q = *string1++) ) q++; |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 369 | while ( (*q++ = *string2++) ) ; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 370 | perm_tail->usage = q - perm_tail->data; |
| 371 | |
| 372 | return p; |
| 373 | } |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 374 | |
| 375 | /* |
| 376 | * Notes regarding bug involving redefinition of external segments. |
| 377 | * |
| 378 | * Up to and including v0.97, the following code didn't work. From 0.97 |
| 379 | * developers release 2 onwards, it will generate an error. |
| 380 | * |
| 381 | * EXTERN extlabel |
| 382 | * newlabel EQU extlabel + 1 |
| 383 | * |
| 384 | * The results of allowing this code through are that two import records |
| 385 | * are generated, one for 'extlabel' and one for 'newlabel'. |
| 386 | * |
| 387 | * The reason for this is an inadequacy in the defined interface between |
| 388 | * the label manager and the output formats. The problem lies in how the |
| 389 | * output format driver tells that a label is an external label for which |
| 390 | * a label import record must be produced. Most (all except bin?) produce |
| 391 | * the record if the segment number of the label is not one of the internal |
| 392 | * segments that the output driver is producing. |
| 393 | * |
| 394 | * A simple fix to this would be to make the output formats keep track of |
| 395 | * which symbols they've produced import records for, and make them not |
| 396 | * produce import records for segments that are already defined. |
| 397 | * |
| 398 | * The best way, which is slightly harder but reduces duplication of code |
| 399 | * and should therefore make the entire system smaller and more stable is |
| 400 | * to change the interface between assembler, define_label(), and |
| 401 | * the output module. The changes that are needed are: |
| 402 | * |
| 403 | * The semantics of the 'isextern' flag passed to define_label() need |
| 404 | * examining. This information may or may not tell us what we need to |
| 405 | * know (ie should we be generating an import record at this point for this |
| 406 | * label). If these aren't the semantics, the semantics should be changed |
| 407 | * to this. |
| 408 | * |
| 409 | * The output module interface needs changing, so that the `isextern' flag |
| 410 | * is passed to the module, so that it can be easily tested for. |
| 411 | */ |