ViewVC Help
View File | Revision Log | Show Annotations | Revision Graph | Root Listing
root/cebix/BasiliskII/src/uae_cpu/readcpu.cpp
(Generate patch)

Comparing BasiliskII/src/uae_cpu/readcpu.cpp (file contents):
Revision 1.1 by cebix, 1999-10-03T14:16:26Z vs.
Revision 1.6 by gbeauche, 2002-10-02T15:55:09Z

# Line 130 | Line 130 | struct mnemolookup lookuptab[] = {
130      { i_FBcc, "FBcc" },
131      { i_FSAVE, "FSAVE" },
132      { i_FRESTORE, "FRESTORE" },
133 +
134 +    { i_CINVL, "CINVL" },
135 +    { i_CINVP, "CINVP" },
136 +    { i_CINVA, "CINVA" },
137 +    { i_CPUSHL, "CPUSHL" },
138 +    { i_CPUSHP, "CPUSHP" },
139 +    { i_CPUSHA, "CPUSHA" },
140 +    { i_MOVE16, "MOVE16" },
141 +
142 +        { i_EMULOP_RETURN, "EMULOP_RETURN" },
143 +        { i_EMULOP, "EMULOP" },
144 +        
145      { i_MMUOP, "MMUOP" },
146      { i_ILLG, "" },
147   };
# Line 186 | Line 198 | static void build_insn (int insn)
198      int variants;
199      struct instr_def id;
200      const char *opcstr;
201 <    int i;
201 >    int i, n;
202  
203      int flaglive = 0, flagdead = 0;
204 +        int cflow = 0;
205  
206      id = defs68k[insn];
207  
208 +        // Control flow information
209 +        cflow = id.cflow;
210 +        
211 +        // Mask of flags set/used
212 +        unsigned char flags_set(0), flags_used(0);
213 +        
214 +        for (i = 0, n = 4; i < 5; i++, n--) {
215 +                switch (id.flaginfo[i].flagset) {
216 +                        case fa_unset: case fa_isjmp: break;
217 +                        default: flags_set |= (1 << n);
218 +                }
219 +                
220 +                switch (id.flaginfo[i].flaguse) {
221 +                        case fu_unused: case fu_isjmp: break;
222 +                        default: flags_used |= (1 << n);
223 +                }
224 +        }
225 +        
226      for (i = 0; i < 5; i++) {
227          switch (id.flaginfo[i].flagset){
228           case fa_unset: break;
198 –         case fa_isjmp: break;
229           case fa_zero: flagdead |= 1 << i; break;
230           case fa_one: flagdead |= 1 << i; break;
231           case fa_dontcare: flagdead |= 1 << i; break;
# Line 208 | Line 238 | static void build_insn (int insn)
238      for (i = 0; i < 5; i++) {
239          switch (id.flaginfo[i].flaguse) {
240           case fu_unused: break;
211 –         case fu_isjmp: flaglive |= 1 << i; break;
212 –         case fu_maybecc: flaglive |= 1 << i; break;
241           case fu_unknown: flaglive = -1; goto out2;
242           case fu_used: flaglive |= 1 << i; break;
243          }
# Line 264 | Line 292 | static void build_insn (int insn)
292              continue;
293          if (bitcnt[bitI] && (bitval[bitI] == 0x00 || bitval[bitI] == 0xff))
294              continue;
295 +        if (bitcnt[bitE] && (bitval[bitE] == 0x00))
296 +                continue;
297  
298          /* bitI and bitC get copied to biti and bitc */
299          if (bitcnt[bitI]) {
# Line 339 | Line 369 | static void build_insn (int insn)
369               case 'P': srcmode = Aipi; pos++; break;
370              }
371              break;
372 +        case 'L':
373 +                srcmode = absl;
374 +                break;
375           case '#':
376              switch (opcstr[pos++]) {
377               case 'z': srcmode = imm; break;
# Line 384 | Line 417 | static void build_insn (int insn)
417                      srcpos = bitpos[bitK];
418                  }
419                  break;
420 +                 case 'E': srcmode = immi; srcreg = bitval[bitE];
421 +                if (CPU_EMU_SIZE < 5) { // gb-- what is CPU_EMU_SIZE used for ??
422 +                        /* 1..255 */
423 +                        srcgather = 1;
424 +                        srctype = 6;
425 +                        srcpos = bitpos[bitE];
426 +                }
427 +                break;
428 +                 case 'p': srcmode = immi; srcreg = bitval[bitp];
429 +                if (CPU_EMU_SIZE < 5) {
430 +                        /* 0..3 */
431 +                        srcgather = 1;
432 +                        srctype = 7;
433 +                        srcpos = bitpos[bitp];
434 +                }
435 +                break;
436               default: abort();
437              }
438              break;
# Line 508 | Line 557 | static void build_insn (int insn)
557               case 'R': destreg = bitval[bitR]; dstgather = 1; dstpos = bitpos[bitR]; break;
558               default: abort();
559              }
560 +                if (dstpos < 0 || dstpos >= 32)
561 +                        abort();
562              break;
563           case 'A':
564              destmode = Areg;
565              switch (opcstr[pos++]) {
566               case 'r': destreg = bitval[bitr]; dstgather = 1; dstpos = bitpos[bitr]; break;
567               case 'R': destreg = bitval[bitR]; dstgather = 1; dstpos = bitpos[bitR]; break;
568 +                case 'x': destreg = 0; dstgather = 0; dstpos = 0; break;
569               default: abort();
570              }
571 +                if (dstpos < 0 || dstpos >= 32)
572 +                        abort();
573              switch (opcstr[pos]) {
574               case 'p': destmode = Apdi; pos++; break;
575               case 'P': destmode = Aipi; pos++; break;
576              }
577              break;
578 +        case 'L':
579 +                destmode = absl;
580 +                break;
581           case '#':
582              switch (opcstr[pos++]) {
583               case 'z': destmode = imm; break;
# Line 691 | Line 748 | static void build_insn (int insn)
748              table68k[opc].flaginfo[i].flaguse = id.flaginfo[i].flaguse;
749          }
750   #endif
751 +        
752 + #if 1
753 +        /* gb-- flagdead and flaglive would not have correct information */
754 +        table68k[opc].flagdead = flags_set;
755 +        table68k[opc].flaglive = flags_used;
756 + #else
757          table68k[opc].flagdead = flagdead;
758          table68k[opc].flaglive = flaglive;
759 + #endif
760 +        table68k[opc].cflow = cflow;
761          nomatch:
762          /* FOO! */;
763      }
# Line 711 | Line 776 | void read_table68k (void)
776      for (i = 0; i < n_defs68k; i++) {
777          build_insn (i);
778      }
779 +        
780 +        /* Extra fixes in table68k for control flow information and flag usage */
781 +        for (i = 0; i < 65536; i++) {
782 +                instrmnem mnemo = (instrmnem)(table68k[i].mnemo);
783 +                
784 + #define IS_CONST_JUMP(opc) \
785 +                (       ((table68k[opc].mnemo == i_Bcc) && (table68k[opc].cc < 2)) \
786 +                ||      (table68k[opc].mnemo == i_BSR) \
787 +                )
788 +
789 +                // Fix flags used information for Scc, Bcc, TRAPcc, DBcc instructions
790 +                int flags_used = table68k[i].flaglive;
791 +                if      (       (mnemo == i_Scc)
792 +                        ||      (mnemo == i_Bcc)
793 +                        ||      (mnemo == i_DBcc)
794 +                        ||      (mnemo == i_TRAPcc)
795 +                        )       {
796 +                        switch (table68k[i].cc) {
797 +                        // CC mask:     XNZVC
798 +                        //                       8421
799 +                        case 0: flags_used = 0x00; break;       /*  T */
800 +                        case 1: flags_used = 0x00; break;       /*  F */
801 +                        case 2: flags_used = 0x05; break;       /* HI */
802 +                        case 3: flags_used = 0x05; break;       /* LS */
803 +                        case 4: flags_used = 0x01; break;       /* CC */
804 +                        case 5: flags_used = 0x01; break;       /* CS */
805 +                        case 6: flags_used = 0x04; break;       /* NE */
806 +                        case 7: flags_used = 0x04; break;       /* EQ */
807 +                        case 8: flags_used = 0x02; break;       /* VC */
808 +                        case 9: flags_used = 0x02; break;       /* VS */
809 +                        case 10:flags_used = 0x08; break;       /* PL */
810 +                        case 11:flags_used = 0x08; break;       /* MI */
811 +                        case 12:flags_used = 0x0A; break;       /* GE */
812 +                        case 13:flags_used = 0x0A; break;       /* LT */
813 +                        case 14:flags_used = 0x0E; break;       /* GT */
814 +                        case 15:flags_used = 0x0E; break;       /* LE */
815 +                        }
816 +                }
817 +                
818 +                /* Unconditional jumps don't evaluate condition codes, so they
819 +                   don't actually use any flags themselves */
820 +                if (IS_CONST_JUMP(i))
821 +                        flags_used = 0;
822 +                
823 +                table68k[i].flaglive = flags_used;
824 +        }
825   }
826  
827   static int mismatch;
# Line 738 | Line 849 | static void handle_merges (long int opco
849              smsk = 7; sbitdst = 8; break;
850           case 5:
851              smsk = 63; sbitdst = 64; break;
852 +         case 6:
853 +                smsk = 255; sbitdst = 256; break;
854 +         case 7:
855 +                smsk = 3; sbitdst = 4; break;
856           default:
857              smsk = 0; sbitdst = 0;
858              abort();

Diff Legend

– Removed lines
+ Added lines
< Changed lines
> Changed lines