patch for testing purposes

[Michael]

hi,

does this suffice as a submission for review, or do you suggest an
alternative format?

greetz,
michael



115,134c115
< // print the status word
< // updated 20091227 (address@hidden)
< static void print_i387_status_word (unsigned int status, struct ui_file *file)
< {
<     fprintf_filtered (file, "status word        : %s", 
hex_string_custom(status, 4));
< 
<     fputs_filtered ("  ", file);
< 
<     fprintf_filtered (file, " %s", (status & 0x0001) ? "IE" : "  ");
<     fprintf_filtered (file, " %s", (status & 0x0002) ? "DE" : "  ");
<     fprintf_filtered (file, " %s", (status & 0x0004) ? "ZE" : "  ");
<     fprintf_filtered (file, " %s", (status & 0x0008) ? "OE" : "  ");
<     fprintf_filtered (file, " %s", (status & 0x0010) ? "UE" : "  ");
<     fprintf_filtered (file, " %s", (status & 0x0020) ? "PE" : "  ");
< 
<     fputs_filtered ("  ", file);
< 
<     fprintf_filtered (file, " %s", (status & 0x0080) ? "ES" : "  ");
< 
<     fputs_filtered ("  ", file);
---
> /* Print the status word STATUS.  */
136,143c117,137
<     fprintf_filtered (file, " %s", (status & 0x0040) ? "SF" : "  ");
< 
<     fputs_filtered ("  ", file);
< 
<     fprintf_filtered (file, " %s", (status & 0x0100) ? "C0" : "  ");
<     fprintf_filtered (file, " %s", (status & 0x0200) ? "C1" : "  ");
<     fprintf_filtered (file, " %s", (status & 0x0400) ? "C2" : "  ");
<     fprintf_filtered (file, " %s", (status & 0x4000) ? "C3" : "  ");
---
> static void
> print_i387_status_word (unsigned int status, struct ui_file *file)
> {
>   fprintf_filtered (file, "Status Word:         %s",
>                   hex_string_custom (status, 4));
>   fputs_filtered ("  ", file);
>   fprintf_filtered (file, " %s", (status & 0x0001) ? "IE" : "  ");
>   fprintf_filtered (file, " %s", (status & 0x0002) ? "DE" : "  ");
>   fprintf_filtered (file, " %s", (status & 0x0004) ? "ZE" : "  ");
>   fprintf_filtered (file, " %s", (status & 0x0008) ? "OE" : "  ");
>   fprintf_filtered (file, " %s", (status & 0x0010) ? "UE" : "  ");
>   fprintf_filtered (file, " %s", (status & 0x0020) ? "PE" : "  ");
>   fputs_filtered ("  ", file);
>   fprintf_filtered (file, " %s", (status & 0x0080) ? "ES" : "  ");
>   fputs_filtered ("  ", file);
>   fprintf_filtered (file, " %s", (status & 0x0040) ? "SF" : "  ");
>   fputs_filtered ("  ", file);
>   fprintf_filtered (file, " %s", (status & 0x0100) ? "C0" : "  ");
>   fprintf_filtered (file, " %s", (status & 0x0200) ? "C1" : "  ");
>   fprintf_filtered (file, " %s", (status & 0x0400) ? "C2" : "  ");
>   fprintf_filtered (file, " %s", (status & 0x4000) ? "C3" : "  ");
145c139
<     fputs_filtered ("\n", file);
---
>   fputs_filtered ("\n", file);
147c141,142
<     fprintf_filtered (file, "                       TOP: %d\n", ((status >> 
11) & 7));
---
>   fprintf_filtered (file,
>                   "                       TOP: %d\n", ((status >> 11) & 7));
150,156c145
< // print the control word
< // updated 20091228 (address@hidden)
< static void print_i387_control_word (unsigned int control, struct ui_file 
*file)
< {
<     fprintf_filtered (file, "control word:        %s", 
hex_string_custom(control, 4));
< 
<     fputs_filtered ("  ", file);
---
> /* Print the control word CONTROL.  */
158,163c147,158
<     fprintf_filtered (file, " %s", (control & 0x0001) ? "IM" : "  ");
<     fprintf_filtered (file, " %s", (control & 0x0002) ? "DM" : "  ");
<     fprintf_filtered (file, " %s", (control & 0x0004) ? "ZM" : "  ");
<     fprintf_filtered (file, " %s", (control & 0x0008) ? "OM" : "  ");
<     fprintf_filtered (file, " %s", (control & 0x0010) ? "UM" : "  ");
<     fprintf_filtered (file, " %s", (control & 0x0020) ? "PM" : "  ");
---
> static void
> print_i387_control_word (unsigned int control, struct ui_file *file)
> {
>   fprintf_filtered (file, "Control Word:        %s",
>                   hex_string_custom (control, 4));
>   fputs_filtered ("  ", file);
>   fprintf_filtered (file, " %s", (control & 0x0001) ? "IM" : "  ");
>   fprintf_filtered (file, " %s", (control & 0x0002) ? "DM" : "  ");
>   fprintf_filtered (file, " %s", (control & 0x0004) ? "ZM" : "  ");
>   fprintf_filtered (file, " %s", (control & 0x0008) ? "OM" : "  ");
>   fprintf_filtered (file, " %s", (control & 0x0010) ? "UM" : "  ");
>   fprintf_filtered (file, " %s", (control & 0x0020) ? "PM" : "  ");
165c160
<     fputs_filtered ("\n", file);
---
>   fputs_filtered ("\n", file);
167,169c162,163
<     fputs_filtered ("                       PC: ", file);
<     
<     switch ((control >> 8) & 3)
---
>   fputs_filtered ("                       PC: ", file);
>   switch ((control >> 8) & 3)
171,182c165,176
<       case 0:
<           fputs_filtered ("Single Precision (24-bits)\n", file);
<           break;
<       case 1:
<           fputs_filtered ("Reserved\n", file);
<           break;
<       case 2:
<           fputs_filtered ("Double Precision (53-bits)\n", file);
<           break;
<       case 3:
<           fputs_filtered ("Extended Precision (64-bits)\n", file);
<       break;
---
>     case 0:
>       fputs_filtered ("Single Precision (24-bits)\n", file);
>       break;
>     case 1:
>       fputs_filtered ("Reserved\n", file);
>       break;
>     case 2:
>       fputs_filtered ("Double Precision (53-bits)\n", file);
>       break;
>     case 3:
>       fputs_filtered ("Extended Precision (64-bits)\n", file);
>       break;
185,187c179,180
<     fputs_filtered ("                       RC: ", file);
< 
<     switch ((control >> 10) & 3)
---
>   fputs_filtered ("                       RC: ", file);
>   switch ((control >> 10) & 3)
189,200c182,193
<       case 0:
<           fputs_filtered ("Round to nearest\n", file);
<           break;
<       case 1:
<           fputs_filtered ("Round down\n", file);
<           break;
<       case 2:
<           fputs_filtered ("Round up\n", file);
<           break;
<       case 3:
<           fputs_filtered ("Round toward zero\n", file);
<           break;
---
>     case 0:
>       fputs_filtered ("Round to nearest\n", file);
>       break;
>     case 1:
>       fputs_filtered ("Round down\n", file);
>       break;
>     case 2:
>       fputs_filtered ("Round up\n", file);
>       break;
>     case 3:
>       fputs_filtered ("Round toward zero\n", file);
>       break;