Subversion Repositories or1k

//
//      $Id: sacos.S,v 1.2 2001-09-27 12:01:22 chris Exp $
//
//      sacos.sa 3.3 12/19/90
//
//      Description: The entry point sAcos computes the inverse cosine of
//              an input argument; sAcosd does the same except for denormalized
//              input.
//
//      Input: Double-extended number X in location pointed to
//              by address register a0.
//
//      Output: The value arccos(X) returned in floating-point register Fp0.
//
//      Accuracy and Monotonicity: The returned result is within 3 ulps in
//              64 significant bit, i.e. within 0.5001 ulp to 53 bits if the
//              result is subsequently rounded to double precision. The 
//              result is provably monotonic in double precision.
//
//      Speed: The program sCOS takes approximately 310 cycles.
//
//      Algorithm:
//
//      ACOS
//      1. If |X| >= 1, go to 3.
//
//      2. (|X| < 1) Calculate acos(X) by
//              z := (1-X) / (1+X)
//              acos(X) = 2 * atan( sqrt(z) ).
//              Exit.
//
//      3. If |X| > 1, go to 5.
//
//      4. (|X| = 1) If X > 0, return 0. Otherwise, return Pi. Exit.
//
//      5. (|X| > 1) Generate an invalid operation by 0 * infinity.
//              Exit.
//

//              Copyright (C) Motorola, Inc. 1990
//                      All Rights Reserved
//
//      THIS IS UNPUBLISHED PROPRIETARY SOURCE CODE OF MOTOROLA 
//      The copyright notice above does not evidence any  
//      actual or intended publication of such source code.

//SACOS idnt    2,1 | Motorola 040 Floating Point Software Package

        |section        8

PI:     .long 0x40000000,0xC90FDAA2,0x2168C235,0x00000000
PIBY2:  .long 0x3FFF0000,0xC90FDAA2,0x2168C235,0x00000000

        |xref   t_operr
        |xref   t_frcinx
        |xref   satan

        .global sacosd
sacosd:
//--ACOS(X) = PI/2 FOR DENORMALIZED X
        fmovel          %d1,%fpcr               // ...load user's rounding mode/precision
        fmovex          PIBY2,%fp0
        bra             t_frcinx

        .global sacos
sacos:
        fmovex          (%a0),%fp0      // ...LOAD INPUT

        movel           (%a0),%d0               // ...pack exponent with upper 16 fraction
        movew           4(%a0),%d0
        andil           #0x7FFFFFFF,%d0
        cmpil           #0x3FFF8000,%d0
        bges            ACOSBIG

//--THIS IS THE USUAL CASE, |X| < 1
//--ACOS(X) = 2 * ATAN( SQRT( (1-X)/(1+X) )     )

        fmoves          #0x3F800000,%fp1
        faddx           %fp0,%fp1               // ...1+X
        fnegx           %fp0            // ... -X
        fadds           #0x3F800000,%fp0        // ...1-X
        fdivx           %fp1,%fp0               // ...(1-X)/(1+X)
        fsqrtx          %fp0            // ...SQRT((1-X)/(1+X))
        fmovemx %fp0-%fp0,(%a0) // ...overwrite input
        movel           %d1,-(%sp)      //save original users fpcr
        clrl            %d1
        bsr             satan           // ...ATAN(SQRT([1-X]/[1+X]))
        fmovel          (%sp)+,%fpcr    //restore users exceptions
        faddx           %fp0,%fp0               // ...2 * ATAN( STUFF )
        bra             t_frcinx

ACOSBIG:
        fabsx           %fp0
        fcmps           #0x3F800000,%fp0
        fbgt            t_operr         //cause an operr exception

//--|X| = 1, ACOS(X) = 0 OR PI
        movel           (%a0),%d0               // ...pack exponent with upper 16 fraction
        movew           4(%a0),%d0
        cmpl            #0,%d0          //D0 has original exponent+fraction
        bgts            ACOSP1

//--X = -1
//Returns PI and inexact exception
        fmovex          PI,%fp0
        fmovel          %d1,%FPCR
        fadds           #0x00800000,%fp0        //cause an inexact exception to be put
//                                      ;into the 040 - will not trap until next
//                                      ;fp inst.
        bra             t_frcinx

ACOSP1:
        fmovel          %d1,%FPCR
        fmoves          #0x00000000,%fp0
        rts                             //Facos ; of +1 is exact        

        |end