home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Source Code / C / Applications / Portable Patmos / src / portable kernel / pinsn / m68k-pinsn.c < prev    next >
Encoding:
C/C++ Source or Header  |  1994-11-24  |  20.3 KB  |  893 lines  |  [TEXT/R*ch]
  1. /* Print m68k instructions for GDB, the GNU debugger.
  2.    Copyright (C) 1986, 1987, 1989 Free Software Foundation, Inc.
  3.  
  4. This file is part of GDB.
  5.  
  6. GDB is free software; you can redistribute it and/or modify
  7. it under the terms of the GNU General Public License as published by
  8. the Free Software Foundation; either version 1, or (at your option)
  9. any later version.
  10.  
  11. GDB is distributed in the hope that it will be useful,
  12. but WITHOUT ANY WARRANTY; without even the implied warranty of
  13. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14. GNU General Public License for more details.
  15.  
  16. You should have received a copy of the GNU General Public License
  17. along with GDB; see the file COPYING.  If not, write to
  18. the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
  19.  
  20. #include <stdio.h>
  21. #include <setjmp.h>
  22. #include "defs.h"
  23. #include "m68k-opcode.h"
  24.  
  25. /* 68k instructions are never longer than this many bytes.  */
  26. #define MAXLEN 22
  27.  
  28. /* Number of elements in the opcode table.  */
  29. #define NOPCODES (sizeof m68k_opcodes / sizeof m68k_opcodes[0])
  30.  
  31. char *reg_names[] = REGISTER_NAMES;
  32. char *fpcr_names[] = { "", "fpiar", "fpsr", "fpiar/fpsr", "fpcr",
  33.              "fpiar/fpcr", "fpsr/fpcr", "fpiar-fpcr"};
  34.  
  35.  
  36. int print_insn(CORE_ADDR, FILE *);
  37. int convert_from_68881(char *, double *);
  38. int convert_to_68881(double *, char *);
  39. void sigemt(void);
  40. void _initialize_pinsn(void);
  41. void error(char *, ...);
  42. static unsigned char *print_insn_arg(const char *, unsigned char *, unsigned char *, CORE_ADDR, FILE *);
  43. static int fetch_arg(unsigned char *, char, int);
  44. static unsigned char *print_indexed(int, unsigned char *, CORE_ADDR, FILE *);
  45. static void print_base(int, int, FILE *);
  46.  
  47. #define NEXTBYTE(p)  (p += 2, ((char *)p)[-1])
  48.  
  49. #define NEXTWORD(p)  \
  50.   (p += 2, ((((char *)p)[-2]) << 8) + p[-1])
  51.  
  52. #define NEXTLONG(p)  \
  53.   (p += 4, (((((p[-4] << 8) + p[-3]) << 8) + p[-2]) << 8) + p[-1])
  54.  
  55. #define NEXTSINGLE(p) \
  56.   (p += 4, *((float *)(p - 4)))
  57.  
  58. #define NEXTDOUBLE(p) \
  59.   (p += 8, *((double *)(p - 8)))
  60.  
  61. #if defined (atarist) && defined (__M68881__)
  62. #define NEXTEXTEND(p) \
  63.   (p += 12, *(long double *) (p - 12))
  64. #else
  65. #define NEXTEXTEND(p) \
  66.   (p += 12, 0.0)    /* Need a function to convert from extended to double
  67.                precision... */
  68. #endif
  69.  
  70. #define NEXTPACKED(p) \
  71.   (p += 12, 0.0)    /* Need a function to convert from packed to double
  72.                precision.   Actually, it's easier to print a
  73.                packed number than a double anyway, so maybe
  74.                there should be a special case to handle this... */
  75.  
  76.  
  77. /* Print the m68k instruction at address MEMADDR in debugged memory,
  78.    on STREAM.  Returns length of the instruction, in bytes.  */
  79.  
  80. int
  81. print_insn (memaddr, stream)
  82.      CORE_ADDR memaddr;
  83.      FILE *stream;
  84. {
  85.   unsigned char buffer[MAXLEN];
  86.   register int i;
  87.   register unsigned char *p;
  88.   register const char *d;
  89.   register int bestmask;
  90.   int best;
  91.  
  92.   read_memory (memaddr, buffer, MAXLEN);
  93.  
  94.   bestmask = 0;
  95.   best = -1;
  96.   for (i = 0; i < NOPCODES; i++)
  97.     {
  98.       register unsigned int opcode = m68k_opcodes[i].opcode;
  99.       register unsigned int match = m68k_opcodes[i].match;
  100.       if (((0xff & buffer[0] & (match >> 24)) == (0xff & (opcode >> 24)))
  101.       && ((0xff & buffer[1] & (match >> 16)) == (0xff & (opcode >> 16)))
  102.       && ((0xff & buffer[2] & (match >> 8)) == (0xff & (opcode >> 8)))
  103.       && ((0xff & buffer[3] & match) == (0xff & opcode)))
  104.     {
  105.       /* Don't use for printout the variants of divul and divsl
  106.          that have the same register number in two places.
  107.          The more general variants will match instead.  */
  108.       for (d = m68k_opcodes[i].args; *d; d += 2)
  109.         if (d[1] == 'D')
  110.           break;
  111.  
  112.       /* Don't use for printout the variants of most floating
  113.          point coprocessor instructions which use the same
  114.          register number in two places, as above. */
  115.       if (*d == 0)
  116.         for (d = m68k_opcodes[i].args; *d; d += 2)
  117.           if (d[1] == 't')
  118.         break;
  119.  
  120.       if (*d == 0 && match > bestmask)
  121.         {
  122.           best = i;
  123.           bestmask = match;
  124.         }
  125.     }
  126.     }
  127.  
  128.   /* Handle undefined instructions.  */
  129.   if (best < 0)
  130.     {
  131.       fprintf_filtered (stream, "0%o", (buffer[0] << 8) + buffer[1]);
  132.       return 2;
  133.     }
  134.  
  135.   fprintf_filtered (stream, "%s", m68k_opcodes[best].name);
  136.  
  137.   /* Point at first word of argument data,
  138.      and at descriptor for first argument.  */
  139.   p = buffer + 2;
  140.   
  141.   /* Why do this this way? -MelloN */
  142.   for (d = m68k_opcodes[best].args; *d; d += 2)
  143.     {
  144.       if (d[0] == '#')
  145.     {
  146.       if (d[1] == 'l' && p - buffer < 6)
  147.         p = buffer + 6;
  148.       else if (p - buffer < 4 && d[1] != 'C' && d[1] != '8' )
  149.         p = buffer + 4;
  150.     }
  151.       if (d[1] >= '1' && d[1] <= '3' && p - buffer < 4)
  152.     p = buffer + 4;
  153.       if (d[1] >= '4' && d[1] <= '6' && p - buffer < 6)
  154.     p = buffer + 6;
  155.       if ((d[0] == 'L' || d[0] == 'l') && d[1] == 'w' && p - buffer < 4)
  156.     p = buffer + 4;
  157.     }
  158.  
  159.   d = m68k_opcodes[best].args;
  160.  
  161.   if (*d)
  162.     fputs_filtered (" ", stream);
  163.  
  164.   while (*d)
  165.     {
  166.       p = print_insn_arg (d, buffer, p, memaddr + p - buffer, stream);
  167.       d += 2;
  168.       if (*d && *(d - 2) != 'I' && *d != 'k')
  169.     fputs_filtered (",", stream);
  170.     }
  171.   return p - buffer;
  172. }
  173.  
  174. static unsigned char *
  175. print_insn_arg (d, buffer, p, addr, stream)
  176.      const char *d;
  177.      unsigned char *buffer;
  178.      register unsigned char *p;
  179.      CORE_ADDR addr;        /* PC for this arg to be relative to */
  180.      FILE *stream;
  181. {
  182.   register int val;
  183.   register int place = d[1];
  184.   int regno;
  185.   register char *regname;
  186.   register unsigned char *p1;
  187.   register double flval;
  188.   int flt_p;
  189.  
  190.   switch (*d)
  191.     {
  192.     case 'C':
  193.       fprintf_filtered (stream, "ccr");
  194.       break;
  195.  
  196.     case 'S':
  197.       fprintf_filtered (stream, "sr");
  198.       break;
  199.  
  200.     case 'U':
  201.       fprintf_filtered (stream, "usp");
  202.       break;
  203.  
  204.     case 'J':
  205.       {
  206.     static const struct { const char *name; int value; } names[]
  207.       = {{"sfc", 0x000}, {"dfc", 0x001}, {"cacr", 0x002},
  208.          {"usp", 0x800}, {"vbr", 0x801}, {"caar", 0x802},
  209.          {"msp", 0x803}, {"isp", 0x804}};
  210.  
  211.     val = fetch_arg (buffer, place, 12);
  212.     for (regno = sizeof names / sizeof names[0] - 1; regno >= 0; regno--)
  213.       if (names[regno].value == val)
  214.         {
  215.           fprintf_filtered (stream, names[regno].name);
  216.           break;
  217.         }
  218.     if (regno < 0)
  219.       fprintf_filtered (stream, "%d", val);
  220.       }
  221.       break;
  222.  
  223.     case 'Q':
  224.       val = fetch_arg (buffer, place, 3);
  225.       if (val == 0) val = 8;
  226.       fprintf_filtered (stream, "#%d", val);
  227.       break;
  228.  
  229.     case 'M':
  230.       val = fetch_arg (buffer, place, 8);
  231.       if (val & 0x80)
  232.     val = val - 0x100;
  233.       fprintf_filtered (stream, "#%d", val);
  234.       break;
  235.  
  236.     case 'T':
  237.       val = fetch_arg (buffer, place, 4);
  238.       fprintf_filtered (stream, "#%d", val);
  239.       break;
  240.  
  241.     case 'D':
  242.       fprintf_filtered (stream, "%s", reg_names[fetch_arg (buffer, place, 3)]);
  243.       break;
  244.  
  245.     case 'A':
  246.       fprintf_filtered (stream, "%s",
  247.             reg_names[fetch_arg (buffer, place, 3) + 010]);
  248.       break;
  249.  
  250.     case 'R':
  251.       fprintf_filtered (stream, "%s", reg_names[fetch_arg (buffer, place, 4)]);
  252.       break;
  253.  
  254.     case 'F':
  255.       fprintf_filtered (stream, "fp%d", fetch_arg (buffer, place, 3));
  256.       break;
  257.  
  258.     case 'O':
  259.       val = fetch_arg (buffer, place, 6);
  260.       if (val & 0x20)
  261.     fprintf_filtered (stream, "%s", reg_names [val & 7]);
  262.       else
  263.     fprintf_filtered (stream, "%d", val);
  264.       break;
  265.  
  266.     case '+':
  267.       fprintf_filtered (stream, "%s@+",
  268.             reg_names[fetch_arg (buffer, place, 3) + 8]);
  269.       break;
  270.  
  271.     case '-':
  272.       fprintf_filtered (stream, "%s@-",
  273.            reg_names[fetch_arg (buffer, place, 3) + 8]);
  274.       break;
  275.  
  276.     case 'k':
  277.       if (place == 'k')
  278.     fprintf_filtered (stream, "{%s}", reg_names[fetch_arg (buffer, place, 3)]);
  279.       else if (place == 'C')
  280.     {
  281.       val = fetch_arg (buffer, place, 7);
  282.       if ( val > 63 )        /* This is a signed constant. */
  283.         val -= 128;
  284.       fprintf_filtered (stream, "{#%d}", val);
  285.     }
  286.       else
  287.     error ("Invalid arg format in opcode table: \"%c%c\".",
  288.            *d, place);
  289.       break;
  290.  
  291.     case '#':
  292.     case '^':
  293.       p1 = buffer + (*d == '#' ? 2 : 4);
  294.       if (place == 's')
  295.     val = fetch_arg (buffer, place, 4);
  296.       else if (place == 'C')
  297.     val = fetch_arg (buffer, place, 7);
  298.       else if (place == '8')
  299.     val = fetch_arg (buffer, place, 3);
  300.       else if (place == '3')
  301.     val = fetch_arg (buffer, place, 8);
  302.       else if (place == 'b')
  303.     val = NEXTBYTE (p1);
  304.       else if (place == 'w')
  305.     val = NEXTWORD (p1);
  306.       else if (place == 'l')
  307.     val = NEXTLONG (p1);
  308.       else
  309.     error ("Invalid arg format in opcode table: \"%c%c\".",
  310.            *d, place);
  311.       fprintf_filtered (stream, "#%d", val);
  312.       break;
  313.  
  314.     case 'B':
  315.       if (place == 'b')
  316.     val = NEXTBYTE (p);
  317.       else if (place == 'w')
  318.     val = NEXTWORD (p);
  319.       else if (place == 'l')
  320.     val = NEXTLONG (p);
  321.       else if (place == 'g')
  322.     {
  323.       val = ((char *)buffer)[1];
  324.       if (val == 0)
  325.         val = NEXTWORD (p);
  326.       else if (val == -1)
  327.         val = NEXTLONG (p);
  328.     }
  329.       else if (place == 'c')
  330.     {
  331.       if (buffer[1] & 0x40)        /* If bit six is one, long offset */
  332.         val = NEXTLONG (p);
  333.       else
  334.         val = NEXTWORD (p);
  335.     }
  336.       else
  337.     error ("Invalid arg format in opcode table: \"%c%c\".",
  338.            *d, place);
  339.  
  340.       print_address (addr + val, stream);
  341.       break;
  342.  
  343.     case 'd':
  344.       val = NEXTWORD (p);
  345.       fprintf_filtered (stream, "%s@(%d)",
  346.             reg_names[fetch_arg (buffer, place, 3)], val);
  347.       break;
  348.  
  349.     case 's':
  350.       fprintf_filtered (stream, "%s",
  351.             fpcr_names[fetch_arg (buffer, place, 3)]);
  352.       break;
  353.  
  354.     case 'I':
  355.       val = fetch_arg (buffer, 'd', 3);          /* Get coprocessor ID... */
  356.       if (val != 1)                /* Unusual coprocessor ID? */
  357.     fprintf_filtered (stream, "(cpid=%d) ", val);
  358.       if (place == 'i')
  359.     p += 2;                 /* Skip coprocessor extended operands */
  360.       break;
  361.  
  362.     case '*':
  363.     case '~':
  364.     case '%':
  365.     case ';':
  366.     case '@':
  367.     case '!':
  368.     case '$':
  369.     case '?':
  370.     case '/':
  371.     case '&':
  372.  
  373.       if (place == 'd')
  374.     {
  375.       val = fetch_arg (buffer, 'x', 6);
  376.       val = ((val & 7) << 3) + ((val >> 3) & 7);
  377.     }
  378.       else
  379.     val = fetch_arg (buffer, 's', 6);
  380.  
  381.       /* Get register number assuming address register.  */
  382.       regno = (val & 7) + 8;
  383.       regname = reg_names[regno];
  384.       switch (val >> 3)
  385.     {
  386.     case 0:
  387.       fprintf_filtered (stream, "%s", reg_names[val]);
  388.       break;
  389.  
  390.     case 1:
  391.       fprintf_filtered (stream, "%s", regname);
  392.       break;
  393.  
  394.     case 2:
  395.       fprintf_filtered (stream, "%s@", regname);
  396.       break;
  397.  
  398.     case 3:
  399.       fprintf_filtered (stream, "%s@+", regname);
  400.       break;
  401.  
  402.     case 4:
  403.       fprintf_filtered (stream, "%s@-", regname);
  404.       break;
  405.  
  406.     case 5:
  407.       val = NEXTWORD (p);
  408.       fprintf_filtered (stream, "%s@(%d)", regname, val);
  409.       break;
  410.  
  411.     case 6:
  412.       p = print_indexed (regno, p, addr, stream);
  413.       break;
  414.  
  415.     case 7:
  416.       switch (val & 7)
  417.         {
  418.         case 0:
  419.           val = NEXTWORD (p);
  420.           fprintf_filtered (stream, "@#");
  421.           print_address (val, stream);
  422.           break;
  423.  
  424.         case 1:
  425.           val = NEXTLONG (p);
  426.           fprintf_filtered (stream, "@#");
  427.           print_address (val, stream);
  428.           break;
  429.  
  430.         case 2:
  431.           val = NEXTWORD (p);
  432.           print_address (addr + val, stream);
  433.           break;
  434.  
  435.         case 3:
  436.           p = print_indexed (-1, p, addr, stream);
  437.           break;
  438.  
  439.         case 4:
  440.           flt_p = 1;    /* Assume it's a float... */
  441.           switch( place )
  442.           {
  443.         case 'b':
  444.           val = NEXTBYTE (p);
  445.           flt_p = 0;
  446.           break;
  447.  
  448.         case 'w':
  449.           val = NEXTWORD (p);
  450.           flt_p = 0;
  451.           break;
  452.  
  453.         case 'l':
  454.           val = NEXTLONG (p);
  455.           flt_p = 0;
  456.           break;
  457.  
  458.         case 'f':
  459.           flval = NEXTSINGLE(p);
  460.           break;
  461.  
  462.         case 'F':
  463.           flval = NEXTDOUBLE(p);
  464.           break;
  465.  
  466.         case 'x':
  467.           flval = NEXTEXTEND(p);
  468.           break;
  469.  
  470.         case 'p':
  471.           flval = NEXTPACKED(p);
  472.           break;
  473.  
  474.         default:
  475.           error ("Invalid arg format in opcode table: \"%c%c\".",
  476.                *d, place);
  477.           }
  478.           if ( flt_p )    /* Print a float? */
  479.         fprintf_filtered (stream, "#%g", flval);
  480.           else
  481.         fprintf_filtered (stream, "#%d", val);
  482.           break;
  483.  
  484.         default:
  485.           fprintf_filtered (stream, "<invalid address mode 0%o>", val);
  486.         }
  487.     }
  488.       break;
  489.  
  490.     case 'L':
  491.     case 'l':
  492.     if (place == 'w')
  493.       {
  494.         char doneany;
  495.         p1 = buffer + 2;
  496.         val = NEXTWORD (p1);
  497.         /* Move the pointer ahead if this point is farther ahead
  498.            than the last.  */
  499.         p = p1 > p ? p1 : p;
  500.         if (val == 0)
  501.           {
  502.         fputs_filtered ("#0", stream);
  503.         break;
  504.           }
  505.         if (*d == 'l')
  506.           {
  507.         register int newval = 0;
  508.         for (regno = 0; regno < 16; ++regno)
  509.           if (val & (0x8000 >> regno))
  510.             newval |= 1 << regno;
  511.         val = newval;
  512.           }
  513.         val &= 0xffff;
  514.         doneany = 0;
  515.         for (regno = 0; regno < 16; ++regno)
  516.           if (val & (1 << regno))
  517.         {
  518.           int first_regno;
  519.           if (doneany)
  520.             fputs_filtered ("/", stream);
  521.           doneany = 1;
  522.           fprintf_filtered (stream, "%s", reg_names[regno]);
  523.           first_regno = regno;
  524.           while (val & (1 << (regno + 1)))
  525.             ++regno;
  526.           if (regno > first_regno)
  527.             fprintf_filtered (stream, "-%s", reg_names[regno]);
  528.         }
  529.       }
  530.     else if (place == '3')
  531.       {
  532.         /* `fmovem' insn.  */
  533.         char doneany;
  534.         val = fetch_arg (buffer, place, 8);
  535.         if (val == 0)
  536.           {
  537.         fputs_filtered ("#0", stream);
  538.         break;
  539.           }
  540.         if (*d == 'l')
  541.           {
  542.         register int newval = 0;
  543.         for (regno = 0; regno < 8; ++regno)
  544.           if (val & (0x80 >> regno))
  545.             newval |= 1 << regno;
  546.         val = newval;
  547.           }
  548.         val &= 0xff;
  549.         doneany = 0;
  550.         for (regno = 0; regno < 8; ++regno)
  551.           if (val & (1 << regno))
  552.         {
  553.           int first_regno;
  554.           if (doneany)
  555.             fputs_filtered ("/", stream);
  556.           doneany = 1;
  557.           fprintf_filtered (stream, "fp%d", regno);
  558.           first_regno = regno;
  559.           while (val & (1 << (regno + 1)))
  560.             ++regno;
  561.           if (regno > first_regno)
  562.             fprintf_filtered (stream, "-fp%d", regno);
  563.         }
  564.       }
  565.     else
  566.       abort ();
  567.       break;
  568.  
  569.     default:
  570.       error ("Invalid arg format in opcode table: \"%c\".", *d);
  571.     }
  572.  
  573.   return (unsigned char *) p;
  574. }
  575.  
  576. /* Fetch BITS bits from a position in the instruction specified by CODE.
  577.    CODE is a "place to put an argument", or 'x' for a destination
  578.    that is a general address (mode and register).
  579.    BUFFER contains the instruction.  */
  580.  
  581. static int fetch_arg (
  582.      unsigned char *buffer,
  583.      char code,
  584.      int bits)
  585. {
  586.   register int val;
  587.   switch (code)
  588.     {
  589.     case 's':
  590.       val = buffer[1];
  591.       break;
  592.  
  593.     case 'd':            /* Destination, for register or quick.  */
  594.       val = (buffer[0] << 8) + buffer[1];
  595.       val >>= 9;
  596.       break;
  597.  
  598.     case 'x':            /* Destination, for general arg */
  599.       val = (buffer[0] << 8) + buffer[1];
  600.       val >>= 6;
  601.       break;
  602.  
  603.     case 'k':
  604.       val = (buffer[3] >> 4);
  605.       break;
  606.  
  607.     case 'C':
  608.       val = buffer[3];
  609.       break;
  610.  
  611.     case '1':
  612.       val = (buffer[2] << 8) + buffer[3];
  613.       val >>= 12;
  614.       break;
  615.  
  616.     case '2':
  617.       val = (buffer[2] << 8) + buffer[3];
  618.       val >>= 6;
  619.       break;
  620.  
  621.     case '3':
  622.     case 'j':
  623.       val = (buffer[2] << 8) + buffer[3];
  624.       break;
  625.  
  626.     case '4':
  627.       val = (buffer[4] << 8) + buffer[5];
  628.       val >>= 12;
  629.       break;
  630.  
  631.     case '5':
  632.       val = (buffer[4] << 8) + buffer[5];
  633.       val >>= 6;
  634.       break;
  635.  
  636.     case '6':
  637.       val = (buffer[4] << 8) + buffer[5];
  638.       break;
  639.  
  640.     case '7':
  641.       val = (buffer[2] << 8) + buffer[3];
  642.       val >>= 7;
  643.       break;
  644.       
  645.     case '8':
  646.       val = (buffer[2] << 8) + buffer[3];
  647.       val >>= 10;
  648.       break;
  649.  
  650.     default:
  651.       abort ();
  652.     }
  653.  
  654.   switch (bits)
  655.     {
  656.     case 3:
  657.       return val & 7;
  658.     case 4:
  659.       return val & 017;
  660.     case 5:
  661.       return val & 037;
  662.     case 6:
  663.       return val & 077;
  664.     case 7:
  665.       return val & 0177;
  666.     case 8:
  667.       return val & 0377;
  668.     case 12:
  669.       return val & 07777;
  670.     default:
  671.       abort ();
  672.     }
  673. }
  674.  
  675. /* Print an indexed argument.  The base register is BASEREG (-1 for pc).
  676.    P points to extension word, in buffer.
  677.    ADDR is the nominal core address of that extension word.  */
  678.  
  679. static unsigned char *
  680. print_indexed (basereg, p, addr, stream)
  681.      int basereg;
  682.      unsigned char *p;
  683.      FILE *stream;
  684.      CORE_ADDR addr;
  685. {
  686.   register int word;
  687.   static char *scales[] = {"", "*2", "*4", "*8"};
  688.   register int base_disp;
  689.   register int outer_disp;
  690.   char buf[40];
  691.  
  692.   word = NEXTWORD (p);
  693.  
  694.   /* Generate the text for the index register.
  695.      Where this will be output is not yet determined.  */
  696.   ksprintf (buf, "[%s.%c%s]",
  697.        reg_names[(word >> 12) & 0xf],
  698.        (word & 0x800) ? 'l' : 'w',
  699.        scales[(word >> 9) & 3]);
  700.  
  701.   /* Handle the 68000 style of indexing.  */
  702.  
  703.   if ((word & 0x100) == 0)
  704.     {
  705.       print_base (basereg,
  706.           ((word & 0x80) ? word | 0xff00 : word & 0xff)
  707.           + ((basereg == -1) ? addr : 0),
  708.           stream);
  709.       fputs_filtered (buf, stream);
  710.       return p;
  711.     }
  712.  
  713.   /* Handle the generalized kind.  */
  714.   /* First, compute the displacement to add to the base register.  */
  715.  
  716.   if (word & 0200)
  717.     basereg = -2;
  718.   if (word & 0100)
  719.     buf[0] = 0;
  720.   base_disp = 0;
  721.   switch ((word >> 4) & 3)
  722.     {
  723.     case 2:
  724.       base_disp = NEXTWORD (p);
  725.       break;
  726.     case 3:
  727.       base_disp = NEXTLONG (p);
  728.     }
  729.   if (basereg == -1)
  730.     base_disp += addr;
  731.  
  732.   /* Handle single-level case (not indirect) */
  733.  
  734.   if ((word & 7) == 0)
  735.     {
  736.       print_base (basereg, base_disp, stream);
  737.       fputs_filtered (buf, stream);
  738.       return p;
  739.     }
  740.  
  741.   /* Two level.  Compute displacement to add after indirection.  */
  742.  
  743.   outer_disp = 0;
  744.   switch (word & 3)
  745.     {
  746.     case 2:
  747.       outer_disp = NEXTWORD (p);
  748.       break;
  749.     case 3:
  750.       outer_disp = NEXTLONG (p);
  751.     }
  752.  
  753.   fprintf_filtered (stream, "%d(", outer_disp);
  754.   print_base (basereg, base_disp, stream);
  755.  
  756.   /* If postindexed, print the closeparen before the index.  */
  757.   if (word & 4)
  758.     fprintf_filtered (stream, ")%s", buf);
  759.   /* If preindexed, print the closeparen after the index.  */
  760.   else
  761.     fprintf_filtered (stream, "%s)", buf);
  762.  
  763.   return p;
  764. }
  765.  
  766. /* Print a base register REGNO and displacement DISP, on STREAM.
  767.    REGNO = -1 for pc, -2 for none (suppressed).  */
  768.  
  769. static void
  770. print_base (regno, disp, stream)
  771.      int regno;
  772.      int disp;
  773.      FILE *stream;
  774. {
  775.   if (regno == -2)
  776.     fprintf_filtered (stream, "%d", disp);
  777.   else if (regno == -1)
  778.     fprintf_filtered (stream, "0x%x", disp);
  779.   else
  780.     fprintf_filtered (stream, "%d(%s)", disp, reg_names[regno]);
  781. }
  782.  
  783. /* Nonzero if the host system has a 68881 (or compatible)
  784.    floating-point unit.  This does *not* indicate whether the target
  785.    system has a co-processor, just whether the host system does.
  786.    There might be a difference in the case of remote debugging.  */
  787. static int have_fpu = 1;
  788.  
  789. /* This is not part of insn printing, but it is machine-specific,
  790.    so this is a convenient place to put it.
  791.  
  792.    Convert a 68881 extended float to a double.
  793.    FROM is the address of the extended float.
  794.    Store the double in *TO.  */
  795.  
  796. convert_from_68881 (from, to)
  797.      char *from;
  798.      double *to;
  799. {
  800.   if (!have_fpu)
  801.     {
  802.       *to = 0.0;
  803.       return;
  804.     }
  805.   else
  806.     {
  807. #ifdef HPUX_ASM
  808.       asm ("mov.l 8(%a6),%a0");
  809.       asm ("mov.l 12(%a6),%a1");
  810.       asm ("fmove.x (%a0),%fp0");
  811.       asm ("fmove.d %fp0,(%a1)");
  812. #else /* not HPUX_ASM */
  813. #if defined (atarist) && defined (__GNUC__)
  814.       /* allow -fomit-frame-pointer */
  815.       asm volatile ("fmovex %1@,fp0; fmoved fp0,%0@" : "=a" (to) : "a" (from));
  816. #else
  817. #ifdef THINK_C
  818. #if __option(mc68881)
  819.       asm
  820.           {
  821.           move.l 8(a6),a0
  822.           move.l 12(a6),a1
  823.           fmove.x (a0),fp0
  824.           fmove.d fp0,(a1)
  825.           }
  826. #endif
  827. #else
  828.       /* Hand-assemble those insns since some assemblers lose
  829.      and some have different syntax.  */
  830.       asm (".word 020156");
  831.       asm (".word 8");
  832.       asm (".word 021156");
  833.       asm (".word 12");
  834.       asm (".long 0xf2104800");
  835.       asm (".long 0xf2117400");
  836. #endif
  837. #endif /* not atarist */
  838. #endif /* not HPUX_ASM */
  839.     }
  840. }
  841.  
  842. /* The converse: convert the double *FROM to an extended float
  843.    and store where TO points.  */
  844.  
  845. convert_to_68881 (from, to)
  846.      double *from;
  847.      char *to;
  848. {
  849.   if (!have_fpu)
  850.       return;
  851.   else
  852.     {
  853. #ifdef HPUX_ASM
  854.       asm ("mov.l 8(%a6),%a0");
  855.       asm ("mov.l 12(%a6),%a1");
  856.       asm ("fmove.d (%a0),%fp0");
  857.       asm ("fmove.x %fp0,(%a1)");
  858. #else /* not HPUX_ASM */
  859. #if defined (atarist) && defined (__GNUC__)
  860.       asm volatile ("fmoved %1@,fp0; fmovex fp0,%0@" : : "a" (to), "a" (from));
  861. #else
  862. #ifdef THINK_C
  863. #if __option(mc68881)
  864.       asm
  865.           {
  866.           movl 8(a6),a0
  867.           movl 12(a6),a1
  868.           fmoved (a0),fp0
  869.           fmovex fp0,(a1)
  870.           }
  871. #endif
  872. #else
  873.       /* Hand-assemble those insns since some assemblers lose.  */
  874.       asm (".word 020156");
  875.       asm (".word 8");
  876.       asm (".word 021156");
  877.       asm (".word 12");
  878.       asm (".long 0xf2105400");
  879.       asm (".long 0xf2116800");
  880. #endif
  881. #endif /* not atarist */
  882. #endif /* not HPUX_ASM */
  883.     }
  884. }
  885.  
  886. static jmp_buf    fpu_check;
  887.  
  888. void
  889. _initialize_pinsn()
  890. {
  891.   have_fpu = 1;
  892. }
  893.