git.sur5r.net Git - cc65/blob - src/cc65/codeent.c

   1 /*****************************************************************************/
   2 /*                                                                           */
   3 /*                                 codeent.c                                 */
   4 /*                                                                           */
   5 /*                            Code segment entry                             */
   6 /*                                                                           */
   7 /*                                                                           */
   8 /*                                                                           */
   9 /* (C) 2001-2004 Ullrich von Bassewitz                                       */
  10 /*               Römerstrasse 52                                             */
  11 /*               D-70794 Filderstadt                                         */
  12 /* EMail:        uz@cc65.org                                                 */
  13 /*                                                                           */
  14 /*                                                                           */
  15 /* This software is provided 'as-is', without any expressed or implied       */
  16 /* warranty.  In no event will the authors be held liable for any damages    */
  17 /* arising from the use of this software.                                    */
  18 /*                                                                           */
  19 /* Permission is granted to anyone to use this software for any purpose,     */
  20 /* including commercial applications, and to alter it and redistribute it    */
  21 /* freely, subject to the following restrictions:                            */
  22 /*                                                                           */
  23 /* 1. The origin of this software must not be misrepresented; you must not   */
  24 /*    claim that you wrote the original software. If you use this software   */
  25 /*    in a product, an acknowledgment in the product documentation would be  */
  26 /*    appreciated but is not required.                                       */
  27 /* 2. Altered source versions must be plainly marked as such, and must not   */
  28 /*    be misrepresented as being the original software.                      */
  29 /* 3. This notice may not be removed or altered from any source              */
  30 /*    distribution.                                                          */
  31 /*                                                                           */
  32 /*****************************************************************************/
  33
  34
  35
  36 #include <stdlib.h>
  37 #include <string.h>
  38
  39 /* common */
  40 #include "chartype.h"
  41 #include "check.h"
  42 #include "debugflag.h"
  43 #include "xmalloc.h"
  44 #include "xsprintf.h"
  45
  46 /* cc65 */
  47 #include "codeinfo.h"
  48 #include "error.h"
  49 #include "global.h"
  50 #include "codelab.h"
  51 #include "opcodes.h"
  52 #include "codeent.h"
  53
  54
  55
  56 /*****************************************************************************/
  57 /*                                   Data                                    */
  58 /*****************************************************************************/
  59
  60
  61
  62 /* Empty argument */
  63 static char EmptyArg[] = "";
  64
  65
  66
  67 /*****************************************************************************/
  68 /*                             Helper functions                              */
  69 /*****************************************************************************/
  70
  71
  72
  73 static void FreeArg (char* Arg)
  74 /* Free a code entry argument */
  75 {
  76     if (Arg != EmptyArg) {
  77         xfree (Arg);
  78     }
  79 }
  80
  81
  82
  83 static char* GetArgCopy (const char* Arg)
  84 /* Create an argument copy for assignment */
  85 {
  86     if (Arg && Arg[0] != '\0') {
  87         /* Create a copy */
  88         return xstrdup (Arg);
  89     } else {
  90         /* Use the empty argument string */
  91         return EmptyArg;
  92     }
  93 }
  94
  95
  96
  97 static int NumArg (const char* Arg, unsigned long* Num)
  98 /* If the given argument is numerical, convert it and return true. Otherwise
  99  * set Num to zero and return false.
 100  */
 101 {
 102     char* End;
 103     unsigned long Val;
 104
 105     /* Determine the base */
 106     int Base = 10;
 107     if (*Arg == '$') {
 108         ++Arg;
 109         Base = 16;
 110     } else if (*Arg == '%') {
 111         ++Arg;
 112         Base = 2;
 113     }
 114
 115     /* Convert the value. strtol is not exactly what we want here, but it's
 116      * cheap and may be replaced by something fancier later.
 117      */
 118     Val = strtoul (Arg, &End, Base);
 119
 120     /* Check if the conversion was successful */
 121     if (*End != '\0') {
 122
 123         /* Could not convert */
 124         *Num = 0;
 125         return 0;
 126
 127     } else {
 128
 129         /* Conversion ok */
 130         *Num = Val;
 131         return 1;
 132
 133     }
 134 }
 135
 136
 137
 138 static void SetUseChgInfo (CodeEntry* E, const OPCDesc* D)
 139 /* Set the Use and Chg in E */
 140 {
 141     const ZPInfo* Info;
 142
 143     /* If this is a subroutine call, or a jump to an external function,
 144      * lookup the information about this function and use it. The jump itself
 145      * does not change any registers, so we don't need to use the data from D.
 146      */
 147     if ((E->Info & (OF_BRA | OF_CALL)) != 0 && E->JumpTo == 0) {
 148         /* A subroutine call or jump to external symbol (function exit) */
 149         GetFuncInfo (E->Arg, &E->Use, &E->Chg);
 150     } else {
 151         /* Some other instruction. Use the values from the opcode description
 152          * plus addressing mode info.
 153          */
 154         E->Use = D->Use | GetAMUseInfo (E->AM);
 155         E->Chg = D->Chg;
 156
 157         /* Check for special zero page registers used */
 158         switch (E->AM) {
 159
 160             case AM65_ACC:
 161                 if (E->OPC == OP65_ASL || E->OPC == OP65_DEC ||
 162                     E->OPC == OP65_INC || E->OPC == OP65_LSR ||
 163                     E->OPC == OP65_ROL || E->OPC == OP65_ROR) {
 164                     /* A is changed by these insns */
 165                     E->Chg |= REG_A;
 166                 }
 167                 break;
 168
 169             case AM65_ZP:
 170             case AM65_ABS:
 171             /* Be conservative: */
 172             case AM65_ZPX:
 173             case AM65_ABSX:
 174             case AM65_ABSY:
 175                 Info = GetZPInfo (E->Arg);
 176                 if (Info && Info->ByteUse != REG_NONE) {
 177                     if (E->OPC == OP65_ASL || E->OPC == OP65_DEC ||
 178                         E->OPC == OP65_INC || E->OPC == OP65_LSR ||
 179                         E->OPC == OP65_ROL || E->OPC == OP65_ROR ||
 180                         E->OPC == OP65_TRB || E->OPC == OP65_TSB) {
 181                         /* The zp loc is both, input and output */
 182                         E->Chg |= Info->ByteUse;
 183                         E->Use |= Info->ByteUse;
 184                     } else if ((E->Info & OF_STORE) != 0) {
 185                         /* Just output */
 186                         E->Chg |= Info->ByteUse;
 187                     } else {
 188                         /* Input only */
 189                         E->Use |= Info->ByteUse;
 190                     }
 191                 }
 192                 break;
 193
 194             case AM65_ZPX_IND:
 195             case AM65_ZP_INDY:
 196             case AM65_ZP_IND:
 197                 Info = GetZPInfo (E->Arg);
 198                 if (Info && Info->ByteUse != REG_NONE) {
 199                     /* These addressing modes will never change the zp loc */
 200                     E->Use |= Info->WordUse;
 201                 }
 202                 break;
 203
 204             default:
 205                 /* Keep gcc silent */
 206                 break;
 207         }
 208     }
 209 }
 210
 211
 212
 213 /*****************************************************************************/
 214 /*                                   Code                                    */
 215 /*****************************************************************************/
 216
 217
 218
 219 const char* MakeHexArg (unsigned Num)
 220 /* Convert Num into a string in the form $XY, suitable for passing it as an
 221  * argument to NewCodeEntry, and return a pointer to the string.
 222  * BEWARE: The function returns a pointer to a static buffer, so the value is
 223  * gone if you call it twice (and apart from that it's not thread and signal
 224  * safe).
 225  */
 226 {
 227     static char Buf[16];
 228     xsprintf (Buf, sizeof (Buf), "$%02X", (unsigned char) Num);
 229     return Buf;
 230 }
 231
 232
 233
 234 CodeEntry* NewCodeEntry (opc_t OPC, am_t AM, const char* Arg,
 235                          CodeLabel* JumpTo, LineInfo* LI)
 236 /* Create a new code entry, initialize and return it */
 237 {
 238     /* Get the opcode description */
 239     const OPCDesc* D = GetOPCDesc (OPC);
 240
 241     /* Allocate memory */
 242     CodeEntry* E = xmalloc (sizeof (CodeEntry));
 243
 244     /* Initialize the fields */
 245     E->OPC    = D->OPC;
 246     E->AM     = AM;
 247     E->Size   = GetInsnSize (E->OPC, E->AM);
 248     E->Arg    = GetArgCopy (Arg);
 249     E->Flags  = NumArg (E->Arg, &E->Num)? CEF_NUMARG : 0;   /* Needs E->Arg */
 250     E->Info   = D->Info;
 251     E->JumpTo = JumpTo;
 252     E->LI     = UseLineInfo (LI);
 253     E->RI     = 0;
 254     SetUseChgInfo (E, D);
 255     InitCollection (&E->Labels);
 256
 257     /* If we have a label given, add this entry to the label */
 258     if (JumpTo) {
 259         CollAppend (&JumpTo->JumpFrom, E);
 260     }
 261
 262     /* Return the initialized struct */
 263     return E;
 264 }
 265
 266
 267
 268 void FreeCodeEntry (CodeEntry* E)
 269 /* Free the given code entry */
 270 {
 271     /* Free the string argument if we have one */
 272     FreeArg (E->Arg);
 273
 274     /* Cleanup the collection */
 275     DoneCollection (&E->Labels);
 276
 277     /* Release the line info */
 278     ReleaseLineInfo (E->LI);
 279
 280     /* Delete the register info */
 281     CE_FreeRegInfo (E);
 282
 283     /* Free the entry */
 284     xfree (E);
 285 }
 286
 287
 288
 289 void CE_ReplaceOPC (CodeEntry* E, opc_t OPC)
 290 /* Replace the opcode of the instruction. This will also replace related info,
 291  * Size, Use and Chg, but it will NOT update any arguments or labels.
 292  */
 293 {
 294     /* Get the opcode descriptor */
 295     const OPCDesc* D = GetOPCDesc (OPC);
 296
 297     /* Replace the opcode */
 298     E->OPC  = OPC;
 299     E->Info = D->Info;
 300     E->Size = GetInsnSize (E->OPC, E->AM);
 301     SetUseChgInfo (E, D);
 302 }
 303
 304
 305
 306 int CodeEntriesAreEqual (const CodeEntry* E1, const CodeEntry* E2)
 307 /* Check if both code entries are equal */
 308 {
 309     return (E1->OPC == E2->OPC && E1->AM == E2->AM && strcmp (E1->Arg, E2->Arg) == 0);
 310 }
 311
 312
 313
 314 void CE_AttachLabel (CodeEntry* E, CodeLabel* L)
 315 /* Attach the label to the entry */
 316 {
 317     /* Add it to the entries label list */
 318     CollAppend (&E->Labels, L);
 319
 320     /* Tell the label about it's owner */
 321     L->Owner = E;
 322 }
 323
 324
 325
 326 void CE_ClearJumpTo (CodeEntry* E)
 327 /* Clear the JumpTo entry and the argument (which contained the name of the
 328  * label). Note: The function will not clear the backpointer from the label,
 329  * so use it with care.
 330  */
 331 {
 332     /* Clear the JumpTo entry */
 333     E->JumpTo = 0;
 334
 335     /* Clear the argument and assign the empty one */
 336     FreeArg (E->Arg);
 337     E->Arg = EmptyArg;
 338 }
 339
 340
 341
 342 void CE_MoveLabel (CodeLabel* L, CodeEntry* E)
 343 /* Move the code label L from it's former owner to the code entry E. */
 344 {
 345     /* Delete the label from the owner */
 346     CollDeleteItem (&L->Owner->Labels, L);
 347
 348     /* Set the new owner */
 349     CollAppend (&E->Labels, L);
 350     L->Owner = E;
 351 }
 352
 353
 354
 355 void CE_SetArg (CodeEntry* E, const char* Arg)
 356 /* Replace the argument by the new one. */
 357 {
 358     /* Free the old argument */
 359     FreeArg (E->Arg);
 360
 361     /* Assign the new one */
 362     E->Arg = GetArgCopy (Arg);
 363 }
 364
 365
 366
 367 void CE_SetNumArg (CodeEntry* E, long Num)
 368 /* Set a new numeric argument for the given code entry that must already
 369  * have a numeric argument.
 370  */
 371 {
 372     char Buf[16];
 373
 374     /* Check that the entry has a numerical argument */
 375     CHECK (E->Flags & CEF_NUMARG);
 376
 377     /* Make the new argument string */
 378     if (E->Size == 2) {
 379         Num &= 0xFF;
 380         xsprintf (Buf, sizeof (Buf), "$%02X", (unsigned) Num);
 381     } else if (E->Size == 3) {
 382         Num &= 0xFFFF;
 383         xsprintf (Buf, sizeof (Buf), "$%04X", (unsigned) Num);
 384     } else {
 385         Internal ("Invalid instruction size in CE_SetNumArg");
 386     }
 387
 388     /* Replace the argument by the new one */
 389     CE_SetArg (E, Buf);
 390
 391     /* Use the new numerical value */
 392     E->Num = Num;
 393 }
 394
 395
 396
 397 int CE_KnownImm (const CodeEntry* E)
 398 /* Return true if the argument of E is a known immediate value */
 399 {
 400     return (E->AM == AM65_IMM && (E->Flags & CEF_NUMARG) != 0);
 401 }
 402
 403
 404
 405 int CE_UseLoadFlags (const CodeEntry* E)
 406 /* Return true if the instruction uses any flags that are set by a load of
 407  * a register (N and Z).
 408  */
 409 {
 410     /* Follow unconditional branches, but beware of endless loops. After this,
 411      * E will point to the first entry that is not a branch.
 412      */
 413     if (E->Info & OF_UBRA) {
 414         Collection C = AUTO_COLLECTION_INITIALIZER;
 415
 416         /* Follow the chain */
 417         while (E->Info & OF_UBRA) {
 418
 419             /* Remember the entry so we can detect loops */
 420             CollAppend (&C, (void*) E);
 421
 422             /* Check the target */
 423             if (E->JumpTo == 0 || CollIndex (&C, E->JumpTo->Owner) >= 0) {
 424                 /* Unconditional jump to external symbol, or endless loop. */
 425                 DoneCollection (&C);
 426                 return 0;       /* Flags not used */
 427             }
 428
 429             /* Follow the chain */
 430             E = E->JumpTo->Owner;
 431         }
 432
 433         /* Delete the collection */
 434         DoneCollection (&C);
 435     }
 436
 437     /* A branch will use the flags */
 438     if (E->Info & OF_FBRA) {
 439         return 1;
 440     }
 441
 442     /* Call of a boolean transformer routine will also use the flags */
 443     if (E->OPC == OP65_JSR) {
 444         /* Get the condition that is evaluated and check it */
 445         switch (FindBoolCmpCond (E->Arg)) {
 446             case CMP_EQ:
 447             case CMP_NE:
 448             case CMP_GT:
 449             case CMP_GE:
 450             case CMP_LT:
 451             case CMP_LE:
 452             case CMP_UGT:
 453             case CMP_ULE:
 454                 /* Will use the N or Z flags */
 455                 return 1;
 456
 457
 458             case CMP_UGE:       /* Uses only carry */
 459             case CMP_ULT:       /* Dito */
 460             default:            /* No bool transformer subroutine */
 461                 return 0;
 462         }
 463     }
 464
 465     /* Anything else */
 466     return 0;
 467 }
 468
 469
 470
 471 void CE_FreeRegInfo (CodeEntry* E)
 472 /* Free an existing register info struct */
 473 {
 474     if (E->RI) {
 475         FreeRegInfo (E->RI);
 476         E->RI = 0;
 477     }
 478 }
 479
 480
 481
 482 void CE_GenRegInfo (CodeEntry* E, RegContents* InputRegs)
 483 /* Generate register info for this instruction. If an old info exists, it is
 484  * overwritten.
 485  */
 486 {
 487     /* Pointers to the register contents */
 488     RegContents* In;
 489     RegContents* Out;
 490
 491     /* Function register usage */
 492     unsigned short Use, Chg;
 493
 494     /* If we don't have a register info struct, allocate one. */
 495     if (E->RI == 0) {
 496         E->RI = NewRegInfo (InputRegs);
 497     } else {
 498         if (InputRegs) {
 499             E->RI->In  = *InputRegs;
 500         } else {
 501             RC_Invalidate (&E->RI->In);
 502         }
 503         E->RI->Out2 = E->RI->Out = E->RI->In;
 504     }
 505
 506     /* Get pointers to the register contents */
 507     In  = &E->RI->In;
 508     Out = &E->RI->Out;
 509
 510     /* Handle the different instructions */
 511     switch (E->OPC) {
 512
 513         case OP65_ADC:
 514             /* We don't know the value of the carry, so the result is
 515              * always unknown.
 516              */
 517             Out->RegA = UNKNOWN_REGVAL;
 518             break;
 519
 520         case OP65_AND:
 521             if (RegValIsKnown (In->RegA)) {
 522                 if (CE_KnownImm (E)) {
 523                     Out->RegA = In->RegA & (short) E->Num;
 524                 } else if (E->AM == AM65_ZP) {
 525                     switch (GetKnownReg (E->Use & REG_ZP, In)) {
 526                         case REG_TMP1:
 527                             Out->RegA = In->RegA & In->Tmp1;
 528                             break;
 529                         case REG_PTR1_LO:
 530                             Out->RegA = In->RegA & In->Ptr1Lo;
 531                             break;
 532                         case REG_PTR1_HI:
 533                             Out->RegA = In->RegA & In->Ptr1Hi;
 534                             break;
 535                         case REG_SREG_LO:
 536                             Out->RegA = In->RegA & In->SRegLo;
 537                             break;
 538                         case REG_SREG_HI:
 539                             Out->RegA = In->RegA & In->SRegHi;
 540                             break;
 541                         default:
 542                             Out->RegA = UNKNOWN_REGVAL;
 543                             break;
 544                     }
 545                 } else {
 546                     Out->RegA = UNKNOWN_REGVAL;
 547                 }
 548             }
 549             break;
 550
 551         case OP65_ASL:
 552             if (E->AM == AM65_ACC && RegValIsKnown (In->RegA)) {
 553                 Out->RegA = (In->RegA << 1) & 0xFF;
 554             } else if (E->AM == AM65_ZP) {
 555                 switch (GetKnownReg (E->Chg & REG_ZP, In)) {
 556                     case REG_TMP1:
 557                         Out->Tmp1 = (In->Tmp1 << 1) & 0xFF;
 558                         break;
 559                     case REG_PTR1_LO:
 560                         Out->Ptr1Lo = (In->Ptr1Lo << 1) & 0xFF;
 561                         break;
 562                     case REG_PTR1_HI:
 563                         Out->Ptr1Hi = (In->Ptr1Hi << 1) & 0xFF;
 564                         break;
 565                     case REG_SREG_LO:
 566                         Out->SRegLo = (In->SRegLo << 1) & 0xFF;
 567                         break;
 568                     case REG_SREG_HI:
 569                         Out->SRegHi = (In->SRegHi << 1) & 0xFF;
 570                         break;
 571                 }
 572             } else if (E->AM == AM65_ZPX) {
 573                 /* Invalidates all ZP registers */
 574                 RC_InvalidateZP (Out);
 575             }
 576             break;
 577
 578         case OP65_BCC:
 579             break;
 580
 581         case OP65_BCS:
 582             break;
 583
 584         case OP65_BEQ:
 585             break;
 586
 587         case OP65_BIT:
 588             break;
 589
 590         case OP65_BMI:
 591             break;
 592
 593         case OP65_BNE:
 594             break;
 595
 596         case OP65_BPL:
 597             break;
 598
 599         case OP65_BRA:
 600             break;
 601
 602         case OP65_BRK:
 603             break;
 604
 605         case OP65_BVC:
 606             break;
 607
 608         case OP65_BVS:
 609             break;
 610
 611         case OP65_CLC:
 612             break;
 613
 614         case OP65_CLD:
 615             break;
 616
 617         case OP65_CLI:
 618             break;
 619
 620         case OP65_CLV:
 621             break;
 622
 623         case OP65_CMP:
 624             break;
 625
 626         case OP65_CPX:
 627             break;
 628
 629         case OP65_CPY:
 630             break;
 631
 632         case OP65_DEA:
 633             if (RegValIsKnown (In->RegA)) {
 634                 Out->RegA = (In->RegA - 1) & 0xFF;
 635             }
 636             break;
 637
 638         case OP65_DEC:
 639             if (E->AM == AM65_ACC && RegValIsKnown (In->RegA)) {
 640                 Out->RegA = (In->RegA - 1) & 0xFF;
 641             } else if (E->AM == AM65_ZP) {
 642                 switch (GetKnownReg (E->Chg & REG_ZP, In)) {
 643                     case REG_TMP1:
 644                         Out->Tmp1 = (In->Tmp1 - 1) & 0xFF;
 645                         break;
 646                     case REG_PTR1_LO:
 647                         Out->Ptr1Lo = (In->Ptr1Lo - 1) & 0xFF;
 648                         break;
 649                     case REG_PTR1_HI:
 650                         Out->Ptr1Hi = (In->Ptr1Hi - 1) & 0xFF;
 651                         break;
 652                     case REG_SREG_LO:
 653                         Out->SRegLo = (In->SRegLo - 1) & 0xFF;
 654                         break;
 655                     case REG_SREG_HI:
 656                         Out->SRegHi = (In->SRegHi - 1) & 0xFF;
 657                         break;
 658                 }
 659             } else if (E->AM == AM65_ZPX) {
 660                 /* Invalidates all ZP registers */
 661                 RC_InvalidateZP (Out);
 662             }
 663             break;
 664
 665         case OP65_DEX:
 666             if (RegValIsKnown (In->RegX)) {
 667                 Out->RegX = (In->RegX - 1) & 0xFF;
 668             }
 669             break;
 670
 671         case OP65_DEY:
 672             if (RegValIsKnown (In->RegY)) {
 673                 Out->RegY = (In->RegY - 1) & 0xFF;
 674             }
 675             break;
 676
 677         case OP65_EOR:
 678             if (RegValIsKnown (In->RegA)) {
 679                 if (CE_KnownImm (E)) {
 680                     Out->RegA = In->RegA ^ (short) E->Num;
 681                 } else if (E->AM == AM65_ZP) {
 682                     switch (GetKnownReg (E->Use & REG_ZP, In)) {
 683                         case REG_TMP1:
 684                             Out->RegA = In->RegA ^ In->Tmp1;
 685                             break;
 686                         case REG_PTR1_LO:
 687                             Out->RegA = In->RegA ^ In->Ptr1Lo;
 688                             break;
 689                         case REG_PTR1_HI:
 690                             Out->RegA = In->RegA ^ In->Ptr1Hi;
 691                             break;
 692                         case REG_SREG_LO:
 693                             Out->RegA = In->RegA ^ In->SRegLo;
 694                             break;
 695                         case REG_SREG_HI:
 696                             Out->RegA = In->RegA ^ In->SRegHi;
 697                             break;
 698                         default:
 699                             Out->RegA = UNKNOWN_REGVAL;
 700                             break;
 701                     }
 702                 } else {
 703                     Out->RegA = UNKNOWN_REGVAL;
 704                 }
 705             }
 706             break;
 707
 708         case OP65_INA:
 709             if (RegValIsKnown (In->RegA)) {
 710                 Out->RegA = (In->RegA + 1) & 0xFF;
 711             }
 712             break;
 713
 714         case OP65_INC:
 715             if (E->AM == AM65_ACC && RegValIsKnown (In->RegA)) {
 716                 Out->RegA = (In->RegA + 1) & 0xFF;
 717             } else if (E->AM == AM65_ZP) {
 718                 switch (GetKnownReg (E->Chg & REG_ZP, In)) {
 719                     case REG_TMP1:
 720                         Out->Tmp1 = (In->Tmp1 + 1) & 0xFF;
 721                         break;
 722                     case REG_PTR1_LO:
 723                         Out->Ptr1Lo = (In->Ptr1Lo + 1) & 0xFF;
 724                         break;
 725                     case REG_PTR1_HI:
 726                         Out->Ptr1Hi = (In->Ptr1Hi + 1) & 0xFF;
 727                         break;
 728                     case REG_SREG_LO:
 729                         Out->SRegLo = (In->SRegLo + 1) & 0xFF;
 730                         break;
 731                     case REG_SREG_HI:
 732                         Out->SRegHi = (In->SRegHi + 1) & 0xFF;
 733                         break;
 734                 }
 735             } else if (E->AM == AM65_ZPX) {
 736                 /* Invalidates all ZP registers */
 737                 RC_InvalidateZP (Out);
 738             }
 739             break;
 740
 741         case OP65_INX:
 742             if (RegValIsKnown (In->RegX)) {
 743                 Out->RegX = (In->RegX + 1) & 0xFF;
 744             }
 745             break;
 746
 747         case OP65_INY:
 748             if (RegValIsKnown (In->RegY)) {
 749                 Out->RegY = (In->RegY + 1) & 0xFF;
 750             }
 751             break;
 752
 753         case OP65_JCC:
 754             break;
 755
 756         case OP65_JCS:
 757             break;
 758
 759         case OP65_JEQ:
 760             break;
 761
 762         case OP65_JMI:
 763             break;
 764
 765         case OP65_JMP:
 766             break;
 767
 768         case OP65_JNE:
 769             break;
 770
 771         case OP65_JPL:
 772             break;
 773
 774         case OP65_JSR:
 775             /* Get the code info for the function */
 776             GetFuncInfo (E->Arg, &Use, &Chg);
 777             if (Chg & REG_A) {
 778                 Out->RegA = UNKNOWN_REGVAL;
 779             }
 780             if (Chg & REG_X) {
 781                 Out->RegX = UNKNOWN_REGVAL;
 782             }
 783             if (Chg & REG_Y) {
 784                 Out->RegY = UNKNOWN_REGVAL;
 785             }
 786             if (Chg & REG_TMP1) {
 787                 Out->Tmp1 = UNKNOWN_REGVAL;
 788             }
 789             if (Chg & REG_PTR1_LO) {
 790                 Out->Ptr1Lo = UNKNOWN_REGVAL;
 791             }
 792             if (Chg & REG_PTR1_HI) {
 793                 Out->Ptr1Hi = UNKNOWN_REGVAL;
 794             }
 795             if (Chg & REG_SREG_LO) {
 796                 Out->SRegLo = UNKNOWN_REGVAL;
 797             }
 798             if (Chg & REG_SREG_HI) {
 799                 Out->SRegHi = UNKNOWN_REGVAL;
 800             }
 801             /* ## FIXME: Quick hack for some known functions: */
 802             if (strcmp (E->Arg, "tosandax") == 0) {
 803                 if (In->RegA == 0) {
 804                     Out->RegA = 0;
 805                 }
 806                 if (In->RegX == 0) {
 807                     Out->RegX = 0;
 808                 }
 809             } else if (strcmp (E->Arg, "tosorax") == 0) {
 810                 if (In->RegA == 0xFF) {
 811                     Out->RegA = 0xFF;
 812                 }
 813                 if (In->RegX == 0xFF) {
 814                     Out->RegX = 0xFF;
 815                 }
 816             } else if (FindBoolCmpCond (E->Arg) != CMP_INV) {
 817                 Out->RegX = 0;
 818             }
 819             break;
 820
 821         case OP65_JVC:
 822             break;
 823
 824         case OP65_JVS:
 825             break;
 826
 827         case OP65_LDA:
 828             if (CE_KnownImm (E)) {
 829                 Out->RegA = (unsigned char) E->Num;
 830             } else if (E->AM == AM65_ZP) {
 831                 switch (GetKnownReg (E->Use & REG_ZP, In)) {
 832                     case REG_TMP1:
 833                         Out->RegA = In->Tmp1;
 834                         break;
 835                     case REG_PTR1_LO:
 836                         Out->RegA = In->Ptr1Lo;
 837                         break;
 838                     case REG_PTR1_HI:
 839                         Out->RegA = In->Ptr1Hi;
 840                         break;
 841                     case REG_SREG_LO:
 842                         Out->RegA = In->SRegLo;
 843                         break;
 844                     case REG_SREG_HI:
 845                         Out->RegA = In->SRegHi;
 846                         break;
 847                     default:
 848                         Out->RegA = UNKNOWN_REGVAL;
 849                         break;
 850                 }
 851             } else {
 852                 /* A is now unknown */
 853                 Out->RegA = UNKNOWN_REGVAL;
 854             }
 855             break;
 856
 857         case OP65_LDX:
 858             if (CE_KnownImm (E)) {
 859                 Out->RegX = (unsigned char) E->Num;
 860             } else if (E->AM == AM65_ZP) {
 861                 switch (GetKnownReg (E->Use & REG_ZP, In)) {
 862                     case REG_TMP1:
 863                         Out->RegX = In->Tmp1;
 864                         break;
 865                     case REG_PTR1_LO:
 866                         Out->RegX = In->Ptr1Lo;
 867                         break;
 868                     case REG_PTR1_HI:
 869                         Out->RegX = In->Ptr1Hi;
 870                         break;
 871                     case REG_SREG_LO:
 872                         Out->RegX = In->SRegLo;
 873                         break;
 874                     case REG_SREG_HI:
 875                         Out->RegX = In->SRegHi;
 876                         break;
 877                     default:
 878                         Out->RegX = UNKNOWN_REGVAL;
 879                         break;
 880                 }
 881             } else {
 882                 /* X is now unknown */
 883                 Out->RegX = UNKNOWN_REGVAL;
 884             }
 885             break;
 886
 887         case OP65_LDY:
 888             if (CE_KnownImm (E)) {
 889                 Out->RegY = (unsigned char) E->Num;
 890             } else if (E->AM == AM65_ZP) {
 891                 switch (GetKnownReg (E->Use & REG_ZP, In)) {
 892                     case REG_TMP1:
 893                         Out->RegY = In->Tmp1;
 894                         break;
 895                     case REG_PTR1_LO:
 896                         Out->RegY = In->Ptr1Lo;
 897                         break;
 898                     case REG_PTR1_HI:
 899                         Out->RegY = In->Ptr1Hi;
 900                         break;
 901                     case REG_SREG_LO:
 902                         Out->RegY = In->SRegLo;
 903                         break;
 904                     case REG_SREG_HI:
 905                         Out->RegY = In->SRegHi;
 906                         break;
 907                     default:
 908                         Out->RegY = UNKNOWN_REGVAL;
 909                         break;
 910                 }
 911             } else {
 912                 /* Y is now unknown */
 913                 Out->RegY = UNKNOWN_REGVAL;
 914             }
 915             break;
 916
 917         case OP65_LSR:
 918             if (E->AM == AM65_ACC && RegValIsKnown (In->RegA)) {
 919                 Out->RegA = (In->RegA >> 1) & 0xFF;
 920             } else if (E->AM == AM65_ZP) {
 921                 switch (GetKnownReg (E->Chg & REG_ZP, In)) {
 922                     case REG_TMP1:
 923                         Out->Tmp1 = (In->Tmp1 >> 1) & 0xFF;
 924                         break;
 925                     case REG_PTR1_LO:
 926                         Out->Ptr1Lo = (In->Ptr1Lo >> 1) & 0xFF;
 927                         break;
 928                     case REG_PTR1_HI:
 929                         Out->Ptr1Hi = (In->Ptr1Hi >> 1) & 0xFF;
 930                         break;
 931                     case REG_SREG_LO:
 932                         Out->SRegLo = (In->SRegLo >> 1) & 0xFF;
 933                         break;
 934                     case REG_SREG_HI:
 935                         Out->SRegHi = (In->SRegHi >> 1) & 0xFF;
 936                         break;
 937                 }
 938             } else if (E->AM == AM65_ZPX) {
 939                 /* Invalidates all ZP registers */
 940                 RC_InvalidateZP (Out);
 941             }
 942             break;
 943
 944         case OP65_NOP:
 945             break;
 946
 947         case OP65_ORA:
 948             if (RegValIsKnown (In->RegA)) {
 949                 if (CE_KnownImm (E)) {
 950                     Out->RegA = In->RegA | (short) E->Num;
 951                 } else if (E->AM == AM65_ZP) {
 952                     switch (GetKnownReg (E->Use & REG_ZP, In)) {
 953                         case REG_TMP1:
 954                             Out->RegA = In->RegA | In->Tmp1;
 955                             break;
 956                         case REG_PTR1_LO:
 957                             Out->RegA = In->RegA | In->Ptr1Lo;
 958                             break;
 959                         case REG_PTR1_HI:
 960                             Out->RegA = In->RegA | In->Ptr1Hi;
 961                             break;
 962                         case REG_SREG_LO:
 963                             Out->RegA = In->RegA | In->SRegLo;
 964                             break;
 965                         case REG_SREG_HI:
 966                             Out->RegA = In->RegA | In->SRegHi;
 967                             break;
 968                         default:
 969                             Out->RegA = UNKNOWN_REGVAL;
 970                             break;
 971                     }
 972                 } else {
 973                     /* A is now unknown */
 974                     Out->RegA = UNKNOWN_REGVAL;
 975                 }
 976             }
 977             break;
 978
 979         case OP65_PHA:
 980             break;
 981
 982         case OP65_PHP:
 983             break;
 984
 985         case OP65_PHX:
 986             break;
 987
 988         case OP65_PHY:
 989             break;
 990
 991         case OP65_PLA:
 992             Out->RegA = UNKNOWN_REGVAL;
 993             break;
 994
 995         case OP65_PLP:
 996             break;
 997
 998         case OP65_PLX:
 999             Out->RegX = UNKNOWN_REGVAL;
1000             break;
1001
1002         case OP65_PLY:
1003             Out->RegY = UNKNOWN_REGVAL;
1004             break;
1005
1006         case OP65_ROL:
1007             /* We don't know the value of the carry bit */
1008             if (E->AM == AM65_ACC) {
1009                 Out->RegA = UNKNOWN_REGVAL;
1010             } else if (E->AM == AM65_ZP) {
1011                 switch (GetKnownReg (E->Chg & REG_ZP, In)) {
1012                     case REG_TMP1:
1013                         Out->Tmp1 = UNKNOWN_REGVAL;
1014                         break;
1015                     case REG_PTR1_LO:
1016                         Out->Ptr1Lo = UNKNOWN_REGVAL;
1017                         break;
1018                     case REG_PTR1_HI:
1019                         Out->Ptr1Hi = UNKNOWN_REGVAL;
1020                         break;
1021                     case REG_SREG_LO:
1022                         Out->SRegLo = UNKNOWN_REGVAL;
1023                         break;
1024                     case REG_SREG_HI:
1025                         Out->SRegHi = UNKNOWN_REGVAL;
1026                         break;
1027                 }
1028             } else if (E->AM == AM65_ZPX) {
1029                 /* Invalidates all ZP registers */
1030                 RC_InvalidateZP (Out);
1031             }
1032             break;
1033
1034         case OP65_ROR:
1035             /* We don't know the value of the carry bit */
1036             if (E->AM == AM65_ACC) {
1037                 Out->RegA = UNKNOWN_REGVAL;
1038             } else if (E->AM == AM65_ZP) {
1039                 switch (GetKnownReg (E->Chg & REG_ZP, In)) {
1040                     case REG_TMP1:
1041                         Out->Tmp1 = UNKNOWN_REGVAL;
1042                         break;
1043                     case REG_PTR1_LO:
1044                         Out->Ptr1Lo = UNKNOWN_REGVAL;
1045                         break;
1046                     case REG_PTR1_HI:
1047                         Out->Ptr1Hi = UNKNOWN_REGVAL;
1048                         break;
1049                     case REG_SREG_LO:
1050                         Out->SRegLo = UNKNOWN_REGVAL;
1051                         break;
1052                     case REG_SREG_HI:
1053                         Out->SRegHi = UNKNOWN_REGVAL;
1054                         break;
1055                 }
1056             } else if (E->AM == AM65_ZPX) {
1057                 /* Invalidates all ZP registers */
1058                 RC_InvalidateZP (Out);
1059             }
1060             break;
1061
1062         case OP65_RTI:
1063             break;
1064
1065         case OP65_RTS:
1066             break;
1067
1068         case OP65_SBC:
1069             /* We don't know the value of the carry bit */
1070             Out->RegA = UNKNOWN_REGVAL;
1071             break;
1072
1073         case OP65_SEC:
1074             break;
1075
1076         case OP65_SED:
1077             break;
1078
1079         case OP65_SEI:
1080             break;
1081
1082         case OP65_STA:
1083             if (E->AM == AM65_ZP) {
1084                 switch (GetKnownReg (E->Chg & REG_ZP, 0)) {
1085                     case REG_TMP1:
1086                         Out->Tmp1 = In->RegA;
1087                         break;
1088                     case REG_PTR1_LO:
1089                         Out->Ptr1Lo = In->RegA;
1090                         break;
1091                     case REG_PTR1_HI:
1092                         Out->Ptr1Hi = In->RegA;
1093                         break;
1094                     case REG_SREG_LO:
1095                         Out->SRegLo = In->RegA;
1096                         break;
1097                     case REG_SREG_HI:
1098                         Out->SRegHi = In->RegA;
1099                         break;
1100                 }
1101             } else if (E->AM == AM65_ZPX) {
1102                 /* Invalidates all ZP registers */
1103                 RC_InvalidateZP (Out);
1104             }
1105             break;
1106
1107         case OP65_STX:
1108             if (E->AM == AM65_ZP) {
1109                 switch (GetKnownReg (E->Chg & REG_ZP, 0)) {
1110                     case REG_TMP1:
1111                         Out->Tmp1 = In->RegX;
1112                         break;
1113                     case REG_PTR1_LO:
1114                         Out->Ptr1Lo = In->RegX;
1115                         break;
1116                     case REG_PTR1_HI:
1117                         Out->Ptr1Hi = In->RegX;
1118                         break;
1119                     case REG_SREG_LO:
1120                         Out->SRegLo = In->RegX;
1121                         break;
1122                     case REG_SREG_HI:
1123                         Out->SRegHi = In->RegX;
1124                         break;
1125                 }
1126             } else if (E->AM == AM65_ZPX) {
1127                 /* Invalidates all ZP registers */
1128                 RC_InvalidateZP (Out);
1129             }
1130             break;
1131
1132         case OP65_STY:
1133             if (E->AM == AM65_ZP) {
1134                 switch (GetKnownReg (E->Chg & REG_ZP, 0)) {
1135                     case REG_TMP1:
1136                         Out->Tmp1 = In->RegY;
1137                         break;
1138                     case REG_PTR1_LO:
1139                         Out->Ptr1Lo = In->RegY;
1140                         break;
1141                     case REG_PTR1_HI:
1142                         Out->Ptr1Hi = In->RegY;
1143                         break;
1144                     case REG_SREG_LO:
1145                         Out->SRegLo = In->RegY;
1146                         break;
1147                     case REG_SREG_HI:
1148                         Out->SRegHi = In->RegY;
1149                         break;
1150                 }
1151             } else if (E->AM == AM65_ZPX) {
1152                 /* Invalidates all ZP registers */
1153                 RC_InvalidateZP (Out);
1154             }
1155             break;
1156
1157         case OP65_STZ:
1158             if (E->AM == AM65_ZP) {
1159                 switch (GetKnownReg (E->Chg & REG_ZP, 0)) {
1160                     case REG_TMP1:
1161                         Out->Tmp1 = 0;
1162                         break;
1163                     case REG_PTR1_LO:
1164                         Out->Ptr1Lo = 0;
1165                         break;
1166                     case REG_PTR1_HI:
1167                         Out->Ptr1Hi = 0;
1168                         break;
1169                     case REG_SREG_LO:
1170                         Out->SRegLo = 0;
1171                         break;
1172                     case REG_SREG_HI:
1173                         Out->SRegHi = 0;
1174                         break;
1175                 }
1176             } else if (E->AM == AM65_ZPX) {
1177                 /* Invalidates all ZP registers */
1178                 RC_InvalidateZP (Out);
1179             }
1180             break;
1181
1182         case OP65_TAX:
1183             Out->RegX = In->RegA;
1184             break;
1185
1186         case OP65_TAY:
1187             Out->RegY = In->RegA;
1188             break;
1189
1190         case OP65_TRB:
1191             if (E->AM == AM65_ZPX) {
1192                 /* Invalidates all ZP registers */
1193                 RC_InvalidateZP (Out);
1194             } else if (E->AM == AM65_ZP) {
1195                 if (RegValIsKnown (In->RegA)) {
1196                     switch (GetKnownReg (E->Chg & REG_ZP, In)) {
1197                         case REG_TMP1:
1198                             Out->Tmp1 &= ~In->RegA;
1199                             break;
1200                         case REG_PTR1_LO:
1201                             Out->Ptr1Lo &= ~In->RegA;
1202                             break;
1203                         case REG_PTR1_HI:
1204                             Out->Ptr1Hi &= ~In->RegA;
1205                             break;
1206                         case REG_SREG_LO:
1207                             Out->SRegLo &= ~In->RegA;
1208                             break;
1209                         case REG_SREG_HI:
1210                             Out->SRegHi &= ~In->RegA;
1211                             break;
1212                     }
1213                 } else {
1214                     switch (GetKnownReg (E->Chg & REG_ZP, In)) {
1215                         case REG_TMP1:
1216                             Out->Tmp1 = UNKNOWN_REGVAL;
1217                             break;
1218                         case REG_PTR1_LO:
1219                             Out->Ptr1Lo = UNKNOWN_REGVAL;
1220                             break;
1221                         case REG_PTR1_HI:
1222                             Out->Ptr1Hi = UNKNOWN_REGVAL;
1223                             break;
1224                         case REG_SREG_LO:
1225                             Out->SRegLo = UNKNOWN_REGVAL;
1226                             break;
1227                         case REG_SREG_HI:
1228                             Out->SRegHi = UNKNOWN_REGVAL;
1229                             break;
1230                     }
1231                 }
1232             }
1233             break;
1234
1235         case OP65_TSB:
1236             if (E->AM == AM65_ZPX) {
1237                 /* Invalidates all ZP registers */
1238                 RC_InvalidateZP (Out);
1239             } else if (E->AM == AM65_ZP) {
1240                 if (RegValIsKnown (In->RegA)) {
1241                     switch (GetKnownReg (E->Chg & REG_ZP, In)) {
1242                         case REG_TMP1:
1243                             Out->Tmp1 |= In->RegA;
1244                             break;
1245                         case REG_PTR1_LO:
1246                             Out->Ptr1Lo |= In->RegA;
1247                             break;
1248                         case REG_PTR1_HI:
1249                             Out->Ptr1Hi |= In->RegA;
1250                             break;
1251                         case REG_SREG_LO:
1252                             Out->SRegLo |= In->RegA;
1253                             break;
1254                         case REG_SREG_HI:
1255                             Out->SRegHi |= In->RegA;
1256                             break;
1257                     }
1258                 } else {
1259                     switch (GetKnownReg (E->Chg & REG_ZP, In)) {
1260                         case REG_TMP1:
1261                             Out->Tmp1 = UNKNOWN_REGVAL;
1262                             break;
1263                         case REG_PTR1_LO:
1264                             Out->Ptr1Lo = UNKNOWN_REGVAL;
1265                             break;
1266                         case REG_PTR1_HI:
1267                             Out->Ptr1Hi = UNKNOWN_REGVAL;
1268                             break;
1269                         case REG_SREG_LO:
1270                             Out->SRegLo = UNKNOWN_REGVAL;
1271                             break;
1272                         case REG_SREG_HI:
1273                             Out->SRegHi = UNKNOWN_REGVAL;
1274                             break;
1275                     }
1276                 }
1277             }
1278             break;
1279
1280         case OP65_TSX:
1281             Out->RegX = UNKNOWN_REGVAL;
1282             break;
1283
1284         case OP65_TXA:
1285             Out->RegA = In->RegX;
1286             break;
1287
1288         case OP65_TXS:
1289             break;
1290
1291         case OP65_TYA:
1292             Out->RegA = In->RegY;
1293             break;
1294
1295         default:
1296             break;
1297
1298     }
1299 }
1300
1301
1302
1303 static char* RegInfoDesc (unsigned U, char* Buf)
1304 /* Return a string containing register info */
1305 {
1306     Buf[0] = '\0';
1307
1308     strcat (Buf, U & REG_SREG_HI? "H" : "_");
1309     strcat (Buf, U & REG_SREG_LO? "L" : "_");
1310     strcat (Buf, U & REG_A?       "A" : "_");
1311     strcat (Buf, U & REG_X?       "X" : "_");
1312     strcat (Buf, U & REG_Y?       "Y" : "_");
1313     strcat (Buf, U & REG_TMP1?    "T1" : "__");
1314     strcat (Buf, U & REG_PTR1?    "1" : "_");
1315     strcat (Buf, U & REG_PTR2?    "2" : "_");
1316     strcat (Buf, U & REG_SAVE?    "V"  : "_");
1317     strcat (Buf, U & REG_SP?      "S" : "_");
1318
1319     return Buf;
1320 }
1321
1322
1323
1324 static char* RegContentDesc (const RegContents* RC, char* Buf)
1325 /* Return a string containing register contents */
1326 {
1327     char* B = Buf;
1328
1329     if (RegValIsUnknown (RC->RegA)) {
1330         strcpy (B, "A:XX ");
1331     } else {
1332         sprintf (B, "A:%02X ", RC->RegA);
1333     }
1334     B += 5;
1335     if (RegValIsUnknown (RC->RegX)) {
1336         strcpy (B, "X:XX ");
1337     } else {
1338         sprintf (B, "X:%02X ", RC->RegX);
1339     }
1340     B += 5;
1341     if (RegValIsUnknown (RC->RegY)) {
1342         strcpy (B, "Y:XX");
1343     } else {
1344         sprintf (B, "Y:%02X", RC->RegY);
1345     }
1346     B += 4;
1347
1348     return Buf;
1349 }
1350
1351
1352
1353 void CE_Output (const CodeEntry* E, FILE* F)
1354 /* Output the code entry to a file */
1355 {
1356     const OPCDesc* D;
1357     unsigned Chars;
1358     const char* Target;
1359
1360     /* If we have a label, print that */
1361     unsigned LabelCount = CollCount (&E->Labels);
1362     unsigned I;
1363     for (I = 0; I < LabelCount; ++I) {
1364         CL_Output (CollConstAt (&E->Labels, I), F);
1365     }
1366
1367     /* Get the opcode description */
1368     D = GetOPCDesc (E->OPC);
1369
1370     /* Print the mnemonic */
1371     Chars = fprintf (F, "\t%s", D->Mnemo);
1372
1373     /* Print the operand */
1374     switch (E->AM) {
1375
1376         case AM65_IMP:
1377             /* implicit */
1378             break;
1379
1380         case AM65_ACC:
1381             /* accumulator */
1382             Chars += fprintf (F, "%*sa", 9-Chars, "");
1383             break;
1384
1385         case AM65_IMM:
1386             /* immidiate */
1387             Chars += fprintf (F, "%*s#%s", 9-Chars, "", E->Arg);
1388             break;
1389
1390         case AM65_ZP:
1391         case AM65_ABS:
1392             /* zeropage and absolute */
1393             Chars += fprintf (F, "%*s%s", 9-Chars, "", E->Arg);
1394             break;
1395
1396         case AM65_ZPX:
1397         case AM65_ABSX:
1398             /* zeropage,X and absolute,X */
1399             Chars += fprintf (F, "%*s%s,x", 9-Chars, "", E->Arg);
1400             break;
1401
1402         case AM65_ABSY:
1403             /* absolute,Y */
1404             Chars += fprintf (F, "%*s%s,y", 9-Chars, "", E->Arg);
1405             break;
1406
1407         case AM65_ZPX_IND:
1408             /* (zeropage,x) */
1409             Chars += fprintf (F, "%*s(%s,x)", 9-Chars, "", E->Arg);
1410             break;
1411
1412         case AM65_ZP_INDY:
1413             /* (zeropage),y */
1414             Chars += fprintf (F, "%*s(%s),y", 9-Chars, "", E->Arg);
1415             break;
1416
1417         case AM65_ZP_IND:
1418             /* (zeropage) */
1419             Chars += fprintf (F, "%*s(%s)", 9-Chars, "", E->Arg);
1420             break;
1421
1422         case AM65_BRA:
1423             /* branch */
1424             Target = E->JumpTo? E->JumpTo->Name : E->Arg;
1425             Chars += fprintf (F, "%*s%s", 9-Chars, "", Target);
1426             break;
1427
1428         default:
1429             Internal ("Invalid addressing mode");
1430
1431     }
1432
1433     /* Print usage info if requested by the debugging flag */
1434     if (Debug) {
1435         char Use [128];
1436         char Chg [128];
1437         fprintf (F,
1438                  "%*s; USE: %-12s CHG: %-12s SIZE: %u",
1439                  30-Chars, "",
1440                  RegInfoDesc (E->Use, Use),
1441                  RegInfoDesc (E->Chg, Chg),
1442                  E->Size);
1443
1444         if (E->RI) {
1445             char RegIn[32];
1446             char RegOut[32];
1447             fprintf (F,
1448                      "    In %s  Out %s",
1449                      RegContentDesc (&E->RI->In, RegIn),
1450                      RegContentDesc (&E->RI->Out, RegOut));
1451         }
1452     }
1453
1454     /* Terminate the line */
1455     fprintf (F, "\n");
1456 }
1457
1458
1459
1460
1461
1462