arch/m68k/fpsp040/bugfix.S

   1 |
   2 |       bugfix.sa 3.2 1/31/91
   3 |
   4 |
   5 |       This file contains workarounds for bugs in the 040
   6 |       relating to the Floating-Point Software Package (FPSP)
   7 |
   8 |       Fixes for bugs: 1238
   9 |
  10 |       Bug: 1238
  11 |
  12 |
  13 |    /* The following dirty_bit clear should be left in
  14 |     * the handler permanently to improve throughput.
  15 |     * The dirty_bits are located at bits [23:16] in
  16 |     * longword $08 in the busy frame $4x60.  Bit 16
  17 |     * corresponds to FP0, bit 17 corresponds to FP1,
  18 |     * and so on.
  19 |     */
  20 |    if  (E3_exception_just_serviced)   {
  21 |         dirty_bit[cmdreg3b[9:7]] = 0;
  22 |         }
  23 |
  24 |    if  (fsave_format_version != $40)  {goto NOFIX}
  25 |
  26 |    if !(E3_exception_just_serviced)   {goto NOFIX}
  27 |    if  (cupc == 0000000)              {goto NOFIX}
  28 |    if  ((cmdreg1b[15:13] != 000) &&
  29 |         (cmdreg1b[15:10] != 010001))  {goto NOFIX}
  30 |    if (((cmdreg1b[15:13] != 000) || ((cmdreg1b[12:10] != cmdreg2b[9:7]) &&
  31 |                                     (cmdreg1b[12:10] != cmdreg3b[9:7]))  ) &&
  32 |        ((cmdreg1b[ 9: 7] != cmdreg2b[9:7]) &&
  33 |         (cmdreg1b[ 9: 7] != cmdreg3b[9:7])) )  {goto NOFIX}
  34 |
  35 |    /* Note: for 6d43b or 8d43b, you may want to add the following code
  36 |     * to get better coverage.  (If you do not insert this code, the part
  37 |     * won't lock up; it will simply get the wrong answer.)
  38 |     * Do NOT insert this code for 10d43b or later parts.
  39 |     *
  40 |     *  if (fpiarcu == integer stack return address) {
  41 |     *       cupc = 0000000;
  42 |     *       goto NOFIX;
  43 |     *       }
  44 |     */
  45 |
  46 |    if (cmdreg1b[15:13] != 000)   {goto FIX_OPCLASS2}
  47 |    FIX_OPCLASS0:
  48 |    if (((cmdreg1b[12:10] == cmdreg2b[9:7]) ||
  49 |        (cmdreg1b[ 9: 7] == cmdreg2b[9:7])) &&
  50 |       (cmdreg1b[12:10] != cmdreg3b[9:7]) &&
  51 |       (cmdreg1b[ 9: 7] != cmdreg3b[9:7]))  {  /* xu conflict only */
  52 |       /* We execute the following code if there is an
  53 |          xu conflict and NOT an nu conflict */
  54 |
  55 |       /* first save some values on the fsave frame */
  56 |       stag_temp     = STAG[fsave_frame];
  57 |       cmdreg1b_temp = CMDREG1B[fsave_frame];
  58 |       dtag_temp     = DTAG[fsave_frame];
  59 |       ete15_temp    = ETE15[fsave_frame];
  60 |
  61 |       CUPC[fsave_frame] = 0000000;
  62 |       FRESTORE
  63 |       FSAVE
  64 |
  65 |       /* If the xu instruction is exceptional, we punt.
  66 |        * Otherwise, we would have to include OVFL/UNFL handler
  67 |        * code here to get the correct answer.
  68 |        */
  69 |       if (fsave_frame_format == $4060) {goto KILL_PROCESS}
  70 |
  71 |       fsave_frame = /* build a long frame of all zeros */
  72 |       fsave_frame_format = $4060;  /* label it as long frame */
  73 |
  74 |       /* load it with the temps we saved */
  75 |       STAG[fsave_frame]     =  stag_temp;
  76 |       CMDREG1B[fsave_frame] =  cmdreg1b_temp;
  77 |       DTAG[fsave_frame]     =  dtag_temp;
  78 |       ETE15[fsave_frame]    =  ete15_temp;
  79 |
  80 |       /* Make sure that the cmdreg3b dest reg is not going to
  81 |        * be destroyed by a FMOVEM at the end of all this code.
  82 |        * If it is, you should move the current value of the reg
  83 |        * onto the stack so that the reg will loaded with that value.
  84 |        */
  85 |
  86 |       /* All done.  Proceed with the code below */
  87 |    }
  88 |
  89 |    etemp  = FP_reg_[cmdreg1b[12:10]];
  90 |    ete15  = ~ete14;
  91 |    cmdreg1b[15:10] = 010010;
  92 |    clear(bug_flag_procIDxxxx);
  93 |    FRESTORE and return;
  94 |
  95 |
  96 |    FIX_OPCLASS2:
  97 |    if ((cmdreg1b[9:7] == cmdreg2b[9:7]) &&
  98 |       (cmdreg1b[9:7] != cmdreg3b[9:7]))  {  /* xu conflict only */
  99 |       /* We execute the following code if there is an
 100 |          xu conflict and NOT an nu conflict */
 101 |
 102 |       /* first save some values on the fsave frame */
 103 |       stag_temp     = STAG[fsave_frame];
 104 |       cmdreg1b_temp = CMDREG1B[fsave_frame];
 105 |       dtag_temp     = DTAG[fsave_frame];
 106 |       ete15_temp    = ETE15[fsave_frame];
 107 |       etemp_temp    = ETEMP[fsave_frame];
 108 |
 109 |       CUPC[fsave_frame] = 0000000;
 110 |       FRESTORE
 111 |       FSAVE
 112 |
 113 |
 114 |       /* If the xu instruction is exceptional, we punt.
 115 |        * Otherwise, we would have to include OVFL/UNFL handler
 116 |        * code here to get the correct answer.
 117 |        */
 118 |       if (fsave_frame_format == $4060) {goto KILL_PROCESS}
 119 |
 120 |       fsave_frame = /* build a long frame of all zeros */
 121 |       fsave_frame_format = $4060;  /* label it as long frame */
 122 |
 123 |       /* load it with the temps we saved */
 124 |       STAG[fsave_frame]     =  stag_temp;
 125 |       CMDREG1B[fsave_frame] =  cmdreg1b_temp;
 126 |       DTAG[fsave_frame]     =  dtag_temp;
 127 |       ETE15[fsave_frame]    =  ete15_temp;
 128 |       ETEMP[fsave_frame]    =  etemp_temp;
 129 |
 130 |       /* Make sure that the cmdreg3b dest reg is not going to
 131 |        * be destroyed by a FMOVEM at the end of all this code.
 132 |        * If it is, you should move the current value of the reg
 133 |        * onto the stack so that the reg will loaded with that value.
 134 |        */
 135 |
 136 |       /* All done.  Proceed with the code below */
 137 |    }
 138 |
 139 |    if (etemp_exponent == min_sgl)   etemp_exponent = min_dbl;
 140 |    if (etemp_exponent == max_sgl)   etemp_exponent = max_dbl;
 141 |    cmdreg1b[15:10] = 010101;
 142 |    clear(bug_flag_procIDxxxx);
 143 |    FRESTORE and return;
 144 |
 145 |
 146 |    NOFIX:
 147 |    clear(bug_flag_procIDxxxx);
 148 |    FRESTORE and return;
 149 |
 150
 151
 152 |               Copyright (C) Motorola, Inc. 1990
 153 |                       All Rights Reserved
 154 |
 155 |       For details on the license for this file, please see the
 156 |       file, README, in this same directory.
 157
 158 |BUGFIX    idnt    2,1 | Motorola 040 Floating Point Software Package
 159
 160         |section        8
 161
 162 #include "fpsp.h"
 163
 164         |xref   fpsp_fmt_error
 165
 166         .global b1238_fix
 167 b1238_fix:
 168 |
 169 | This code is entered only on completion of the handling of an
 170 | nu-generated ovfl, unfl, or inex exception.  If the version
 171 | number of the fsave is not $40, this handler is not necessary.
 172 | Simply branch to fix_done and exit normally.
 173 |
 174         cmpib   #VER_40,4(%a7)
 175         bne     fix_done
 176 |
 177 | Test for cu_savepc equal to zero.  If not, this is not a bug
 178 | #1238 case.
 179 |
 180         moveb   CU_SAVEPC(%a6),%d0
 181         andib   #0xFE,%d0
 182         beq     fix_done        |if zero, this is not bug #1238
 183
 184 |
 185 | Test the register conflict aspect.  If opclass0, check for
 186 | cu src equal to xu dest or equal to nu dest.  If so, go to
 187 | op0.  Else, or if opclass2, check for cu dest equal to
 188 | xu dest or equal to nu dest.  If so, go to tst_opcl.  Else,
 189 | exit, it is not the bug case.
 190 |
 191 | Check for opclass 0.  If not, go and check for opclass 2 and sgl.
 192 |
 193         movew   CMDREG1B(%a6),%d0
 194         andiw   #0xE000,%d0             |strip all but opclass
 195         bne     op2sgl                  |not opclass 0, check op2
 196 |
 197 | Check for cu and nu register conflict.  If one exists, this takes
 198 | priority over a cu and xu conflict.
 199 |
 200         bfextu  CMDREG1B(%a6){#3:#3},%d0        |get 1st src
 201         bfextu  CMDREG3B(%a6){#6:#3},%d1        |get 3rd dest
 202         cmpb    %d0,%d1
 203         beqs    op0                     |if equal, continue bugfix
 204 |
 205 | Check for cu dest equal to nu dest.  If so, go and fix the
 206 | bug condition.  Otherwise, exit.
 207 |
 208         bfextu  CMDREG1B(%a6){#6:#3},%d0        |get 1st dest
 209         cmpb    %d0,%d1                 |cmp 1st dest with 3rd dest
 210         beqs    op0                     |if equal, continue bugfix
 211 |
 212 | Check for cu and xu register conflict.
 213 |
 214         bfextu  CMDREG2B(%a6){#6:#3},%d1        |get 2nd dest
 215         cmpb    %d0,%d1                 |cmp 1st dest with 2nd dest
 216         beqs    op0_xu                  |if equal, continue bugfix
 217         bfextu  CMDREG1B(%a6){#3:#3},%d0        |get 1st src
 218         cmpb    %d0,%d1                 |cmp 1st src with 2nd dest
 219         beq     op0_xu
 220         bne     fix_done                |if the reg checks fail, exit
 221 |
 222 | We have the opclass 0 situation.
 223 |
 224 op0:
 225         bfextu  CMDREG1B(%a6){#3:#3},%d0        |get source register no
 226         movel   #7,%d1
 227         subl    %d0,%d1
 228         clrl    %d0
 229         bsetl   %d1,%d0
 230         fmovemx %d0,ETEMP(%a6)          |load source to ETEMP
 231
 232         moveb   #0x12,%d0
 233         bfins   %d0,CMDREG1B(%a6){#0:#6}        |opclass 2, extended
 234 |
 235 |       Set ETEMP exponent bit 15 as the opposite of ete14
 236 |
 237         btst    #6,ETEMP_EX(%a6)                |check etemp exponent bit 14
 238         beq     setete15
 239         bclr    #etemp15_bit,STAG(%a6)
 240         bra     finish
 241 setete15:
 242         bset    #etemp15_bit,STAG(%a6)
 243         bra     finish
 244
 245 |
 246 | We have the case in which a conflict exists between the cu src or
 247 | dest and the dest of the xu.  We must clear the instruction in
 248 | the cu and restore the state, allowing the instruction in the
 249 | xu to complete.  Remember, the instruction in the nu
 250 | was exceptional, and was completed by the appropriate handler.
 251 | If the result of the xu instruction is not exceptional, we can
 252 | restore the instruction from the cu to the frame and continue
 253 | processing the original exception.  If the result is also
 254 | exceptional, we choose to kill the process.
 255 |
 256 |       Items saved from the stack:
 257 |
 258 |               $3c stag     - L_SCR1
 259 |               $40 cmdreg1b - L_SCR2
 260 |               $44 dtag     - L_SCR3
 261 |
 262 | The cu savepc is set to zero, and the frame is restored to the
 263 | fpu.
 264 |
 265 op0_xu:
 266         movel   STAG(%a6),L_SCR1(%a6)
 267         movel   CMDREG1B(%a6),L_SCR2(%a6)
 268         movel   DTAG(%a6),L_SCR3(%a6)
 269         andil   #0xe0000000,L_SCR3(%a6)
 270         moveb   #0,CU_SAVEPC(%a6)
 271         movel   (%a7)+,%d1              |save return address from bsr
 272         frestore (%a7)+
 273         fsave   -(%a7)
 274 |
 275 | Check if the instruction which just completed was exceptional.
 276 |
 277         cmpw    #0x4060,(%a7)
 278         beq     op0_xb
 279 |
 280 | It is necessary to isolate the result of the instruction in the
 281 | xu if it is to fp0 - fp3 and write that value to the USER_FPn
 282 | locations on the stack.  The correct destination register is in
 283 | cmdreg2b.
 284 |
 285         bfextu  CMDREG2B(%a6){#6:#3},%d0        |get dest register no
 286         cmpil   #3,%d0
 287         bgts    op0_xi
 288         beqs    op0_fp3
 289         cmpil   #1,%d0
 290         blts    op0_fp0
 291         beqs    op0_fp1
 292 op0_fp2:
 293         fmovemx %fp2-%fp2,USER_FP2(%a6)
 294         bras    op0_xi
 295 op0_fp1:
 296         fmovemx %fp1-%fp1,USER_FP1(%a6)
 297         bras    op0_xi
 298 op0_fp0:
 299         fmovemx %fp0-%fp0,USER_FP0(%a6)
 300         bras    op0_xi
 301 op0_fp3:
 302         fmovemx %fp3-%fp3,USER_FP3(%a6)
 303 |
 304 | The frame returned is idle.  We must build a busy frame to hold
 305 | the cu state information and setup etemp.
 306 |
 307 op0_xi:
 308         movel   #22,%d0         |clear 23 lwords
 309         clrl    (%a7)
 310 op0_loop:
 311         clrl    -(%a7)
 312         dbf     %d0,op0_loop
 313         movel   #0x40600000,-(%a7)
 314         movel   L_SCR1(%a6),STAG(%a6)
 315         movel   L_SCR2(%a6),CMDREG1B(%a6)
 316         movel   L_SCR3(%a6),DTAG(%a6)
 317         moveb   #0x6,CU_SAVEPC(%a6)
 318         movel   %d1,-(%a7)              |return bsr return address
 319         bfextu  CMDREG1B(%a6){#3:#3},%d0        |get source register no
 320         movel   #7,%d1
 321         subl    %d0,%d1
 322         clrl    %d0
 323         bsetl   %d1,%d0
 324         fmovemx %d0,ETEMP(%a6)          |load source to ETEMP
 325
 326         moveb   #0x12,%d0
 327         bfins   %d0,CMDREG1B(%a6){#0:#6}        |opclass 2, extended
 328 |
 329 |       Set ETEMP exponent bit 15 as the opposite of ete14
 330 |
 331         btst    #6,ETEMP_EX(%a6)                |check etemp exponent bit 14
 332         beq     op0_sete15
 333         bclr    #etemp15_bit,STAG(%a6)
 334         bra     finish
 335 op0_sete15:
 336         bset    #etemp15_bit,STAG(%a6)
 337         bra     finish
 338
 339 |
 340 | The frame returned is busy.  It is not possible to reconstruct
 341 | the code sequence to allow completion.  We will jump to
 342 | fpsp_fmt_error and allow the kernel to kill the process.
 343 |
 344 op0_xb:
 345         jmp     fpsp_fmt_error
 346
 347 |
 348 | Check for opclass 2 and single size.  If not both, exit.
 349 |
 350 op2sgl:
 351         movew   CMDREG1B(%a6),%d0
 352         andiw   #0xFC00,%d0             |strip all but opclass and size
 353         cmpiw   #0x4400,%d0             |test for opclass 2 and size=sgl
 354         bne     fix_done                |if not, it is not bug 1238
 355 |
 356 | Check for cu dest equal to nu dest or equal to xu dest, with
 357 | a cu and nu conflict taking priority an nu conflict.  If either,
 358 | go and fix the bug condition.  Otherwise, exit.
 359 |
 360         bfextu  CMDREG1B(%a6){#6:#3},%d0        |get 1st dest
 361         bfextu  CMDREG3B(%a6){#6:#3},%d1        |get 3rd dest
 362         cmpb    %d0,%d1                 |cmp 1st dest with 3rd dest
 363         beq     op2_com                 |if equal, continue bugfix
 364         bfextu  CMDREG2B(%a6){#6:#3},%d1        |get 2nd dest
 365         cmpb    %d0,%d1                 |cmp 1st dest with 2nd dest
 366         bne     fix_done                |if the reg checks fail, exit
 367 |
 368 | We have the case in which a conflict exists between the cu src or
 369 | dest and the dest of the xu.  We must clear the instruction in
 370 | the cu and restore the state, allowing the instruction in the
 371 | xu to complete.  Remember, the instruction in the nu
 372 | was exceptional, and was completed by the appropriate handler.
 373 | If the result of the xu instruction is not exceptional, we can
 374 | restore the instruction from the cu to the frame and continue
 375 | processing the original exception.  If the result is also
 376 | exceptional, we choose to kill the process.
 377 |
 378 |       Items saved from the stack:
 379 |
 380 |               $3c stag     - L_SCR1
 381 |               $40 cmdreg1b - L_SCR2
 382 |               $44 dtag     - L_SCR3
 383 |               etemp        - FP_SCR2
 384 |
 385 | The cu savepc is set to zero, and the frame is restored to the
 386 | fpu.
 387 |
 388 op2_xu:
 389         movel   STAG(%a6),L_SCR1(%a6)
 390         movel   CMDREG1B(%a6),L_SCR2(%a6)
 391         movel   DTAG(%a6),L_SCR3(%a6)
 392         andil   #0xe0000000,L_SCR3(%a6)
 393         moveb   #0,CU_SAVEPC(%a6)
 394         movel   ETEMP(%a6),FP_SCR2(%a6)
 395         movel   ETEMP_HI(%a6),FP_SCR2+4(%a6)
 396         movel   ETEMP_LO(%a6),FP_SCR2+8(%a6)
 397         movel   (%a7)+,%d1              |save return address from bsr
 398         frestore (%a7)+
 399         fsave   -(%a7)
 400 |
 401 | Check if the instruction which just completed was exceptional.
 402 |
 403         cmpw    #0x4060,(%a7)
 404         beq     op2_xb
 405 |
 406 | It is necessary to isolate the result of the instruction in the
 407 | xu if it is to fp0 - fp3 and write that value to the USER_FPn
 408 | locations on the stack.  The correct destination register is in
 409 | cmdreg2b.
 410 |
 411         bfextu  CMDREG2B(%a6){#6:#3},%d0        |get dest register no
 412         cmpil   #3,%d0
 413         bgts    op2_xi
 414         beqs    op2_fp3
 415         cmpil   #1,%d0
 416         blts    op2_fp0
 417         beqs    op2_fp1
 418 op2_fp2:
 419         fmovemx %fp2-%fp2,USER_FP2(%a6)
 420         bras    op2_xi
 421 op2_fp1:
 422         fmovemx %fp1-%fp1,USER_FP1(%a6)
 423         bras    op2_xi
 424 op2_fp0:
 425         fmovemx %fp0-%fp0,USER_FP0(%a6)
 426         bras    op2_xi
 427 op2_fp3:
 428         fmovemx %fp3-%fp3,USER_FP3(%a6)
 429 |
 430 | The frame returned is idle.  We must build a busy frame to hold
 431 | the cu state information and fix up etemp.
 432 |
 433 op2_xi:
 434         movel   #22,%d0         |clear 23 lwords
 435         clrl    (%a7)
 436 op2_loop:
 437         clrl    -(%a7)
 438         dbf     %d0,op2_loop
 439         movel   #0x40600000,-(%a7)
 440         movel   L_SCR1(%a6),STAG(%a6)
 441         movel   L_SCR2(%a6),CMDREG1B(%a6)
 442         movel   L_SCR3(%a6),DTAG(%a6)
 443         moveb   #0x6,CU_SAVEPC(%a6)
 444         movel   FP_SCR2(%a6),ETEMP(%a6)
 445         movel   FP_SCR2+4(%a6),ETEMP_HI(%a6)
 446         movel   FP_SCR2+8(%a6),ETEMP_LO(%a6)
 447         movel   %d1,-(%a7)
 448         bra     op2_com
 449
 450 |
 451 | We have the opclass 2 single source situation.
 452 |
 453 op2_com:
 454         moveb   #0x15,%d0
 455         bfins   %d0,CMDREG1B(%a6){#0:#6}        |opclass 2, double
 456
 457         cmpw    #0x407F,ETEMP_EX(%a6)   |single +max
 458         bnes    case2
 459         movew   #0x43FF,ETEMP_EX(%a6)   |to double +max
 460         bra     finish
 461 case2:
 462         cmpw    #0xC07F,ETEMP_EX(%a6)   |single -max
 463         bnes    case3
 464         movew   #0xC3FF,ETEMP_EX(%a6)   |to double -max
 465         bra     finish
 466 case3:
 467         cmpw    #0x3F80,ETEMP_EX(%a6)   |single +min
 468         bnes    case4
 469         movew   #0x3C00,ETEMP_EX(%a6)   |to double +min
 470         bra     finish
 471 case4:
 472         cmpw    #0xBF80,ETEMP_EX(%a6)   |single -min
 473         bne     fix_done
 474         movew   #0xBC00,ETEMP_EX(%a6)   |to double -min
 475         bra     finish
 476 |
 477 | The frame returned is busy.  It is not possible to reconstruct
 478 | the code sequence to allow completion.  fpsp_fmt_error causes
 479 | an fline illegal instruction to be executed.
 480 |
 481 | You should replace the jump to fpsp_fmt_error with a jump
 482 | to the entry point used to kill a process.
 483 |
 484 op2_xb:
 485         jmp     fpsp_fmt_error
 486
 487 |
 488 | Enter here if the case is not of the situations affected by
 489 | bug #1238, or if the fix is completed, and exit.
 490 |
 491 finish:
 492 fix_done:
 493         rts
 494
 495         |end