Shamusworld >> Repos - rmac/blob - sect.c

   1 //
   2 // RMAC - Reboot's Macro Assembler for the Atari Jaguar Console System
   3 // SECT.C - Code Generation, Fixups and Section Management
   4 // Copyright (C) 199x Landon Dyer, 2011 Reboot and Friends
   5 // RMAC derived from MADMAC v1.07 Written by Landon Dyer, 1986
   6 // Source Utilised with the Kind Permission of Landon Dyer
   7 //
   8
   9 #include "sect.h"
  10 #include "direct.h"
  11 #include "error.h"
  12 #include "expr.h"
  13 #include "listing.h"
  14 #include "mach.h"
  15 #include "mark.h"
  16 #include "risca.h"
  17 #include "symbol.h"
  18 #include "token.h"
  19
  20 // Section descriptors
  21 SECT sect[NSECTS];                                              // All sections...
  22 int cursect;                                                    // Current section number
  23
  24 // These are copied from the section descriptor, the current code chunk
  25 // descriptor and the current fixup chunk descriptor when a switch is made into
  26 // a section.  They are copied back to the descriptors when the section is left.
  27 WORD scattr;                                                    // Section attributes
  28 LONG sloc;                                                              // Current loc in section
  29
  30 CHUNK * scode;                                                  // Current (last) code chunk
  31 LONG challoc;                                                   // # bytes alloc'd to code chunk
  32 LONG ch_size;                                                   // # bytes used in code chunk
  33 char * chptr;                                                   // Deposit point in code chunk buffer
  34
  35 CHUNK * sfix;                                                   // Current (last) fixup chunk
  36 LONG fchalloc;                                                  // # bytes alloc'd to fixup chunk
  37 LONG fchsize;                                                   // # bytes used in fixup chunk
  38 PTR fchptr;                                                             // Deposit point in fixup chunk buffer
  39
  40 unsigned fwdjump[MAXFWDJUMPS];                  // forward jump check table
  41 unsigned fwindex = 0;                                   // forward jump index
  42
  43 // Return a size (SIZB, SIZW, SIZL) or 0, depending on what kind of fixup is
  44 // associated with a location.
  45 static char fusiztab[] = {
  46    0,                                           // FU_QUICK
  47    1,                                           // FU_BYTE
  48    2,                                           // FU_WORD
  49    2,                                           // FU_WBYTE
  50    4,                                           // FU_LONG
  51    1,                                           // FU_BBRA
  52    0,                                           // (unused)
  53    1,                                           // FU_6BRA
  54 };
  55
  56 // Offset to REAL fixup location
  57 static char fusizoffs[] = {
  58    0,                                           // FU_QUICK
  59    0,                                           // FU_BYTE
  60    0,                                           // FU_WORD
  61    1,                                           // FU_WBYTE
  62    0,                                           // FU_LONG
  63    1,                                           // FU_BBRA
  64    0,                                           // (unused)
  65    0,                                           // FU_6BRA
  66 };
  67
  68
  69 //
  70 // Make a New (Clean) Section
  71 //
  72 void mksect(int sno, WORD attr)
  73 {
  74         SECT * p = &sect[sno];
  75         p->scattr = attr;
  76         p->sloc = 0;
  77         p->scode = p->sfcode = NULL;
  78         p->sfix = p->sffix = NULL;
  79 }
  80
  81
  82 //
  83 // Switch to Another Section (Copy Section & Chunk Descriptors to Global Vars
  84 // for Fast Access)
  85 //
  86 void switchsect(int sno)
  87 {
  88         CHUNK * cp;                                                             // Chunk pointer
  89         cursect = sno;
  90         SECT * p = &sect[sno];
  91
  92         scattr = p->scattr;                                             // Copy section vars
  93         sloc = p->sloc;
  94         scode = p->scode;
  95         sfix = p->sfix;
  96
  97         // Copy code chunk vars
  98         if ((cp = scode) != NULL)
  99         {
 100                 challoc = cp->challoc;
 101                 ch_size = cp->ch_size;
 102                 chptr = cp->chptr + ch_size;
 103         }
 104         else
 105                 challoc = ch_size = 0;
 106
 107         // Copy fixup chunk vars
 108         if ((cp = sfix) != NULL)
 109         {
 110                 fchalloc = cp->challoc;
 111                 fchsize = cp->ch_size;
 112                 fchptr.cp = cp->chptr + fchsize;
 113         }
 114         else
 115                 fchalloc = fchsize = 0;
 116 }
 117
 118
 119 //
 120 // Save Current Section
 121 //
 122 void savsect(void)
 123 {
 124         SECT * p = &sect[cursect];
 125
 126         p->scattr = scattr;                                             // Bailout section vars
 127         p->sloc = sloc;
 128
 129         if (scode != NULL)                                              // Bailout code chunk
 130                 scode->ch_size = ch_size;
 131
 132         if (sfix != NULL)                                               // Bailout fixup chunk
 133                 sfix->ch_size = fchsize;
 134 }
 135
 136
 137 //
 138 // Initialize Sections; Setup initial ABS, TEXT, DATA and BSS sections
 139 //
 140 void init_sect(void)
 141 {
 142         int i;
 143
 144         // Cleanup all sections
 145         for(i=0; i<NSECTS; i++)
 146                 mksect(i, 0);
 147
 148         // Construct default sections, make TEXT the current section
 149         mksect(ABS,   SUSED | SABS | SBSS);             // ABS
 150         mksect(TEXT,  SUSED | TEXT       );             // TEXT
 151         mksect(DATA,  SUSED | DATA       );             // DATA
 152         mksect(BSS,   SUSED | BSS | SBSS );             // BSS
 153 //      mksect(M6502, SUSED | TEXT       );             // 6502 code section
 154
 155         switchsect(TEXT);                                               // Switch to TEXT for starters
 156 }
 157
 158
 159 //
 160 // Test to see if a location has a fixup sic'd on it.  This is used by the
 161 // listing generator to print 'xx's instead of '00's for forward references
 162 //
 163 int fixtest(int sno, LONG loc)
 164 {
 165         CHUNK * ch;
 166         PTR fup;
 167         char * fuend;
 168         WORD w;
 169         LONG xloc;
 170
 171         stopmark();                                                             // Force update to sect[] variables
 172
 173         // Hairy, ugly linear search for a mark on our location;
 174         // the speed doesn't matter, since this is only done when generating a
 175         // listing, which is SLOW.
 176         for(ch=sect[sno].sffix; ch!=NULL; ch=ch->chnext)
 177         {
 178                 fup.cp = (char *)ch->chptr;
 179                 fuend = fup.cp + ch->ch_size;
 180
 181                 while (fup.cp < fuend)
 182                 {
 183                         w = *fup.wp++;
 184                         xloc = *fup.lp++ + (int)fusizoffs[w & FUMASK];
 185                         fup.wp += 2;
 186
 187                         if (xloc == loc)
 188                                 return (int)fusiztab[w & FUMASK];
 189
 190                         if (w & FU_EXPR)
 191                         {
 192                                 w = *fup.wp++;
 193                                 fup.lp += w;
 194                         }
 195                         else
 196                                 ++fup.lp;
 197                 }
 198         }
 199
 200         return 0;
 201 }
 202
 203
 204 //
 205 // Check that there are at least `amt' bytes left in the current chunk. If
 206 // there are not, allocate another chunk of at least `amt' bytes (and probably
 207 // more).
 208 //
 209 // If `amt' is zero, ensure there are at least CH_THRESHOLD bytes, likewise.
 210 //
 211 int chcheck(LONG amt)
 212 {
 213         DEBUG { printf("chcheck(%u)\n", amt); }
 214         // If in BSS section, no allocation required
 215         if (scattr & SBSS)
 216                 return 0;
 217
 218         if (!amt)
 219                 amt = CH_THRESHOLD;
 220
 221         DEBUG { printf("    challoc=%i, ch_size=%i, diff=%i\n", challoc, ch_size, challoc-ch_size); }
 222         if ((int)(challoc - ch_size) >= (int)amt)
 223                 return 0;
 224
 225         if (amt < CH_CODE_SIZE)
 226                 amt = CH_CODE_SIZE;
 227
 228         DEBUG { printf("    amt (adjusted)=%u\n", amt); }
 229         SECT * p = &sect[cursect];
 230         CHUNK * cp = malloc(sizeof(CHUNK) + amt);
 231
 232         // First chunk in section
 233         if (scode == NULL)
 234         {
 235                 cp->chprev = NULL;
 236                 p->sfcode = cp;
 237         }
 238         // Add chunk to other chunks
 239         else
 240         {
 241                 cp->chprev = scode;
 242                 scode->chnext = cp;
 243                 scode->ch_size = ch_size;                       // Save old chunk's globals
 244         }
 245
 246         // Setup chunk and global vars
 247         cp->chloc = sloc;
 248         cp->chnext = NULL;
 249         challoc = cp->challoc = amt;
 250         ch_size = cp->ch_size = 0;
 251         chptr = cp->chptr = ((char *)cp) + sizeof(CHUNK);
 252         scode = p->scode = cp;
 253
 254         return 0;
 255 }
 256
 257
 258 // This is really wrong. We need to make some proper structures here so we don't
 259 // have to count sizes of objects, that's what the compiler's for! :-P
 260 #define FIXUP_BASE_SIZE (sizeof(WORD) + sizeof(LONG) + sizeof(WORD) + sizeof(WORD))
 261 //
 262 // Arrange for a fixup on a location
 263 //
 264 int fixup(WORD attr, LONG loc, TOKEN * fexpr)
 265 {
 266         LONG i;
 267         LONG len = 0;
 268         CHUNK * cp;
 269         SECT * p;
 270         // Shamus: Expression lengths are voodoo ATM (varibale "i"). Need to fix this.
 271         DEBUG printf("FIXUP@$%X: $%X\n", loc, attr);
 272
 273         // Compute length of expression (could be faster); determine if it's the
 274         // single-symbol case; no expression if it's just a mark. This code assumes
 275         // 16 bit WORDs and 32 bit LONGs
 276         if (*fexpr == SYMBOL && fexpr[2] == ENDEXPR)
 277         {
 278                 // Just a single symbol
 279                 // SCPCD : correct bit mask for attr (else other FU_xxx will match) NYAN !
 280                 if ((attr & 0x0F00) == FU_JR)
 281                 {
 282 //                      i = 18;
 283 //                      i = FIXUP_BASE_SIZE + (sizeof(LONG) * 2);
 284                         i = FIXUP_BASE_SIZE + sizeof(SYM *) + sizeof(LONG);
 285                 }
 286                 else
 287                 {
 288 //                      i = 14;
 289                         i = FIXUP_BASE_SIZE + sizeof(SYM *);
 290                 }
 291         }
 292         else
 293         {
 294                 attr |= FU_EXPR;
 295
 296                 for(len=0; fexpr[len]!=ENDEXPR; len++)
 297                 {
 298                         if (fexpr[len] == CONST || fexpr[len] == SYMBOL)
 299                                 len++;
 300                 }
 301
 302                 len++;                                                          // Add 1 for ENDEXPR
 303 //              i = (len << 2) + 12;
 304                 i = FIXUP_BASE_SIZE + sizeof(WORD) + (len * sizeof(TOKEN));
 305         }
 306
 307         // Maybe alloc another fixup chunk for this one to fit in
 308         if ((fchalloc - fchsize) < i)
 309         {
 310                 p = &sect[cursect];
 311                 cp = (CHUNK *)malloc(sizeof(CHUNK) + CH_FIXUP_SIZE);
 312
 313                 // First fixup chunk in section
 314                 if (sfix == NULL)
 315                 {
 316                         cp->chprev = NULL;
 317                         p->sffix = cp;
 318                 }
 319                 // Add to other chunks
 320                 else
 321                 {
 322                         cp->chprev = sfix;
 323                         sfix->chnext = cp;
 324                         sfix->ch_size = fchsize;
 325                 }
 326
 327                 // Setup fixup chunk and its global vars
 328                 cp->chnext = NULL;
 329                 fchalloc = cp->challoc = CH_FIXUP_SIZE;
 330                 fchsize = cp->ch_size = 0;
 331                 fchptr.cp = cp->chptr = ((char *)cp) + sizeof(CHUNK);
 332                 sfix = p->sfix = cp;
 333         }
 334
 335         // Record fixup type, fixup location, and the file number and line number
 336         // the fixup is located at.
 337         *fchptr.wp++ = attr;
 338         *fchptr.lp++ = loc;
 339         *fchptr.wp++ = cfileno;
 340         *fchptr.wp++ = (WORD)curlineno;
 341
 342         // Store postfix expression or pointer to a single symbol, or nothing for a
 343         // mark.
 344         if (attr & FU_EXPR)
 345         {
 346                 *fchptr.wp++ = (WORD)len;
 347
 348                 while (len--)
 349                         *fchptr.lp++ = (LONG)*fexpr++;
 350         }
 351         else
 352         {
 353 //              *fchptr.lp++ = (LONG)fexpr[1];
 354                 *fchptr.sy++ = symbolPtr[fexpr[1]];
 355         }
 356
 357         // SCPCD : correct bit mask for attr (else other FU_xxx will match) NYAN !
 358         if ((attr & 0x0F00) == FU_JR)
 359         {
 360                 if (orgactive)
 361                         *fchptr.lp++ = orgaddr;
 362                 else
 363                         *fchptr.lp++ = 0x00000000;
 364         }
 365
 366         fchsize += i;
 367         return 0;
 368 }
 369
 370
 371 //
 372 // Resolve all Fixups
 373 //
 374 int ResolveAllFixups(void)
 375 {
 376         unsigned i;
 377         char buf[EBUFSIZ];
 378
 379         // Make undefined symbols GLOBL
 380         if (glob_flag)
 381                 syg_fix();
 382
 383         DEBUG printf("Resolving TEXT sections...\n");
 384         ResolveFixups(TEXT);
 385         DEBUG printf("Resolving DATA sections...\n");
 386         ResolveFixups(DATA);
 387
 388         // We need to do a final check of forward 'jump' destination addresses that
 389         // are external
 390         for(i=0; i<MAXFWDJUMPS; i++)
 391         {
 392                 if (fwdjump[i])
 393                 {
 394                         err_setup();
 395                         sprintf(buf, "* \'jump\' at $%08X - destination address is external to this source file and cannot have its aligment validated", fwdjump[i]);
 396
 397                         if (listing > 0)
 398                                 ship_ln(buf);
 399
 400                         if (err_flag)
 401                                 write(err_fd, buf, (LONG)strlen(buf));
 402                         else
 403                                 printf("%s\n", buf);
 404                 }
 405         }
 406
 407         return 0;
 408 }
 409
 410
 411 //
 412 // Resolve Fixups in a Section
 413 //
 414 int ResolveFixups(int sno)
 415 {
 416         PTR fup;                                        // Current fixup
 417         WORD * fuend;                           // End of last fixup (in this chunk)
 418         WORD w;                                         // Fixup word (type+modes+flags)
 419         char * locp;                            // Location to fix (in cached chunk)
 420         LONG loc;                                       // Location to fixup
 421         VALUE eval;                                     // Expression value
 422         WORD eattr;                                     // Expression attrib
 423         SYM * esym;                                     // External symbol involved in expr
 424         SYM * sy;                                       // (Temp) pointer to a symbol
 425         WORD i;                                         // (Temp) word
 426         WORD tdb;                                       // eattr & TDB
 427         LONG oaddr;
 428         int reg2;
 429         WORD flags;
 430         unsigned page_jump = 0;
 431         unsigned address = 0;
 432         unsigned j;
 433         char buf[EBUFSIZ];
 434
 435         SECT * sc = &sect[sno];
 436         CHUNK * ch = sc->sffix;
 437
 438         if (ch == NULL)
 439                 return 0;
 440
 441         CHUNK * cch = sc->sfcode;                               // "cache" first chunk
 442
 443         if (cch == NULL)                                                // Can't fixup a sect with nothing in it
 444                 return 0;
 445
 446         do
 447         {
 448                 fup.cp = ch->chptr;                                     // fup -> start of chunk
 449                 fuend = (WORD *)(fup.cp + ch->ch_size); // fuend -> end of chunk
 450
 451                 while (fup.wp < fuend)
 452                 {
 453                         w = *fup.wp++;
 454                         loc = *fup.lp++;
 455                         cfileno = *fup.wp++;
 456                         curlineno = (int)*fup.wp++;
 457
 458                         esym = NULL;
 459
 460                         // Search for chunk containing location to fix up; compute a
 461                         // pointer to the location (in the chunk). Often we will find the
 462                         // fixup is in the "cached" chunk, so the linear-search is seldom
 463                         // executed.
 464                         if (loc < cch->chloc || loc >= (cch->chloc + cch->ch_size))
 465                         {
 466                                 for(cch=sc->sfcode; cch!=NULL; cch=cch->chnext)
 467                                 {
 468                                         if (loc >= cch->chloc && loc < (cch->chloc + cch->ch_size))
 469                                                 break;
 470                                 }
 471
 472                                 if (cch == NULL)
 473                                 {
 474                                         interror(7);                    // Fixup (loc) out of range
 475                                         // NOTREACHED
 476                                 }
 477                         }
 478
 479                         locp = cch->chptr + (loc - cch->chloc);
 480                         eattr = 0;
 481
 482                         // Compute expression/symbol value and attribs
 483                         // Complex expression
 484                         if (w & FU_EXPR)
 485                         {
 486                                 i = *fup.wp++;
 487
 488                                 if (evexpr(fup.tk, &eval, &eattr, &esym) != OK)
 489                                 {
 490                                         fup.lp += i;
 491                                         continue;
 492                                 }
 493
 494                                 fup.lp += i;
 495                         }
 496                         // Simple symbol
 497                         else
 498                         {
 499                                 sy = *fup.sy++;
 500                                 eattr = sy->sattr;
 501
 502                                 if (eattr & DEFINED)
 503                                         eval = sy->svalue;
 504                                 else
 505                                         eval = 0;
 506
 507                                 if ((eattr & (GLOBAL | DEFINED)) == GLOBAL)
 508                                         esym = sy;
 509                         }
 510
 511                         tdb = (WORD)(eattr & TDB);
 512
 513                         // If the expression is undefined and no external symbol is
 514                         // involved, then it's an error.
 515                         if (!(eattr & DEFINED) && esym == NULL)
 516                         {
 517                                 error(undef_error);
 518                                 continue;
 519                         }
 520
 521                         if (((w & 0x0F00) == FU_MOVEI) && esym)
 522                                 esym->sattre |= RISCSYM;
 523
 524                         // Do the fixup
 525                         //
 526                         // If a PC-relative fixup is undefined, its value is *not*
 527                         // subtracted from the location (that will happen in the linker
 528                         // when the external reference is resolved).
 529                         //
 530                         // MWC expects PC-relative things to have the LOC subtracted from
 531                         // the value, if the value is external (that is, undefined at this
 532                         // point).
 533                         //
 534                         // PC-relative fixups must be DEFINED and either in the same
 535                         // section (whereupon the subtraction takes place) or ABS (with no
 536                         // subtract).
 537                         if (w & FU_PCREL)
 538                         {
 539                                 if (eattr & DEFINED)
 540                                 {
 541                                         if (tdb == sno)
 542                                                 eval -= (VALUE)loc;
 543                                         else if (tdb)
 544                                         {
 545                                                 error("PC-relative expr across sections");
 546                                                 continue;
 547                                         }
 548
 549                                         if (sbra_flag && (w & FU_LBRA) && (eval + 0x80 < 0x100))
 550                                                 warn("unoptimized short branch");
 551                                 }
 552                                 else if (obj_format == MWC)
 553                                         eval -= (VALUE)loc;
 554
 555                                 tdb = 0;
 556                                 eattr &= ~TDB;
 557                         }
 558
 559                         // Do fixup classes
 560                         switch ((int)(w & FUMASK))
 561                         {
 562                         // FU_BBRA fixes up a one-byte branch offset.
 563                         case FU_BBRA:
 564                                 if (!(eattr & DEFINED))
 565                                 {
 566                                         error("external short branch");
 567                                         continue;
 568                                 }
 569
 570                                 eval -= 2;
 571
 572                                 if (eval + 0x80 >= 0x100)
 573                                         goto range;
 574
 575                                 if (eval == 0)
 576                                 {
 577                                         error("illegal bra.s with zero offset");
 578                                         continue;
 579                                 }
 580
 581                                 *++locp = (char)eval;
 582                                 break;
 583                         // Fixup one-byte value at locp + 1.
 584                         case FU_WBYTE:
 585                                 ++locp;
 586                                 // FALLTHROUGH
 587                         // Fixup one-byte forward references
 588                         case FU_BYTE:
 589                                 if (!(eattr & DEFINED))
 590                                 {
 591                                         error("external byte reference");
 592                                         continue;
 593                                 }
 594
 595                                 if (tdb)
 596                                 {
 597                                         error("non-absolute byte reference");
 598                                         continue;
 599                                 }
 600
 601                                 if ((w & FU_PCREL) && eval + 0x80 >= 0x100)
 602                                         goto range;
 603
 604                                 if (w & FU_SEXT)
 605                                 {
 606                                         if (eval + 0x100 >= 0x200)
 607                                                 goto range;
 608                                 }
 609                                 else if (eval >= 0x100)
 610                                         goto range;
 611
 612                                 *locp = (char)eval;
 613                                 break;
 614                         // Fixup WORD forward references;
 615                         // the word could be unaligned in the section buffer, so we have to
 616                         // be careful.
 617                         case FU_WORD:
 618                                 if (((w & 0x0F00) == FU_JR) || ((w & 0x0F00) == FU_MJR))
 619                                 {
 620                                         oaddr = *fup.lp++;
 621
 622                                         if (oaddr)
 623                                         {
 624                                                 reg2 = (signed)((eval - (oaddr + 2)) / 2);// & 0x1F;
 625                                         }
 626                                         else
 627                                         {
 628                                                 reg2 = (signed)((eval - (loc + 2)) / 2);// & 0x1F;
 629                                         }
 630
 631                                         if ((w & 0x0F00) == FU_MJR)
 632                                         {
 633                                                 // Main code destination alignment checking here for
 634                                                 // forward declared labels
 635                                                 address = (oaddr) ? oaddr : loc;
 636
 637                                                 if (((address >= 0xF03000) && (address < 0xF04000)
 638                                                         && (eval < 0xF03000)) || ((eval >= 0xF03000)
 639                                                         && (eval < 0xF04000) && (address < 0xF03000)))
 640                                                 {
 641                                                         warni("* \'jr\' at $%08X - cannot jump relative between "
 642                                                                 "main memory and local gpu ram", address);
 643                                                 }
 644                                                 else
 645                                                 {
 646                                                         page_jump = (address & 0xFFFFFF00) - (eval & 0xFFFFFF00);
 647
 648                                                         if (page_jump)
 649                                                         {
 650                                                                 // This jump is to a page outside of the
 651                                                                 // current 256 byte page
 652                                                                 if (eval % 4)
 653                                                                 {
 654                                                                         warni("* \'jr\' at $%08X - destination address not aligned for long page jump, insert a \'nop\' before the destination address", address);
 655                                                                 }
 656                                                         }
 657                                                         else
 658                                                         {
 659                                                                 // This jump is in the current 256 byte page
 660                                                                 if ((eval - 2) % 4)
 661                                                                 {
 662                                                                         warni("* \'jr\' at $%08X - destination address not aligned for short page jump, insert a \'nop\' before the destination address", address);
 663                                                                 }
 664                                                         }
 665                                                 }
 666                                         }
 667
 668                                         if ((reg2 < -16) || (reg2 > 15))
 669                                         {
 670                                                 error("relative jump out of range");
 671                                                 break;
 672                                         }
 673
 674                                         *locp = (char)(*locp | ((reg2 >> 3) & 0x03));
 675                                         locp++;
 676                                         *locp = (char)(*locp | ((reg2 & 0x07) << 5));
 677                                         break;
 678                                 }
 679
 680                                 if ((w & 0x0F00) == FU_NUM15)
 681                                 {
 682                                         if (eval < -16 || eval > 15)
 683                                         {
 684                                                 error("constant out of range");
 685                                                 break;
 686                                         }
 687
 688                                         *locp = (char)(*locp | ((eval >> 3) & 0x03));
 689                                         locp++;
 690                                         *locp = (char)(*locp | ((eval & 0x07) << 5));
 691                                         break;
 692                                 }
 693
 694                                 if ((w & 0x0F00) == FU_NUM31)
 695                                 {
 696                                         if (eval < 0 || eval > 31)
 697                                         {
 698                                                 error("constant out of range");
 699                                                 break;
 700                                         }
 701
 702                                         *locp = (char)(*locp | ((eval >> 3) & 0x03));
 703                                         locp++;
 704                                         *locp = (char)(*locp | ((eval & 0x07) << 5));
 705                                         break;
 706                                 }
 707
 708                                 if ((w & 0x0F00) == FU_NUM32)
 709                                 {
 710                                         if (eval < 1 || eval > 32)
 711                                         {
 712                                                 error("constant out of range");
 713                                                 break;
 714                                         }
 715
 716                                         if (w & FU_SUB32)
 717                                                 eval = (32 - eval);
 718
 719                                         eval = (eval == 32) ? 0 : eval;
 720                                         *locp = (char)(*locp | ((eval >> 3) & 0x03));
 721                                         locp++;
 722                                         *locp = (char)(*locp | ((eval & 0x07) << 5));
 723                                         break;
 724                                 }
 725
 726                                 if ((w & 0x0F00) == FU_REGONE)
 727                                 {
 728                                         if (eval < 0 || eval > 31)
 729                                         {
 730                                                 error("register value out of range");
 731                                                 break;
 732                                         }
 733
 734                                         *locp = (char)(*locp | ((eval >> 3) & 0x03));
 735                                         locp++;
 736                                         *locp = (char)(*locp | ((eval & 0x07) << 5));
 737                                         break;
 738                                 }
 739
 740                                 if ((w & 0x0F00) == FU_REGTWO)
 741                                 {
 742                                         if (eval < 0 || eval > 31)
 743                                         {
 744                                                 error("register value out of range");
 745                                                 break;
 746                                         }
 747
 748                                         locp++;
 749                                         *locp = (char)(*locp | (eval & 0x1F));
 750                                         break;
 751                                 }
 752
 753                                 if (!(eattr & DEFINED))
 754                                 {
 755                                         if (w & FU_PCREL)
 756                                                 w = MPCREL | MWORD;
 757                                         else
 758                                                 w = MWORD;
 759
 760                                         rmark(sno, loc, 0, w, esym);
 761                                 }
 762                                 else
 763                                 {
 764                                         if (tdb)
 765                                                 rmark(sno, loc, tdb, MWORD, NULL);
 766
 767                                         if (w & FU_SEXT)
 768                                         {
 769                                                 if (eval + 0x10000 >= 0x20000)
 770                                                         goto range;
 771                                         }
 772                                         else
 773                                         {
 774                                                 // Range-check BRA and DBRA
 775                                                 if (w & FU_ISBRA)
 776                                                 {
 777                                                         if (eval + 0x8000 >= 0x10000)
 778                                                         goto range;
 779                                                 }
 780                                                 else if (eval >= 0x10000)
 781                                                         goto range;
 782                                         }
 783                                 }
 784
 785                                 *locp++ = (char)(eval >> 8);
 786                                 *locp = (char)eval;
 787                                 break;
 788                         // Fixup LONG forward references;
 789                         // the long could be unaligned in the section buffer, so be careful
 790                         // (again).
 791                         case FU_LONG:
 792                                 if ((w & 0x0F00) == FU_MOVEI)
 793                                 {
 794                                         address = loc + 4;
 795
 796                                         if (eattr & DEFINED)
 797                                         {
 798                                                 for(j=0; j<fwindex; j++)
 799                                                 {
 800                                                         if (fwdjump[j] == address)
 801                                                         {
 802                                                                 page_jump = (address & 0xFFFFFF00) - (eval & 0xFFFFFF00);
 803
 804                                                                 if (page_jump)
 805                                                                 {
 806                                                                         if (eval % 4)
 807                                                                         {
 808                                                                                 err_setup();
 809                                                                                 sprintf(buf, "* \'jump\' at $%08X - destination address not aligned for long page jump, insert a \'nop\' before the destination address", address);
 810
 811                                                                                 if (listing > 0)
 812                                                                                         ship_ln(buf);
 813
 814                                                                                 if (err_flag)
 815                                                                                         write(err_fd, buf, (LONG)strlen(buf));
 816                                                                                 else
 817                                                                                         printf("%s\n", buf);
 818                                                                         }
 819                                                                 }
 820                                                                 else
 821                                                                 {
 822                                                                         if (!(eval & 0x0000000F) || ((eval - 2) % 4))
 823                                                                         {
 824                                                                                 err_setup();
 825                                                                                 sprintf(buf, "* \'jump\' at $%08X - destination address not aligned for short page jump, insert a \'nop\' before the destination address", address);
 826
 827                                                                                 if (listing > 0)
 828                                                                                         ship_ln(buf);
 829
 830                                                                                 if (err_flag)
 831                                                                                         write(err_fd, buf, (LONG)strlen(buf));
 832                                                                                 else
 833                                                                                         printf("%s\n", buf);
 834                                                                         }
 835                                                                 }
 836
 837                                                                 // Clear this jump as it has been checked
 838                                                                 fwdjump[j] = 0;
 839                                                                 j = fwindex;
 840                                                         }
 841                                                 }
 842                                         }
 843
 844                                         eval = ((eval >> 16) & 0x0000FFFF) | ((eval << 16) & 0xFFFF0000);
 845                                         flags = (MLONG|MMOVEI);
 846                                 }
 847                                 else
 848                                         flags = MLONG;
 849
 850                                 if (!(eattr & DEFINED))
 851                                 {
 852                                         rmark(sno, loc, 0, flags, esym);
 853                                 }
 854                                 else if (tdb)
 855                                 {
 856                                         rmark(sno, loc, tdb, flags, NULL);
 857                                 }
 858
 859                                 *locp++ = (char)(eval >> 24);
 860                                 *locp++ = (char)(eval >> 16);
 861                                 *locp++ = (char)(eval >> 8);
 862                                 *locp = (char)eval;
 863                                 break;
 864                         // Fixup a 3-bit "QUICK" reference in bits 9..1
 865                         // (range of 1..8) in a word.  Really bits 1..3 in a byte.
 866                         case FU_QUICK:
 867                                 if (!(eattr & DEFINED))
 868                                 {
 869                                         error("External quick reference");
 870                                         continue;
 871                                 }
 872
 873                                 if (eval < 1 || eval > 8)
 874                                         goto range;
 875
 876                                 *locp |= (eval & 7) << 1;
 877                                 break;
 878                         // Fix up 6502 funny branch
 879                         case FU_6BRA:
 880                                 eval -= (loc + 1);
 881
 882                                 if (eval + 0x80 >= 0x100)
 883                                         goto range;
 884
 885                                 *locp = (char)eval;
 886                                 break;
 887                         default:
 888                                 interror(4);                                 // Bad fixup type
 889                                 // NOTREACHED
 890                         }
 891                         continue;
 892 range:
 893                         error("expression out of range");
 894                 }
 895
 896                 ch = ch->chnext;
 897         }
 898         while (ch != NULL);
 899
 900         return 0;
 901 }