URL https://opencores.org/ocsvn/or1k_soc_on_altera_embedded_dev_kit/or1k_soc_on_altera_embedded_dev_kit/trunk

Subversion Repositories or1k_soc_on_altera_embedded_dev_kit

[/] [or1k_soc_on_altera_embedded_dev_kit/] [trunk/] [linux-2.6/] [linux-2.6.24/] [arch/] [m68k/] [fpsp040/] [sacos.S] - Blame information for rev 3

Details | Compare with Previous | View Log


|
|       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
|
|       For details on the license for this file, please see the
|       file, README, in this same directory.
 
|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

Line No.	Rev	Author	Line
1	3	xianfeng	`\|`
2			`\| sacos.sa 3.3 12/19/90`
3			`\|`
4			`\| Description: The entry point sAcos computes the inverse cosine of`
5			`\| an input argument; sAcosd does the same except for denormalized`
6			`\| input.`
7			`\|`
8			`\| Input: Double-extended number X in location pointed to`
9			`\| by address register a0.`
10			`\|`
11			`\| Output: The value arccos(X) returned in floating-point register Fp0.`
12			`\|`
13			`\| Accuracy and Monotonicity: The returned result is within 3 ulps in`
14			`\| 64 significant bit, i.e. within 0.5001 ulp to 53 bits if the`
15			`\| result is subsequently rounded to double precision. The`
16			`\| result is provably monotonic in double precision.`
17			`\|`
18			`\| Speed: The program sCOS takes approximately 310 cycles.`
19			`\|`
20			`\| Algorithm:`
21			`\|`
22			`\| ACOS`
23			`\| 1. If \|X\| >= 1, go to 3.`
24			`\|`
25			`\| 2. (\|X\| < 1) Calculate acos(X) by`
26			`\| z := (1-X) / (1+X)`
27			`\| acos(X) = 2 * atan( sqrt(z) ).`
28			`\| Exit.`
29			`\|`
30			`\| 3. If \|X\| > 1, go to 5.`
31			`\|`
32			`\| 4. (\|X\| = 1) If X > 0, return 0. Otherwise, return Pi. Exit.`
33			`\|`
34			`\| 5. (\|X\| > 1) Generate an invalid operation by 0 * infinity.`
35			`\| Exit.`
36			`\|`
37
38			`\| Copyright (C) Motorola, Inc. 1990`
39			`\| All Rights Reserved`
40			`\|`
41			`\| For details on the license for this file, please see the`
42			`\| file, README, in this same directory.`
43
44			`\|SACOS idnt 2,1 \| Motorola 040 Floating Point Software Package`
45
46			`\|section 8`
47
48			`PI: .long 0x40000000,0xC90FDAA2,0x2168C235,0x00000000`
49			`PIBY2: .long 0x3FFF0000,0xC90FDAA2,0x2168C235,0x00000000`
50
51			`\|xref t_operr`
52			`\|xref t_frcinx`
53			`\|xref satan`
54
55			`.global sacosd`
56			`sacosd:`
57			`\|--ACOS(X) = PI/2 FOR DENORMALIZED X`
58			`fmovel %d1,%fpcr \| ...load user's rounding mode/precision`
59			`fmovex PIBY2,%fp0`
60			`bra t_frcinx`
61
62			`.global sacos`
63			`sacos:`
64			`fmovex (%a0),%fp0 \| ...LOAD INPUT`
65
66			`movel (%a0),%d0 \| ...pack exponent with upper 16 fraction`
67			`movew 4(%a0),%d0`
68			`andil #0x7FFFFFFF,%d0`
69			`cmpil #0x3FFF8000,%d0`
70			`bges ACOSBIG`
71
72			`\|--THIS IS THE USUAL CASE, \|X\| < 1`
73			`\|--ACOS(X) = 2 * ATAN( SQRT( (1-X)/(1+X) ) )`
74
75			`fmoves #0x3F800000,%fp1`
76			`faddx %fp0,%fp1 \| ...1+X`
77			`fnegx %fp0 \| ... -X`
78			`fadds #0x3F800000,%fp0 \| ...1-X`
79			`fdivx %fp1,%fp0 \| ...(1-X)/(1+X)`
80			`fsqrtx %fp0 \| ...SQRT((1-X)/(1+X))`
81			`fmovemx %fp0-%fp0,(%a0) \| ...overwrite input`
82			`movel %d1,-(%sp) \|save original users fpcr`
83			`clrl %d1`
84			`bsr satan \| ...ATAN(SQRT([1-X]/[1+X]))`
85			`fmovel (%sp)+,%fpcr \|restore users exceptions`
86			`faddx %fp0,%fp0 \| ...2 * ATAN( STUFF )`
87			`bra t_frcinx`
88
89			`ACOSBIG:`
90			`fabsx %fp0`
91			`fcmps #0x3F800000,%fp0`
92			`fbgt t_operr \|cause an operr exception`
93
94			`\|--\|X\| = 1, ACOS(X) = 0 OR PI`
95			`movel (%a0),%d0 \| ...pack exponent with upper 16 fraction`
96			`movew 4(%a0),%d0`
97			`cmpl #0,%d0 \|D0 has original exponent+fraction`
98			`bgts ACOSP1`
99
100			`\|--X = -1`
101			`\|Returns PI and inexact exception`
102			`fmovex PI,%fp0`
103			`fmovel %d1,%FPCR`
104			`fadds #0x00800000,%fp0 \|cause an inexact exception to be put`
105			`\| ;into the 040 - will not trap until next`
106			`\| ;fp inst.`
107			`bra t_frcinx`
108
109			`ACOSP1:`
110			`fmovel %d1,%FPCR`
111			`fmoves #0x00000000,%fp0`
112			`rts \|Facos ; of +1 is exact`
113
114			`\|end`

Browse

Tools

Subversion Repositories or1k_soc_on_altera_embedded_dev_kit

[/] [or1k_soc_on_altera_embedded_dev_kit/] [trunk/] [linux-2.6/] [linux-2.6.24/] [arch/] [m68k/] [fpsp040/] [sacos.S] - Blame information for rev 3