2 NetWinder Floating Point Emulator
3 (c) Rebel.com, 1998-1999
5 Direct questions, comments to Scott Bambrough <scottb@netwinder.org>
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
25 #define GET_FPA11() ((FPA11 *)(¤t_thread_info()->fpstate))
28 * The processes registers are always at the very top of the 8K
29 * stack+task struct. Use the same method as 'current' uses to
32 #define GET_USERREG() ((struct pt_regs *)(THREAD_START_SP + (unsigned long)current_thread_info()) - 1)
34 #include <linux/thread_info.h>
37 #include "fpsr.h" /* FP control and status register definitions */
43 signed char exception;
46 #include "softfloat.h"
49 #define typeSingle 0x01
50 #define typeDouble 0x02
51 #define typeExtended 0x03
54 * This must be no more and no less than 12 bytes.
56 typedef union tagFPREG {
59 #ifdef CONFIG_FPE_NWFPE_XP
64 } __attribute__ ((packed,aligned(4))) FPREG;
69 * This structure is exported to user space. Do not re-order.
70 * Only add new stuff to the end, and do not change the size of
71 * any element. Elements of this structure are used by user
72 * space, and must match struct user_fp in include/asm-arm/user.h.
73 * We include the byte offsets below for documentation purposes.
75 * The size of this structure and FPREG are checked by fpmodule.c
76 * on initialisation. If the rules have been broken, NWFPE will
79 typedef struct tagFPA11 {
80 /* 0 */ FPREG fpreg[8]; /* 8 floating point registers */
81 /* 96 */ FPSR fpsr; /* floating point status register */
82 /* 100 */ FPCR fpcr; /* floating point control register */
83 /* 104 */ unsigned char fType[8]; /* type of floating point value held in
84 floating point registers. One of
85 none, single, double or extended. */
86 /* 112 */ int initflag; /* this is special. The kernel guarantees
87 to set it to 0 when a thread is launched,
88 so we can use it to detect whether this
89 instance of the emulator needs to be
91 } __attribute__ ((packed,aligned(4))) FPA11;
93 extern int8 SetRoundingMode(const unsigned int);
94 extern int8 SetRoundingPrecision(const unsigned int);
95 extern void nwfpe_init_fpa(union fp_state *fp);
97 extern unsigned int EmulateAll(unsigned int opcode);
99 extern unsigned int EmulateCPDT(const unsigned int opcode);
100 extern unsigned int EmulateCPDO(const unsigned int opcode);
101 extern unsigned int EmulateCPRT(const unsigned int opcode);
104 extern unsigned int PerformLDF(const unsigned int opcode);
105 extern unsigned int PerformSTF(const unsigned int opcode);
106 extern unsigned int PerformLFM(const unsigned int opcode);
107 extern unsigned int PerformSFM(const unsigned int opcode);
111 extern unsigned int SingleCPDO(struct roundingData *roundData,
112 const unsigned int opcode, FPREG * rFd);
114 extern unsigned int DoubleCPDO(struct roundingData *roundData,
115 const unsigned int opcode, FPREG * rFd);