ssin.S
上传用户:lgb322
上传日期:2013-02-24
资源大小:30529k
文件大小:19k
源码类别:

嵌入式Linux

开发平台:

Unix_Linux

  1. |
  2. | ssin.sa 3.3 7/29/91
  3. |
  4. | The entry point sSIN computes the sine of an input argument
  5. | sCOS computes the cosine, and sSINCOS computes both. The
  6. | corresponding entry points with a "d" computes the same
  7. | corresponding function values for denormalized inputs.
  8. |
  9. | Input: Double-extended number X in location pointed to
  10. | by address register a0.
  11. |
  12. | Output: The function value sin(X) or cos(X) returned in Fp0 if SIN or
  13. | COS is requested. Otherwise, for SINCOS, sin(X) is returned
  14. | in Fp0, and cos(X) is returned in Fp1.
  15. |
  16. | Modifies: Fp0 for SIN or COS; both Fp0 and Fp1 for SINCOS.
  17. |
  18. | Accuracy and Monotonicity: The returned result is within 1 ulp in
  19. | 64 significant bit, i.e. within 0.5001 ulp to 53 bits if the
  20. | result is subsequently rounded to double precision. The
  21. | result is provably monotonic in double precision.
  22. |
  23. | Speed: The programs sSIN and sCOS take approximately 150 cycles for
  24. | input argument X such that |X| < 15Pi, which is the usual
  25. | situation. The speed for sSINCOS is approximately 190 cycles.
  26. |
  27. | Algorithm:
  28. |
  29. | SIN and COS:
  30. | 1. If SIN is invoked, set AdjN := 0; otherwise, set AdjN := 1.
  31. |
  32. | 2. If |X| >= 15Pi or |X| < 2**(-40), go to 7.
  33. |
  34. | 3. Decompose X as X = N(Pi/2) + r where |r| <= Pi/4. Let
  35. | k = N mod 4, so in particular, k = 0,1,2,or 3. Overwrite
  36. | k by k := k + AdjN.
  37. |
  38. | 4. If k is even, go to 6.
  39. |
  40. | 5. (k is odd) Set j := (k-1)/2, sgn := (-1)**j. Return sgn*cos(r)
  41. | where cos(r) is approximated by an even polynomial in r,
  42. | 1 + r*r*(B1+s*(B2+ ... + s*B8)), s = r*r.
  43. | Exit.
  44. |
  45. | 6. (k is even) Set j := k/2, sgn := (-1)**j. Return sgn*sin(r)
  46. | where sin(r) is approximated by an odd polynomial in r
  47. | r + r*s*(A1+s*(A2+ ... + s*A7)), s = r*r.
  48. | Exit.
  49. |
  50. | 7. If |X| > 1, go to 9.
  51. |
  52. | 8. (|X|<2**(-40)) If SIN is invoked, return X; otherwise return 1.
  53. |
  54. | 9. Overwrite X by X := X rem 2Pi. Now that |X| <= Pi, go back to 3.
  55. |
  56. | SINCOS:
  57. | 1. If |X| >= 15Pi or |X| < 2**(-40), go to 6.
  58. |
  59. | 2. Decompose X as X = N(Pi/2) + r where |r| <= Pi/4. Let
  60. | k = N mod 4, so in particular, k = 0,1,2,or 3.
  61. |
  62. | 3. If k is even, go to 5.
  63. |
  64. | 4. (k is odd) Set j1 := (k-1)/2, j2 := j1 (EOR) (k mod 2), i.e.
  65. | j1 exclusive or with the l.s.b. of k.
  66. | sgn1 := (-1)**j1, sgn2 := (-1)**j2.
  67. | SIN(X) = sgn1 * cos(r) and COS(X) = sgn2*sin(r) where
  68. | sin(r) and cos(r) are computed as odd and even polynomials
  69. | in r, respectively. Exit
  70. |
  71. | 5. (k is even) Set j1 := k/2, sgn1 := (-1)**j1.
  72. | SIN(X) = sgn1 * sin(r) and COS(X) = sgn1*cos(r) where
  73. | sin(r) and cos(r) are computed as odd and even polynomials
  74. | in r, respectively. Exit
  75. |
  76. | 6. If |X| > 1, go to 8.
  77. |
  78. | 7. (|X|<2**(-40)) SIN(X) = X and COS(X) = 1. Exit.
  79. |
  80. | 8. Overwrite X by X := X rem 2Pi. Now that |X| <= Pi, go back to 2.
  81. |
  82. | Copyright (C) Motorola, Inc. 1990
  83. | All Rights Reserved
  84. |
  85. | THIS IS UNPUBLISHED PROPRIETARY SOURCE CODE OF MOTOROLA 
  86. | The copyright notice above does not evidence any  
  87. | actual or intended publication of such source code.
  88. |SSIN idnt 2,1 | Motorola 040 Floating Point Software Package
  89. |section 8
  90. .include "fpsp.h"
  91. BOUNDS1: .long 0x3FD78000,0x4004BC7E
  92. TWOBYPI: .long 0x3FE45F30,0x6DC9C883
  93. SINA7: .long 0xBD6AAA77,0xCCC994F5
  94. SINA6: .long 0x3DE61209,0x7AAE8DA1
  95. SINA5: .long 0xBE5AE645,0x2A118AE4
  96. SINA4: .long 0x3EC71DE3,0xA5341531
  97. SINA3: .long 0xBF2A01A0,0x1A018B59,0x00000000,0x00000000
  98. SINA2: .long 0x3FF80000,0x88888888,0x888859AF,0x00000000
  99. SINA1: .long 0xBFFC0000,0xAAAAAAAA,0xAAAAAA99,0x00000000
  100. COSB8: .long 0x3D2AC4D0,0xD6011EE3
  101. COSB7: .long 0xBDA9396F,0x9F45AC19
  102. COSB6: .long 0x3E21EED9,0x0612C972
  103. COSB5: .long 0xBE927E4F,0xB79D9FCF
  104. COSB4: .long 0x3EFA01A0,0x1A01D423,0x00000000,0x00000000
  105. COSB3: .long 0xBFF50000,0xB60B60B6,0x0B61D438,0x00000000
  106. COSB2: .long 0x3FFA0000,0xAAAAAAAA,0xAAAAAB5E
  107. COSB1: .long 0xBF000000
  108. INVTWOPI: .long 0x3FFC0000,0xA2F9836E,0x4E44152A
  109. TWOPI1: .long 0x40010000,0xC90FDAA2,0x00000000,0x00000000
  110. TWOPI2: .long 0x3FDF0000,0x85A308D4,0x00000000,0x00000000
  111. |xref PITBL
  112. .set INARG,FP_SCR4
  113. .set X,FP_SCR5
  114. .set XDCARE,X+2
  115. .set XFRAC,X+4
  116. .set RPRIME,FP_SCR1
  117. .set SPRIME,FP_SCR2
  118. .set POSNEG1,L_SCR1
  119. .set TWOTO63,L_SCR1
  120. .set ENDFLAG,L_SCR2
  121. .set N,L_SCR2
  122. .set ADJN,L_SCR3
  123. | xref t_frcinx
  124. |xref t_extdnrm
  125. |xref sto_cos
  126. .global ssind
  127. ssind:
  128. |--SIN(X) = X FOR DENORMALIZED X
  129. bra t_extdnrm
  130. .global scosd
  131. scosd:
  132. |--COS(X) = 1 FOR DENORMALIZED X
  133. fmoves #0x3F800000,%fp0
  134. |
  135. | 9D25B Fix: Sometimes the previous fmove.s sets fpsr bits
  136. |
  137. fmovel #0,%fpsr
  138. |
  139. bra t_frcinx
  140. .global ssin
  141. ssin:
  142. |--SET ADJN TO 0
  143. movel #0,ADJN(%a6)
  144. bras SINBGN
  145. .global scos
  146. scos:
  147. |--SET ADJN TO 1
  148. movel #1,ADJN(%a6)
  149. SINBGN:
  150. |--SAVE FPCR, FP1. CHECK IF |X| IS TOO SMALL OR LARGE
  151. fmovex (%a0),%fp0 | ...LOAD INPUT
  152. movel (%a0),%d0
  153. movew 4(%a0),%d0
  154. fmovex %fp0,X(%a6)
  155. andil #0x7FFFFFFF,%d0 | ...COMPACTIFY X
  156. cmpil #0x3FD78000,%d0 | ...|X| >= 2**(-40)?
  157. bges SOK1
  158. bra SINSM
  159. SOK1:
  160. cmpil #0x4004BC7E,%d0 | ...|X| < 15 PI?
  161. blts SINMAIN
  162. bra REDUCEX
  163. SINMAIN:
  164. |--THIS IS THE USUAL CASE, |X| <= 15 PI.
  165. |--THE ARGUMENT REDUCTION IS DONE BY TABLE LOOK UP.
  166. fmovex %fp0,%fp1
  167. fmuld TWOBYPI,%fp1 | ...X*2/PI
  168. |--HIDE THE NEXT THREE INSTRUCTIONS
  169. lea PITBL+0x200,%a1 | ...TABLE OF N*PI/2, N = -32,...,32
  170. |--FP1 IS NOW READY
  171. fmovel %fp1,N(%a6) | ...CONVERT TO INTEGER
  172. movel N(%a6),%d0
  173. asll #4,%d0
  174. addal %d0,%a1 | ...A1 IS THE ADDRESS OF N*PIBY2
  175. | ...WHICH IS IN TWO PIECES Y1 & Y2
  176. fsubx (%a1)+,%fp0 | ...X-Y1
  177. |--HIDE THE NEXT ONE
  178. fsubs (%a1),%fp0 | ...FP0 IS R = (X-Y1)-Y2
  179. SINCONT:
  180. |--continuation from REDUCEX
  181. |--GET N+ADJN AND SEE IF SIN(R) OR COS(R) IS NEEDED
  182. movel N(%a6),%d0
  183. addl ADJN(%a6),%d0 | ...SEE IF D0 IS ODD OR EVEN
  184. rorl #1,%d0 | ...D0 WAS ODD IFF D0 IS NEGATIVE
  185. cmpil #0,%d0
  186. blt COSPOLY
  187. SINPOLY:
  188. |--LET J BE THE LEAST SIG. BIT OF D0, LET SGN := (-1)**J.
  189. |--THEN WE RETURN SGN*SIN(R). SGN*SIN(R) IS COMPUTED BY
  190. |--R' + R'*S*(A1 + S(A2 + S(A3 + S(A4 + ... + SA7)))), WHERE
  191. |--R' = SGN*R, S=R*R. THIS CAN BE REWRITTEN AS
  192. |--R' + R'*S*( [A1+T(A3+T(A5+TA7))] + [S(A2+T(A4+TA6))])
  193. |--WHERE T=S*S.
  194. |--NOTE THAT A3 THROUGH A7 ARE STORED IN DOUBLE PRECISION
  195. |--WHILE A1 AND A2 ARE IN DOUBLE-EXTENDED FORMAT.
  196. fmovex %fp0,X(%a6) | ...X IS R
  197. fmulx %fp0,%fp0 | ...FP0 IS S
  198. |---HIDE THE NEXT TWO WHILE WAITING FOR FP0
  199. fmoved SINA7,%fp3
  200. fmoved SINA6,%fp2
  201. |--FP0 IS NOW READY
  202. fmovex %fp0,%fp1
  203. fmulx %fp1,%fp1 | ...FP1 IS T
  204. |--HIDE THE NEXT TWO WHILE WAITING FOR FP1
  205. rorl #1,%d0
  206. andil #0x80000000,%d0
  207. | ...LEAST SIG. BIT OF D0 IN SIGN POSITION
  208. eorl %d0,X(%a6) | ...X IS NOW R'= SGN*R
  209. fmulx %fp1,%fp3 | ...TA7
  210. fmulx %fp1,%fp2 | ...TA6
  211. faddd SINA5,%fp3 | ...A5+TA7
  212. faddd SINA4,%fp2 | ...A4+TA6
  213. fmulx %fp1,%fp3 | ...T(A5+TA7)
  214. fmulx %fp1,%fp2 | ...T(A4+TA6)
  215. faddd SINA3,%fp3 | ...A3+T(A5+TA7)
  216. faddx SINA2,%fp2 | ...A2+T(A4+TA6)
  217. fmulx %fp3,%fp1 | ...T(A3+T(A5+TA7))
  218. fmulx %fp0,%fp2 | ...S(A2+T(A4+TA6))
  219. faddx SINA1,%fp1 | ...A1+T(A3+T(A5+TA7))
  220. fmulx X(%a6),%fp0 | ...R'*S
  221. faddx %fp2,%fp1 | ...[A1+T(A3+T(A5+TA7))]+[S(A2+T(A4+TA6))]
  222. |--FP3 RELEASED, RESTORE NOW AND TAKE SOME ADVANTAGE OF HIDING
  223. |--FP2 RELEASED, RESTORE NOW AND TAKE FULL ADVANTAGE OF HIDING
  224. fmulx %fp1,%fp0 | ...SIN(R')-R'
  225. |--FP1 RELEASED.
  226. fmovel %d1,%FPCR |restore users exceptions
  227. faddx X(%a6),%fp0 |last inst - possible exception set
  228. bra t_frcinx
  229. COSPOLY:
  230. |--LET J BE THE LEAST SIG. BIT OF D0, LET SGN := (-1)**J.
  231. |--THEN WE RETURN SGN*COS(R). SGN*COS(R) IS COMPUTED BY
  232. |--SGN + S'*(B1 + S(B2 + S(B3 + S(B4 + ... + SB8)))), WHERE
  233. |--S=R*R AND S'=SGN*S. THIS CAN BE REWRITTEN AS
  234. |--SGN + S'*([B1+T(B3+T(B5+TB7))] + [S(B2+T(B4+T(B6+TB8)))])
  235. |--WHERE T=S*S.
  236. |--NOTE THAT B4 THROUGH B8 ARE STORED IN DOUBLE PRECISION
  237. |--WHILE B2 AND B3 ARE IN DOUBLE-EXTENDED FORMAT, B1 IS -1/2
  238. |--AND IS THEREFORE STORED AS SINGLE PRECISION.
  239. fmulx %fp0,%fp0 | ...FP0 IS S
  240. |---HIDE THE NEXT TWO WHILE WAITING FOR FP0
  241. fmoved COSB8,%fp2
  242. fmoved COSB7,%fp3
  243. |--FP0 IS NOW READY
  244. fmovex %fp0,%fp1
  245. fmulx %fp1,%fp1 | ...FP1 IS T
  246. |--HIDE THE NEXT TWO WHILE WAITING FOR FP1
  247. fmovex %fp0,X(%a6) | ...X IS S
  248. rorl #1,%d0
  249. andil #0x80000000,%d0
  250. | ...LEAST SIG. BIT OF D0 IN SIGN POSITION
  251. fmulx %fp1,%fp2 | ...TB8
  252. |--HIDE THE NEXT TWO WHILE WAITING FOR THE XU
  253. eorl %d0,X(%a6) | ...X IS NOW S'= SGN*S
  254. andil #0x80000000,%d0
  255. fmulx %fp1,%fp3 | ...TB7
  256. |--HIDE THE NEXT TWO WHILE WAITING FOR THE XU
  257. oril #0x3F800000,%d0 | ...D0 IS SGN IN SINGLE
  258. movel %d0,POSNEG1(%a6)
  259. faddd COSB6,%fp2 | ...B6+TB8
  260. faddd COSB5,%fp3 | ...B5+TB7
  261. fmulx %fp1,%fp2 | ...T(B6+TB8)
  262. fmulx %fp1,%fp3 | ...T(B5+TB7)
  263. faddd COSB4,%fp2 | ...B4+T(B6+TB8)
  264. faddx COSB3,%fp3 | ...B3+T(B5+TB7)
  265. fmulx %fp1,%fp2 | ...T(B4+T(B6+TB8))
  266. fmulx %fp3,%fp1 | ...T(B3+T(B5+TB7))
  267. faddx COSB2,%fp2 | ...B2+T(B4+T(B6+TB8))
  268. fadds COSB1,%fp1 | ...B1+T(B3+T(B5+TB7))
  269. fmulx %fp2,%fp0 | ...S(B2+T(B4+T(B6+TB8)))
  270. |--FP3 RELEASED, RESTORE NOW AND TAKE SOME ADVANTAGE OF HIDING
  271. |--FP2 RELEASED.
  272. faddx %fp1,%fp0
  273. |--FP1 RELEASED
  274. fmulx X(%a6),%fp0
  275. fmovel %d1,%FPCR |restore users exceptions
  276. fadds POSNEG1(%a6),%fp0 |last inst - possible exception set
  277. bra t_frcinx
  278. SINBORS:
  279. |--IF |X| > 15PI, WE USE THE GENERAL ARGUMENT REDUCTION.
  280. |--IF |X| < 2**(-40), RETURN X OR 1.
  281. cmpil #0x3FFF8000,%d0
  282. bgts REDUCEX
  283.         
  284. SINSM:
  285. movel ADJN(%a6),%d0
  286. cmpil #0,%d0
  287. bgts COSTINY
  288. SINTINY:
  289. movew #0x0000,XDCARE(%a6) | ...JUST IN CASE
  290. fmovel %d1,%FPCR |restore users exceptions
  291. fmovex X(%a6),%fp0 |last inst - possible exception set
  292. bra t_frcinx
  293. COSTINY:
  294. fmoves #0x3F800000,%fp0
  295. fmovel %d1,%FPCR |restore users exceptions
  296. fsubs #0x00800000,%fp0 |last inst - possible exception set
  297. bra t_frcinx
  298. REDUCEX:
  299. |--WHEN REDUCEX IS USED, THE CODE WILL INEVITABLY BE SLOW.
  300. |--THIS REDUCTION METHOD, HOWEVER, IS MUCH FASTER THAN USING
  301. |--THE REMAINDER INSTRUCTION WHICH IS NOW IN SOFTWARE.
  302. fmovemx %fp2-%fp5,-(%a7) | ...save FP2 through FP5
  303. movel %d2,-(%a7)
  304.         fmoves         #0x00000000,%fp1
  305. |--If compact form of abs(arg) in d0=$7ffeffff, argument is so large that
  306. |--there is a danger of unwanted overflow in first LOOP iteration.  In this
  307. |--case, reduce argument by one remainder step to make subsequent reduction
  308. |--safe.
  309. cmpil #0x7ffeffff,%d0 |is argument dangerously large?
  310. bnes LOOP
  311. movel #0x7ffe0000,FP_SCR2(%a6) |yes
  312. | ;create 2**16383*PI/2
  313. movel #0xc90fdaa2,FP_SCR2+4(%a6)
  314. clrl FP_SCR2+8(%a6)
  315. ftstx %fp0 |test sign of argument
  316. movel #0x7fdc0000,FP_SCR3(%a6) |create low half of 2**16383*
  317. | ;PI/2 at FP_SCR3
  318. movel #0x85a308d3,FP_SCR3+4(%a6)
  319. clrl   FP_SCR3+8(%a6)
  320. fblt red_neg
  321. orw #0x8000,FP_SCR2(%a6) |positive arg
  322. orw #0x8000,FP_SCR3(%a6)
  323. red_neg:
  324. faddx  FP_SCR2(%a6),%fp0 |high part of reduction is exact
  325. fmovex  %fp0,%fp1 |save high result in fp1
  326. faddx  FP_SCR3(%a6),%fp0 |low part of reduction
  327. fsubx  %fp0,%fp1 |determine low component of result
  328. faddx  FP_SCR3(%a6),%fp1 |fp0/fp1 are reduced argument.
  329. |--ON ENTRY, FP0 IS X, ON RETURN, FP0 IS X REM PI/2, |X| <= PI/4.
  330. |--integer quotient will be stored in N
  331. |--Intermediate remainder is 66-bit long; (R,r) in (FP0,FP1)
  332. LOOP:
  333. fmovex %fp0,INARG(%a6) | ...+-2**K * F, 1 <= F < 2
  334. movew INARG(%a6),%d0
  335.         movel          %d0,%a1 | ...save a copy of D0
  336. andil #0x00007FFF,%d0
  337. subil #0x00003FFF,%d0 | ...D0 IS K
  338. cmpil #28,%d0
  339. bles LASTLOOP
  340. CONTLOOP:
  341. subil #27,%d0  | ...D0 IS L := K-27
  342. movel #0,ENDFLAG(%a6)
  343. bras WORK
  344. LASTLOOP:
  345. clrl %d0 | ...D0 IS L := 0
  346. movel #1,ENDFLAG(%a6)
  347. WORK:
  348. |--FIND THE REMAINDER OF (R,r) W.R.T. 2**L * (PI/2). L IS SO CHOSEN
  349. |--THAT INT( X * (2/PI) / 2**(L) ) < 2**29.
  350. |--CREATE 2**(-L) * (2/PI), SIGN(INARG)*2**(63),
  351. |--2**L * (PIby2_1), 2**L * (PIby2_2)
  352. movel #0x00003FFE,%d2 | ...BIASED EXPO OF 2/PI
  353. subl %d0,%d2 | ...BIASED EXPO OF 2**(-L)*(2/PI)
  354. movel #0xA2F9836E,FP_SCR1+4(%a6)
  355. movel #0x4E44152A,FP_SCR1+8(%a6)
  356. movew %d2,FP_SCR1(%a6) | ...FP_SCR1 is 2**(-L)*(2/PI)
  357. fmovex %fp0,%fp2
  358. fmulx FP_SCR1(%a6),%fp2
  359. |--WE MUST NOW FIND INT(FP2). SINCE WE NEED THIS VALUE IN
  360. |--FLOATING POINT FORMAT, THE TWO FMOVE'S FMOVE.L FP <--> N
  361. |--WILL BE TOO INEFFICIENT. THE WAY AROUND IT IS THAT
  362. |--(SIGN(INARG)*2**63 + FP2) - SIGN(INARG)*2**63 WILL GIVE
  363. |--US THE DESIRED VALUE IN FLOATING POINT.
  364. |--HIDE SIX CYCLES OF INSTRUCTION
  365.         movel %a1,%d2
  366.         swap %d2
  367. andil #0x80000000,%d2
  368. oril #0x5F000000,%d2 | ...D2 IS SIGN(INARG)*2**63 IN SGL
  369. movel %d2,TWOTO63(%a6)
  370. movel %d0,%d2
  371. addil #0x00003FFF,%d2 | ...BIASED EXPO OF 2**L * (PI/2)
  372. |--FP2 IS READY
  373. fadds TWOTO63(%a6),%fp2 | ...THE FRACTIONAL PART OF FP1 IS ROUNDED
  374. |--HIDE 4 CYCLES OF INSTRUCTION; creating 2**(L)*Piby2_1  and  2**(L)*Piby2_2
  375.         movew %d2,FP_SCR2(%a6)
  376. clrw           FP_SCR2+2(%a6)
  377. movel #0xC90FDAA2,FP_SCR2+4(%a6)
  378. clrl FP_SCR2+8(%a6) | ...FP_SCR2 is  2**(L) * Piby2_1
  379. |--FP2 IS READY
  380. fsubs TWOTO63(%a6),%fp2 | ...FP2 is N
  381. addil #0x00003FDD,%d0
  382.         movew %d0,FP_SCR3(%a6)
  383. clrw           FP_SCR3+2(%a6)
  384. movel #0x85A308D3,FP_SCR3+4(%a6)
  385. clrl FP_SCR3+8(%a6) | ...FP_SCR3 is 2**(L) * Piby2_2
  386. movel ENDFLAG(%a6),%d0
  387. |--We are now ready to perform (R+r) - N*P1 - N*P2, P1 = 2**(L) * Piby2_1 and
  388. |--P2 = 2**(L) * Piby2_2
  389. fmovex %fp2,%fp4
  390. fmulx FP_SCR2(%a6),%fp4 | ...W = N*P1
  391. fmovex %fp2,%fp5
  392. fmulx FP_SCR3(%a6),%fp5 | ...w = N*P2
  393. fmovex %fp4,%fp3
  394. |--we want P+p = W+w  but  |p| <= half ulp of P
  395. |--Then, we need to compute  A := R-P   and  a := r-p
  396. faddx %fp5,%fp3 | ...FP3 is P
  397. fsubx %fp3,%fp4 | ...W-P
  398. fsubx %fp3,%fp0 | ...FP0 is A := R - P
  399.         faddx %fp5,%fp4 | ...FP4 is p = (W-P)+w
  400. fmovex %fp0,%fp3 | ...FP3 A
  401. fsubx %fp4,%fp1 | ...FP1 is a := r - p
  402. |--Now we need to normalize (A,a) to  "new (R,r)" where R+r = A+a but
  403. |--|r| <= half ulp of R.
  404. faddx %fp1,%fp0 | ...FP0 is R := A+a
  405. |--No need to calculate r if this is the last loop
  406. cmpil #0,%d0
  407. bgt RESTORE
  408. |--Need to calculate r
  409. fsubx %fp0,%fp3 | ...A-R
  410. faddx %fp3,%fp1 | ...FP1 is r := (A-R)+a
  411. bra LOOP
  412. RESTORE:
  413.         fmovel %fp2,N(%a6)
  414. movel (%a7)+,%d2
  415. fmovemx (%a7)+,%fp2-%fp5
  416. movel ADJN(%a6),%d0
  417. cmpil #4,%d0
  418. blt SINCONT
  419. bras SCCONT
  420. .global ssincosd
  421. ssincosd:
  422. |--SIN AND COS OF X FOR DENORMALIZED X
  423. fmoves #0x3F800000,%fp1
  424. bsr sto_cos |store cosine result
  425. bra t_extdnrm
  426. .global ssincos
  427. ssincos:
  428. |--SET ADJN TO 4
  429. movel #4,ADJN(%a6)
  430. fmovex (%a0),%fp0 | ...LOAD INPUT
  431. movel (%a0),%d0
  432. movew 4(%a0),%d0
  433. fmovex %fp0,X(%a6)
  434. andil #0x7FFFFFFF,%d0 | ...COMPACTIFY X
  435. cmpil #0x3FD78000,%d0 | ...|X| >= 2**(-40)?
  436. bges SCOK1
  437. bra SCSM
  438. SCOK1:
  439. cmpil #0x4004BC7E,%d0 | ...|X| < 15 PI?
  440. blts SCMAIN
  441. bra REDUCEX
  442. SCMAIN:
  443. |--THIS IS THE USUAL CASE, |X| <= 15 PI.
  444. |--THE ARGUMENT REDUCTION IS DONE BY TABLE LOOK UP.
  445. fmovex %fp0,%fp1
  446. fmuld TWOBYPI,%fp1 | ...X*2/PI
  447. |--HIDE THE NEXT THREE INSTRUCTIONS
  448. lea PITBL+0x200,%a1 | ...TABLE OF N*PI/2, N = -32,...,32
  449. |--FP1 IS NOW READY
  450. fmovel %fp1,N(%a6) | ...CONVERT TO INTEGER
  451. movel N(%a6),%d0
  452. asll #4,%d0
  453. addal %d0,%a1 | ...ADDRESS OF N*PIBY2, IN Y1, Y2
  454. fsubx (%a1)+,%fp0 | ...X-Y1
  455.         fsubs (%a1),%fp0 | ...FP0 IS R = (X-Y1)-Y2
  456. SCCONT:
  457. |--continuation point from REDUCEX
  458. |--HIDE THE NEXT TWO
  459. movel N(%a6),%d0
  460. rorl #1,%d0
  461. cmpil #0,%d0 | ...D0 < 0 IFF N IS ODD
  462. bge NEVEN
  463. NODD:
  464. |--REGISTERS SAVED SO FAR: D0, A0, FP2.
  465. fmovex %fp0,RPRIME(%a6)
  466. fmulx %fp0,%fp0  | ...FP0 IS S = R*R
  467. fmoved SINA7,%fp1 | ...A7
  468. fmoved COSB8,%fp2 | ...B8
  469. fmulx %fp0,%fp1  | ...SA7
  470. movel %d2,-(%a7)
  471. movel %d0,%d2
  472. fmulx %fp0,%fp2  | ...SB8
  473. rorl #1,%d2
  474. andil #0x80000000,%d2
  475. faddd SINA6,%fp1 | ...A6+SA7
  476. eorl %d0,%d2
  477. andil #0x80000000,%d2
  478. faddd COSB7,%fp2 | ...B7+SB8
  479. fmulx %fp0,%fp1  | ...S(A6+SA7)
  480. eorl %d2,RPRIME(%a6)
  481. movel (%a7)+,%d2
  482. fmulx %fp0,%fp2  | ...S(B7+SB8)
  483. rorl #1,%d0
  484. andil #0x80000000,%d0
  485. faddd SINA5,%fp1 | ...A5+S(A6+SA7)
  486. movel #0x3F800000,POSNEG1(%a6)
  487. eorl %d0,POSNEG1(%a6)
  488. faddd COSB6,%fp2 | ...B6+S(B7+SB8)
  489. fmulx %fp0,%fp1  | ...S(A5+S(A6+SA7))
  490. fmulx %fp0,%fp2  | ...S(B6+S(B7+SB8))
  491. fmovex %fp0,SPRIME(%a6)
  492. faddd SINA4,%fp1 | ...A4+S(A5+S(A6+SA7))
  493. eorl %d0,SPRIME(%a6)
  494. faddd COSB5,%fp2 | ...B5+S(B6+S(B7+SB8))
  495. fmulx %fp0,%fp1  | ...S(A4+...)
  496. fmulx %fp0,%fp2  | ...S(B5+...)
  497. faddd SINA3,%fp1 | ...A3+S(A4+...)
  498. faddd COSB4,%fp2 | ...B4+S(B5+...)
  499. fmulx %fp0,%fp1  | ...S(A3+...)
  500. fmulx %fp0,%fp2  | ...S(B4+...)
  501. faddx SINA2,%fp1 | ...A2+S(A3+...)
  502. faddx COSB3,%fp2 | ...B3+S(B4+...)
  503. fmulx %fp0,%fp1  | ...S(A2+...)
  504. fmulx %fp0,%fp2  | ...S(B3+...)
  505. faddx SINA1,%fp1 | ...A1+S(A2+...)
  506. faddx COSB2,%fp2 | ...B2+S(B3+...)
  507. fmulx %fp0,%fp1  | ...S(A1+...)
  508. fmulx %fp2,%fp0  | ...S(B2+...)
  509. fmulx RPRIME(%a6),%fp1 | ...R'S(A1+...)
  510. fadds COSB1,%fp0 | ...B1+S(B2...)
  511. fmulx SPRIME(%a6),%fp0 | ...S'(B1+S(B2+...))
  512. movel %d1,-(%sp) |restore users mode & precision
  513. andil #0xff,%d1 |mask off all exceptions
  514. fmovel %d1,%FPCR
  515. faddx RPRIME(%a6),%fp1 | ...COS(X)
  516. bsr sto_cos |store cosine result
  517. fmovel (%sp)+,%FPCR |restore users exceptions
  518. fadds POSNEG1(%a6),%fp0 | ...SIN(X)
  519. bra t_frcinx
  520. NEVEN:
  521. |--REGISTERS SAVED SO FAR: FP2.
  522. fmovex %fp0,RPRIME(%a6)
  523. fmulx %fp0,%fp0  | ...FP0 IS S = R*R
  524. fmoved COSB8,%fp1 | ...B8
  525. fmoved SINA7,%fp2 | ...A7
  526. fmulx %fp0,%fp1  | ...SB8
  527. fmovex %fp0,SPRIME(%a6)
  528. fmulx %fp0,%fp2  | ...SA7
  529. rorl #1,%d0
  530. andil #0x80000000,%d0
  531. faddd COSB7,%fp1 | ...B7+SB8
  532. faddd SINA6,%fp2 | ...A6+SA7
  533. eorl %d0,RPRIME(%a6)
  534. eorl %d0,SPRIME(%a6)
  535. fmulx %fp0,%fp1  | ...S(B7+SB8)
  536. oril #0x3F800000,%d0
  537. movel %d0,POSNEG1(%a6)
  538. fmulx %fp0,%fp2  | ...S(A6+SA7)
  539. faddd COSB6,%fp1 | ...B6+S(B7+SB8)
  540. faddd SINA5,%fp2 | ...A5+S(A6+SA7)
  541. fmulx %fp0,%fp1  | ...S(B6+S(B7+SB8))
  542. fmulx %fp0,%fp2  | ...S(A5+S(A6+SA7))
  543. faddd COSB5,%fp1 | ...B5+S(B6+S(B7+SB8))
  544. faddd SINA4,%fp2 | ...A4+S(A5+S(A6+SA7))
  545. fmulx %fp0,%fp1  | ...S(B5+...)
  546. fmulx %fp0,%fp2  | ...S(A4+...)
  547. faddd COSB4,%fp1 | ...B4+S(B5+...)
  548. faddd SINA3,%fp2 | ...A3+S(A4+...)
  549. fmulx %fp0,%fp1  | ...S(B4+...)
  550. fmulx %fp0,%fp2  | ...S(A3+...)
  551. faddx COSB3,%fp1 | ...B3+S(B4+...)
  552. faddx SINA2,%fp2 | ...A2+S(A3+...)
  553. fmulx %fp0,%fp1  | ...S(B3+...)
  554. fmulx %fp0,%fp2  | ...S(A2+...)
  555. faddx COSB2,%fp1 | ...B2+S(B3+...)
  556. faddx SINA1,%fp2 | ...A1+S(A2+...)
  557. fmulx %fp0,%fp1  | ...S(B2+...)
  558. fmulx %fp2,%fp0  | ...s(a1+...)
  559. fadds COSB1,%fp1 | ...B1+S(B2...)
  560. fmulx RPRIME(%a6),%fp0 | ...R'S(A1+...)
  561. fmulx SPRIME(%a6),%fp1 | ...S'(B1+S(B2+...))
  562. movel %d1,-(%sp) |save users mode & precision
  563. andil #0xff,%d1 |mask off all exceptions
  564. fmovel %d1,%FPCR
  565. fadds POSNEG1(%a6),%fp1 | ...COS(X)
  566. bsr sto_cos |store cosine result
  567. fmovel (%sp)+,%FPCR |restore users exceptions
  568. faddx RPRIME(%a6),%fp0 | ...SIN(X)
  569. bra t_frcinx
  570. SCBORS:
  571. cmpil #0x3FFF8000,%d0
  572. bgt REDUCEX
  573.         
  574. SCSM:
  575. movew #0x0000,XDCARE(%a6)
  576. fmoves #0x3F800000,%fp1
  577. movel %d1,-(%sp) |save users mode & precision
  578. andil #0xff,%d1 |mask off all exceptions
  579. fmovel %d1,%FPCR
  580. fsubs #0x00800000,%fp1
  581. bsr sto_cos |store cosine result
  582. fmovel (%sp)+,%FPCR |restore users exceptions
  583. fmovex X(%a6),%fp0
  584. bra t_frcinx
  585. |end