README revision 1.7 1 1.7 andvar * $NetBSD: README,v 1.7 2021/08/21 23:00:31 andvar Exp $
2 1.1 briggs * NetBSD/m68k FPE (floating point emulation) README file
3 1.4 briggs * Created Oct/??/95 by kenn (a] remus.rutgers.edu (Ken Nakata)
4 1.5 tsutsui * Last updated Oct/15/2011 by tsutsui
5 1.1 briggs
6 1.1 briggs 1. INSTALLATION AND COMPILATION
7 1.1 briggs
8 1.1 briggs To compile a kernel with FPE built-in, do the following:
9 1.1 briggs
10 1.2 briggs 1) Add a line "options FPU_EMULATE" to your config file. If you are
11 1.1 briggs going to use the resulted kernel on a machine with an FPU for
12 1.1 briggs debugging purpose, add "options DEBUG_WITH_FPU" as well.
13 1.1 briggs
14 1.2 briggs 2) Follow the usual procedure to build a new kernel.
15 1.1 briggs
16 1.1 briggs NOTE: If you add "options DEBUG_WITH_FPU", FPE will accept cpID=6 as
17 1.1 briggs emulated FPU. You will need a modified gas that generates cpID=6 for
18 1.1 briggs floating point instructions, instead of normal cpID=1. Mount unionfs
19 1.4 briggs or copy the gas source directory and apply the following patch:
20 1.1 briggs
21 1.1 briggs *** /usr/src/gnu/usr.bin/gas/config/tc-m68k.c Mon Nov 21 16:30:41 1994
22 1.1 briggs --- gas/config/tc-m68k.c Fri Sep 29 07:59:06 1995
23 1.1 briggs ***************
24 1.1 briggs *** 1275,1281 ****
25 1.1 briggs /* memcpy((char *)(&the_ins.operands[1]), (char *)(&the_ins.operands[0]), opsfound*sizeof(the_ins.operands[0])); */
26 1.1 briggs memset((char *)(&the_ins.operands[0]), '\0', sizeof(the_ins.operands[0]));
27 1.1 briggs the_ins.operands[0].mode=MSCR;
28 1.1 briggs ! the_ins.operands[0].reg=COPNUM; /* COP #1 */
29 1.1 briggs opsfound++;
30 1.1 briggs }
31 1.1 briggs
32 1.1 briggs --- 1275,1281 ----
33 1.1 briggs /* memcpy((char *)(&the_ins.operands[1]), (char *)(&the_ins.operands[0]), opsfound*sizeof(the_ins.operands[0])); */
34 1.1 briggs memset((char *)(&the_ins.operands[0]), '\0', sizeof(the_ins.operands[0]));
35 1.1 briggs the_ins.operands[0].mode=MSCR;
36 1.1 briggs ! the_ins.operands[0].reg=COP5; /* COP #6 */
37 1.1 briggs opsfound++;
38 1.1 briggs }
39 1.1 briggs
40 1.1 briggs
41 1.1 briggs Also, with the DEBUG_WITH_FPU option, you will be able to run only ONE
42 1.1 briggs process that uses FPE at once to get correct results.
43 1.1 briggs
44 1.1 briggs
45 1.1 briggs 2. MISSING PARTS
46 1.1 briggs
47 1.1 briggs For missing instructions, refer to the Section 3. Other than that,
48 1.1 briggs there is one thing that is missing from this version of FPE: packed
49 1.1 briggs BCD support.
50 1.1 briggs
51 1.1 briggs I have no plan to support it since it's rarely used. However, all we
52 1.1 briggs need to support it is explosion/implosion functions between the
53 1.1 briggs internal FP representation and the m68k PBCD format, so you are more
54 1.1 briggs than welcome to write such functions if you wish to.
55 1.1 briggs
56 1.1 briggs
57 1.1 briggs 3. IMPLEMENTED INSTRUCTIONS
58 1.1 briggs
59 1.1 briggs This is the list of implemented and unimplemented FPU instructions.
60 1.4 briggs All 040's directly supported type 0 instructions are already
61 1.4 briggs implemented except FSGLDIV and FSGLMUL.
62 1.1 briggs
63 1.1 briggs Type field = bit 8-6 of opcode word
64 1.1 briggs
65 1.1 briggs * Implemented Instructions
66 1.1 briggs
67 1.1 briggs Type=0: FMOVE (mem->FPr), FINT, FINTRZ, FSQRT, FABS, FNEG, FGETEXP,
68 1.4 briggs FGETMAN, FDIV, FADD, FMUL, FSGLDIV(*), FSCALE, FSGLMUL(*), FSUB,
69 1.1 briggs FCMP, FTST, FMOVE (FPr->mem), FMOVEM (FPr), FMOVEM (FPcr),
70 1.5 tsutsui FMOVECR, FLOGNP1, FLOGN, FLOG10, FLOG2, FMOD, FREM,
71 1.6 isaki FCOSH, FSINH, FTANH, FCOS, FSIN, FTAN, FSINCOS,
72 1.6 isaki FETOX, FETOXM1, FTENTOX, FTWOTOX, FATANH, FACOS, FASIN, FATAN
73 1.1 briggs
74 1.1 briggs Type=1: FDBcc, FScc, FTRAPcc,
75 1.1 briggs
76 1.1 briggs Type=2: FBcc (word, incl. FNOP)
77 1.1 briggs
78 1.1 briggs Type=3: FBcc (long)
79 1.1 briggs
80 1.1 briggs Type=4: none
81 1.1 briggs
82 1.1 briggs Type=5: none
83 1.1 briggs
84 1.1 briggs *: currently FSGLMUL and FSGLDIV are just aliases of
85 1.1 briggs FMUL and FDIV, respectively
86 1.1 briggs
87 1.1 briggs * Unimplemented Instructions
88 1.1 briggs
89 1.6 isaki Type=0: none
90 1.1 briggs
91 1.1 briggs Type=1: none
92 1.1 briggs
93 1.1 briggs Type=2: none
94 1.1 briggs
95 1.1 briggs Type=3: none
96 1.1 briggs
97 1.1 briggs Type=4: FSAVE
98 1.1 briggs
99 1.1 briggs Type=5: FRESTORE
100 1.1 briggs
101 1.1 briggs
102 1.1 briggs 4. HOW TO ADD A NEW INSTRUCTION SUPPORT
103 1.1 briggs
104 1.1 briggs Since we need not support FSAVE and FRESTORE operations, all
105 1.1 briggs instructions we have to implement are type 0, all of which are
106 1.1 briggs arithmetic operations. It is particularly easy to add a new
107 1.1 briggs arithmetic instruction to the existing ones (not that it is easy to
108 1.1 briggs write a "stable" function to perform floating point operation. That's
109 1.1 briggs entirely another matter). In "fpu_emulate.c", there's a function
110 1.1 briggs fpu_emul_arith() which calls emulation functions for all arithmetic
111 1.1 briggs operations. In it, there's a large switch() { case ... } which
112 1.1 briggs dispatches each instruction emulator. An emulation function of any
113 1.1 briggs type 0 arithmetic instruction follows this prototype:
114 1.1 briggs
115 1.1 briggs struct fpn *fpu_op(struct fpemu *fe);
116 1.1 briggs
117 1.1 briggs Where fe is a pointer to a struct fpemu in which frame, fpframe, and
118 1.1 briggs fetched operands are accessible. That's right, you don't have to
119 1.7 andvar fetch the operands by yourself in your emulation function. For
120 1.1 briggs instance, the parts calling FSQRT, FSUB, FADD and FTST look like:
121 1.1 briggs
122 1.1 briggs switch(word1 & 0x3F) {
123 1.1 briggs [...]
124 1.1 briggs case 0x04: /* fsqrt */
125 1.1 briggs res = fpu_sqrt(fe);
126 1.1 briggs break;
127 1.1 briggs [...]
128 1.1 briggs case 0x28: /* fsub */
129 1.1 briggs fe->fe_f2.fp_sign = !fe->fe_f2.fp_sign; /* f2 = -f2 */
130 1.1 briggs case 0x22: /* fadd */
131 1.1 briggs res = fpu_add(fe);
132 1.1 briggs break;
133 1.1 briggs [...]
134 1.1 briggs case 0x3A: /* ftst */
135 1.1 briggs res = &fe->fe_f2;
136 1.1 briggs no_store = 1;
137 1.1 briggs break;
138 1.1 briggs [...]
139 1.1 briggs default:
140 1.1 briggs sig = SIGILL;
141 1.1 briggs } /* switch */
142 1.1 briggs
143 1.1 briggs Here, fe->fe_f1 and fe->fe_f2 are fetched operands. You can use
144 1.1 briggs fe->fe_f3 for storing the result, or you can return a pointer to
145 1.1 briggs either operand if you want to. At any rate, you have to follow
146 1.1 briggs the following rules:
147 1.1 briggs
148 1.1 briggs 1) A dyadic instruction takes two operands fe->fe_f1 and fe->fe_f2.
149 1.1 briggs 2) A monadic instruction takes one operands fe->fe_f2 (NOT fe_f1).
150 1.1 briggs 3) Must return a pointer to struct fpn where the result is stored,
151 1.1 briggs and assign the pointer to the variable "res".
152 1.1 briggs 4) If exceptions are detected, set corresponding bits in fe->fe_fpsr.
153 1.1 briggs The rest is taken care of in fpu_emul_arith().
154 1.1 briggs 5) Condition code need not be calculated. It's taken care of in
155 1.1 briggs fpu_emul_arith().
156 1.1 briggs
157 1.4 briggs Actually, after above was written, stubs for the missing functions were
158 1.4 briggs added to the source, so you do not have to change fpu_emul_arith() at
159 1.4 briggs all. Function names and prototypes are in fpu_arith_proto.h, and all
160 1.4 briggs except fpu_sincos() follow the rules above. fpu_sincos() is declared
161 1.4 briggs as
162 1.4 briggs
163 1.4 briggs struct fpn *fpu_sincos(struct fpemu *fe, int cosreg);
164 1.4 briggs
165 1.4 briggs where cosreg is the FP register number to which cosine of the argument
166 1.4 briggs is calculated and assigned. Sine of the argument is stored into the
167 1.4 briggs destination register in the same manner as the other arithmetic
168 1.4 briggs functions.
169