💾 Archived View for spam.works › mirrors › textfiles › programming › copro15.txt captured on 2023-11-14 at 11:48:39.
View Raw
More Information
⬅️ Previous capture (2023-06-16)
-=-=-=-=-=-=-
EVERYTHING YOU ALWAYS WANTED TO KNOW ABOUT MATH COPROCESSORS
This document has been created to provide the net.community with some
detailed information about mathematical coprocessors for the Intel 80x86 CPU
family. It may also help to answer some of the FAQs (frequently asked
questions) about this topic. The primary focus of this document is on 80387-
compatible chips, but there is also some information on the other chips in
the 80x87 family and the Weitek family of coprocessors. Care was taken to
make the information included as accurate as possible. If you think you have
discovered erroneous information in this text, or think that a certain detail
needs to be clarified, or want to suggest additions, feel free to contact me
at:
S_JUFFA@IRAVCL.IRA.UKA.DE
or at my SnailMail address:
Norbert Juffa
Wielandtstr. 14
7500 Karlsruhe 1
Germany
This is the fifth version of this document (dated 01-13-93) and I'd like
to thank those who have helped improving it by commenting on the previous
versions:
Fred Dunlap (cyrix!fred@texsun.Central.Sun.COM), Peter Forsberg
(peter@vnet.ibm.com), Richard Krehbiel (richk@grevyn.com), Arto
Viitanen (av@cs.uta.fi), Jerry Whelan (guru@stasi.bradley.edu),
Eric Johnson (johnson%camax01@uunet.UU.NET), Warren Ferguson
(ferguson@seas.smu.edu), Bengt Ask (f89ba@efd.lth.se), Thomas Hoberg
(tmh@prosun.first.gmd.de), Nhuan Doduc (ndoduc@framentec.fr), John
Levine (johnl@iecc.cambridge.ma.us), David Hough (dgh@validgh.com),
Duncan Murdoch (dmurdoch@mast.QueensU.CA), Benjamin Eitan
(benny.iil.intel.com)
A very special thanks goes to David Ruggiero (osiris@halcyon.halcyon.com),
who did a great job editing and formatting this article. Thanks David!
Contents of this document
-------------------------
1) What are math coprocessors?
2) How PC programs use a math coprocessor
3) Which applications benefit from a math coprocessor
4) Potential performance gains with a math coprocessor
5) How various math coprocessors work
6) Coprocessor emulator software
7) Installing a math coprocessor
8) Detailed description and specifications for all available math
coprocessor chips
9) Finding out which coprocessor you have (the COMPTEST program)
10) Current coprocessor prices and purchasing advice
11) The coprocessor benchmark programs (performance comparisons of
available math coprocessors using various CPUs)
12) Clock-cycle timings for each coprocessor instruction
13) Accuracy tests and IEEE-754 conformance for various coprocessors
14) Accuracy of transcendental function calculations for various coprocessors
15) Compatibility tests with Intel's 387DX / the SMDIAG program
16) References (literature)
17) Addresses of manufacturers of math coprocessors
18) Appendix A: Test programs for partial compatibility and accuracy checks
19) Appendix B: Benchmark programs TRNSFORM and PEAKFLOP
===========================
What are math coprocessors?
===========================
A coprocessor in the traditional sense is a processor, separate from the main
CPU, that extends the capabilities of a CPU in a transparent manner. This
means that from the program's (and programmer's) point of view, the CPU and
coprocessor together look like a single, unified machine.
The 80x87 family of math coprocessors (also known as MCPs [Math
CoProcessors], NDPs [Numerical Data Processors], NPXs [Numerical Processor
eXtensions], or FPUs [Floating-Point Units], or simply "math chips") are
typical examples of such coprocessors. The 80x86 CPUs, with the exception of
the 80486 (which has a built-in FPU) can only handle 8, 16, or 32 bit
integers as their basic data types. However, many PC-based applications
require the use of not only integers, but floating-point numbers. Simply put,
the use of floating-point numbers enables a binary representation of not only
integers, but also fractional values over a wide range. A common application
of floating-point numbers is in scientific applications, where very small
(e.g., Planck's constant) and very large numbers (e.g., speed of light) must
be accurately expressed. But floating-point numbers are also useful for
business applications such as computing interest, and in the geometric
calculations inherent in CAD/CAM processing.
Because the instruction sets of all 80x86 CPUs directly support only integers
and calculations upon integers, floating-point numbers and operations on them
must be programmed indirectly by using series of CPU integer instructions.
This means that computations when floating-point numbers are used are far
slower than normal, integer calculations. And this is where the 80x87
coprocessors come in: adding an 80x87 to an 80x86-based system augments the
CPU architecture with eight floating-point registers, five additional data
types and over 70 additional instructions, all designed to deal directly with
floating-point numbers as a basic data type. This removes the 'penalty' for
floating-point computations, and greatly increases overall system performance
for applications which depend heavily on these calculations.
In addition to being able to quickly execute load/store operations on
floating-point numbers, the 80x87 coprocessors can directly perform all the
basic arithmetic operation on them. Besides "knowing" how to add, subtract,
multiply and divide floating-point numbers, they can also operate on them to
perform comparisons, square roots, transcendental functions (such as logarithms
and sine/cosine/tangent), and compute their absolute value and remainder.
Like most things in life, floating-point arithmetic has been standardized.
The relevant standard (to which I will refer quite often in this document) is
the "IEEE-754 Standard for Binary Floating-Point Arithmetic" [10,11]. The
standard specifies numeric formats, value sets and how the basic arithmetic
(+,-,*,/,sqrt, remainder) has to work. All the coprocessors covered in this
document claim full or at least partial compliance with the IEEE-754
standard.
=================================================
How PC programs use 80x87 and Weitek coprocessors
=================================================
The basic data type used by all 80x87 coprocessors is an 80-bit long
floating-point number. This data type (called "temporary real" or "double
extended precision") can directly represent numbers which range in size
between 3.36*10^-4932 and 1.19*10^4932 (3.65*10^-4951 to 1.19*10^4932
including denormal numbers) where '^' denotes the power operator. (For those
familiar with floating-point formats, this format has 64 mantissa bits, 15
exponent bits and 1 sign bit, for the total of 80 bits.) This format provides
a precision of about 19 decimal places. 80x87s can also handle additional
data types that are converted to/from the internal format upon being loaded
or stored to/from the coprocessor. These include 16 bit, 32 bit, and 64 bit
integers as well as a 18 digit BCD (binary coded decimal) data type occupying
10 bytes and providing 18 decimal digits.
The 80x87 also supports two additional floating-point types. The short real
data type (also called "single-precision") has 32 bits that split into 23
mantissa bits, 8 exponent bit and a sign bit. By using the "hidden bit"
technique, the effective length of the mantissa is increased to 24 bits. (The
hidden bit technique exploits the fact that for normalized floating-point
numbers, the mantissa m always is in the range 1 <= m < 2. Since the first
mantissa bit represents the integer part of the mantissa, it is always set
for normalized numbers, and therefore need not be stored, as it is guaranteed
to always be 1.) The IEEE single-precision format provides a precision of
about 6-7 decimal places and can represent numbers between 1.17*10^-38 and
3.40*10^38 (1.40*10^-45 to 3.40*10^38 including denormal numbers). The long
real, or double-precision, data type has 64 bits, consisting of 52 mantissa
bits, 11 exponent bits, and the sign bit. It provides 15-16 decimal digits of
precision and can handle numbers from 2.22*10^-308 to 1.79*10^308 (4.94*10^-
324 to 1.79*10^308 including denormal numbers). (This format also uses the
hidden bit technique to provide effectively 53 mantissa bits.)
The eight registers in the 80x87 are organized in a stack-like manner which
takes some time getting used to if one programs the coprocessor directly in
assembly language. However, nowadays the compilers or interpreters for most
high level languages (HLLs) can give a programmer easy access to the
coprocessor's data types and use their instructions, so there is not much
need to deal directly with the rather unusual architecture of the 80x87.
The architecture of the Weitek chips differs significantly from the 80x87.
Strictly speaking, the Weitek Abacus 3167 and 4167 are not coprocessors in
that they do not transparently extend the CPU architecture; rather, they
could be described as highly-specialized, memory-mapped IO devices. But as
the term "coprocessor" has been traditionally used for these chips, they will
be referred to as such here.
The Weitek coprocessors have a RISC-like architecture which has been tuned
for maximum performance. Only a small instruction set has been implemented in
the chip, but each instruction executes at a very high speed (usually only a
few clock cycles each). Instructions available include load/store, add,
subtract, subtract reverse, multiply, multiply and negate, multiply and
accumulate, multiply and take absolute value, divide reverse, negate,
absolute value, compare/test, convert fix/float, and square root. In contrast
to the 80x87 family, the Weitek Abacus does not support a double extended
format, has no built-in transcendental functions, and does not support
denormals. The resources required to implement such features have instead
been devoted to implement the basic arithmetic operations as fast as
possible.
While the 80x87 coprocessors perform all internal calculations in double
extended precision and therefore have about the same performance for single
and double-precision calculations, the Weitek features explicit single and
double-precision operations. For applications that require only single-
precision operations, the Weitek can therefore provide very high performance,
as single-precision operations are about twice as fast as their double-
precision counterparts. Also, since the Weitek Abacus has more registers than
the 80x87 coprocessors (31 versus 8), values can be kept in registers more
often and have to be loaded from memory less frequently. This also leads to
performance gains.
The Weitek's register file consists of 31 32-bit registers, each one capable
of holding an IEEE single-precision number. Pairs of consecutive single-
precision registers can also be used as 64-bit IEEE double-precision
registers; thus there are 15 double-precision registers. The Weitek register
file has the standard organization like the register files in the 80386, not
the special stack-like organization of the 80x87 coprocessors.
To the main CPU, the Weitek Abacus appears as a 64 KB block of memory
starting at physical address 0C0000000h. Each address in this range
corresponds to a coprocessor instruction. Accessing a specified memory
location within this block with a MOV instruction causes the corresponding
Weitek instruction to be executed. (The instructions have been cleverly
assigned to memory locations in such a way that loads to consecutive
coprocessor registers can make use of the 386/486 MOVS string instruction.)
This memory-mapped interface is much faster than the IO-oriented protocol
that is used to couple the CPU to an 80287 or 80387 coprocessor. The Weitek's
memory block can actually be assigned to any logical address using the MMU
(memory management unit) in the 386/486's protected and virtual modes. This
also means that the Weitek Abacus *cannot* be used in the real mode of those
processors, since their physical starting address (0C0000000h) is not within
the 1 MByte address range and the MMU is inoperable in real mode. However,
DOS programs can make use of the Weitek by using a DOS extender or a memory
manager (such as QEMM or EMM386) that runs in protected/virtual mode itself
and can therefore map the Weitek's memory block to any desired location in
the 1 MByte address range.
Typically the FS segment register is then set up to point to the Weitek's
memory block. On the 80486, this technique has severe drawbacks, as using the
FS: prefix takes an additional clock cycle, thereby nearly halving the
performance of the 4167. Most DOS-based compilers exhibit this problem, so
the only way around it is to code in assembly language [75]. The Weitek
Abacus 3167 and 4167 are also supported by the UNIX operating system [33].
==========================================================
Which application programs benefit from a math coprocessor
==========================================================
According to the Intel 387DX User's Guide, there are more than 2100
commercial programs that can make use of a 387-compatible coprocessor. Every
program that uses floating-point arithmetic somewhere and contains the
instructions to support an 80x87 or Weitek chip can gain speed by installing
one. However, the speedup will vary from program to program (and even within
the same program) depending on how computation-intensive the program or
operation within the program is. Typical applications that benefit from the
use of a math coprocessor are:
- CAD programs (AutoCAD, VersaCAD, GenericCAD)
- Spreadsheet programs (Lotus 1-2-3, Excel, Quattro, Wingz)
- Business graphics programs (Arts&Letters, Freedom of Press, Freelance)
- Mathematical analysis and statistical programs (Mathematica, TKSolver,
SPSS/PC, Statgraphics)
- Database programs (dBase IV, FoxBase, Paradox, Revelation)
Note that for spreadsheets and databases, a coprocessor only helps if some
kind of floating-point computation is performed; this is true more often for
spreadsheets than for databases. Also note that the speed of many programs
depends quite heavily on factors such the speed of the graphics adapter (CAD)
or the disk performance (databases), so the computational performance is only
a (small) part of the total performance of the application. There are some
programs that won't run without a coprocessor, among them AutoCAD (R10 and
later) and Mathematica.
Most GUIs (graphical user interfaces) such as Microsoft Windows or the OS/2
Presentation Manager do *not* gain additional speed from using a
- mathematical* coprocessor, since their graphics operations only use integer
arithmetic [71]. They *will* benefit from a graphics board with a graphics
"coprocessor" that speeds up certain common graphics operations such as
BitBlt or line drawing. A few GUIs used on PCs, such as X-Windows, use a
certain amount of floating-point operations for operations such as arc
drawing. However, the use of floating-point operations in X-Windows seems to
have decreased significantly in versions after X11R3, so the overall
performance impact of a coprocessor is small [72]. Applications running under
any GUI may take advantage of a math coprocessor, of course (for example,
Microsoft Excel running under Windows).
While support for 80x87 coprocessors is very common in application programs,
the Weitek Abacus coprocessors do not enjoy such widespread support. Due to
their higher price, only a few high-end PCs have been equipped with Weitek
coprocessors. Some machines, such as IBM's PS/2 series, do not even have
sockets to accommodate them. Therefore, most of the programs that support
these coprocessors are also high-end products, like AutoCAD and Versacad-386.
==============================================
Potential performance gains with a coprocessor
==============================================
The Intel Math Coprocessor Utilities Disk that accompanies the Intel 387DX
coprocessor has a demonstration program that shows the speedup of certain
application programs when run with the Intel coprocessor versus a system with
no coprocessor:
Application Time w/o 387 Time w/387 Speedup
Art&Letters 87.0 sec 34.8 sec 150%
Quattro Pro 8.0 sec 4.0 sec 100%
Wingz 17.9 sec 9.1 sec 97%
Mathematica 420.2 sec 337.0 sec 25%
The following table is an excerpt from [70]:
Application Time w/o 387 Time w/387 Speedup
Corel Draw 471.0 sec 416.0 sec 13%
Freedom Of Press 163.0 sec 77.0 sec 112%
Lotus 1-2-3 257.0 sec 43.0 sec 597%
The following table is an excerpt from [25]:
Application Time w/o 387 Time w/387 Speedup
Design CAD, Test1 98.1 sec 50.0 sec 96%
Design CAD, Test2 75.3 sec 35.0 sec 115%
Excel, Test 1 9.2 sec 6.8 sec 35%
Excel, Test 1 12.6 sec 9.3 sec 35%
Note that coprocessor performance also depends on the motherboard, or more
specifically, the chipset used on the motherboard. In [34] and [35]
identically configured motherboards using different 386 chipsets were tested.
Among other tests a coprocessor benchmark was run which is based on a fractal
computation and its execution time recorded. The following tables showing
coprocessor performance to vary with the chipset have been copied from these
articles in abridged form:
Cyrix Cyrix
chip set 387+ chip set 83D87
Opti, 40 MHz 24.57 sec 97.0% PC-Chips, 33 MHz 26.97 sec 93.0%
Elite,40 MHz 24.46 sec 97.4% UMC, 33 MHz 27.69 sec 90.5%
ACT, 40 MHz 23.84 sec 100.0% Headland, 33 MHz 25.08 sec 100.0%
Forex,40 MHz 23.84 sec 100.0% Eteq, 33 MHz 27.38 sec 91.6%
This shows that performance of the same coprocessor can vary by up to ~10%
depending on the chipset used on your board, at least for 386 motherboards
(similar numbers for 286, 386SX, and 486 are, unfortunately, not available).
The benchmarks for this article were run on a motherboard with the Forex chip
set, one of the fastest 386 chip sets available, and not only with respect to
floating-point performance [35].
==================================
How various math coprocessors work
==================================
In any 80x86 system with an 80x87 math coprocessor, CPU instructions and
coprocessor instructions are executed concurrently. This means that the CPU
can execute CPU instructions while the coprocessor executes a coprocessor
instruction at the same time. The concurrency is restricted somewhat by the
fact that the CPU has to aid the coprocessor in certain operations. As the
CPU and the coprocessor are fed from the same instruction stream and both
instruction streams may operate on the same data, there has to be a
synchronizing mechanism between the CPU and the coprocessor.
The 8087
--------
In 8086/8088 systems with 8087 coprocessors, both chips look at every opcode
coming in from the bus. To do this, both chips have the same BIU (bus
interface unit) and the 8086 BIU sends the status signals of its prefetch
queue to the 8087 BIU. This insures that both processors always decode the
same instructions in parallel. Since all coprocessor instruction start with
the bit pattern 11011, it is easy for the 8087 to ignore all other
instructions. Likewise the CPU ignores all coprocessor instructions, unless
they access memory. In this case, the CPU computes the address of the LSB
(least significant byte) of the memory operand and does a dummy read. The
8087 then takes the data from the data bus. If more than one memory access is
needed to load an memory operand, the 8087 requests the bus from the CPU,
generates the consecutive addresses of the operand's bytes and fetches them
from the data bus. After completing the operation, the 8087 hands bus control
back to the CPU. Since 8087 and CPU are hooked up to the same synchronous
bus, they must run at the same speed. This means that with the 8087, only
synchronous operation of CPU and coprocessor is possible.
Another 8087 coprocessor instruction can only be started if the previous one
has been completed in the NEU (numerical execution unit) of the 8087. To
prevent the 8086 from decoding a new coprocessor instruction while the 8087
is still executing the previous coprocessor instruction, a coding mechanism
is employed: All 8087-capable compilers and assemblers automatically
generate a WAIT instruction before each coprocessor instruction. The WAIT
instruction tests the CPU's /TEST pin and suspends execution until its input
becomes "LOW". In all 8086/8087 systems, the 8086 /TEST pin is connected to
the 8087 BUSY pin. As long as the NEU executes a coprocessor instruction, it
forces its BUSY pin "HIGH"; thus, the WAIT opcode preceding the coprocessor
instruction stops the CPU until any still-executing coprocessor instruction
has finished.
The same synchronization is used before the CPU accesses data that was
written by the coprocessor. A WAIT instruction after any coprocessor
instruction that writes to memory causes the CPU to stop until the
coprocessor has completed transfer of the data to memory, after which the CPU
can safely access it.
The 80287
---------
The 80287 coprocessor-CPU interface is totally different from the 8087
design. Since the 80286 implements memory protection via an MMU based on
segmentation, it would have been much too expensive to duplicate the whole
memory protection logic on the coprocessor, which an interface solution
similar to the 8087 would have required. Instead, in an 80286/80287 system,
the CPU fetches and stores all opcodes and operands for the coprocessor.
Information is then passed through the CPU ports F8h-FFh. (As these ports are
accessible under program control, care must be taken in user programs not to
accidentally perform write operations to them, as this could corrupt data in
the math coprocessor.)
The 8087/8087 combination can be characterized as a cooperation of partners
with equal rights, while the 80286/287 is more a master-slave relationship.
This makes synchronization easier, since the complete instruction and data
flow of the coprocessor goes through the CPU. Before executing most
coprocessor instructions, the 80286 tests its /BUSY pin, which is tied to the
287 coprocessor and signals if the 80287 is still executing a previous
coprocessor instruction or has encountered an exception. The 80286 then waits
until the /BUSY signal goes to "low" before loading the next coprocessor
instruction into the 80287. Therefore, a WAIT instruction before every
coprocessor instruction is not required. These WAITs are permissible, but not
necessary, in 80287 programs. The second form of WAIT synchronization (after
the coprocessor has written a memory operand) *is* still necessary on 286/287
systems.
The execution unit of the 80287 is practically identical to that of the 8087;
that is, nearly all coprocessor instructions execute in the same number of
clock cycles on both coprocessors. However, due to the additional overhead of
the 80287's CPU/coprocessor interface (at least ~40 clock cycles), an 8 MHz
80286/80287 combination can have lower floating-point performance than an
8086/8087 system running at the same speed. Additionally, older 286 boards
were often configured to run the coprocessor at only 2/3 the speed of the
CPU, making use of the ability of the 80287 to run asynchronously: The 80287
has a CKM pin that causes the incoming system clock to be divided by three
for the coprocessor if it is tied to ground. The 80286 always divides the
system clock by two internally, hence the final ratio of 2/3. However, when
the CKM (ClocK Mode) pin is tied high on the 80287, it does not divide the
CLK input. This feature has been exploited by the maker of coprocessor speed
sockets. These sockets tie CKM high and supply their own CLK signal with a
built-in oscillator, thereby allowing the 80287 or compatible to run at a
much higher speed than the CPU. With an IIT or Cyrix 287 one can have a 20
MHz coprocessor running with a 8 MHz 80286! Note, however, that the floating-
point performance of such a configuration does not scale linearly with the
coprocessor clock, since all the data has to be passed through the much
slower CPU. If the coprocessor executes mostly simple instructions (such as
addition and multiplication), doubling the coprocessor clock to 20 MHz in a
10 MHz system does not show any performance increase at all [24].
The Intel 80287XL, the Cyrix 82S87, and the IIT 2C87 contain the internals of
a 387 coprocessor, but are pin-compatible to the original 287. These chips
divide the system clock by two internally, as opposed to three in the
original 80287. Since the 80286 also divides the system clock by two, they
usually run synchronously with respect to the CPU, although they can also be
run asynchronously.
The 80387
---------
The coprocessor interface in 80386/80387 systems is very similar to the one
found in 286/287 systems. However, to prevent corruption of the coprocessor's
contents by programming errors, the IO ports 800000F8h-800000FFh are used,
which are not accessible to programs. The CPU/coprocessor interface has been
optimized and uses full 32-bit transfers; the interface overhead has been
reduced to about 14-20 clock cycles. For some operations on the 387 'clones'
that take less than about 16 clock cycles to complete, this overhead
effectively limits the execution rate of coprocessor instructions. The only
sensible solution to provide even higher floating-point performance was to
integrate the CPU and coprocessor functionality onto the same chip, which
is exactly what Intel did with the 80486 CPU. The FPU in the 486 also benefits
from the instruction pipelining and from the on-chip cache.
=====================
Coprocessor emulators
=====================
In the absence of a coprocessor, floating-point calculations are often
performed by a software package that simulates its operations. Such a program
is called a coprocessor emulator. Simulating the coprocessor has the
advantage for application programs that identical code can be generated for
use with either the coprocessor and the emulator, so that it's possible to
write programs that run on any system without regard to whether a coprocessor
is present or not. Whether the program will use an actual coprocessor or
software emulating it can easily be determined at run-time by detecting the
presence or absence of the coprocessor chip.
Two approaches to interface an 80x87 emulator to programs are common. The
first method makes use of the fact that all coprocessor instruction start
with the same five bit pattern 11011. Thus the first byte of a coprocessor
instruction will be in the range D8-DF hexadecimal. In addition, coprocessor
instructions usually are preceded by a WAIT instruction (opcode 9Bh) which is
one byte long (the reason for doing this has been described in the previous
chapter dealing with the operating details of the 80x87). One common approach
is to replace the WAIT instruction and the first byte of the coprocessor
instruction with one out of eight interrupt instructions; the remaining bytes
of the coprocessor instruction are left unchanged. Interrupts 34 to 3B
hexadecimal are used for this emulation technique. (Note that the sequences
9B D8 ... 9B DF can be easily converted to the interrupt instructions CD 34
... CD 3B by simple addition and subtraction of constants.) The compiler or
assembler initially produces code that contains these appropriate interrupt
calls instead of the coprocessor instructions. If a hardware coprocessor is
detected at run-time, the emulator interrupts point to a short routine that
converts the interrupts calls back to coprocessor instructions (yes, this
is known as "self-modifying code"). If no coprocessor is found the interrupts
point to the emulation package, which examines the byte(s) following the
interrupt instruction to determine which floating-point operation to perform.
This method is used by many compilers, including those from Microsoft and
Borland. It works with every 80x86 CPU from the 8086/8088 on.
The second method to interface an emulator is only available on 286/386/486
machines. If the emulation bit in the machine status word of these processors
is set, the processors will generate an interrupt 7 whenever a coprocessor
instruction is encountered. The vector for this interrupt will have been set
up to point at an emulation package that decodes the instruction and performs
the desired operation. This approach has the advantage that the emulator
doesn't have to be included in the program code, but can be loaded once (as a
TSR or device driver) and then used by every program that requires a
coprocessor. Emulation via interrupt 7 is transparent, which means that
programs containing coprocessor instructions execute just like a coprocessor
was present, only slower. This approach is taken by the public domain EM87
emulator, the shareware program Q387, and the commercial Franke387 emulator,
for example. Even programs that require a coprocessor to run like AutoCAD
are 'fooled' to believe that a coprocessor is present with emulators using
INT 7.
Operating systems such as OS/2 2.0 and Windows 3.1 provide coprocessor
emulations using INT 7 automatically if they do not find a coprocessor to be
installed. The emulator in Windows doesn't seem to be very fast, as people
who have ported their Turbo Pascal programs from the TP 6.0 DOS compiler
(using the emulation built into the TP 6.0 run-time library) to the TPW 1.5
Windows compiler (using MS Windows' emulator) have noticed. Slowdowns of as
much as a factor of five have been reported [79].
The size of the emulator used by TP 6.0 is about 9.5 KB, while EM87 occupies
about 15.8 KB as a TSR, and Franke387 uses about 13.4 KB as a device driver.
Note that Franke387 and especially EM87 model a real coprocessor much more
closely than Turbo Pascal's emulator does. In particular, EM87 supports
denormal numbers, precision control, and rounding control. The emulator in TP
6.0 does not implement these features. The version of Franke387 tested (V2.4)
supports denormals in single and double-precision, but not double extended
precision, and it supports precision control, but not rounding control.
The recently introduced shareware program Q387 only runs on 386, 386SX, 486SX
and compatible processors. The program loads completely into extended memory
and uses about 330 KB. To enable INT 7 trapping to a service routine in
extended memory it needs to run with a memory manager (e.g. EMM386, QEMM,
or 386MAX). The huge size of the program stems from the fact that it was
solely optimized for speed, assuming that extended memory is a cheap resource.
Presumably it uses large tables to speed computations. Intel's E80287 program
is supposed to be an 100% exact emulation of the 80287 coprocessor [44]. Note
that the more closely a real coprocessor is modelled by the emulator, the
slower the emulator runs and the larger the code for the emulator gets.
Relative execution times of coprocessor vs. software emulators
for selected coprocessor instructions
Intel 387DX TP 6.0 Emulator EM87 Emulator
FADD ST, ST(0) 1 26 104
FDIV [DWord] 1 22 136
FXAM 1 10 73
FYL2X 1 33 102
FPATAN 1 36 110
F2XM1 1 38 110
The following table is an excerpt from [44]:
Intel 80287 Intel E80287 Emulator
FADD ST, ST(0) 1 42
FDIV [DWord] 1 266
FXAM 1 139
FYL2X 1 99
FPATAN 1 153
F2XM1 1 41
The following has been adapted from [43] and merged with my own
data:
Intel 8087 TP 6.0 Emul. (8086) Intel Emul. (8086)
FADD ST, ST(0) 1 20 94
FDIV [DWord] 1 22 82
FPTAN 1 18 144
F2XM1 1 6 171
FSQRT 1 44 544
One of the reasons emulators are so slow is that they are often designed to
run with every CPU from the 8086/8088 on upwards. This is the case with the
emulators built into the compiler libraries of the Turbo Pascal 6.0 (also
used by Turbo C/C++) and Microsoft C 6.0 compiler (probably also used in
other Microsoft products) and is also true for the EM87 emulator in the
public domain. By using code that can run on a 8086/8088, these emulators
forego the speed advantage offered by the additional instructions and
architectural enhancements (such as 32-bit registers) of the more advanced
Intel 80x86 processors. A notable exception to this is the Franke387
emulator, a commercial emulator that is also sold as shareware. It uses 386-
specific 32-bit code and only runs on 386/386SX/486SX computers.
Besides being slow, coprocessor emulators have other drawbacks when compared
with real coprocessors. Most of the emulators do not support the additional
instructions that the 387-compatible coprocessors offer over the 80287.
Often, some of the low-level stack-manipulating instructions like FDECSTP are
not emulated. For example, [76] lists the coprocessor instructions not
emulated by Microsoft's emulator (included in the MS-C and MS-FORTRAN
libraries) as follows:
FCOS FRSTOR FSINCOS FXTRACT
FDECSTP FSAVE FUCOM
FINCSTP FSETPM FUCOMP
FPREM1 FSIN FUCOMPP
Additionally, some parts of the coprocessor architecture, like the status
register, are often not or only partially emulated. Some emulators do not
conform to the IEEE-754 standard in their implementation of the basic
arithmetic functions, while the hardware coprocessors do. Also, they
sometimes lack the support for denormals (a special class of floating-point
numbers) although it is required by the standard. Not all the 80x87 emulators
support rounding control and precision control, also features required by
IEEE-754. Most of these omissions are aimed at making the emulator faster and
smaller. Because of the performance gap and these other shortcomings of
coprocessor emulators, a real coprocessor is a must for anybody planning to
do some serious computations. (At today's prices, this shouldn't pose much of
a problem to anybody!)
Nhuan Doduc (ndoduc@framentec.fr) has tested a number of standalone
coprocessor emulators for PCs, among them the two emulators, EM87 and
Franke387 V2.4, already mentioned. He found Franke387 to be the best in terms
of reliability, speed, and accuracy.
=============================
Installing a math coprocessor
=============================
Usually, installing a coprocessor doesn't pose much of a problem, as every
coprocessor comes with installation instructions and a diagnostic disk that
lets you check its correct operation after installation. In addition, the
user manuals of most computers have a section on coprocessor installation.
1) Make sure to buy the right coprocessor for your system. An 8087 works
together with 8086, 8088, V20, and V30 CPUs. An 80287, 287XL or
compatible works with a 80286 CPU. (There are also some old 386
motherboards that accept a 80287 coprocessor, but they usually also
provide a socket for the 387; given today's pricing, it makes no sense
not to get a 387 for these systems.) A 80387, 387DX or compatible
coprocessor is for 386-based systems, as is the Intel RapidCAD. 387
coprocessors also work with the Cyrix 486DLC CPU (which, despite its
name, does not include an FPU). Similarly, the 387SX or compatible
coprocessor go into systems whose CPU is a 386SX or Cyrix 486SLC.
The Weitek Abacus 3167 works with a 386 CPU but requires a 121-pin EMC
socket in the system; this is *not* the same socket used by a 80387 or
compatible chip, and some computers, such as IBM's PS/2s, don't have
this socket. The Weitek Abacus 4167 works together with the 486 and
requires a special 142-pin socket to be present.
2) Always install a coprocessor that's rated at the same clock speed as the
CPU. For example, in a 40 MHz 386 system using an AMD Am386-40, install
a coprocessor rated for 40 MHz such as a Cyrix 83D87-40, C&T 38700DX-40,
IIT 3C87-40, or ULSI 83C87-40. Running a coprocessor above its specified
frequency rating may cause it to produce false results, which you might
fail to recognize as such. (I have personally experienced this problem
with a Cyrix 83D87-33 that I tried to push to 40 MHz. It passed all the
diagnostic benchmarks on the Cyrix diagnostic disk and the tests of some
commercial system test programs. However, I found it to fail the
Whetstone and Linpack benchmarks, which include accuracy checks.)
Although there is usually no problem with overheating when pushing a
coprocessor over the specified maximum frequency rating, be warned that
operation of a coprocessor above the maximum ratings stated by the
manufacturer may make its operation unreliable.
Some 386 boards allow the coprocessor to be clocked differently than the
CPU. This is called "asynchronous operation" and allows you, for
example, to run the coprocessor at 33 MHz while the CPU runs at 40 MHz.
Of the currently available math coprocessors, only the Intel 80387 and
387DX support asynchronous operation. The 387-compatible "clones" from
Cyrix, C&T, IIT and ULSI always run at the full speed of the CPU, even
if you have set up your motherboard for asynchronous operation.
3) Once you've got the correct coprocessor for your system you can start
the actual installation process. Turn off the computer's power switch
and unplug the power cord from the wall outlet, remove the case, and
locate the math coprocessor socket. This socket is always located right
next to the main CPU, which can be identified by the printing on top of
the chip. (It's also usually one of the biggest chips on the board). The
8078 and 80287 DIL sockets are rectangular sockets with 20 pin holes on
each of the longer sides. The 387SX PLCC socket is a square socket that
has 17 vertical connector strips on the 'wall' of each side. The 387 PGA
socket is square and has two rows of pin holes on each side. The EMC
socket for the Weitek 3167 is similar but has three rows of holes on
each side. The PGA socket for the Weitek 4167 is also square with three
rows of holes on each side. If you can't find the math coprocessor
socket, consult your owner's manual, your computer dealer, or a
knowledgeable friend.
If you are installing the Intel RapidCAD chipset in a 386 system, you
will have to remove the 386 CPU first. Intel provides an easy-to-use
chip extractor and a storage box for the 386 chip for this purpose. Just
follow the instructions in the RapidCAD installation manual.
On many systems, the motherboard is supported only at a small number of
points. Since considerable force is required to insert a pin grid chip
like the 80387, RapidCAD, or Weitek Abacus 3167 into its socket, the
board may bend quite a lot due to the insertion pressure. This could
cause cracks in the board's conductive traces that may render it
intermittently or completely inoperable. Damage done to the board in
this way is usually not covered by the computer's warranty! Therefore,
it may be a good idea to first check how much the board bends by
pressing on the math coprocessor socket with your finger. If you find it
to bend easily, try to put something under the board directly beneath
the coprocessor socket. If this is impossible, as it is in many desktop
cases, consider removing the whole mother board from the case, and
placing it on a hard, flat surface free of static electricity. (You will
also have to do this if your system's CPU and coprocessor socket are on
a separate card rather than on the motherboard, as is typical in many
modular systems.)
Be sure you are properly grounded before you remove the coprocessor from
its antistatic box, as even a tiny jolt of static electricity can ruin
the coprocessor. Make sure you do not touch the pins on the bottom of
the chip.
Check the pins and make sure none are bent; if some are, you can
*carefully* straighten them with needle-nose pliers or tweezers.
4) Match the coprocessor's orientation with the orientation of the socket.
Correct orientation of the coprocessor is absolutely essential, because
if you insert it the wrong way it may be damaged.
8087 and 287 coprocessors have a notch on one the shorter sides of their
rectangular DIL package that should be matched with the notch of the
coprocessor socket. Usually the 286 CPU and the 287 coprocessor are
placed alongside each other and both have the same orientation, (that
is, their respective notches point in the same direction). 387SX
coprocessors feature a white dot or similar mark that matches with some
sort of marking on the socket. 387 coprocessors have a bevelled corner
that is also marked with a white dot or similar marking. This should be
matched with the bevelled or otherwise marked corner of the socket. If
your system has only a large EMC socket and you are installing a 387 in
it, you will leave one row of pin holes free on each side of the chip.
Once you have found the correct orientation, place the chip over the
socket and make sure all pins are correctly aligned with their
respective holes. Press firmly and evenly on the chip -- you may have to
press hard to seat the coprocessor all the way. Again, make sure your
motherboard does not bend more than slightly under the insertion
pressure. For 8087, 287, and 387 coprocessors it is normal that the
coprocessor does not go all the way in; about one millimeter (1/25 inch)
of space is usually left between the socket and the bottom of the
coprocessor chip. (This allows the insertion of a extraction device
should it become necessary to remove the chip. Note that the
construction of the 387SX's PLCC socket makes it next-to-impossible to
remove the coprocessor once fully inserted, as the top of the chip is
level with the socket's 'walls'.)
5) Check your computer's manual for the proper position of any jumpers or
switches that need to be set to tell the system it now has a coprocessor
(and possibly, which kind it has). Put the cover back on the system
unit, reconnect the power, and turn on your computer. Depending on your
system's BIOS, you may now have to run a setup or configuration program
to enable the coprocessor. Finally, run the programs supplied on the
diagnostic disk (included with your coprocessor) to check for its
correct operation.
=================================================================
Descriptions of available coprocessors, CPU+FPU (as of 01-11-93):
=================================================================
Intel 8087
[43] This was the first coprocessor that Intel made available for the
80x86 family. It was introduced in 1980 and therefore does not have full
compatibility with the IEEE-754 standard for floating-point arithmetic,
(which was finally released in 1985). It complements the 8088 and 8086
CPUs and can also be interfaced to the 80188 and 80186 processors.
The 8087 is implemented using NMOS. It comes in a 40-pin CERDIP (ceramic
dual inline package). It is available in 5 MHz, 8 MHz (8087-2), and 10
MHz (8087-1) versions. Power consumption is rated at max. 2400 mW [42].
A neat trick to enhance the processing power of the 8087 for
computations that use only the basic arithmetic operations (+,-,*,/) and
do not require high precision is to set the precision control to single-
precision. This gives one a performance increase of up to 20%. For
details about programming the precision control, see program PCtrl in
appendix A.
With the help of an additional chip, the 8087 can in theory be
interfaced to an 80186 CPU [36]. The 80186 was used in some PCs (e.g.
from Philips, Siemens) in the 1982/1983 time frame, but with IBM's
introduction of the 80286-based AT in 1984, it soon lost all
significance for the PC market.
Intel 80187
The 80187 is a rather new coprocessor designed to support the 80C186
embedded controller (a CMOS version of the 80186 CPU; see above). It was
introduced in 1989 and implements the complete 80387 instruction set. It
is available in a 40 pin CERDIP (ceramic dual inline package) and a 44
pin PLCC (plastic leaded chip carrier) for 12.5 and 16 MHz operation.
Power consumption is rated at max. 675 mW for the 12.5 MHz version and
max. 780 mW for the 16 MHz version [37].
Intel 80287
[44] This is the original Intel coprocessor for the 80286, introduced in
1983. It uses the same internal execution unit as the 8087 and therefore
has the same speed (actually, it is sometimes slower due to additional
overhead in CPU-coprocessor communication). As with the 8087, it does
not provide full compatibility with the IEEE-754 floating point standard
released in 1985.
The 80287 was manufactured in NMOS technology, and is packaged in a 40-
pin CERDIP (ceramic dual inline package). There are 6 MHz, 8 MHz, and 10
MHz versions. Power consumption can be estimated to be the same as that
for the 8087, which is 2400 mW max.
The 80287 has been replaced in the Intel 80x87 family with its faster
successor, the CMOS-based Intel 287XL, which was introduced in 1990 (see
below). There may still be a few of the old 80287 chips on the market,
however.
Intel 80287XL
This chip is Intel's second-generation 287, first introduced in 1990.
Since it is based on the 80387 coprocessor core, it features full IEEE
754 compatibility and faster instruction execution. Intel claims about
50% faster operation than the 80287 for typical benchmark tests such as
Whetstone [45]. Comparison with benchmark results for the AMD 80C287,
which is identical to the Intel 80287, support this claim [1]: The Intel
287XL performed 66% faster than the AMD 80C287 on a fractal benchmark
and 66% faster on the Whetstone benchmark in these tests. Whetstone
results from [46] show the Intel 287XL at 12.5 MHz to perform 552
kWhets/sec as opposed to the AMD's 80C287 289 kWhets/sec, a 91%
performance increase. A benchmark using the MathPak program showed the
Intel 287XL to be 59% faster than the Intel 80287 (6.9 sec. vs. 11.0
sec.) [26]. Since the 287XL has all the additional instructions and
enhancements of a 387, most software automatically identifies it as an
80387-compatible coprocessor and therefore can make use of extra 387-
only features, such as the FSIN and FCOS instructions.
The 287XL is manufactured in CMOS and therefore uses much less power
than the older NMOS-based 80287. At 12.5 MHz, the power consumption is
rated at max. 675 mW, about 1/4 of the 80287 power consumption. The
287XL is available in either a 40-pin CERDIP (ceramic dual inline
package) or a 44 pin PLCC (plastic leaded chip carrier). (This latter
version is called the 287XLT and intended mainly for laptop use.) The
287XL is rated for speeds of up to 12.5 MHz.
AMD 80C287
This chip, manufactured by Advanced Micro Devices (AMD), is an exact
clone of the old Intel 80287, and was first brought to market by AMD in
1989. It contains the original microcode of the 80287 and is therefore
100% compatible with it. However, as the name indicates, the 80C287 is
manufactured in CMOS and therefore uses less power than an equivalent
Intel 80287. At 12.5 MHz, its power consumption is rated at max. 625 mW
or slightly less than that of the Intel 80287XL [27]. There is also
another version called AMD 80EC287 that uses an 'intelligent' power save
feature to reduce the power consumption below 80C287 levels. Tests at
10.7 MHz show typical power consumption for the 80EC287 to be at 30 mW,
compared to 150 mW for the AMD 80C287, 300 mW for the Intel 287XL and
1500 mW for the Intel 80287 [57]. The 80EC287 is therefore ideally
suited for low power laptop systems.
The AMD 80C287 is available in speeds of 10, 12, and 16 MHz. (I have
only seen it being offered in 10 MHz and 12 MHz versions, however.) At
about US$ 50, it is currently the cheapest coprocessor available. Note
that it provides less performance than the newer Intel 287XL (see
above). The AMD 80C287 is available in 40 pin ceramic and plastic DIPs
(dual inline package) and as 44 pin PLCC (plastic leaded chip carrier).
Due to recent legal battles with Intel over the right to use the 287
microcode, which AMD lost, AMD may have to discontinue this product
(disclaimer: I am not a legal expert).
Cyrix 82S87
This 80287-compatible chip was developed from the Cyrix 83D87, (Cyrix's
80387 'clone') and has been available since 1991. It complies completely
with the IEEE-754 standard for floating-point arithmetic and features
nearly total compatibility with Intel's coprocessors, including
implementation of the full Intel 80387 instruction set. It implements
the transcendental functions with the same degree of accuracy and the
superior speed of the Cyrix 83D87. This makes the Cyrix 82S87 the
fastest [1] and most accurate 287 compatible coprocessor available.
Documentation by Cyrix [46] rates the 82S87 at 730 kWhets/sec for a 12.5
MHz system, while the Intel 287XL performs only 552 kWhets/sec. 82S87
chips manufactured after 1991 use the internals of the Cyrix 387+, which
succeeds the original 83D87 [73].
The 82S87 is a fully static CMOS design with very low power requirements
that can run at speeds of 6 to 20 MHz. Cyrix documentation shows the
82S87 to consume about the same amount of power as the AMD 80C287 (see
above). The 82S87 comes in a 40 pin DIP or a 44 pin PLCC (plastic leaded
chip carrier) compatible with the pinout of the Intel 287XLT and
ideally suited for laptop use.
IIT 2C87
This chip was the first 80287 clone available, introduced to the market
in 1989. It has about the same speed as the Intel 287XL [1]. The 2C87
implements the full 80387 instruction set [38]. Tests I ran on the 3C87
seem to indicate that it is not fully compatible with the IEEE-754
standard for floating-point arithmetic (see below for details), so it
can be assumed that the 2C87 also fails these test (as it presumably
uses the same core as the 3C87).
The IIT 2C87 provides extra functions not available on any other 287
chip [38]. It has 24 user-accessible floating-point registers organized
into three register banks. Additional instructions (FSBP0, FSBP1, FSBP2)
allow switching from one bank to another. (Transfers between registers
in different banks are not supported, however, so this feature by itself
is of limited usefulness. Also, there seems to be only one status
register (containing the stack top pointer), so it has to be manually
loaded and stored when switching between banks with a different number
of registers in use [40]). The register bank's main purpose is to aid
the fourth additional instruction the 2C87 has (F4X4), which does a full
multiply of a 4x4 matrix by a 4x1 vector, an operation common in 3D-
graphics applications [39]. The built-in matrix multiply speeds this
operation up by a factor of 6 to 8 when compared to a programmed
solution according to the manufacturer [38]. Tests show the speed-up to
be indeed in this range [40]. For the 3C87, I measured the execution
time of F4X4 to be about 280 clock cycles; the execution time on the
2C87 should be somewhat larger - I estimate it to be around 310 clock
cycles due to the higher CPU-NDP communication overhead in instruction
execution in 286/287 systems (~45-50 clock cycles) compared with 386/387
systems (~16-20 clock cycles). As desirable as the F4X4 instruction may
seem, however, there are very few applications that make use of it when
an IIT coprocessor is detected at run time (among them Schroff
Development's Silver Screen and Evolution Computing's Fast-CAD 3-D
[25]).
The 2C87 is available for speeds of up to 20 MHz. It is implemented in
an advanced CMOS process and has therefore a low power consumption of
typically about 500 mW [38].
Intel 80387
This chip was the first generation of coprocessors designed specifically
for the Intel 80386 CPU. It was introduced in 1986, about one year after
the 80386 was brought to market. Early 386 system were therefore
equipped with both a 80287 and a 80387 socket. The 80386 does work with
an 80287, but the numerical performance is hardly adequate for such a
system.
The 80387 has itself since been superseded by the Intel 387DX introduced
by a quiet change in 1989 (see below). You might find it when acquiring
an older 386 machine, though. The old 80387 is about 20% slower than the
newer 387DX.
The 80387 is packaged in a 68-pin ceramic PGA, and was manufactured
using Intel's older 1.5 micron CHMOS III technology, giving it moderate
power requirements. Power consumption at 16 MHz is max. 1250 mW (750 mW
typical), at 20 MHz max. 1550 mW (950 mW typical), and at 25 MHz max.
1950 mW (1250 mW typical) [60].
Intel 387DX
The 387DX is the second-generation Intel 387; it was quietly introduced
to replace the original 80387 in 1989. This version is done in a more
advanced CMOS process which enables the coprocessor to run at a maximum
frequency of 33 MHz (the 80387 was limited to a maximum frequency of 25
MHz). The 387DX is also about 20% faster than the 80387 on the average
for the same clock frequency. For a 386/387 system operating at 29 MHz
the Whetstone benchmark (compiled with the highly optimizing Metaware
High-C V1.6) runs at 2377 kWhetstones/sec for the 80387 and at 2693
kWhetstones/sec for the 387DX, a 13% increase. In a fractal calculation
programmed in assembly language, the 387DX performance was 28% higher
than the performance of the 80387. The transcendental functions have
also sped up from the 80387 to the 387DX. In the Savage benchmark
(again, compiled with Metaware High-C V1.6 and running on a 29 MHz
system), the 80387 evaluated 77600 function calls/second, while the
387DX evaluated 97800 function calls/second, a 26% increase [7]. Some
instructions have been sped up a lot more than the average 20%. For
example, the performance of the FBSTP instruction has increased by a
factor of 3.64.
The Intel 387DX (and its predecessor 80387) are the only 387
coprocessors that support asynchronous operation of CPU and coprocessor.
The 387 consists of a bus interface unit and a numerical execution unit.
The bus interface unit always runs at the speed of the CPU clock
(CPUCLK2). If the CKM (ClocK Mode) pin of the 387 is strapped to Vcc,
the numerical execution unit runs at the same speed as the bus interface
unit. If CKM is tied to ground, the numerical execution unit runs at the
speed provided by the NUMCLK2 input. The ratio of NUMCLK2 (coprocessor
clock) to CPUCLK2 (CPU clock) must lie within the range 10:16 to 14:10.
For example, for a 20 MHz 386, the Intel 387DX could be clocked from
12.5 MHz to 28 MHz via the NUMCLK2 input. (On the Cyrix 83D87, Cyrix
387+, ULSI 83C87, and the IIT 387, the CKM pin is not connected. These
coprocessors are therefore not capable of asynchronous operation and
always run at the speed of the CPU.)
The Intel 387DX is manufactured using Intel's advanced low power CHMOS
IV technology. Power consumption at 20 MHz is max. 900 mW (525 mW
typical), at 25 MHz max. 1050 mW (625 mW typical), and at 33 MHz max.
1250 mW (750 mW typical) [59].
Intel 387SX
This is the coprocessor paired with the Intel 386SX CPU. The 386SX is an
Intel 80386 with a 16-bit, rather than 32-bit, data path. This reduces
(somewhat) the costs to build a 386SX system as compared to a full 32-
bit design required by a 386DX. (The 386SX's main *marketing* purpose
was to replace the 80286 CPU, which was being sold more cheaply by other
manufacturers [such as AMD], and which Intel subsequently stopped
producing.) Due to the 16-bit data path, the 386SX is slower than the
386DX and offers about the same speed as an 80286 at the same clock
frequency for 16-bit applications. But as the 386SX is a complete 80386
internally, it offers also the possibility to run 32-bit applications
and supports the virtual 8086 mode (used for example by Windows' 386
enhanced mode).
The 387SX has all the features of the Intel 80387, including the ability
of asynchronous operation of CPU and coprocessor (see Intel 387DX
information, above). Due to the 16 bit data path between the CPU and the
coprocessor, the 387SX is a bit slower than a 80387 operating at the
same frequency. In addition, the 387SX is based on the core of the
original 80387, which executes instructions slower than the second
generation 387DX.
The 387SX comes in a 68-pin PLCC (plastic leaded chip carrier) package
and is available in 16 MHz and 20 MHz versions. (Coprocessors for faster
386SX systems based on the Am386SX CPU are available from IIT, Cyrix,
and ULSI.) Power consumption for the 387SX at 16 MHz is max. 1250 mW
(740 mW typical); for the 20 MHz version it is max. 1500 mW (1000 mW
typical) [62].
Intel 387SL
This coprocessor is designed for use in systems that contain an Intel
386SL as the CPU. The 386SL is directly derived from the 386SX. It is a
static CHMOS IV design with very low power requirements that is intended
to be used in notebook and laptop computers. It features an integrated
cache controller, a programmable memory controller, and hardware support
for expanded memory according to the LIM EMS 4.0 standard. The 387SL,
introduced in early 1992, has been designed to accompany the 386SL in
machines with low power consumption and substitute the 387SX for this
purpose. It features advanced power saving mechanisms. It is based on
the 387DX core, rather than on the older and slower 80387 core (which is
used by the 387SX).
IIT 3C87
This IIT chip was introduced in 1989, about the same time as the Cyrix
83D87. Both coprocessors are faster than Intel's 387DX coprocessor. The
IIT 3C87 also provides extra functions not available on any other 387
chip [38]. It has 24 user-accessible floating-point registers organized
into three register banks. Three additional instructions (FSBP0, FSBP1,
FSBP2) allow switching from one bank to another. (Transfers between
registers in different banks are not supported, however, so this feature
by itself is of limited usefulness. Also, there seems to be only one
status register [containing the stack top pointer], so it has to be
manually loaded and stored when switching between banks with a different
number of registers in use [40]). The register bank's main purpose is to
aid the fourth additional instruction the 3C87 has (F4X4), which does a
full multiply of a 4x4 matrix by a 4x1 vector, an operation common in
3D-graphics applications [39]. The built-in matrix multiply speeds this
operation up by a factor of 6 to 8 when compared to a programmed
solution according to the manufacturer [38]. Tests show the speed-up to
be indeed in this range [40]. I measured the F4X4 to execute in about
280 clock cycles, during which time it executes 16 multiplications and
12 additions. The built-in matrix multiply speeds up the matrix-by-
vector multiply by a factor of 3 compared with a programmed solution
according to IIT [39]. The results for my own TRNSFORM benchmark support
this claim (see results below), showing a performance increase by a
factor of about 2.5. This makes matrix multiplies on the IIT 3C87 nearly
as fast as on an Intel 486 at the same clock frequency. As desirable as
the F4X4 instruction may seem, however, there are very few applications
that make use of it when an IIT coprocessor is detected at run time
(among them Schroff Development's Silver Screen and Evolution
Computing's Fast-CAD 3-D [25]).
These IIT-specific instructions also work correctly when using a Chips &
Technologies 38600DX or a Cyrix 486DLC CPU, which are both marketed as
faster replacements for the Intel 386DX CPU.
Tests I ran with the IEEETEST program show that the 3C87 is not fully
compatible with the IEEE-754 standard for floating-point arithmetic,
although the manufacturer claims otherwise. It is indeed possible that
the reported errors are due to personal interpretations of the standard
by the program's author that have been incorporated into IEEETEST and
that the standard also supports the different interpretation chosen by
IIT. On the other hand, the IEEE test vectors incorporated into IEEETEST
have become somewhat of an industry standard [66] and Intel's 387, 486,
and RapidCAD chips pass the test without a single failure, so the fact
that the IIT 3C87 fails some of the tests indicates that it is not fully
compatible with the Intel 387 coprocessor. My tests also show that the
IIT 3C87 does not support denormals for the double extended format. It
is not entirely clear whether the IEEE standard mandates support for
extended precision denormals, as the IEEE-754 document explicitly only
mentions single and double-precision denormals. Missing support for
denormals is not a critical issue for most applications, but there are
some programs for which support of denormals is at the very least quite
helpful [41]. In any case, failure of the 3C87 to support extended
precision denormal numbers does represent an incompatibility with the
Intel 387 and 486 chips.
The 3C87 is implemented in an advanced CMOS process and has low power
requirements, typically about 600 mW. Like the 387 'clones' from Cyrix
and ULSI, the 3C87 does not support asynchronous operation of the CPU
and the coprocessor, but always runs at the full speed of the CPU. It is
available in 16, 20, 25, 33, and 40 MHz versions.
IIT 3C87SX
This is the version of the IIT 3C87 that is intended for use with
Intel's 386SX or AMD's Am386SX CPU, and is functionally equivalent to
the IIT3C87. Due to the 16-bit data path between the CPU and the
coprocessor in a 386SX- based system, coprocessor instructions will
execute somewhat more slowly than on the 3C87. At present, the IIT
3C87SX is the only 387SX coprocessor that is offered at speeds of 16,
20, 25, and 33 MHz. (I have read that Cyrix has also announced an 83S87-
33, but haven't seen it being offered yet.) The 3C87SX is packaged in a
68-pin PLCC.
Cyrix FasMath 83D87
This chip was introduced in 1989, only shortly after the coprocessors
from IIT. It has been found to be the fastest 387-compatible coprocessor
in several benchmark comparisons [1,7,68,69]. It also came out as the
fastest coprocessor in my own tests (see benchmark results below).
Although the Cyrix 83D87 provides up to 50% more performance than the
Intel 387DX in benchmarks comparisons, the speed advantage over other
387-compatible coprocessors in real applications is usually much
smaller, because coprocessor instructions represent only a small part of
the total application code. For example, in a test using the program 3D-
Studio, the Cyrix 83D87 was 6% faster than the Intel 387DX [1].
Besides being the fastest 387 coprocessor, the 83D87 also offers the
most accurate transcendental functions results of all coprocessors
tested (see test results below). The new "387+" version of the 83D87,
available since November 1991, even surpasses the level of accuracy of
the original 83D87 design. Note that the name 387+ is used in European
distribution only. In other parts of the world, the new chip still goes
by the name 83D87.
Unlike Intel's coprocessors, which use the CORDIC [18,19] algorithm to
compute the transcendental functions, Cyrix uses polynomial and rational
approximations to the functions. In the past the CORDIC method has been
popular since it requires only shifts and adds, which made it relatively
easy to implement a reasonably fast algorithm. Recently, the cost for the
implementation of fast floating-point hardware multipliers has dropped
significantly (due to the availability of VLSI), making the use of
polynomial and rational approximations superior to CORDIC for the
generation of transcendental functions [61]. The Cyrix 83D87 uses a fast
array multiplier, making its transcendental functions faster than those
of any other 387 compatible coprocessor. It also uses 75 bit for the
mantissa in intermediate calculations (as opposed to 68 bits on other
coprocessors), making its transcendental functions more accurate than
those of any other coprocessor or FPU (see results below).
The 83D87 (and its successor, the 387+) are the 387 'clones' with the
highest degree of compatibility to the Intel 387DX. A few minor software
and hardware incompatibilities have been documented by Cyrix [12]. The
software differences are caused by some bugs present in the 387DX that
Cyrix fixed in the 83D87. Unlike the Intel 387DX, the 83D87 (and all
other 387-compatible chips as well) does not support asynchronous
operation of CPU and coprocessor. There were also problems in the past
with the CPU-coprocessor communications, causing the 83D87 to
occasionally hang on some machines. The reason behind this was that
Cyrix shaved off a wait state in the communication protocol, which
caused a communications breakdown between the CPU and the 83D87 for some
systems running at 25 MHz or faster. (One notable example of this
behavior was the Intel 302 board.) Also there were problems with boards
based on early revisions of the OPTI chipset. These problem are only
rarely encountered with the current generation of 386 motherboards, and
it is possible that it has been entirely eliminated in the 387+, the
successor to the 83D87.
To reduce power consumption the 83D87 features advanced power saving
features. Those portions of the coprocessor that are not needed are
automatically shut down. If no coprocessor instructions are being
executed, *all* parts except the bus interface unit are shut down [12].
Maximal power consumption of the Cyrix 83D87 at 33 MHz is 1900 mW, while
typical power consumption at this clock frequency is 500 mW [15].
Cyrix EMC87
This coprocessor is basically a special version of the Cyrix 83D87,
introduced in 1990. In addition to the normal 387 operating mode, in
which coprocessor-CPU communication is handled through reserved IO
ports, it also offers a memory-mapped mode of operation similar to the
operation principle of the Weitek Abacus. Like the Weitek chip, the
EMC87 occupies a block of memory starting at physical address C0000000h
(the Abacus occupies a memory block of 64 KB, while the EMC87 uses only
4 KB [77]). It can therefore only be accessed in the protected or
virtual modes of the 386 CPU. DOS programs can access the EMC87 with the
help of DOS extenders or memory managers like EMM386 which run in
protected/virtual mode themselves. To implement the memory-mapped
interface, the usual 80x87 architecture has been slightly expanded with
three additional registers and eleven additional instructions that can
only be used if the memory-mapped mode is enabled.
Using this special mode of the EMC87 provides a significant speed
advantage. The traditional 387 CPU-coprocessor interface via IO ports
has an overhead of about 14-20 clock cycles. Since the Cyrix 83D87
executes some operations like addition and multiplication in much less
time, its performance is actually limited by the CPU-coprocessor
interface. Since the memory-mapped mode has much less overhead, it
allows all coprocessor instructions to be executed at full speed with no
penalty.
Originally, Cyrix claimed support for the fast memory-mapped mode of the
EMC87 from a number of software vendors (including Borland and
Microsoft). However, there are only very few applications that make use
of it, among them Evolution Computing's FastCAD 3D, MicroWay Inc.'s NDP
FORTRAN-386 compiler, Metaware's High-C compiler version 1.6 and newer,
and Intusofts's Spice [63,73]. Part of the problem in supporting the
memory-mapped mode is that the application must reserve one of the
general purpose registers of the CPU to use memory-mapped mode
instructions that access memory.
(Note that the EMC87 is *not* compatible with Weitek's Abacus
coprocessor. They both use the same CPU interface technique [memory
mapping], but while the EMC87 uses the standard 387 instruction set, the
Weitek Abacus coprocessors use a different instruction set entirely its
own.)
Since the EMC87 provides also the standard 386/387 CPU interface via IO
ports, it can be used just like any other 387-compatible coprocessor and
delivers the same performance as the Cyrix 83D87 in this mode. The EMC87
even allows mixed use of memory-mapped and traditional instructions in
the same code. Cyrix has also implemented some additional instructions
in the EMC87 that are also available in the 387-compatible mode:
FRICHOP, FRINT2, and FRINEAR. These instructions enable rounding to
integer without setting the rounding mode by manipulating the
coprocessor control word, and are intended to make life easier for
compiler writers.
In a test, the EMC87 at 33 MHz ran the single-precision Whetstone
benchmark at 7608 kWhetstones/sec, while the Cyrix 83D87 at 33 MHz had a
speed of only 5049 kWhetstones/sec, an increase of 50.6% [63]. In
another test, the EMC87 ran a fractal computation at twice the speed of
the Cyrix 83D87 and 2.6 times as fast as an Intel 387DX [64]. A third
test found the EMC87's overall performance to be 20% higher than the
performance of the Cyrix 83D87 [65].
The Cyrix FasMath EMC87 has also been marketed as Cyrix AutoMATH; the
two chips are identical. Unlike the Cyrix 83D87, which fits into the 68-
pin 387 coprocessor socket, the EMC87 comes in a 121-pin PGA and
requires the 121-pin EMC (Extended Math Coprocessor) socket. Note that
not all boards have such a socket (a notable exception being IBM's
PS/2s, for example). The EMC87 is available 25 and 33 MHz versions.
Maximum power consumption at 33 MHz is 2000 mW.
Cyrix appears currently to be phasing out the EMC87.
Cyrix FasMath 387+
This chip is the second-generation successor to the Cyrix 83D87. (The
name "387+" is only used for European distribution; in other parts of
the world, it goes by the original 83D87 designation.) According to a
source within Cyrix [73], the 387+ was designed to make a smaller (and
thus cheaper to manufacture) coprocessor chip that could also be pushed
to higher frequencies than the original chip: the 387+ is available in
versions of up to 40 MHz, whereas the original 83D87 could go no faster
than 33 MHz.
The Cyrix 387+ is ideally suited to be used with Cyrix's 486DLC CPU,
which is a 486SX compatible replacement chips for the Intel 386DX.
Indeed Cyrix sells upgrade kits consisting of a 486DLC CPU and a
Cyrix 387+.
In my tests, I found the Cyrix 387+ to be about five to 10 percent
*slower* than the Cyrix 83D87. However, some instructions like the
square root (FSQRT) now run at only half the speed at which they ran in
the 83D87, and most transcendental functions show about a 40% drop in
performance compared to their 83D87 averages (see performance results,
below). However, I did find the transcendental functions on the 387+ to
be a bit *more* accurate than those implemented in the 83D87. The new
design uses a slower hardware multiplier that needs six clock cycles to
multiply the floating-point mantissa of an internal precision number,
while the multiplier in the 83D87 takes only 4 clocks to accomplish the
same task. Since the transcendental functions in Cyrix math coprocessors
are generated by polynomial and rational approximations, this slows them
down significantly.
The divide/square root logic has also been changed from the 83D87
design. The original design used an algorithm that could generate both
the quotient and square root, so the execution times for these
instructions were nearly identical. The algorithm chosen for the
division in the 387+ doesn't allow the square root to be taken so
easily, so it takes nearly twice as long.
In the 387+, the available argument range for the FYL2XP1 instruction
has been extended, from the usual range -1+sqrt(2)/2..sqrt(2)/2 that is
found on all 80x87 coprocessors, to include all floating-point numbers.
Also, four additional instructions have been implemented: FRICHOP
(opcode DD FC), FRINT2 (opcode DB FC), FRINEAR (opcode DF FC), and FTSTP
(opcode D9 E6).
Cyrix FasMath 83S87
The 83S87 is the SX version of the Cyrix 83D87. Just as the 83D87 is the
fastest 387-compatible coprocessor, the Cyrix 83S87 is the fastest of
the 387SX compatible coprocessors [1], as well as providing the most
accurate transcendental functions. 83S87 chips manufactured after 1991
use the internals of the Cyrix 387+, the successor to the original 83D87
[73] (above). The Cyrix 83S87 is ideally suited to be used with the
Cyrix Cx486SLC CPU, a 486SX compatible CPU which is a replacement chip
for the Intel 386SX CPU.
The 83S87 is packaged in a 68-pin PLCC and is available in 16, 20, and
25 MHz versions. Due to the advanced power saving features of the Cyrix
coprocessor, the typical power consumption of the 20 MHz version is only
about 350 mW [67].
ULSI Math*Co 83C87
The ULSI 83C87 is an 80387-compatible coprocessor first introduced in
early 1991, well after the IIT 3C87 and Cyrix 83D87 appeared. Like other
387 clones, it is somewhat faster than the Intel 387DX, particularly in
its basic arithmetic functions. The transcendental functions, however,
show only a slight speed improvement over the Intel 387DX (see benchmark
results below).
In my tests, the ULSI had the most inaccurate transcendental functions
of all tested coprocessors. However, the maximum relative error is still
within the limits set by Intel, so this is probably not an important
issue for all but a very few applications. The ULSI 83C87 shows some
minor flaws in the tests for IEEE 754 compatibility, but this, too, is
probably unimportant under typical operating conditions. ULSI claims
that the program IEEETEST, which was used to test for IEEE
compatibility, contains many personal interpretations of the IEEE
standard by the program's author and states that there is no ANSI-
certified IEEE-754 compliance test. While this may be true, it is
also a fact that the IEEE test vectors used in IEEETEST are a de facto
industry standard, and that Intel's 387, 486, and RapidCAD chips pass it
without a single failure, as do the coprocessors from Cyrix. Since the
ULSI Math*Co 83C87 fails some of the tests, it is certainly less than
100% compatible with Intel's chips, although this will likely make
little or no difference in typical operating conditions. (It is
interesting to note that an ULSI 83S87 manufactured in 92/17 showed
fewer errors in the IEEETEST test run [74] than the ULSI 83C87,
manufactured in 91/48, I used in my original test. This indicates that
ULSI might have applied some quick fixes to newer revisions of their
math coprocessors.)
The ULSI 83C87 fails to be compatible with the IEEE-754 in that is does
not implement the "precision control" feature. While all the internal
operations of 80x87 coprocessors are usually performed with the maximum
precision available (double-extended precision with 64 mantissa bits),
the 80x87 architecture also offer the possibility to force lower
precision to be used for the basic arithmetic functions (add, subtract,
multiply, divide, and square root). This feature is required by IEEE-754
for all coprocessors that can not store results *directly* to a single
or double-precision location. Since 80x87 coprocessors lack this storage
capability, they all implement precision control to provide correctly
rounded single- and double-precision results according to the floating-
point standard - except the ULSI chips. For programs that make use of
precision control (e.g., Interactive UNIX), correct implementation of
the feature may be essential for correct arithmetic results.
Like other non-Intel 387 compatibles, the 83C87 does not support
asynchronous operation of the CPU and the coprocessor. This means that
the 83C87 always runs at the full speed of the CPU. It is available in
20, 25, 33, and 40 MHz versions. The ULSI is produced in low power CMOS;
power consumption at 20 MHz is max. 800 mW (400 mW typical), at 25 MHz
it is max. 1000 mW (500 mW typical), at 33 MHz it is max. 1250 mW (625
mW), and at 40 MHz it is max. 1500 mW (750 mW typical) [58]. The 83C87
is packaged in a 68-pin ceramic PGA.
ULSI coprocessors come with a lifetime warranty. ULSI Systems, Inc.,
will replace the coprocessor up to three times free of charge should it
ever fail to function properly.
ULSI Math*Co 83S87
This chip is the SX version of the ULSI 83C87, for use in systems with
an Intel 387SX or an AMD Am387SX CPU. It is functionally equivalent to
the 83C87. To aid low-power laptop designs, the ULSI 83S87 features an
advanced power saving design with a sleep mode and a standby mode with
only minimal power requirements. Power consumption under normal
operating conditions (dynamic mode) is max. 400 mW at 16 MHz (300 mW
typical), max. 450 mW at 20 MHz (350 mW typical), and max. 500 mW at 25
MHz (400 mW typical) [58]. The ULSI 83S87 is packaged in a 68-pin PLCC.
C&T SuperMATH 38700DX
Produced by Chips&Technologies, this is the latest entry into the 387-
compatible marketplace. Originally announced in October, 1991, it has
apparently not been available to end-users before the third quarter of
1992, at least here in Germany. My tests show that its compatibility
with Intel products is very good, even for the more arcane features of
the 387DX and comparable to the coprocessors from Cyrix. Like these
chips, it passes the IEEETEST program without a single failure. It
passes, of course, all tests in Chips&Technologies' own compatibility
test program, SMDIAG. However, some of the tests (the transcendental
functions) in this program are selected in such a way that the C&T 38700
passes while the Cyrix 83D87 or Intel RapidCAD fail, so they are not
very useful. (There is also a 'bug' in the test for FSCALE that hides a
true bug in the C&T 38700.) My tests show the accuracy of the
transcendental functions on the C&T 38700DX varies. Overall, accuracy of
the transcendentals is slightly better than on the Intel 387DX.
In my own speed tests [see below] and those reported in [1], the C&T
38700DX showed performance at about 90-100% the level of the Cyrix
83D87, which is the 387 clone with the highest performance. For
floating-point-intensive benchmarks, the C&T 38700DX provides up to 50%
more computational performance than the Intel 387DX. However, as with
all other 387 compatible coprocessors, the speed advantage over the
Intel 387DX is far less significant in real applications.
The SuperMATH 38700DX is implemented in 1.2 micron CMOS with on-chip
power management, which makes for low power consumption. The 38700DX is
packaged in a 68-pin ceramic PGA (pin grid array and available in speeds
of 16, 20, 25, 33, and 40 MHz.
C&T 38700SX
This chip is the SX version of the 38700DX and compatible with the Intel
387SX. It provides performance comparable to a Cyrix 83S87 [1], the
387SX clone with the highest performance. Compatibility with the Intel
387SX is very good and on par with the high degree of the compatibility
found in the Cyrix 83S87.
The 38700SX has low power consumption. It is packaged in a 68-pin PLCC
(plastic leaded chip carrier) and available in speeds of 16, 20, and 25
MHz.
Intel RapidCAD
The RapidCAD is not a coprocessor, strictly seen, although it is
marketed as one. Rather, it is a full replacement for a 80386 CPU:
basically, an Intel 486DX CPU chip without the internal cache and with a
standard 386 pinout. RapidCAD is delivered as a set of two chips.
RapidCAD-1 goes into the 386 socket and contains the CPU and FPU.
RapidCAD-2 goes into the coprocessor (387) socket and contains a simple
PAL whose only purpose is to generate the FERR signal normally generated
by a coprocessor (This is needed by the motherboard circuitry to provide
287 compatible coprocessor exception handling in 386/387 systems.) The
RapidCAD instruction set is compatible with the 386, so it doesn't have
any newer, 486-specific instructions like BSWAP. However, since the
RapidCAD CPU core is very similar to 80486 CPU core, most of the
register-to-register instructions execute in the same number of clock
cycles as on the 486.
RapidCAD's use of the standard 386 bus interface causes instructions
that access memory to execute at about the same speed as on the 386. The
integer performance on the RapidCAD is definitely limited by the low
memory bandwidth provided by this interface (2 clock cycles per bus
cycle) and the lack of an internal cache. CPU instructions often execute
faster than they can be fetched from memory, even with a big and fast
external cache. Therefore, the integer performance of the RapidCAD
exceeds that of a 386 by *at most* 35%. This value was derived by
running some programs that use mostly register-to-register operations
and few memory accesses, and is supported by the SPEC ratings that Intel
reports for the 386-33 and the RapidCAD-33: while the 386-33 has a
SPECint of 6.4, the RapidCAD has a SPECint of 7.3 [28], a 14% increase.
(Note that these tests used the old [1989] SPEC benchmarks suite.)
While CPU and integer instructions often execute in one clock cycle on
the RapidCAD, floating-point operations always take more than seven
clock cycles. They are therefore rarely slowed down by the low-bandwidth
386 bus interface; My tests show a 70%-100% performance increase for
floating-point intensive benchmarks over a 386-based system using the
Intel 387DX math coprocessor. This is consistent with the SPECfp rating
reported by Intel. The 386/387 at 33 MHz is rated at 3.3 SPECfp, while
the RapidCAD is rated at 6.1 SPECfp at the same frequency, an 85%
increase. This means that a system that uses the RapidCAD is faster than
*any* 386/387 combination, regardless of the type of 387 used, whether
an Intel 387DX or a faster 387 clone. The diagnostic disk for the
RapidCAD also gives some application performance data for the RapidCAD
compared to the Intel 387DX:
Application Time w/ 387DX Time w/ RapidCAD Speedup
AutoCAD 11 52 sec 32 sec 63%
AutoShade/Renderman 180 sec 108 sec 67%
Mathematica(Windows ) 139 sec 103 sec 35%
SPSS/PC+ 4.01 17 sec 14 sec 21%
RapidCAD is available in 25 MHz and 33 MHz versions. It is distributed
through different channels than the other Intel math coprocessors, and I
have therefore been unable to obtain a data sheet for it. [78] gives the
typical power consumption of the 33 MHz RapidCAD as 3500 mW, which is
the same as for the 33 MHz 486DX. The RapidCAD-1 chip gets quite hot
when operating. Therefore, I recommend extra cooling for it (see the
paragraph below on the 486 for details). The RapidCAD-1 is packaged in a
132-pin PGA, just like the 80386, and the RapidCAD-2 is packaged in a
68-pin PGA like a 80387 coprocessor.
Intel 486DX
The Intel 486DX is, of course, not solely a coprocessor. This chip,
first introduced by Intel in 1989, functionally combines the CPU (a
heavily-pipelined implementation of the 386 architecture) with an
enhanced 387 (the chip's floating-point unit, FPU) and 8 KB of unified
on-chip code/data cache. (This description is necessarily simplified;
for a detailed hardware description, see [52].) The 486DX offers about
two to three times the integer performance of a 386 at the same clock
frequency, while floating-point performance is about three to four times
as high as the Intel 387DX at the same clock rate [29]. Since the FPU is
on the same chip as the CPU, the considerable communication overhead
between CPU and coprocessor in a 386/387 system is omitted, letting FPU
instructions run at the full speed permitted by the implementation. The
FPU also takes advantage of the on-chip cache and the highly pipelined
execution unit. The concurrent execution of CPU and coprocessor
instructions typical for 80x86/80x87 systems is still in existence on
the 486, but some FPU instructions like FSIN have nearly no concurrency
with CPU instructions, indicating that they make heavy use of both, CPU
and FPU resources [53, 1].
Besides its higher performance, the 486 FPU provides more accurate
transcendental functions than the 387DX coprocessor, according to my
tests (see below). To achieve better interrupt latency, FPU instructions
with a long execution times have been made abortable if an interrupt
occurs during their execution.
Due to the considerable amount of heat produced by these chips, and
taking into consideration the slow air flow provided by the fan in
garden-variety PC tower cases, I recommend an extra fan directly above
the CPU for safer operation. If you measure the surface temperature of
an 486DX after some time of operation in a normal tower case without
extra cooling, you may well come up with something like 80-90 degrees
Celsius (that is 175-195 degrees Fahrenheit for those not familiar with
metric units) [54,55]. You don't need the well known (and expensive)
IceCap[tm] to effectively cool your CPU; a simple fan mounted directly
above the CPU can bring the temperature of the chip down to about 50-60
degrees Celsius (120-140 degrees Fahrenheit), depending on the room
temperature and the temperature within the PC case (which depends on the
total power dissipation of all the components and the cooling provided
by the fan in the system's power supply). According to a simple rule
known as Arrhenius' Law, lowering the temperature by 10 degrees Celsius
slows down chemical reactions by a factor of two, so lowering the
temperature of your CPU by 30 degrees should prolong the life of the
device by a factor of eight, due to the slower ageing process. If you
are reluctant to add a fan to your system because of the additional
noise, settle for a low-noise fan like those available from the German
manufacturer Pabst (this is not meant to be an advertisement; I am just
the happy owner of such a fan, and have no other connections to the
firm).
The 486DX comes in a 168 pin ceramic PGA (pin grid array). It is
available in 25 MHz and 33 MHz versions. Since the end of 1991, a 50 MHz
version has also been available, manufactured by a CHMOS V process (the
25 MHz and 33 MHz are produced using the CHMOS IV process). Maximum
power consumption is 3500 mW for the 25 MHz 486 (2600 mW typical), 4500
mW for the 33 MHz version (3500 mW typical), and 5000 mW (3875 mW
typical) for the 50 MHz chip.
Intel 486DX2
The 486DX2 represents the latest generation of Intel CPUs. The "DX2"
suffix (instead of simply DX) is meant to be an indicator that these are
clock-doubled versions of the basic CPU. A normal 486DX operates at the
frequency provided by the incoming clock signal. A 486DX2 instead
generates a new clock signal from the incoming clock by means of a PLL
(phase locked loop). In the DX2, this clock signal has twice the
frequency of the incoming clock, hence the name clock-doubler. All
internal parts of the 486DX2 (cache, CPU core, and FPU) run at this
higher frequency; only the bus interface runs at the normal (undoubled)
speed. Using this technique, an Intel 486DX2-50 can run on an unmodified
motherboard designed for 25 MHz operation. Since motherboards which run
at 50 MHz are much harder to design and build than those for 25 MHz,
this makes a 486DX2-50 system cheaper than an 'equivalent' 486DX-50
system.
For all operations that don't access off-chip resources (e.g., register
operations), a 486DX2-50 provides exactly the same performance as a
486DX-50, and twice the performance of a 486DX-25. However, since the
main memory in a 486DX2-50 systems still operates at 25 MHz, all
instructions involving memory accesses are potentially slower than in a
486DX-50 system, whose memory also (presumably) runs at 50 MHz. The
internal cache of the 486 helps this problem a bit, but overall
performance of a 486DX2-50 is still lower than that of a 486DX-50.
Intel's documentation [32] shows this drop to be quite small, although
it is highly dependent upon the particular application.
The truly wonderful thing about the 486DX2 is that it allows easy
upgrading of 25 and 33 MHz 486 systems, since the 486DX2 is completely
pin-compatible with the 486DX: you need just take out the 486DX and plug
in the new 486DX2. Note that power consumption of the 486DX2-50 equals
that of the 486DX-50 (4000 mW typical, 4750 mW max.), and that the
486DX2-66 exceeds this by about 25% (4875 mW typical, 6000 mW max.).
These chips get *really* hot in a standard PC case with no extra
cooling, even if they come with an attached heat sink by default. (See
the discussion above for more detailed information on this problem and
possible solutions).
Intel 487SX
The 487SX is the math coprocessor intended for use in 486SX systems. The
486SX is basically a 486DX without the floating-point unit (FPU) [48,
50]. (Originally Intel sold 486DXs with a defective FPU as 486SXs but it
has now completely removed the FPU part from the 486SX mask for mass
production.) The introduction of the 486SX in 1991 has been viewed by
many as a marketing 'trick' by Intel to take market share from the 386
based systems once AMD became successful with their Am386. (AMD has
taken as much as 40% of the 386 market due to some superior features
such as higher clock frequency, lower power consumption, fully static
design, and availability of a 3V version). A 486SX at 20 MHz delivers
a bit less integer performance than a 40 MHz Am386.
To add floating-point capabilities to a 486SX based system, it would
seem to be easiest to swap the 486SX for a 486DX, which includes the FPU
on-chip. However, Intel has prevented this easy solution by giving the
486SX a slightly different pin out [48, 51]. Since only three pins are
assigned differently, clever board manufacturers have come out with
boards that accept anything from a 486SX-20 to a 486DX2-50 in their CPU
socket and by doing so provide a clean upgrade path. A set of three
jumpers ensures correct signal assignment to the changed pins for either
CPU type. To upgrade 486SX systems without this feature, you are forced
to buy a 487SX and install it in the "Performance Upgrade Socket"
(present in most systems).
Once the 487SX was available, it was quickly found out that it is just a
normal 486DX with a slightly different pinout [49]. Technically
speaking, the solution Intel chose was the only practical way to provide
a 486SX system with the high level of floating-point performance the
486DX offers. The CPU and FPU must be on the same chip; otherwise, the
FPU cannot make use of the CPU's internal cache and there would be
considerable overhead in CPU-FPU communication (similar to a 386/387
system), nullifying most of the arithmetic speedups over the 387. That
the 486SX, 487SX, and 486DX are *not* pin-compatible seems to be purely
for marketing reasons.
To upgrade a 486SX based system, Intel also offers the OverDrive chip,
which is just the same as a 487SX with internal clock doubling. It also
goes into the motherboard's "Performance Upgrade Socket". The OverDrive
roughly doubles the performance of a 486SX/487SX based system. (For a
explanation of clock doubling, see the description of the Intel 486DX2
above.)
Inserting the 487SX effectively shuts down the 486SX in the 486SX/487SX
system, so the 486SX could be removed once the 487SX is installed. Since
the shut down is logical, not electrical, the 486SX still uses power if
used with the 487SX, although it is inoperational. As with the 486SX,
the 487SX is currently available in 20 MHz and 25 MHz versions. At 20
MHz, the 487SX has a power consumption of max. 4000 mW (3250 mW
typical). It is available in a 169 pin ceramic PGA (pin grid array).
Weitek 1167
This math coprocessor was the predecessor of the Weitek Abacus 3167. It
was actually a small printed circuit board with three chips mounted on
it. In contrast to the Weitek 3167, the 1167 did not have a square root
instruction; instead, the square root function was computed by means of
a subroutine in the Weitek transcendental function library. However, the
1167 did have a mode in which it supported denormal numbers. (The Weitek
3167 and 4167 only implement the 'fast' mode, in which denormals are not
supported.) Overall performance of the 1167 is slightly less than that
of the Weitek 3167.
Weitek 3167
The 3167 was introduced by Weitek in 1989 and provided the fastest
floating-point performance possible on a 386 based system at that time.
The 3167 is not a real coprocessor, strictly speaking, but rather a
memory-mapped peripheral device. The architecture of the 3167 was
optimized for speed wherever possible. Besides using the faster memory
mapped interface to the CPU (the 80x87 uses IO-ports), it does not
support many of the features of the 80x87 coprocessors, allowing all of
the chip's resources to be concentrated on the fast execution of the
basic arithmetic operations. (For a more detailed description of the
Weitek 3167, see the first chapter of this document.)
In benchmark comparisons, the Weitek 3167 provided up to 2.5 times the
performance of an Intel 387DX coprocessor. For example, on a 33 MHz 3167
the Whetstone benchmark performed at 7574 kWhetstones/sec compared with
the 3743 kWhetstones/s for the Intel 387DX. (Note, however, that these
are single-precision results and that the Weitek 3167's performance
would drop to about half the stated rate for double-precision, while the
value for the Intel 387DX would change very little.) In any case, before
the advent of the Intel RapidCAD, the Weitek 3167 usually outperformed
all 387-compatible coprocessors, even for double-precision operations
[63,65,69]. For typical applications, the advantage of the Weitek 3167
over the 387 clones is much smaller. In a benchmark test using
AutoDesk's 3D-Studio the Weitek 3167 performed at 123% of the Intel
387DX's performance compared with 106% for the Cyrix FasMath 83D87 and
118% for the Intel RapidCAD.
The Weitek Abacus 3167 is packaged in a 121-pin PGA that fits into an
EMC socket (provided in most 386-based systems). It does *not* fit into
the normal 68-pin PGA socket intended for a 387 coprocessor.
To get the best of both worlds, one might want to use a Weitek 3167 and
a 387 compatible coprocessor in the same system. These coprocessors can
coexist in the same system without problems; however, most 386-based
systems contain only one coprocessor socket, usually of the EMC
(extended math coprocessor) type. Thus, you can install either a 387
coprocessor or a Weitek 3167, but not both at the same time. There *are*
small daughter boards available that plug into the EMC socket and
provide two sockets, an EMC and a standard coprocessor socket.
At 25 MHz, the Weitek 3167 has a power consumption of max. 1750 mW. At
33 MHz, max. power consumption is 2250 mW.
Weitek 4167
The 4167 is a memory-mapped coprocessor that has the same architecture
as the 3167; it is designed to provide 486-based systems with the
highest floating-point performance available. It executes coprocessor
instructions at three to four times the speed of the Weitek 3167.
Although it is up to 80% faster than the Intel 486 in some benchmarks
[1,69], the performance advantage for real application is probably more
like 10%. The introduction of the 486DX2 processors has more or less
obliterated the need for a Weitek 4167, since the DX2 CPUs provide the
same performance as the Weitek, as well as the additional features the
80x87 architecture has that the Weitek does not.
The Weitek 4167 is packaged in a 142-pin PGA package that is only
slightly smaller than the 486's package. At 25 MHz, it has a max. power
consumption of 2500 mW [32].
======================================
Finding out which coprocessor you have
======================================
If you are interested in programming techniques which allow the detection and
differentiation of the coprocessors described above, I refer you to my
COMPTEST program. COMPTEST reliably detects the type and clock frequency of
the CPU and coprocessor installed in your machine. The current version is
CTEST257.ZIP, with future versions to be called CTEST258, CTEST259 and so on.
COMPTEST can correctly identify all of the coprocessors described above, with
the exception of the Weitek chips, for which the detection mechanism is not
that reliable.
COMPTEST is in the public domain and comes with complete source code. It is
available via anonymous ftp from garbo.uwasa.fi and additional ftp sites that
mirror garbo.
================================================
Current coprocessor prices and purchasing advice
================================================
Due to mid-1992 price slashing by Cyrix (and subsequently, Intel) for 387
coprocessors, prices have dropped significantly for all 287 and 387
compatibles, with hardly any price difference between manufacturers. 387DX
compatible coprocessors typically sell for ~US$ 80 for all speeds except for
40 MHz versions, which are typically ~US$ 90. 387SX compatible coprocessors
sell for ~US$ 70, regardless of speed, with the exception of the 33 MHz
versions, which are ~US$ 80. The Intel 287XL sells for ~US$ 90, while the
IIT 2C87 and Cyrix 82S87 each sell for about US$ 60. 8087s may be more
expensive, the price of an 8087-10 being ~US$ 150. I purchased the Intel
RapidCAD for US$ 300 and haven't seen it offered for a better price. I see the
Weitek Abacus 3167-33 being offered for US$ 230 and the 4167-33 being offered
for US$ 850. The Intel 486SX OverDrive is available for ~US$ 570 for the 20 MHz
version, while the Intel 486DX2-50 costs ~650 US$. This price information
reflects the price situation as of 01-11-93; prices can be expected to drop
slightly in the near future.
Which coprocessor should you buy?
---------------------------------
Several computer magazines have published application-level performance
comparisons for various 387 coprocessors and Weitek's ABACUS 3167 and 4167
chips [1,25,68,70]. Applications tested included AutoCAD R11, RenderStar,
Quattro Pro, Lotus 1-2-3, and AutoDesk's 3D-Studio. For most tests,
performance improvements for the 387 clones over Intel's 387DX were small to
marginal, the clones running the applications no more than 5-15% faster than
the Intel 387DX. In the test of 3D-Studio, one of the few programs that
directly supports the Weitek Abacus, the Weitek 3167 improved performance by
23% over an Intel 387DX and the 4167 improved performance by 10% over the
486DX [1].
If you have a demand for high floating-point performance, you should consider
buying a full 486-based system, rather than a 386-based system with an
additional coprocessor. Consider: A 386/33 MHz motherboard currently sells for
~US$ 270; together with the coprocessor, the cost totals ~US$ 350. A 486/33 MHz
ISA motherboard sells for US$ 650. While this means that the 486 system is 85%
more expensive than the 386/387 system, it also provides 100% more integer
and floating-point performance (twice the performance), giving it better
price/performance for math-intensive applications. As prices for 486 chips
fall in the future, the price difference between these two systems should
become even smaller.
If you want to push your 386-based system to its maximum floating-point
performance and can't switch to a 486, I recommend the Intel RapidCAD
chipset. It is both faster [1] and cheaper than installing a Weitek Abacus
3167 in a 386 system, which used to be the highest performing combination
before the RapidCAD was introduced.
In a similar vein, the introduction of the Intel 486DX2 clock-doubler chips
has obliterated the need for a Weitek 4167 to get maximum floating-point
performance out of a 486-based system. A 486DX2-66 performs at or above the
performance level of a 33 MHz Weitek 4167, even if the latter uses single-
precision rather than double-precision. The 486DX-66 is rated by Intel at
24700 double-precision kWhetstones/sec and 3.1 double-precision Linpack
MFLOPS. (Of course, these benchmarks used the highest performance compilers
available. But even with a Turbo Pascal 6.0 program, I managed to squeeze 1.6
double-precision MFLOPS out of the 486DX2-66 for the LLL benchmark [for a
description of these benchmarks, see the paragraph on benchmarks below].)
Although I haven't yet seen 486DX2-66 processors being offered to end users
for upgrade purposes, I recommend the 486DX2-66 to those that need highest
floating-point performance and are planning to buy a new PC. The price
difference between a 33 MHz 486DX motherboard and a 486DX2-66 motherboard is
around US$ 450, well below the price for the Weitek Abacus 4167.
============================================================
The benchmark programs / Coprocessor performance comparisons
============================================================
The performance statistics below were put together with the help of four
widely-known numeric benchmarks and two benchmarks developed by me. Three
Pascal programs, one FORTRAN program, and two assembly language programs were
used. The assembly language programs were linked with Borland's Turbo Pascal
6.0 for library support, especially to include the coprocessor emulator of
the TP 6.0 run-time library. The Pascal programs were compiled with Turbo
Pascal 6.0, a non-optimizing compiler that produces 16-bit code. The FORTRAN
program was compiled using Microsoft's FORTRAN 5.0, an optimizing compiler
that generates 16-bit code. All programs use double-precision variables
(except PEAKFLOP and SAVAGE, which use double extended precision).
Note that the use of a highly optimizing compiler producing 32-bit code can
give much higher performance for some benchmarks. For example, Intel rates
the 33 MHz 386/387DX at 3290 kWhetstones/sec and 0.4 double-precision LINPACK
MFLOPS [28,29], and it rates the Intel 486 at 12300 kWhetstones/sec and 1.6
double-precision LINPACK MFLOPS [30]. The compilers used in these benchmarks
run by the chip's manufacturer are the ones that give the highest performance
available, and sell in the US$ 1000+ price range. Some of them may even be
experimental or prereleased versions not available to the general public. The
relative performance of one coprocessor to another can and does vary greatly
depending on the code generated by compilers. Non-optimizing compilers tend
to generate a high percentage of operations which access variables in memory,
while optimizing compiler produce code that contains many operations
involving registers. Thus it is well possible that coprocessor A beats
coprocessor B running benchmark Z if compiled with compiler C, but B beats A
when the same benchmark is compiled using compiler D.
All benchmark in this overview were run from floppy under a 'bare-bones' MS-
DOS 5.0 without the CONFIG.SYS and AUTOEXEC.BAT files. This way, it was made
sure no TSR or other program unnecessarily stole computing resources from the
benchmarks.
Description of benchmarks
-------------------------
PEAKFLOP is the kernel of a fractal computation. It consists mainly of a
tight loop written in assembly code and fine-tuned to give maximum
performance. The whole program fits nicely into even a very small CPU cache.
All variables are held in the CPU's and coprocessor's registers, so the only
memory access is for opcode fetches. The main loop contains three
multiplications and five additions/ subtractions; this ratio is fairly
typical for other floating-point intensive programs as well. Due to the
nature of this program, its MFLOPS rate is hardly to be exceeded by any
program that calculates anything useful; thus the name PEAKFLOP. You will
find the source code for PEAKFLOP in appendix B.
TRNSFORM multiplies an array of 8191 vectors with a 3D-transformation matrix
(a 4x4 matrix). Each vector consists of four double-precision values.
Multiplying vectors with a matrix is a typical operation in the manipulation
(e.g. rotation) of 3D objects which are made up from many vectors describing
the object. This benchmark stresses addition and multiplication as well as
memory access. For each vector, 16 multiplications and 12 additions are used,
and about 256 KB of data is accessed during the benchmark run.
For the IIT 3C87, a special version of TRNSFORM was written that makes use of
the special F4X4 instruction available on that coprocessor. F4X4 does a full
multiplication of a 4x4 matrix by a 4x1 vector in a single instruction.
TRNSFORM is implemented as an optimized assembler program linked with the
Turbo Pascal 6.0 library. The full source code can be found in appendix B.
LLL is short for Lawrence Livermore Loops [21], a set of kernels taken from
real floating-point extensive programs. Some of these loops are vectorizable,
but since we don't deal with vector processors here, this doesn't matter. For
this test, LLL was adapted from the FORTRAN original [20] to Turbo Pascal
6.0. By variable overlaying (similar to FORTRAN's EQUIVALENCE statement),
memory allocation for data was reduced to 64 KB, so all data fits into a
single 64 KB segment. The older version of LLL is used here which contains 14
loops. There also exists a newer, more elaborate version consisting of 24
kernels. The kernels in LLL exercise only multiplication and addition. The
MFLOPS rate reported is the average of the MFLOPS rate of all 14 kernels.
All floating-point variables in the programs are of type DOUBLE.
Both LLL and Whetstone results (see below) are reported as returned by my
COMPTEST test program, in which they have been included as a measure of
coprocessor/FPU performance. COMPTEST has been compiled under Turbo Pascal
6.0 with all 'optimizations' on and using my own run-time library, which
gives higher performance than the one included with TP 6.0. My library is
available as TPL60N18.ZIP from garbo.uwasa.fi and ftp sites that mirror this
site.
Linpack [5] is a well known floating-point benchmark that also heavily
exercises the memory system. Linpack operates on large matrices and takes up
about 570 KB in the version used for this test. This is about the largest
program size a pure DOS system can accommodate. Linpack was originally
designed to estimate performance of BLAS, a library of FORTRAN subroutines
that handles various vector and matrix operations. Note that vendors are
free to supply optimized (e.g., assembly language) versions of BLAS. Linpack
uses two routines from BLAS which are thought to be typical of the matrix
operations used by BLAS. Both routines only use addition/subtraction and
multiplication. The FORTRAN source code for Linpack can be obtained from
the automated mail server netlib@ornl.gov. Linpack was compiled using MS
FORTRAN 5.0 in the HUGE memory model (which can handle data structures
larger than 64 KB) and with compiler switches set for maximum optimization.
All floating-point variables in the program are of the DOUBLE type. Linpack
performs the same test repeatedly. The number reported is the maximum MFLOPS
rate returned by Linpack. Linpack MFLOPS ratings for a great number of
machines are contained in [6]. This PostScript document is also available
from netlib@ornl.gov.
Whetstone [2,3,4] is a synthetic benchmark based upon statistics collected
about the use of certain control and data structures in programs written in
high level languages. Based on these statistics, it tries to mirror a
'typical' HLL program. Whetstone performance is expressed by how many
hypothetical 'whetstone' instructions are executed per second. It was
originally implemented in ALGOL. Unlike PEAKFLOP, LLL, and Linpack,
Whetstone not only uses addition and multiplication but exercises all basic
arithmetic operations as well as some transcendental functions. Whetstone
performance depends on the speed of the CPU as well as on the coprocessor,
while PEAKFLOP, LLL, and Linpack place a heavier burden on the coprocessor/FPU.
There exist both old and new versions of Whetstone. Note that results from
the two versions can differ by as much as 20% for the same test configuration.
For this test, the new version in Pascal from [3] was used. It was compiled
with Turbo Pascal 6.0 and my own library (see above) with all 'optimizations'
on. All computations are performed using the DOUBLE type.
SAVAGE tests the performance of transcendental function evaluation. It is
basically a small loop in which the sin, cos, arctan, ln, exp, and sqrt
functions are combined in a single expression. While sin, cos, arctan, and
sqrt can be evaluated directly with a single 387 coprocessor instruction
each, ln and exp need additional preprocessing for argument reduction and
result conversion. According to [14], the Savage benchmark was devised by
Bill Savage, and is distributed by: The Wohl Engine Company, Ltd., 8200 Shore
Front Parkway, Rockaway Beach, NY 11693, USA. Usually, Savage is programmed
to make 250,000 passes though the loop. Here only 10,000 loops are executed
for a total of 60,000 transcendental function evaluations. The result is
expressed in function evaluations per second. SAVAGE source code was taken
from [7] and compiled with Turbo Pascal 6.0 and my own run-time library
(see above).
Benchmark results using the Intel 386DX CPU and various coprocessors
--------------------------------------------------------------------
My benchmark results for 387 coprocessors, coprocessor emulators and the
Intel RapidCAD and Intel 486 CPUs, using the programs described above, on
an Intel 386DX system:
33.3 MHz PEAKFLOP TRNSFORM LLL Linpack Whetstone Savage
MFLOPS MFLOPS MFLOPS MFLOPS kWhet/sec Func/sec
Intel 386DX WITH:
EM87 emulator 0.0070 0.0040 0.0050 0.0050 26 418 ##
Franke387 emu. 0.0307 0.0246 0.0194 0.0179 137 3335 $
TP/MS-FORT emu 0.0263 0.0227 0.0167 0.0158 133 3160 %%
Q387 emulator 0.0920 0.0664 0.0305 0.0304 251 4796 ((
Intel 387DX 0.7647 0.6004 0.3283 0.2676 2046 43860
ULSI 83C87 1.0097 0.6609 0.3239 0.2598 2089 47431
IIT 3C87 0.8455 0.5957 0.3198 0.2646 2203 49020
IIT 3C87,4X4 0.8455 1.4334 0.3198 0.2646 2203 49020 @@
C&T 38700 0.9455 0.6907 0.3338 0.2700 2376 62565
Cyrix 387+ 0.9286 0.6806 0.3293 0.2669 2435 66890
Cyrix EMC87 1.0400 0.6628 0.3352 0.2808 2540 71685 //
Intel RapidCAD 1.8572 1.5798 0.6072 0.4533 3953 72464
Intel 486DX 2.0800 1.7779 0.9387 0.6682 5143 82192
40 MHz PEAKFLOP TRNSFORM LLL Linpack Whetstone Savage
MFLOPS MFLOPS MFLOPS MFLOPS kWhet/sec Func/sec
Intel 386DX WITH:
EM87 emulator 0.0084 0.0080 0.0060 0.0060 31 502 ##
Franke387 emu. 0.0369 0.0295 0.0233 0.0215 164 4002 $
TP/MS-FORT emu 0.0316 0.0273 0.0200 0.0190 160 3794 %%
Q387 emulator 0.1103 0.0798 0.0365 0.0364 301 5758 ((
Intel 387DX 0.9204 0.7212 0.3932 0.3211 2428 52677
ULSI 83C87 1.2093 0.7936 0.3890 0.3120 2528 56926
IIT 3C87 1.0196 0.7145 0.3834 0.3179 2663 58766
IIT 3C87,4x4 1.0196 1.7244 0.3834 0.3179 2663 58766 @@
C&T 38700 1.0722 0.7908 0.4007 0.3222 2837 74906
Cyrix 387+ 1.1305 0.8162 0.3945 0.3208 2946 80322
Cyrix EMC87 1.2381 0.7963 0.4025 0.3324 3061 86083 //
Intel RapidCAD 2.2128 1.8931 0.7377 0.5432 4810 86957
Intel 486DX 2.4762 2.1335 1.1110 0.8204 6195 98522
Benchmark results using the Cyrix 486DLC CPU and various coprocessors
---------------------------------------------------------------------
The Cyrix 486DLC is the latest entry into the market of 386DX replacement
processors. It features an Intel 486SX-compatible instruction set, a 1 KB on-
chip cache, and a 16x16 bit hardware multiplier. The RISC-like execution unit
of the 486DLC executes many instructions in a single clock cycle. The
hardware multiplier multiplies 16-bit quantities in 3 clock cycles, as
compared to 12-25 cycles on a standard Intel 386DX. This is especially useful
in address calculations (code from non-optimizing compilers may contain many
MUL instructions for array accesses) and for software floating-point
arithmetic. The 1 KB cache helps the 486DLC to overcome some of the
limitations of the 386 bus interface, and although its hit rate averages only
about 65% under normal program conditions, a 5-15% overall performance
increase can usually be seen for both integer and floating-point-intensive
applications when it is enabled.
The 486DLC's internal cache is a unified data/instruction write-through type,
and can be configured as either a direct mapped or a 2-way set associative
cache. For compatibility reasons, the cache is disabled after a processor
reset and must be enabled with the help of a small routine provided by
Cyrix. Cyrix has also defined some additional cache control signals for some
of the 486DLC pins, intended to improve communication between the on-chip
cache and an external cache. Current 386 systems ignore these signals, since
they are not defined for the standard Intel 386DX. However, future systems
designed with the 486DLC in mind may take advantage of them for increased
performance.
In existing 386 systems, DMA transfers (e.g., by a SCSI controller or a
soundcard) may cause the 486DLC's entire on-chip cache to be flushed, since
no other means exist to enforce consistency between the cache contents and
main memory. This reduces the performance of the 486DLC in these cases. The
486DLC on-chip cache does, however, allow specification of up to four non-
cacheable regions, which is particularly useful if your system has memory
mapped peripherals (e.g., a Weitek coprocessor).
Although I successfully ran my test programs on the Cyrix chip with all
coprocessors, not all of them work well with the 486DLC in all circumstances.
The IIT 3C87, the Cyrix 83D87 (chips manufactured prior to November 1991),
and the Cyrix EMC87 should not be used with the 486DLC, since they may cause
the computer to lock up if the FSAVE and FRSTOR instructions are used. (These
instructions are typically used in protected mode multiple task environments
to save and restore the coprocessor state for each task. Note that Microsoft
Windows also fits this description.) According to Cyrix, this problem occurs
only with first revision 486DLCs (sample chips) and is fixed on newer ones.
To be on the safe side, I recommend using the Cyrix 387+ with the 486DLC,
both for assured compatibility and for best performance. Note that 387+ is a
'Europe only' name and that this chip is called 83D87 elsewhere, just like
the old version. You need to get a 83D87 produced after about October 1991
to guarantee that is works correctly with any 486DLC; the same caveat applies
to the Cyrix 486SLC and the Cyrix 83S87. If you already have a Cyrix
coprocessor, use my COMPTEST program to find out whether you have a 'new' or
'old' coprocessor. COMPTEST is available as CTEST257.ZIP via anonymous ftp
from garbo.uwasa.fi (in the /systest directory) and other ftp servers that
mirror garbo.
The Cyrix 486DLC is currently the 386 'clone' with the highest integer
performance. With the internal cache enabled, integer performance of the
486DLC can be up to 80% higher than that of an Intel 386DX at the same clock
frequency, with the average speed gain for most applications being about 35%.
Floating-point applications are typically accelerated by about 15%-30% when
using a Cyrix 486DLC (with its cache enabled) instead of the Intel 386DX.
33.3 MHz PEAKFLOP TRNSFORM LLL Linpack Whetstone Savage
MFLOPS MFLOPS MFLOPS MFLOPS kWhet/sec Func/sec
Cyrix 486DLC
(cache off) WITH:
EM87 emulator 0.0089 0.0082 0.0062 0.0063 31 472 ##
Franke387 emu. 0.0402 0.0324 0.0258 0.0240 184 4807 $
TP/MS-FORT emu 0.0346 0.0288 0.0206 0.0212 173 4401 %%
Q387 emulator 0.1214 0.0810 0.0368 0.0382 320 6020 ((
Intel 387DX 0.8455 0.6552 0.3659 0.3033 2249 48780
ULSI 83C87 1.1818 0.7543 0.3752 0.3026 2381 53476
IIT 3C87 0.9541 0.6609 0.3653 0.3036 2476 55814
IIT 3C87,4X4 0.9541 1.4988 0.3653 0.3036 2476 55814 @@
C&T 38700 1.1183 0.7644 0.3796 0.3087 2703 73350
Cyrix 387+ 1.1305 0.7445 0.3727 0.3060 2731 81967
Cyrix EMC87 1.2236 0.7593 0.3823 0.3144 2908 88889 //
Intel RapidCAD 1.8572 1.5798 0.6072 0.4533 3953 72464
Intel 486DX 2.0800 1.7779 0.9387 0.6682 5143 82192
40.0 MHz PEAKFLOP TRNSFORM LLL Linpack Whetstone Savage
MFLOPS MFLOPS MFLOPS MFLOPS kWhet/sec Func/sec
Cyrix 486DLC
(cache off) WITH:
EM87 emulator 0.0107 0.0098 0.0075 0.0075 37 567 ##
Franke387 emu. 0.0488 0.0392 0.0311 0.0288 223 5808 $
TP/MS-FORT emu 0.0416 0.0345 0.0246 0.0253 208 5284 %%
Q387 emulator 0.1463 0.0973 0.0442 0.0458 384 7237 ((
Intel 387DX 1.0196 0.7880 0.4375 0.3644 2712 58479
ULSI 83C87 1.4247 0.9064 0.4506 0.3630 2868 64171
IIT 3C87 1.1556 0.7963 0.4399 0.3611 2988 66964
IIT 3C87,4X4 1.1556 1.7916 0.4399 0.3611 2988 66964 @@
C&T 38700 1.3333 0.9210 0.4548 0.3708 3254 88106
Cyrix 387+ 1.3507 0.8958 0.4477 0.3754 3297 98361
Cyrix EMC87 1.4648 0.9136 0.4548 0.3773 3505 106572 //
Intel RapidCAD 2.2128 1.8931 0.7377 0.5432 4810 86957
Intel 486DX 2.4762 2.1335 1.1110 0.8204 6195 98522
33.3 MHz PEAKFLOP TRNSFORM LLL Linpack Whetstone Savage
MFLOPS MFLOPS MFLOPS MFLOPS kWhet/sec Func/sec
Cyrix 486DLC
(cache on) WITH:
EM87 emulator 0.0099 0.0089 0.0068 0.0069 35 550 ##
Franke387 emu. 0.0462 0.0362 0.0288 0.0265 205 5445 $
TP/MS-FORT emu 0.0410 0.0330 0.0234 0.0241 198 5339 %%
Q387 emulator 0.1344 0.0902 0.0389 0.0403 339 6241 ((
Intel 387DX 0.8525 0.6552 0.3941 0.3279 2332 49834
ULSI 83C87 1.2093 0.7543 0.4068 0.3270 2478 57197
IIT 3C87 0.9720 0.6609 0.3959 0.3295 2579 57252
IIT 3C87,4X4 0.9720 1.5087 0.3959 0.3295 2579 57252 @@
C&T 38700 1.1305 0.7644 0.4126 0.3343 2839 75949
Cyrix 387+ 1.1429 0.7445 0.4023 0.3310 2866 85349
Cyrix EMC87 1.2381 0.7593 0.4150 0.3412 3051 93897 //
Intel RapidCAD 1.8572 1.5798 0.6072 0.4533 3953 72464
Intel 486DX 2.0800 1.7779 0.9387 0.6682 5143 82192
40.0 MHz PEAKFLOP TRNSFORM LLL Linpack Whetstone Savage
MFLOPS MFLOPS MFLOPS MFLOPS kWhet/sec Func/sec
Cyrix 486DLC
(cache on) WITH:
EM87 emulator 0.0118 0.0107 0.0082 0.0082 42 659 ##
Franke387 emu. 0.0565 0.0438 0.0350 0.0313 248 6585 $
TP/MS-FORT emu 0.0491 0.0395 0.0279 0.0296 238 6408 %%
Q387 emulator 0.1610 0.1084 0.0470 0.0484 407 7509 ((
Intel 387DX 1.0297 0.7880 0.4748 0.3937 2801 59821
ULSI 83C87 1.4445 0.9028 0.4891 0.3926 2976 65789
IIT 3C87 1.1686 0.7963 0.4734 0.3916 3096 68729
IIT 3C87,4X4 1.1686 1.8057 0.4734 0.3916 3096 68729 @@
C&T 38700 1.3685 0.9173 0.4958 0.4012 3401 91185
Cyrix 387+ 1.3867 0.8958 0.4887 0.3962 3448 102564
Cyrix EMC87 1.4857 0.9100 0.4959 0.4091 3676 112360 //
Intel RapidCAD 2.2128 1.8931 0.7377 0.5432 4810 86957
Intel 486DX 2.4762 2.1335 1.1110 0.8204 6195 98522
Benchmark results using the C&T 38600DX CPU and various coprocessors
--------------------------------------------------------------------
The Chips&Technologies 38600DX CPU is marketed as a 100% compatible
replacement for the Intel 386DX CPU. Unlike AMD's Am386, which uses microcode
that is identical to the Intel 386DX's, the C&T 38600DX uses microcode
developed independently by C&T using "clean-room" techniques. C&T even
included the 386DX's "undocumented" LOADALL386 instruction into the
instruction set to provide full compatibility with the 386DX. In my tests,
however, I observed that the 38600DX has severe problems with the CPU-
coprocessor communication, which causes the floating-point performance to
drop below that of the Intel 386DX/Intel 387DX for most programs. This
problem exists with all available 387-compatible coprocessors (ULSI 83C87,
IIT 3C87, Cyrix EMC87, Cyrix 83D87, Cyrix 387+, C&T 38700, Intel 387DX). A
net.aquaintance also did tests with the 38600DX and arrived at similar
results. He contacted C&T and they said that they were aware of the problem.
Some instructions execute faster on the C&T 38600DX than on the 386DX, giving
an average speedup of 5-10% for integer applications. C&T also produces a
38605DX CPU that includes a 512 byte instruction cache and provides a further
performance increase. However, the 38605DX needs a bigger socket (144-pin
PGA) and is therefore *not* pin-compatible with the 386DX. Tests using the
38600DX were run at 33.3 MHz, as a 40 MHz version was not available as of 09-
17-92 and running the 33 MHz chip version at 40 MHz locked up the machine
frequently. Unfortunately, tests using the Intel 387DX consistently locked up
in the TRNSFORM benchmark when run at 33.3 MHz. It ran fine at 20 MHz, and
the results were scaled to show expected performance at 33.3 MHz.
33.3 MHz PEAKFLOP TRNSFORM LLL Linpack Whetstone Savage
MFLOPS MFLOPS MFLOPS MFLOPS kWhet/sec Func/sec
C&T 38600DX WITH:
Intel 387DX 0.7376 0.5620 0.3337 0.2636 2066 45489
ULSI 83C87 0.5226 0.4690 0.3236 0.2654 2087 43228
IIT 3C87 0.7879 0.5762 0.3397 0.2674 2263 51195
IIT 3C87,4X4 0.7879 0.6181 0.3397 0.2674 2263 51195 @@
C&T 38700 0.5977 0.5572 0.3463 0.2681 2338 63966
Cyrix 387+ 0.5896 0.5508 0.3438 0.2673 2375 66741
Intel RapidCAD 1.8572 1.5798 0.6072 0.4533 3953 72464
Intel 486 2.0800 1.7779 0.9387 0.6682 5143 82192
For comparison:
PEAKFLOP TRNSFORM LLL Linpack Whetstone Savage
MFLOPS MFLOPS MFLOPS MFLOPS kWhet/sec Func/sec
i486DX2-66 4.1601 3.4227 1.6531 1.3010 10655 163934
i486DX2-50 3.0589 2.6665 1.2537 0.9744 7962 123203
i387, 20 MHz 0.2253 0.3271 0.1434 0.1171 952 21739 ++
i387DX, 20 MHz 0.3567 0.4444 0.1484 0.1161 1034 24155 &&
i80287, 5 MHz 0.0281 0.0310 0.0242 0.0222 150 3261 !!
i8087,9.54 MHz 0.0636 0.0705 0.0321 0.0219 234 5782 **
Benchmark notes and footnotes
-----------------------------
Hardware configuration for test of 387 coprocessors with C&T 38600DX, Intel
386DX, Cyrix 486DLC, and Intel RapidCAD CPUs:
System A: Motherboard with Forex chip set, 128 KB CPU Cache, 8 MB RAM
Hardware configuration for test of 486 FPU (extra fan for 40 MHz operation):
System B: Motherboard with SIS chip set, 256 KB CPU Cache, 8 MB RAM
## EM87 V1.2 by Ron Kimball is a public domain coprocessor emulator that
loads as a TSR. It uses INT 7 traps emitted by 80286, 80386, or 486SX
systems with no coprocessor upon encountering coprocessor instructions
to catch coprocessor instructions and emulate them. Whetstone and Savage
benchmarks for this test were compiled with the original TP 6.0 library,
as EM87 chokes on the 387 specific FSIN and FCOS instructions used in my
own library if a 387 is detected. Obviously EM87 identifies itself as a
387, but it has no support for 387-specific instructions.
$ Franke387 is a commercial 387 emulator that is also available in a
shareware version. For this test, shareware version V2.4 was used.
Franke387 unlike many other emulators supports all 387 instructions.
It is loaded as a device driver and uses INT 7 to trap coprocessor
instructions.
(( Q387 is an emulator that is distributed as a shareware program by
Quickware of Austin, Texas. As the name implies, this emulator uses
386 specific code and supports the full 387 instruction set. The
program is about 330 kByte in size and loads completely into extended
memory, using absolutely no DOS memory. It is loaded as a TSR and
requires an EMM (expanded memory manager) to be present. The emulation
uses the INT 7 mechanism. The version of Q387 used was 3.0a.
%% These benchmarks were run using the built-in coprocessor emulators of
the TP 6.0 (for Savage, LLL, Whetstone, TRNSFORM, PEAKFLOP) and the MS
FORTRAN 5.0 (for Linpack) run-time libraries by forcing the libraries
into not using a coprocessor by using the environment settings NO87=NC
and 87=N.
@@ The 3C87 specific F4X4 instruction was used in the vector transformation
benchmark.
// The EMC87 was used in the 387-compatible mode only. The faster memory-
mapped mode was *not* used. Times should therefore be identical to the
Cyrix 83D87.
++ Older motherboard with no chip set (discrete logic), no CPU cache, 16 MB
RAM
&& System A, CPU cache disabled via extended set-up, turbo-switch set to
half speed (that is, 20 MHz)
!! 80386 @ 20 MHz / Intel 80287 @ 5 MHz, no CPU cache, 4 MB RAM due to the
fast CPU used here, performance figures are somewhat higher than can be
expected for a 80286/287 combination, except for the PEAKFLOP benchmark,
which is basically coprocessor limited.
** 8086/8087 system with 640 KB RAM
Benchmark results for Weitek coprocessors
------------------------------------------
Since neither a Weitek coprocessor nor a compiler that generates code for the
Weitek chips were available to me, performance data for the Weitek Abacus is
given here according to [31,32] and scaled to show performance of a 33 MHz
system. The benchmarks were compiled using highly-optimizing 32-bit
compilers.
Single Prec. Double Prec. Double Prec.
3167 4167 3167 4167 387 486
Linpack MFLOPS 1.8 5.0 0.8 3.2 0.4 1.6
Whetstone kWhet/sec 7470 22700 4900 14000 3290 12300
Note that for the Intel coprocessors, running programs in single vs. double-
precision doesn't provide much of an performance advantage since all internal
calculations are always done in extended precision. Using Weitek
coprocessors, however, performance nearly doubles in single-precision mode.
For double-precision calculations using only basic arithmetic, the Weitek
Abacus can at most provide performance at twice the level of the respective
Intel coprocessor (387/486) at the same clock speed.
Comparison of floating-point performance [30,32]
single-precision
Weitek 4167-33 Intel 486-33 Intel 486DX2-66
Linpack MFLOPS 5.0 1.8 3.5
Whetstones kWhet/sec 22700 12700 25500
double-precision
Weitek 4167-33 Intel 486-33 Intel 486DX2-66
LINPACK MFLOPS 3.5 1.6 3.1
kWhetstones/sec 14000 12300 24700
=============================================================================
Clock-cycle timings for coprocessor instructions on various coprocessor chips
=============================================================================
Speed of various coprocessor instructions, measured in clock cycles, as
captured by my program 87TIMES. Error is +/- one clock cycle, except for the
Intel 80287. Times for the 80287 were determined on a system with a 20 MHz
80386 and a 5 MHz Intel 80287. Therefore, times may differ from a genuine
80286/287 system, especially for those instructions that access an operand in
memory. Since the times are stated as the number of coprocessor clock cycles
used, the faster 386 which can execute four clock cycles where the 80287
executes one clock cycle may decrease memory access times as seen by the
coprocessor.
The CPU used in testing the 387 coprocessors was an Intel 386DX. Note that
due to the improved coprocessor interface of the Cyrix 486DLC the execution
time of most coprocessor instructions drops by 2-3 clock cycles when used
with this CPU.
Intel Intel Cyrix Cyrix C&T ULSI IIT Intel Intel
i486 RapidCAD 83D87 387+ 38700 83C87 3C87 387DX 80387
FLD1 4 3 14 14 14 18 24 23 26
FLDZ 4 3 14 14 14 18 24 23 31
FLDPI 7 8 14 15 14 18 24 38 45
FLDLG2 7 8 14 14 14 18 24 33 45
FLDL2T 7 8 14 14 14 19 24 38 45
FLDL2E 7 8 14 14 14 19 24 38 45
FLDLN2 7 8 14 14 14 19 24 38 45
FLD ST(0) 4 4 14 14 14 14 24 20 21
FST ST(1) 3 4 14 14 14 14 19 18 22
FSTP ST(0) 4 4 14 14 14 15 19 19 22
FSTP ST(1) 4 4 15 15 14 15 19 20 22
FLD ST(1) 4 4 14 14 14 14 24 18 21
FXCH ST(1) 4 4 14 20 14 19 24 24 27
FILD [Word] 12 16 33 37 32 42 38 47 62
FILD [DWord] 8 11 26 26 21 32 28 35 45
FILD [QWord] 9 15 30 30 25 36 32 34 54
FLD [DWord] 3 5 26 26 21 23 28 20 25
FLD [QWord] 3 7 30 30 25 27 32 24 35
FLD [TByte] 5 11 46 46 46 46 47 46 57
FBLD [TByte] 83 90 66 86 106 146 197 71 278
FIST [Word] 31 31 37 40 37 42 51 69 90
FIST [DWord] 29 30 35 40 35 40 49 66 84
FST [DWord] 7 7 35 37 32 40 33 37 40
FST [QWord] 8 9 43 43 39 47 40 45 51
FISTP [Word] 32 32 42 40 37 43 46 70 90
FISTP [DWord] 31 31 40 40 35 41 50 67 87
FISTP [QWord] 29 29 44 44 42 48 56 73 92
FSTP [DWord] 8 8 38 36 32 41 35 38 43
FSTP [QWord] 9 9 46 43 39 48 42 46 49
FSTP [TByte] 8 8 50 45 49 50 48 53 58
FBSTP [TByte] 170 172 98 98 114 129 218 144 533
FINIT 17 31 15 16 15 15 16 16 25
FCLEX 7 20 15 16 16 16 16 16 25
FCHS 7 8 14 15 14 14 19 30 33
FABS 5 5 14 15 14 14 19 30 33
FXAM 12 13 14 15 14 14 19 39 43
FTST 5 5 19 25 14 24 24 34 38
FSTENV 67 82 125 125 124 132 124 159 165
FLDENV 44 59 106 106 112 120 106 119 129
FSAVE 181 169 355 355 374 361 376 469 511
FRSTOR 130 203 358 358 385 372 371 420 456
FSTSW [mem] 4 5 14 14 14 14 14 14 17
FSTSW AX 3 4 12 12 11 11 11 11 14
FSTCW [mem] 4 5 14 14 13 13 13 14 18
FLDCW [mem] 4 11 26 26 31 32 27 32 36
FADD ST,ST(0) 8 9 19 20 19 19 24 24 32
FADD ST,ST(1) 9 9 19 20 19 18 24 20 32
FADD ST(1),ST 10 10 19 20 19 18 24 24 37
FADDP ST(1),ST 11 11 19 19 19 16 24 25 37
FADD [DWord] 9 10 25 28 22 23 23 21 34
FADD [QWord] 9 10 32 32 26 27 27 25 38
FIADD [Word] 20 21 34 34 33 40 40 52 80
FIADD [DWord] 20 21 27 28 27 30 30 37 61
FSUB ST(1),ST 10 10 19 20 19 19 24 24 38
FSUBR ST(1),ST 9 10 19 22 19 19 24 27 38
FSUBRP ST(1),ST 10 10 19 19 22 20 24 25 38
FSUB [DWord] 11 12 27 28 27 23 29 27 32
FSUB [QWord] 11 12 32 32 31 27 33 26 44
FISUB [Word] 21 21 34 34 34 40 40 52 80
FISUB [DWord] 21 22 27 28 27 29 30 40 60
FMUL ST,ST(1) 16 17 19 25 24 24 29 38 57
FMUL ST(1),ST 16 17 19 24 24 24 29 40 62
FMULP ST(1),ST 17 17 19 24 24 25 29 40 58
FIMUL [Word] 22 23 40 40 37 46 46 52 80
FIMUL [DWord] 22 23 27 28 27 36 35 45 68
FMUL [DWord] 11 12 27 28 27 28 29 25 45
FMUL [QWord] 14 15 32 32 31 32 33 37 61
FDIV ST,ST(0) 73 74 26 40 59 54 54 89 100
FDIV ST,ST(1) 73 74 36 45 59 54 54 77 100
FDIV ST(1),ST 73 74 36 45 59 55 54 78 102
FDIVR ST(1),ST 73 74 36 45 59 54 54 77 102
FDIVRP ST(1),ST 73 74 36 44 59 55 54 76 106
FIDIV [Word] 84 85 52 58 75 76 76 105 141
FIDIV [DWord] 84 85 45 46 65 65 65 101 123
FDIV [DWord] 73 74 45 46 63 56 59 77 101
FDIV [QWord] 73 74 50 50 67 60 63 78 103
FSQRT (0.0) 25 25 19 19 14 19 24 29 37
FSQRT (1.0) 83 84 36 74 54 89 59 109 132
FSQRT (L2T) 86 87 36 74 54 89 59 104 137
FXTRACT (L2T) 17 17 19 19 19 28 79 53 72
FSCALE (PI,5) 30 30 36 24 24 49 79 59 82
FRNDINT (PI) 31 31 19 29 24 34 29 49 82
FPREM (99,PI) 58 59 54 99 44 54 49 79 96
FPREM1(99,PI) 90 91 54 99 44 59 54 104 121
FCOM 5 6 15 20 19 25 19 29 32
FCOMP 6 6 15 19 19 25 19 30 33
FCOMPP 7 7 15 19 19 25 19 31 40
FICOM [Word] 16 17 34 34 33 46 34 58 76
FICOM [DWord] 16 16 21 28 21 35 23 45 57
FCOM [DWord] 5 6 21 28 22 23 23 27 34
FCOM [QWord] 5 8 27 32 25 27 27 31 39
FSIN (0.0) 24 24 14 99 14 19 24 39 43
FSIN (1.0) 310 313 114 164 144 494 219 509 596
FSIN (PI) 88 89 118 189 64 64 214 134 152
FSIN (LG2) 292 295 72 89 139 454 184 449 531
FSIN (L2T) 299 302 123 179 164 469 214 454 536
FCOS (0.0) 24 24 19 159 14 19 24 34 42
FCOS (1.0) 302 305 84 104 139 489 214 459 547
FCOS (PI) 88 89 154 254 64 64 224 199 232
FCOS (LG2) 300 303 108 149 139 454 194 504 583
FCOS (L2T) 307 310 159 239 164 469 224 509 601
FSINCOS (0.0) 25 25 14 19 19 18 34 38 55
FSINCOS (1.0) 353 356 124 174 254 493 419 538 636
FSINCOS (PI) 105 106 162 263 79 68 424 228 277
FSINCOS (LG2) 340 343 119 159 249 458 359 533 627
FSINCOS (L2T) 347 350 168 248 274 473 424 538 646
FPTAN (0.0) 25 25 14 19 19 18 29 38 46
FPTAN (1.0) 266 269 119 149 184 538 309 323 396
FPTAN (PI) 145 146 134 228 104 108 304 168 211
FPTAN (LG2) 244 246 94 129 179 498 274 298 363
FPTAN (L2T) 247 249 139 219 204 513 304 298 365
FPATAN (0.0) 38 39 19 24 19 20 29 95 93
FPATAN (1.0) 294 298 124 159 29 375 604 360 433
FPATAN (PI) 304 308 139 188 279 360 424 375 472
FPATAN (LG2) 290 293 128 154 269 365 379 375 448
FPATAN (L2T) 304 308 144 189 274 359 424 375 468
F2XM1 (0.0) 25 25 14 14 14 19 24 34 37
F2XM1 (LN2) 209 211 89 119 169 394 284 299 348
F2XM1 (LG2) 204 206 78 104 159 379 284 294 337
FYL2X (1.0) 60 61 36 39 24 75 94 115 127
FYL2X (PI) 294 297 108 163 249 450 359 395 504
FYL2X (LG2) 311 314 108 159 249 460 339 410 518
FYL2X (L2T) 293 296 108 164 249 439 359 390 501
FYL2XP1 (LG2) 334 337 99 169 234 460 284 435 538
80386 + 80386 + 80386 + 80386 +
Intel Intel Q387 Franke387 TP 6.0 EM87
8087 80287 Emulator Emulator Emulator Emulator
FLD1 26 55 51 481 422 1626
FLDZ 21 53 39 480 416 1646
FLDPI 26 55 51 486 443 1626
FLDLG2 26 56 51 486 423 1626
FLDL2T 26 55 51 486 440 1626
FLDL2E 26 53 52 486 423 1626
FLDLN2 26 55 52 486 441 1626
FLD ST(0) 31 55 57 493 362 1851
FST ST(1) 26 54 61 489 355 1931
FSTP ST(0) 26 54 46 507 358 2115
FSTP ST(1) 21 55 66 507 356 2116
FLD ST(1) 26 55 54 493 362 1852
FXCH ST(1) 21 57 80 497 486 2187
FILD [Word] 58 90 122 667 712 2259
FILD [DWord] 64 74 121 608 812 2164
FILD [QWord] 74 93 179 652 707 2971
FLD [DWord] 49 44 106 633 473 2077
FLD [QWord] 54 57 118 641 524 2336
FLD [TByte] 59 45 102 607 492 2063
FBLD [TByte] 309 310 736 2019 1512 17827
FIST [Word] 79 72 143 854 766 2418
FIST [DWord] 84 80 136 865 518 2325
FST [DWord] 89 85 124 686 441 2200
FST [QWord] 99 92 135 703 516 2481
FISTP [Word] 79 80 154 864 794 2620
FISTP [DWord] 79 81 144 879 541 2523
FISTP [QWord] 88 75 184 904 916 3226
FSTP [DWord] 89 75 133 713 467 2400
FSTP [QWord] 93 72 142 732 538 2678
FSTP [TByte] 49 21 111 685 467 2124
FBSTP [TByte] 528 472 1124 3305 1555 27013
FINIT 11 10 1079 742 641 1369
FCLEX 11 10 48 440 323 912
FCHS 21 54 45 460 354 1744
FABS 21 54 43 456 349 1738
FXAM 21 54 72 481 380 1551
FTST 51 75 70 585 386 2721
FSTENV 54 57 827 928 519 2104
FLDENV 48 50 780 1125 450 1631
FSAVE 214 244 3929 1949 976 2749
FRSTOR 209 227 2901 2182 657 2225
FSTSW [mem] 28 10 87 516 401 1189
FSTSW AX N/A 55 57 451 N/A N/A
FSTCW [mem] 28 10 74 506 359 1167
FLDCW [mem] 19 47 91 524 437 1584
FADD ST,ST(0) 86 128 136 643 706 2805
FADD ST,ST(1) 85 116 146 707 808 3093
FADD ST(1),ST 92 131 157 664 812 3146
FADDP ST(1),ST 92 129 164 704 799 3143
FADD [DWord] 105 122 221 874 969 3139
FADD [QWord] 115 122 232 888 1021 3396
FIADD [Word] 115 122 238 940 1211 3330
FIADD [DWord] 125 122 239 882 1297 3215
FSUB ST(1),ST 88 130 171 738 817 3156
FSUBR ST(1),ST 96 132 181 740 868 3004
FSUBRP ST(1),ST 99 132 193 733 805 3301
FSUB [DWord] 119 122 230 918 1018 3127
FSUB [QWord] 129 123 242 932 1070 3632
FISUB [Word] 115 123 268 977 1081 3802
FISUB [DWord] 125 125 289 940 980 4161
FMUL ST,ST(1) 145 151 297 810 1368 3924
FMUL ST(1),ST 145 151 296 817 1377 3962
FMULP ST(1),ST 148 168 304 840 1365 4164
FIMUL [Word] 132 151 384 1039 1517 4039
FIMUL [DWord] 141 151 383 980 1643 3976
FMUL [DWord] 125 123 345 948 1480 3445
FMUL [QWord] 175 192 387 991 1602 4416
FDIV ST,ST(0) 201 207 274 726 1536 9789
FDIV ST,ST(1) 203 218 299 808 1658 10332
FDIV ST(1),ST 207 214 299 825 1655 10342
FDIVR ST(1),ST 201 206 302 819 1806 10213
FDIVRP ST(1),ST 201 205 309 845 1803 10409
FIDIV [Word] 237 227 390 980 1779 11225
FIDIV [DWord] 246 227 411 944 1680 11572
FDIV [DWord] 229 226 352 893 1722 10577
FDIV [QWord] 236 227 391 993 1777 10829
FSQRT (0.0) 21 57 60 512 382 1755
FSQRT (1.0) 186 206 294 1106 2504 37836
FSQRT (L2T) 186 207 295 1398 2467 37925
FXTRACT (L2T) 51 56 155 726 571 3326
FSCALE (PI,5) 41 56 95 817 443 3194
FRNDINT (PI) 51 58 136 808 800 7092
FPREM (99,PI) 81 131 322 1696 941 4098
FPREM1(99,PI) N/A N/A 384 1625 N/A N/A
FCOM 56 75 155 582 483 2799
FCOMP 61 92 160 616 485 2983
FCOMPP 61 90 149 661 476 3198
FICOM [Word] 79 77 231 808 861 3654
FICOM [DWord] 89 77 231 750 964 3684
FCOM [DWord] 74 75 214 741 625 3643
FCOM [QWord] 74 76 205 754 667 3771
FSIN (0.0) N/A N/A 137 639 N/A N/A
FSIN (1.0) N/A N/A 997 4640 N/A N/A
FSIN (PI) N/A N/A 322 2488 N/A N/A
FSIN (LG2) N/A N/A 978 3911 N/A N/A
FSIN (L2T) N/A N/A 1005 3767 N/A N/A
FCOS (0.0) N/A N/A 182 740 N/A N/A
FCOS (1.0) N/A N/A 988 4777 N/A N/A
FCOS (PI) N/A N/A 337 2557 N/A N/A
FCOS (LG2) N/A N/A 976 4176 N/A N/A
FCOS (L2T) N/A N/A 1001 3905 N/A N/A
FSINCOS (0.0) N/A N/A 225 714 N/A N/A
FSINCOS (1.0) N/A N/A 1841 6049 N/A N/A
FSINCOS (PI) N/A N/A 1167 4091 N/A N/A
FSINCOS (LG2) N/A N/A 1525 5640 N/A N/A
FSINCOS (L2T) N/A N/A 1552 5405 N/A N/A
FPTAN (0.0) 41 58 90 752 8381 2324
FPTAN (1.0) 581 582 1182 6366 10817 29824
FPTAN (PI) 606 587 292 4388 12410 2300
FPTAN (LG2) 516 513 883 5939 12502 26770
FPTAN (L2T) 576 586 954 5723 12483 2301
FPATAN (0.0) 41 55 123 616 1208 10578
FPATAN (1.0) 736 736 171 1426 13446 34208
FPATAN (PI) 206 207 11115 2835 13305 46903
FPATAN (LG2) 756 736 11077 2490 13319 41312
FPATAN (L2T) 206 204 11117 2922 13364 50149
F2XM1 (0.0) 16 56 102 563 723 1722
F2XM1 (LN2) 631 624 905 4178 11070 33823
F2XM1 (LG2) 611 585 890 4798 11116 32163
FYL2X (1.0) 56 57 136 961 1214 4327
FYL2X (PI) 946 961 1008 8987 12858 40148
FYL2X (LG2) 1081 1038 1035 8933 12748 46821
FYL2X (L2T) 926 886 1089 8982 12712 38986
FYL2XP1 (LG2) 1026 1037 1154 10485 11867 44708
Clock-cycle timings for floating-point operations on Weitek coprocessors
------------------------------------------------------------------------
The Weitek 3167 and 4167 coprocessors only implement the basic arithmetic
functions (add, subtract, multiply, divide, square root) in hardware;
transcendental functions are implemented by means of a software library
supplied by Weitek which uses the basic hardware instructions to approximate
the transcendental functions (using polynomial and rational approximations).
The clock cycle timings for the transcendental functions are average values,
since execution time can differ with the value of argument. The speed of
transcendental functions for the 4167 is estimated based on the numbers in
[31,33], from which this timing information has been extracted.
Single-precision Double-precision
3167 4167 3167 4167
ABS 3 2 3 2
NEG 6 2 6 2
ADD 6 2 6 2
SUB 6 2 6 2
SUBR 6 2 6 2
MUL 6 2 10 3
DIVR 38 17 66 31
SQRT 60 17 118 31
SIN 146 ~50 292 ~100
COS 140 ~50 285 ~100
TAN 188 ~60 340 ~110
EXP 179 ~60 401 ~130
LOG 171 ~60 365 ~120
F->ASCII 1000 N/A 1700 N/A //
ASCII->F 1100 N/A 1800 N/A //
// rough average of the timings given for different numeric
formats by Weitek. Note that these conversions routines
do much more work than the FBLD and FBSTP instructions
provided by the 80x87 coprocessors. FBLD and FBSTP are
useful for conversion routines but quite a bit of additional
code is need for this purpose.
=============================================================================
Accuracy of calculations performed by a coprocessor / The IEEETEST program
=============================================================================
Among the 80x87 coprocessors, the IEEE-754 Standard for Binary Floating-Point
Arithmetic [10,11] was first fully implemented by Intel's 387 coprocessor [17].
Among other things, this means that the add, subtract, multiply, divide,
remainder, and square root operations always deliver the 'exact' result. By
'exact', the standard means that the coprocessor always delivers the machine
number closest to the real result, which may not always be representable
exactly in the available numeric format. The 80387 implements the single,
double, and double extended formats as specified in the IEEE standard, as
well as all functions required by it [17].
Note that earlier Intel coprocessors (the 8087 and the 80287) comply with a
draft version of the standard that differs from the final version. These
chips were developed before IEEE-754 was finally accepted in 1985. As with
the 80387, the basic arithmetic in the 8087 and the 80287 is 'exact' in the
sense that the computed result is always the machine number closest to the
real result. However, there are some differences regarding certain operands
like infinities, and some operations like the remainder are defined
differently than in the final version of the standard.
Some new instructions were introduced with the 80387, most notably the FSIN
and FCOS operations. The argument range for some transcendental function has
also been extended [17]. Note that the IEEE-754 standard says nothing about
the quality of the implementation of transcendental functions like sin, cos,
tan, arctan, log. Intel uses a modified CORDIC [18,19] technique to compute
the transcendental functions; Intel claims that maximum error in the 8087,
80287, and 80387 for all transcendental functions does not exceed two bits in
the mantissa of the double extended format, which features 64 mantissa bits
for an overall accuracy of approximately 19 decimal places [22,23]. This
claim has been independently verified by a competing vendor [13]. This means
that at least 62 of the 64 mantissa bits returned as a result by one of the
transcendental function instructions are guaranteed to be correct.
The Weitek Abacus 3167 and 4167 coprocessors are 'mostly compatible' with
IEEE-754 [31,32,33]. They support the single-precision and double precision
numeric formats described in the standard, as well as the four rounding modes
required by it. However, due to Weitek's desire for extremely high-speed
operation, some of the finer points of IEEE-754 have not been implemented.
One of the most notable omissions is the missing support for denormal
numbers; denormals are always flushed to zero on Weitek chips.
The 387 clone manufacturers all claim 100% compatibility with Intel's 80387,
so one would reasonably expect the same accuracy from their chips as from
Intel's. For example, on the packaging of the IIT 3C87 it states that "...the
requirements of ANSI/IEEE standards are fulfilled and exceeded". Cyrix states
that their 83D87 complies fully with the IEEE-754 standard [12], and in fact
delivers with their coprocessors diagnostic software that includes the
program IEEETEST. This program is based on the IEEE test vectors from the PhD
thesis of Dr. Jerome T. Coonen [9]. A test using the IEEE test vectors has
also been included into the RUNDIAG program on the Intel RapidCAD diagnostic
disk. Rather than performing random tests, the test vectors check specific
cases that may be hard to get right. Each test vector specifies the operation
to be performed, the operands, precision and rounding mode to be used, and
the result (including flags set) to be expected according to the IEEE-754
standard.
I ran IEEETEST on all the available coprocessors/FPUs. The Intel 486, Intel
RapidCAD, Intel 387, Intel 387DX, Cyrix 83D87, and the Cyrix 387+ passed with
no errors. The ULSI 83C87 showed some minor flaws in the FCOM, FDIV, FMUL,
and FSCALE operations, getting flag errors in about 1% of the tested cases,
but no computational errors. However, for the IIT 3C87, the IEEETEST program
showed flag *and* some computational errors (that is, wrong results) for all
tested operations except FXTRACT and FCHS. The Intel 8087 and 80287 show
numerous errors, but this it not surprising, since they do not comply with
IEEE-754 but with an earlier draft of that standard, so they do some things
differently than required by the final version of the standard. In particular
the Intel 8087/80287 do not feature the IEEE-754 compliant comparison (FUCOM)
and remainder (FPREM1) instructions available on the Intel 80387 and newer
coprocessors, so IEEETEST uses the non-compliant FCOM and FPREM instructions
on these processors. Lack of an IEEE-754 compliant comparison instruction also
causes a good deal of the errors in the 'Next After' test.
Since IEEETEST is written in Turbo Pascal, it was recompiled with the $E+
switch to enable use of the coprocessor emulator built into the TP 6.0 library.
Using the emulator, IEEETEST aborted in the following tests with a division
by zero error: 'Comparison', 'Division', 'Next After'. These tests were removed
from the suite and the remaining tests were performed. The public domain
emulator EM87 could be tested, but hung in the last test which checks the
implementation of the remainder operation. This problem occurred because EM87
incorrectly identifies itself as an 387 type coprocessor when run on an 80386.
This causes the 387 specific FUCOM instruction to be used in the 'Comparison'
and 'Next After' tests and the FPREM1 instruction to be used in the 'Remainder'
test. Apparently EM87 is not able to emulate these instructions and therefore
crashes upon trying to execute them. It is interesting to note how the error
profile of EM87 matches exactly that of the Intel 80287, so it can be assumed
that EM87 is a very good emulation of the 80287 when run on the 80286. The
Franke387 V2.4 emulator hangs in the following test performed by IEEETEST:
'Division', 'Multiplication', 'Scalb', 'Remainder'. The cause for these
failures is unknown.
This explanatory text is printed at the start of the IEEETEST program:
JT Coonen's 1984 UC Berkeley Ph.D. thesis centers around his activities
as a member of the floating-point working group that defined the IEEE
754-1985 Standard for Binary Floating-Point Arithmetic. Appendix C of
his thesis presents FPTEST, a Pascal program written by J Thomas and JT
Coonen. IEEETEST is a port of FPTEST and runs on PCs whose math
coprocessor accepts 80387-compatible floating-point instructions.
IEEETEST reads test vectors from the file TESTVECS and compares the
answer returned by the math coprocessor with the answer listed in the
test vector. If these answers differ an 'F' is displayed, otherwise a
'.'is displayed. Answers can differ due to two types of failures:
numeric failures or flag failures. Numeric failures occur when the
computed answer has the wrong value. Flag failures occur when the status
(invalid operation, divide by zero, underflow, overflow, inexact) is
incorrectly identified.
TESTVECS is the concatenation of unmodified versions of all the test
vectors distributed by UC Berkeley. The test data base is copyrighted by
UC Berkeley (1985) and is being distributed with their permission.
FPTEST and the test data base can be obtained by asking for 'IEEE-754
Test Vector' from UC Berkeley, Electrical Engineering and Computer
Science, Industrial Liaison Program, 479 Corey Hall, Berkeley, CA, 94720
(415)643-6687.
The initial version of this test data base for the proposed IEEE 754
binary floating-point standard (draft 8.0) was developed for Zilog, Inc.
and was donated to the floating-point working group for dissemination.
Errors in or additions to the distributed data base should be reported
to the agency of distribution, with copies to Zilog, Inc., 1315 Dell
Avenue, Campbell, CA, 95008.
IEEETEST output for Intel 80387, Intel 387DX (manufactured 91/49), Intel 486,
C&T 38700 (manufactured 92/19), Cyrix 83D87, Cyrix 387+ (manufactured 92/11),
and Intel RapidCAD (manufactured 92/05):
----------------------------------------------------------------------------
IEEE-754 Test Vector Precisions: S=Single D=Double E=Double Extended
| TESTS | numeric TYPE OF FAILURE flag
Operation Code | Passed Failed | S D E | S D E
----------------------------------------------------------------------
Absolute Value A | 216 0 | 0 0 0 | 0 0 0
Addition + | 3528 0 | 0 0 0 | 0 0 0
Comparison C | 4320 0 | 0 0 0 | 0 0 0
Copy Sign @ | 1488 0 | 0 0 0 | 0 0 0
Division / | 4311 0 | 0 0 0 | 0 0 0
Fraction Part F | 624 0 | 0 0 0 | 0 0 0
Logb L | 960 0 | 0 0 0 | 0 0 0
Multiplication * | 3978 0 | 0 0 0 | 0 0 0
Negation - | 216 0 | 0 0 0 | 0 0 0
Next After N | 2832 0 | 0 0 0 | 0 0 0
Round to Integer I | 558 0 | 0 0 0 | 0 0 0
Scalb S | 948 0 | 0 0 0 | 0 0 0
Square Root V | 744 0 | 0 0 0 | 0 0 0
Subtraction - | 3528 0 | 0 0 0 | 0 0 0
Remainder % | 2984 0 | 0 0 0 | 0 0 0
Totals | 31235 0 |
IEEETEST output for ULSI 83C87 (manufactured 91/48):
----------------------------------------------------
IEEE-754 Test Vector Precisions: S=Single D=Double E=Double Extended
| TESTS | numeric TYPE OF FAILURE flag
Operation Code | Passed Failed | S D E | S D E
----------------------------------------------------------------------
Absolute Value A | 216 0 | 0 0 0 | 0 0 0
Addition + | 3528 0 | 0 0 0 | 0 0 0
Comparison C | 4312 8 | 0 0 0 | 0 0 8
Copy Sign @ | 1488 0 | 0 0 0 | 0 0 0
Division / | 4250 61 | 0 0 0 | 28 28 5
Fraction Part F | 624 0 | 0 0 0 | 0 0 0
Logb L | 960 0 | 0 0 0 | 0 0 0
Multiplication * | 3936 42 | 0 0 0 | 19 19 4
Negation - | 216 0 | 0 0 0 | 0 0 0
Next After N | 2828 4 | 0 0 0 | 0 0 4
Round to Integer I | 558 0 | 0 0 0 | 0 0 0
Scalb S | 930 18 | 0 0 0 | 6 6 6
Square Root V | 744 0 | 0 0 0 | 0 0 0
Subtraction - | 3528 0 | 0 0 0 | 0 0 0
Remainder % | 2984 0 | 0 0 0 | 0 0 0
Totals | 31102 133 |
IEEETEST output for ULSI 83S87 (manufactured 92/17)
(data kindly supplied by Bengt Ask, f89ba@efd.lth.se):
------------------------------------------------------
IEEE-754 Test Vector Precisions: S=Single D=Double E=Double Extended
| TESTS | numeric TYPE OF FAILURE flag
Operation Code | Passed Failed | S D E | S D E
----------------------------------------------------------------------
Absolute Value A | 216 0 | 0 0 0 | 0 0 0
Addition + | 3528 0 | 0 0 0 | 0 0 0
Comparison C | 4320 0 | 0 0 0 | 0 0 0
Copy Sign @ | 1488 0 | 0 0 0 | 0 0 0
Division / | 4296 15 | 0 0 0 | 5 5 5
Fraction Part F | 624 0 | 0 0 0 | 0 0 0
Logb L | 960 0 | 0 0 0 | 0 0 0
Multiplication * | 3966 12 | 0 0 0 | 4 4 4
Negation - | 216 0 | 0 0 0 | 0 0 0
Next After N | 2828 4 | 0 0 0 | 0 0 4
Round to Integer I | 558 0 | 0 0 0 | 0 0 0
Scalb S | 930 18 | 0 0 0 | 6 6 6
Square Root V | 744 0 | 0 0 0 | 0 0 0
Subtraction - | 3528 0 | 0 0 0 | 0 0 0
Remainder % | 2984 0 | 0 0 0 | 0 0 0
Totals | 31102 45 |
IEEETEST output for IIT 3C87 (manufactured 92/20):
--------------------------------------------------
IEEE-754 Test Vector Precisions: S=Single D=Double E=Double Extended
| TESTS | numeric TYPE OF FAILURE flag
Operation Code | Passed Failed | S D E | S D E
----------------------------------------------------------------------
Absolute Value A | 200 16 | 0 0 16 | 0 0 0
Addition + | 3336 192 | 0 0 128 | 0 0 96
Comparison C | 4224 96 | 0 0 96 | 0 0 0
Copy Sign @ | 1488 0 | 0 0 0 | 0 0 0
Division / | 4159 152 | 0 0 124 | 0 0 116
Fraction Part F | 600 24 | 0 0 24 | 0 0 24
Logb L | 960 0 | 0 0 0 | 0 0 0
Multiplication * | 3702 276 | 0 0 248 | 0 0 100
Negation - | 200 16 | 0 0 16 | 0 0 0
Next After N | 2248 584 | 0 0 584 | 0 0 168
Round to Integer I | 542 16 | 0 0 4 | 0 0 16
Scalb S | 874 74 | 5 5 44 | 8 8 20
Square Root V | 688 56 | 0 0 56 | 0 0 56
Subtraction - | 3336 192 | 0 0 128 | 0 0 96
Remainder % | 2844 140 | 0 0 140 | 0 0 116
Totals | 29401 1834 |
IEEETEST output for Intel 80287 run with a 80386 CPU and Intel 8087:
--------------------------------------------------------------------
IEEE-754 Test Vector Precisions: S=Single D=Double E=Double Extended
| TESTS | numeric TYPE OF FAILURE flag
Operation Code | Passed Failed | S D E | S D E
----------------------------------------------------------------------
Absolute Value A | 216 0 | 0 0 0 | 0 0 0
Addition + | 2886 642 | 16 16 112 | 174 174 174
Comparison C | 3612 708 | 136 136 136 | 228 228 228
Copy Sign @ | 1488 0 | 0 0 0 | 0 0 0
Division / | 3777 534 | 18 18 37 | 169 169 165
Fraction Part F | 552 72 | 24 24 24 | 24 24 24
Logb L | 900 60 | 12 12 12 | 20 20 20
Multiplication * | 2944 1034 | 105 105 197 | 303 303 231
Negation - | 216 0 | 0 0 0 | 0 0 0
Next After N | 516 2316 | 168 168 332 | 764 764 764
Round to Integer I | 546 12 | 0 0 0 | 4 4 4
Scalb S | 663 285 | 45 43 26 | 102 98 46
Square Root V | 720 24 | 4 4 4 | 8 8 8
Subtraction - | 2886 642 | 16 16 112 | 174 174 174
Remainder % | 1490 1494 | 432 432 288 | 342 342 230
Totals | 23412 7823 |
IEEETEST output for EM87 coprocessor emulator run on an Intel 386 CPU:
----------------------------------------------------------------------
IEEE-754 Test Vector Precisions: S=Single D=Double E=Double Extended
| TESTS | numeric TYPE OF FAILURE flag
Operation Code | Passed Failed | S D E | S D E
----------------------------------------------------------------------
Absolute Value A | 216 0 | 0 0 0 | 0 0 0
Addition + | 2886 642 | 16 16 112 | 174 174 174
Comparison C | 0 4320 | 1324 1324 1324 |1332 1332 1332
Copy Sign @ | 1488 0 | 0 0 0 | 0 0 0
Division / | 3777 534 | 18 18 37 | 169 169 165
Fraction Part F | 552 72 | 24 24 24 | 24 24 24
Logb L | 900 60 | 12 12 12 | 20 20 20
Multiplication * | 2944 1034 | 105 105 197 | 303 303 231
Negation - | 216 0 | 0 0 0 | 0 0 0
Next After N | 348 2484 | 768 768 768 | 504 504 526
Round to Integer I | 546 12 | 0 0 0 | 4 4 4
Scalb S | 663 285 | 45 43 26 | 102 98 46
Square Root V | 720 24 | 4 4 4 | 8 8 8
Subtraction - | 2886 642 | 16 16 112 | 174 174 174
Remainder % | ######## not run since machine hangs #######
IEEETEST output for Franke387 coprocessor emulator run on an Intel 386:
-----------------------------------------------------------------------
IEEE-754 Test Vector Precisions: S=Single D=Double E=Double Extended
| TESTS | numeric TYPE OF FAILURE flag
Operation Code | Passed Failed | S D E | S D E
----------------------------------------------------------------------
Absolute Value A | 152 64 | 0 0 8 | 24 24 8
Addition + | 1587 1941 | 178 178 722 | 508 508 616
Comparison C | 3696 624 | 208 208 208 | 4 4 108
Copy Sign @ | 1200 288 | 0 0 0 | 144 144 0
Division / | ######## not run since machine hangs #######
Fraction Part F | 624 0 | 0 0 0 | 0 0 0
Logb L | 908 52 | 0 0 16 | 16 16 4
Multiplication * | ######## not run since machine hangs #######
Negation - | 152 64 | 0 0 8 | 24 24 8
Next After N | 1404 1420 | 404 404 596 | 80 80 172
Round to Integer I | 514 44 | 4 4 20 | 8 8 16
Scalb S | ######## not run since machine hangs #######
Square Root V | 569 175 | 14 31 54 | 28 48 72
Subtraction - | 1827 1701 | 98 98 642 | 452 452 576
Remainder % | ######## not run since machine hangs #######
IEEETEST output for Q387 coprocessor emulator run on an Intel 386:
------------------------------------------------------------------
IEEE-754 Test Vector Precisions: S=Single D=Double E=Double Extended
| TESTS | numeric TYPE OF FAILURE flag
Operation Code | Passed Failed | S D E | S D E
----------------------------------------------------------------------
Absolute Value A | 104 112 | 42 38 16 | 24 24 0
Addition + | 911 2617 | 746 637 637 | 672 672 380
Comparison C | 3180 1140 | 380 380 380 | 108 108 108
Copy Sign @ | 696 792 | 320 280 0 | 288 288 0
Division / | 900 3411 | 673 574 814 | 977 977 821
Fraction Part F | 348 276 | 154 82 40 | 24 24 24
Logb L | 656 304 | 136 100 36 | 24 24 12
Multiplication * | 1023 2955 | 759 663 857 | 670 670 442
Negation - | 86 130 | 44 38 32 | 24 24 0
Next After N | 464 2368 | 780 780 796 | 344 344 320
Round to Integer I | 273 285 | 95 74 52 | 72 72 68
Scalb S | 254 694 | 217 192 137 | 176 168 136
Square Root V | 128 616 | 192 180 147 | 196 196 188
Subtraction - | 911 2617 | 746 637 637 | 672 672 372
Remainder % | 558 2426 | 903 859 664 | 508 508 220
Totals | 10492 20743 |
IEEETEST output for TP 6.0 coprocessor emulator:
------------------------------------------------
IEEE-754 Test Vector Precisions: S=Single D=Double E=Double Extended
| TESTS | numeric TYPE OF FAILURE flag
Operation Code | Passed Failed | S D E | S D E
----------------------------------------------------------------------
Absolute Value A | 168 48 | 16 16 16 | 16 8 0
Addition + | 1877 1651 | 294 290 336 | 496 456 416
Comparison C | ## not run - program aborts with div-by-0 ##
Copy Sign @ | 1392 96 | 48 48 0 | 48 0 0
Division / | ## not run - program aborts with div-by-0 ##
Fraction Part F | 588 36 | 12 0 24 | 0 0 0
Logb L | 888 72 | 24 24 24 | 12 12 12
Multiplication * | 2148 1830 | 332 310 528 | 520 360 352
Negation - | 160 48 | 16 16 16 | 16 8 0
Next After N | ## not run - program aborts with div-by-0 ##
Round to Integer I | 318 240 | 0 0 4 | 80 80 80
Scalb S | 564 384 | 108 100 76 | 112 88 56
Square Root V | 180 564 | 143 157 169 | 72 72 128
Subtraction - | 1877 1651 | 294 290 336 | 496 456 416
Remainder % | 1072 1912 | 652 672 524 | 336 288 216
Additional accuracy and compatibility tests
-------------------------------------------
To complement the checks done by IEEETEST, I also wrote the short programs
DENORMTS, RCTRL, PCTRL in Turbo Pascal 6.0 that test the following
coprocessor functions:
1. support for denormals in all precisions (single, double, extended)
2. support for the four IEEE rounding modes (up, down, nearest, chop)
3. support for precision control
Note that passing all tests is required for IEEE conformance, as well as 100%
compatibility with Intel's coprocessors. Precision control forces the results
of the FADD, FSUB, FMUL, FDIV, and FSQRT instruction to be rounded to the
specified precision (single, double, double extended). This feature is
provided to obtain compatibility with certain programming languages [17]. By
specifying lower precision, one effectively nullifies the advantages of
extended precision intermediate results.
The IEEE-754 standard for floating-point arithmetic demands that processors
and floating-point packages that can not store the result of operations
- directly* to single and double precision location must provide precision
control. The programs that test precision control and rounding control are
designed to return a different result for each of the modes for the same
sequence of operation.
The source code of the programs can be found in appendix A. The Intel 8087
and 80287 were not tested with DENORMTS since Turbo Pascal does not support
extended precision denormals on 8087/80287 processors, so the denormal test
fails anyway. (The 8087 and 287 pass the RCTRL and PCTRL tests without error,
however).
Test Results for the Intel 387, Intel 387DX, Intel 486, Intel RapidCAD,
Cyrix 83D87, Cyrix 387+, C&T 38700, and the EM87 emulator (on an 80386 system):
-------------------------------------------------------------------------------
Precision Control SINGLE 1.13311278820037842E+0000
DOUBLE 1.23456789006442125E+0000
EXTENDED 1.23456789012337585E+0000
Rounding Control NEAREST -1.23427629010100635E+0100
DOWN -1.23427623555772409E+0100
UP -1.23457760966801097E+0100
CHOP -1.23397493540770643E+0100
Denormal support
SINGLE denormals supported
SINGLE denormal prints as: 4.60943116855005E-0041
Denormal should be printed as 4.60943...E-0041
DOUBLE denormals supported
DOUBLE denormal prints as: 8.75000000000016E-0311
Denormal should be printed as 8.75...E-0311
EXTENDED denormals supported
EXTENDED denormal prints as: 1.31640625000000E-4934
Denormal should be printed as 1.3164...E-4934
Results for the ULSI 83C87:
---------------------------
Precision Control SINGLE 1.23456789012337585E+0000
DOUBLE 1.23456789012337585E+0000
EXTENDED 1.23456789012337585E+0000
Rounding Control NEAREST -1.23427629010100635E+0100
DOWN -1.23427623555772409E+0100
UP -1.23457760966801097E+0100
CHOP -1.23397493540770643E+0100
Denormal support
SINGLE denormals supported
SINGLE denormal prints as: 4.60943116855005E-0041
Denormal should be printed as 4.60943...E-0041
DOUBLE denormals supported
DOUBLE denormal prints as: 8.75000000000016E-0311
Denormal should be printed as 8.75...E-0311
EXTENDED denormals supported
EXTENDED denormal prints as: 1.31640625000000E-4934
Denormal should be printed as 1.3164...E-4934
Results for the IIT 3C87:
-------------------------
Precision Control SINGLE 1.13311278820037842E+0000
DOUBLE 1.23456789006442125E+0000
EXTENDED 1.23456789012337585E+0000
Rounding Control NEAREST -1.23427629010100635E+0100
DOWN -1.23427623555772409E+0100
UP -1.23457760966801097E+0100
CHOP -1.23397493540770643E+0100
Denormal support
SINGLE denormals supported
SINGLE denormal prints as: 4.60943116855005E-0041
Denormal should be printed as 4.60943...E-0041
DOUBLE denormals supported
DOUBLE denormal prints as: 8.75000000000016E-0311
Denormal should be printed as 8.75...E-0311
EXTENDED denormals not supported
Results for the Turbo Pascal 6.0 coprocessor emulator:
------------------------------------------------------
Precision Control SINGLE 1.23456789012351396E+0000
DOUBLE 1.23456789012351396E+0000
EXTENDED 1.23456789012351396E+0000
Rounding Control NEAREST -1.23457766383395931E+0100
DOWN -1.23457766383395931E+0100
UP -1.23457766383395931E+0100
CHOP -1.23457766383395931E+0100
Denormal support
SINGLE denormals not supported
DOUBLE denormals not supported
EXTENDED denormals not supported
Results for the Q387 coprocessor emulator:
------------------------------------------
Precision Control SINGLE 1.23456789012337614E+0000
DOUBLE 1.23456789012337614E+0000
EXTENDED 1.23456789012337614E+0000
Rounding Control NEAREST -1.23427621117212139E+0100
DOWN -1.23427621117212139E+0100
UP -1.23427621117212139E+0100
CHOP -1.23427621117212139E+0100
Denormal support
SINGLE denormals not supported
DOUBLE denormals not supported
EXTENDED denormals not supported
The test results show that the IIT 3C87 does not conform to the IEEE-754
floating-point standard in that it does not support denormals in double
extended precision. The ULSI 83C87 does not conform to that standard in that
it does not support precision control, but uses double extended precision for
all operations. The TP 6.0 emulator supports neither precision control,
rounding control nor support for any denormals, as does the Q387 emulator.
In addition, their basic arithmetic operations do not seem to conform to
the IEEE standard as the results of the test programs differ from that of
any result computed by a coprocessor for any mode.
================================================
Accuracy of transcendental function calculations
================================================
With regard to the accuracy of transcendental functions, Cyrix claims that
the relative error of the transcendental functions on its 83D87 coprocessor
never exceeds 0.5 ULP of the double extended format [13] (ULP = Unit in the
Last Place, numeric weight of the least significant mantissa bit). This means
that the maximum relative error is below 2**-64, while Intel's published
error limit for the 80387 is 2**-62. While Intel uses a modified CORDIC
algorithm [18,19] to compute the transcendental functions, Cyrix uses
rational approximations that utilize their chip's very fast array multiplier.
(For an explanation why this approach is superior to CORDIC with today's
technology, see [61].) Also, Cyrix uses an internal 75 bit data path for the
mantissa [15], so intermediate computations in the generation of
transcendental function values will enjoy some additional accuracy over the
64 bits provided by the double extended format. Using 75 mantissa bits also
provides an advantage over other coprocessors like the Intel 387DX and ULSI
83C87 which use only a 68 bit mantissa data path [58,59].
Note that a maximum relative error of 0.5 ULP for the Cyrix coprocessor does
not mean that it returns the 'exact' result (machine number closest to
infinitely precise result) all the time. Consider the case where the
infinitely precise result of a transcendental function falls nearly halfway
between two machine numbers. A relative error of 0.5 ULP can cause the result
to be either of the numbers after rounding, depending on the direction of the
error. But the 83D87 should deliver results that never differ from the
'exact' result by more than one ULP. Also note that the claim of relative
error being below 0.5 ULPs is slightly exaggerated; 0.6 ULPs would be a more
realistic error limit. Imagine that the infinitely precise result for some
argument to a transcendental was xxx..xxx1001... (where the xxx...xxx
represent the first 64 bits of the result), but that the coprocessor computes
the result as xxx..xxx0111 and then round this down to xxx..xxx0000. Then the
relative error is (1001b-0b)/1000b = 0.5625 ULPs.
I tested some of the transcendental functions of the Cyrix 387+ and found the
relative error to be always below 0.6 ULPs. Cyrix also claims that its
transcendental functions satisfy the monotonicity criterion [13], a claim not
made by any of the competitors, which does not mean that the transcendental
functions on the other 387-compatibles may not be monotonic, too.
Monotonicity means that for all x1 > x2, it always follows that f(x1) >=
f(x2) for an increasing function like sin on [0..pi/4]. Likewise, for a
decreasing function like cos on [0..pi/4], for all x1 > x2, it follows that
f(x1) <= f(x2).
As previously noted, the Weitek Abacus 3167 and 4167 coprocessors implement
only the basic arithmetic operations (add, subtract, negate, multiply,
divide, square root) in hardware. Transcendental functions are performed via
a software library provided by Weitek. For these library functions Weitek
claims a maximum relative error of 5 ULPs [31,33]. This means that the last
three bits in the mantissa of a double-precision result can be wrong. Note
that the Intel 387 and compatible math coprocessors generate the
transcendental functions with a small relative error with regard to the
- extended double precision* format. Thus, when rounded to double-precision,
their function values are nearly always 'exact'. The problem of 'double
rounding' prevents them to be 'exact' in 100% of all cases. 387 type
coprocessors in general have superior accuracy when compared with Weitek's
coprocesssors.
The test diskette distributed with early versions of the Cyrix 83D87
contained a program (TRANCK) that checks the accuracy of the transcendental
functions in the coprocessor against a more precise software arithmetic [16].
I used this program to compare the accuracy of the transcendental functions
on those 287/387/486 coprocessors/FPUs available to me. As TRANCK will not
accept negative numbers as interval limits, I tested each function on an
interval along the positive x-axis. The functions tested were F2XM1 (2**x-1),
FSIN (sine), FCOS (cosine), FPTAN (tangent), FPATAN (arctangent), FYL2X (y *
log2 (x)), and FYL2XP1 (y * log2 (x+1)). These are all the transcendental
functions implemented on the 80387. Note that the square root (FSQRT) is
- not* a transcendental function. For each function, 100,000 arguments were
evaluated, with the arguments uniformly distributed within the interval
tested.
The EM87 emulator could not be checked with TRANCK, since the multiple
precision package in TRANCK would always return with an error message
immediately. However, the Franke387 emulator could be tested.
In the test results below, the following statistics are detailed:
%wrong is the percentage of results that differ from the 'exact'
result (infinitely precise result rounded to 64 bits)
ULP_hi is the number of results where the returned result was
greater than the 'exact' (correctly rounded) result by
one ULP (the numeric weight of the last mantissa bit,
2**-63 to 2**-64 depending of the size of the number).
ULPs_hi is the number of results where the returned result was
greater than the 'exact' result by two or more ULPs.
ULP_lo is the number of results where the returned result was
smaller than the 'exact' (correctly rounded) result by
one ULP (the numeric weight of the last mantissa bit,
2**-63 to 2**-64 depending of the size of the number).
ULPs_lo is the number of results where the returned result was
smaller than the 'exact' result by two or more ULPs.
max ULP err is the maximum deviation of a returned result from the
'exact' answer expressed in ULPs.
Test results for accuracy of transcendental functions for double extended
precision as returned by the program TRANCK. 100,000 trials per function:
Franke387 V2.4 emulator
max
funct. interval %wrong ULP_hi ULPs_hi ULP_lo ULPs_lo ULP err
SIN 0,pi/4 39.042 25301 708 13029 4 2
COS 0,pi/4 75.714 49827 25887 0 0 3
TAN 0,pi/4 76.976 14230 10029 24323 28394 9
ATAN 0,1 55.826 26028 1529 24044 4225 4
2XM1 0,0.5 96.717 0 0 47910 48807 5
YL2XP1 0,sqrt(2)-1 93.007 578 9 27416 65004 8
YL2X 0.1,10 62.252 16817 4712 37082 3641 2953
Microsoft's coprocessor emulator
(part of MS-C and MS-Fortran libraries)
max
funct. interval %wrong ULP_hi ULPs_hi ULP_lo ULPs_lo ULP err
SIN 0,pi/4 N/A N/A N/A N/A N/A N/A
COS 0,pi/4 N/A N/A N/A N/A N/A N/A
TAN 0,pi/4 40.828 27764 1520 11445 99 2
ATAN 0,1 32.307 18893 485 12530 299 2
2XM1 0,0.5 52.163 8585 189 37745 5644 3
YL2XP1 0,sqrt(2)-1 88.801 4714 916 14239 68932 11
YL2X 0.1,10 36.598 13813 3272 13866 5647 11
INTEL 8087, 80287
max
funct. interval %wrong ULP_hi ULPs_hi ULP_lo ULPs_lo ULP err
SIN 0,pi/4 N/A N/A N/A N/A N/A N/A
COS 0,pi/4 N/A N/A N/A N/A N/A N/A
TAN 0,pi/4 37.001 18756 524 17405 316 2
ATAN 0,1 9.666 6065 0 3601 0 1
2XM1 0,0.5 19.920 0 0 19920 0 1
YL2XP1 0,sqrt(2)-1 7.780 868 0 6912 0 1
YL2X 0.1,10 1.287 723 0 564 0 1
INTEL 80387
max
funct. interval %wrong ULP_hi ULPs_hi ULP_lo ULPs_lo ULP err
SIN 0,pi/4 28.872 2467 0 26392 13 2
COS 0,pi/4 27.213 27169 35 9 0 2
TAN 0,pi/4 10.532 441 0 10091 0 1
ATAN 0,1 7.088 2386 0 4691 1 2
2XM1 0,0.5 32.024 0 0 32024 0 1
YL2XP1 0,sqrt(2)-1 22.611 3461 0 19150 0 1
YL2X 0.1,10 13.020 6508 0 6512 0 1
INTEL 387DX
max
funct. interval %wrong ULP_hi ULPs_hi ULP_lo ULPs_lo ULP err
SIN 0,pi/4 28.873 2467 0 26393 13 2
COS 0,pi/4 27.121 27090 22 9 0 2
TAN 0,pi/4 10.711 457 0 10254 0 1
ATAN 0,1 7.088 2386 0 4691 1 2
2XM1 0,0.5 32.024 0 0 32024 0 1
YL2XP1 0,sqrt(2)-1 22.611 3461 0 19150 0 1
YL2X 0.1,10 13.020 6508 0 6512 0 1
ULSI 83C87
max
funct. interval %wrong ULP_hi ULPs_hi ULP_lo ULPs_lo ULP err
SIN 0,pi/4 35.530 4989 6 30238 297 2
COS 0,pi/4 43.989 11193 675 31393 728 2
TAN 0,pi/4 48.539 18880 1015 26349 2295 3
ATAN 0,1 20.858 62 0 20796 0 1
2XM1 0,0.5 21.257 4 0 21253 0 1
YL2XP1 0,sqrt(2)-1 27.893 9446 0 18213 234 2
YL2X 0.1,10 13.603 9816 0 3787 0 1
IIT 3C87
max
funct. interval %wrong ULP_hi ULPs_hi ULP_lo ULPs_lo ULP err
SIN 0,pi/4 18.650 11171 0 7479 0 1
COS 0,pi/4 7.700 3024 0 4676 0 1
TAN 0,pi/4 20.973 9681 0 11291 1 2
ATAN 0,1 19.280 13186 0 6094 0 1
2XM1 0,0.5 25.660 17570 0 8090 0 1
YL2XP1 0,sqrt(2)-1 45.830 23503 1896 19654 777 3
YL2X 0.1,10 10.888 5638 357 4845 48 3
C&T 38700DX
max
funct. interval %wrong ULP_hi ULPs_hi ULP_lo ULPs_lo ULP err
SIN 0,pi/4 1.821 1272 0 549 0 1
COS 0,pi/4 23.358 12458 0 10901 0 1
TAN 0,pi/4 17.178 10725 0 6453 0 1
ATAN 0,1 9.359 7082 0 2277 0 1
2XM1 0,0.5 15.188 3039 0 12149 0 1
YL2XP1 0,sqrt(2)-1 19.497 12109 0 7388 0 1
YL2X 0.1,10 46.868 261 0 46607 0 1
CYRIX 83D87
max
funct. interval %wrong ULP_hi ULPs_hi ULP_lo ULPs_lo ULP err
SIN 0,pi/4 1.554 1015 0 539 0 1
COS 0,pi/4 0.925 143 0 782 0 1
TAN 0,pi/4 4.147 881 0 3266 0 1
ATAN 0,1 0.656 229 0 427 0 1
2XM1 0,0.5 2.628 1433 0 1194 0 1
YL2XP1 0,sqrt(2)-1 3.242 825 0 2417 0 1
YL2X 0.1,10 0.931 256 0 675 0 1
CYRIX 387+
max
funct. interval %wrong ULP_hi ULPs_hi ULP_lo ULPs_lo ULP err
SIN 0,pi/4 1.486 864 0 622 0 1
COS 0,pi/4 2.072 12 0 2060 0 1
TAN 0,pi/4 0.602 63 0 539 0 1
ATAN 0,1 0.384 12 0 372 0 1
2XM1 0,0.5 1.985 27 0 1958 0 1
YL2XP1 0,sqrt(2)-1 3.662 1705 0 1957 0 1
YL2X 0.1,10 0.764 367 0 397 0 1
INTEL RapidCAD, Intel 486
max
funct. interval %wrong ULP_hi ULPs_hi ULP_lo ULPs_lo ULP err
SIN 0,pi/4 16.991 1517 0 15474 0 1
COS 0,pi/4 9.003 7603 0 1400 0 1
TAN 0,pi/4 10.532 441 0 10091 0 1
ATAN 0,1 7.078 2386 0 4691 1 2
2XM1 0,0.5 32.025 0 0 32025 0 1
YL2XP1 0,sqrt(2)-1 21.800 533 0 21267 0 1
YL2X 0.1,10 3.894 1879 0 2015 0 1
Discussion of the transcendental function tests
-----------------------------------------------
The test results above indicate that all 80x87 compatibles do not exceed
Intel's stated error bound of 3 ULPs for the transcendental functions.
However, some coprocessors are more accurate than others. Rating the
coprocessors according to the accuracy of their transcendental functions
gives the following list (highest accuracy first): Cyrix 387+, Cyrix 83D87,
Intel 486, Intel RapidCAD, Intel 80287(!), C&T 38700DX, Intel 387DX, Intel
80387, IIT 3C87, ULSI 83C87. The tests also show that the problems with
excessive inaccuracy of the transcendental functions in early versions of the
IIT coprocessors with errors of up to 8 ULPs [8] have been corrected.
(According to [56], certain problems with the FPATAN instruction on the IIT
3C87 occurring under the UNIX version of AutoCAD were corrected in June,
1990.)
Considering the coprocessor emulators, the Franke387 has acceptable accuracy
for the FSIN, FCOS, and FPATAN instructions, taking into consideration that
according to its documentation, Franke387 uses only 64 bits of precision for
the intermediate results, while coprocessors typically use 68 bits and more.
However, the larger error in the FPTAN, F2XM1, FYL2XP1, and especially the
FYL2X operations show that the emulator doesn't use state-of-the-art
algorithms, which ensure an error of only a very few ULPs even if no extra
precise intermediate results are available. Microsoft's emulator, meanwhile,
provides transcendental functions with rather good accuracy, except for the
logarithmic operations, which contain some minor flaws. The Q387 emulator,
which came out only recently and is the fastest emulator available, could
unfortunately not be tested since it caused TRANCK to abort with a GP (general
protection) fault for every input that I tried.
======================================================
Intel 387DX compatibility testing / The SMDIAG program
======================================================
Chips and Technologies has included the program SMDIAG on the V1.0 diagnostic
disk distributed with its SuperMATH 38700DX coprocessor. Its stated purpose
is to test the compatibility of the computational results and flag settings
returned by the C&T coprocessor with the Intel 387DX. However, the tests for
the transcendental functions seem to have been tweaked to let the C&T 38700DX
pass, while coprocessors like the Intel RapidCAD and the Cyrix 83D87 fail.
Also, SMDIAG shows failure in the FSCALE test for the Intel RapidCAD, Cyrix
83D87, Cyrix 387+, and ULSI 83C87, even though they return the correct result
according to Intel's documentation for the Intel 387DX (Intel's second
generation 387), which is indeed returned by the 387DX. (SMDIAG apparently
expects the result returned by the original Intel 80387.)
Note that chip manufacturers often do quite bug fixes, so it wouldn't be
surprising if somebody else, using different runs of the same manufacturer's
chip, came up with different results than the ones below. The Intel 387 alone
seems to have been produced in four different versions that can be told apart
by software, and Cyrix, ULSI, and IIT have manufactured at least two versions
each of their coprocessors. (The coprocessors I tested have the following
manufacturing dates stamped on them. Intel 387DX: 91/49, C&T 38700DX: 92/19,
Cyrix 387+: 92/11, Intel RapidCAD: 92/05, ULSI 83C87: 91/48, IIT 3C87:
92/20.)
Results of running the SMDIAG program on 387-compatible coprocessors
(p = passed, f = failed)
Intel Intel Intel Cyrix Cyrix IIT ULSI C&T
Test RapidCAD 387DX 80387 387+ 83D87 3C87 83C87 38700
1 (fstore) f p p p f f f p ##,%%
2 (fiall) p p p p p p f p
3 (faddsub) p p p p p p p p
4 (faddsub_nr) p p p p f f f p %%
5 (faddsub_cp) p p p p f f f p %%
6 (faddsub_dn) p p p p f f f p %%
7 (faddsub_up) p p p p f f f p %%,&&
8 (fmul) p p p p p f f p
9 (fdivn) p p p p p p p p
10 (fdiv) p p p p p p f p
11 (fxch) p p p p p p p p
12 (fyl2x) p p p f f f f p ++
13 (fyl2xp1) f p p f f f f p ++
14 (fsqrt) p p p p p p p p
15 (fsincos) f p p f f f f p ++
16 (fptan) p p p f p f f p ++
17 (fpatan) p p p f f f f p ++
18 (f2xm1) p p p f f f f p ++
19 (fscale) f f p f f f f p **
20 (fcom1) p p p p p f f p
21 (fprem) p p p p p p p p
22 (misc1) p p p p p f f p
23 (misc3) p p p p p p p p
24 (misc4) p p p p f f p p %%
failed modules: 4 1 0 7 12 16 17 0
## the failure of the Intel RapidCAD is caused by the fact that
it stores the value of BCD INDEFINITE differently from the
Intel 387DX. It uses FFFFC000000000000000, while the 387DX uses
FFFF8000000000000000. However, both encodings are valid according
to Intel's documentation, which defines the BCD INDEFINITE as
FFFFUUUUUUUUUUUUUUUU, where U is undefined. So failure of the
RapidCAD to deliver the same answer as the 387DX is not an
"error", just a very slight incompatibility.
** the FSCALE errors reported for the Intel 387DX, Intel RapidCAD,
Cyrix 83D87, Cyrix 387+, and ULSI 83C87 are due to a single
'wrong' result each returned by one of the FSCALE computations.
SMDIAG expects the result returned by the first generation
Intel 80387 (and, of course, the C&T 38700DX). However, this
result is wrong according to Intel's documentation and the
behavior was corrected in the second generation Intel 387DX.
Therefore, the Intel RapidCAD, Cyrix 83D87, Cyrix 387+, and ULSI
83C87 return the correct result compatible with the Intel 387DX.
%% Failures reported for the Cyrix 83D87 are due to the fact that it
converts pseudodenormals contained in its registers to normalized
numbers upon storing them to memory with the FSTP TBYTE PTR
instruction. Intel's processors store pseudodenormals without
'normalizing' them. This is an incompatibility, but not an error,
because both encodings will evaluate to the same value should
they be reused in a calculation.
&& Two of the failures reported for the Cyrix 83D87 are actual
errors where the Cyrix 83D87 fails to deliver the correct result.
1) control word = 0A7F (closure=proj., round=up, precision=53bit)
ST(0) = 0001 ABCEF9876542101
ST(1) = 0001 800000000345FFF
instruction: FSUBRP ST(1), ST
result should be: 0000 2BCEF987650EC800, status word = 3A30
83D87 returns: 0000 3BCEF987650EC000, status word = 3830
2) control word = 0A7F (closure=proj., round=up, precision=53bit)
ST(0) = 0001 ABCEF9876542101
ST(1) = 0001 800000000000000
instruction: FSUB ST, ST(1)
result should be: 0000 2BCEF98765432800, status word = 3A30
83D87 returns: 0000 3BCEF98765432000, status word = 3830
++ The failures for the test of transcendental functions are caused
by the tested coprocessor returning results that differ from the
ones returned by the Intel 387DX. On the Cyrix 83D87, Cyrix 387+,
and Intel RapidCAD, this is simply due to the improved accuracy
these coprocessors provide over the Intel 387DX. The failures of
the IIT 3C87 and ULSI 83C87 are mainly due to the lesser accuracy
in the transcendental functions of these coprocessors, but for
the IIT 3C87 an additional source of failures is its inability to
handle extended-precision denormals.
Another compatibility issue that has been discussed on Usenet is the behavior
of the math coprocessors under protected-mode operating systems. I have seen
postings claiming that coprocessors from ULSI, IIT, and Cyrix locked up the
machine when a protected mode operating system (several UNIX derivatives were
also mentioned) was run on them. However, there have also been reports that
several 486-based systems also have this problem, while others do not.
Therefore, I think most of these problems are caused by poor motherboard
design, especially wrong handling of error interrupts coming from the
coprocessor. There could also be bugs in the exception handlers of the
operating system.
==========
References
==========
[1] Schnurer, G.: Zahlenknacker im Vormarsch. c't 1992, Heft 4, Seiten 170-
186
[2] Curnow, H.J.; Wichmann, B.A.: A synthetic benchmark. Computer Journal,
Vol. 19, No. 1, 1976, pp. 43-49
[3] Wichmann, B.A.: Validation code for the Whetstone benchmark. NPL Report
DITC 107/88, National Physics Laboratory, UK, March 1988
[4] Curnow, H.J.: Wither Whetstone? The Synthetic Benchmark after 15 Years.
In: Aad van der Steen (ed.): Evaluating Supercomputers. London: Chapman
and Hall 1990
[5] Dongarra, J.J.: The Linpack Benchmark: An Explanation. In: Aad van der
Steen (ed.): Evaluating Supercomputers. London: Chapman and Hall 1990
[6] Dongarra, J.J.: Performance of Various Computers Using Standard Linear
Equations Software. Report CS-89-85, Computer Science Department,
University of Tennessee, March 11, 1992
[7] Huth, N.: Dichtung und Wahrheit oder Datenblatt und Test. Design &
Elektronik 1990, Heft 13, Seiten 105-110
[8] Ungerer, B.: Sockelfolger. c't 1990, Heft 4, Seiten 162-163
[9] Coonen, J.T.: Contributions to a Proposed Standard for Binary Floating-
Point Arithmetic Ph.D. thesis, University of California, Berkeley, 1984
[10] IEEE: IEEE Standard for Binary Floating-Point Arithmetic. SIGPLAN
Notices, Vol. 22, No. 2, 1985, pp. 9-25
[11] IEEE Standard for Binary Floating-Point Arithmetic. ANSI/IEEE Std 754-
1985. New York, NY: Institute of Electrical and Electronics Engineers
1985
[12] FasMath 83D87 Compatibility Report. Cyrix Corporation, Nov. 1989 Order
No. B2004
[13] FasMath 83D87 Accuracy Report. Cyrix Corporation, July 1990 Order No.
B2002
[14] FasMath 83D87 Benchmark Report. Cyrix Corporation, June 1990 Order No.
B2004
[15] FasMath 83D87 User's Manual. Cyrix Corporation, June 1990 Order No.
L2001-003
[16] Brent, R.P.: A FORTRAN multiple-precision arithmetic package. ACM
Transactions on Mathematical Software, Vol. 4, No. 1, March 1978, pp.
57-70
[17] 387DX User's Manual, Programmer's Reference. Intel Corporation, 1989
Order No. 231917-002
[18] Volder, J.E.: The CORDIC Trigonometric Computing Technique. IRE
Transactions on Electronic Computers, Vol. EC-8, No. 5, September 1959,
pp. 330-334
[19] Walther, J.S.: A unified algorithm for elementary functions. AFIPS
Conference Proceedings, Vol. 38, SJCC 1971, pp. 379-385
[20] Esser, R.; Kremer, F.; Schmidt, W.G.: Testrechnungen auf der IBM 3090E
mit Vektoreinrichtung. Arbeitsbericht RRZK-8803, Regionales
Rechenzentrum an der Universit"at zu K?ln, Februar 1988
[21] McMahon, H.H.: The Livermore Fortran Kernels: A test of the numerical
performance range. Technical Report UCRL-53745, Lawrence Livermore
National Laboratory, USA, December 1986
[22] Nave, R.: Implementation of Transcendental Functions on a Numerics
Processor. Microprocessing and Microprogramming, Vol. 11, No. 3-4,
March-April 1983, pp. 221-225
[23] Yuen, A.K.: Intel's Floating-Point Processors. Electro/88 Conference
Record, Boston, MA, USA, 10-12 May 1988, pp. 48/5-1 - 48/5-7
[24] Stiller, A.; Ungerer, B.: Ausgerechnet. c't 1990, Heft 1, Seiten 90-92
[25] Rosch, W.L.: Handfeste Hilfe oder Seifenblase? PC Professionell, Juni
1991, Seiten 214-237
[26] Intel 80286 Hardware Reference Manual. Intel Corporation, 1987 Order
No.210760-002
[27] AMD 80C287 80-bit CMOS Numeric Processor. Advanced Micro Devices, June
1989 Order No. 11671B/0
[28] Intel RapidCAD(tm) Engineering CoProcessor Performance Brief. Intel
Corporation, 1992
[29] i486(tm) Microprocessor Performance Report. Intel Corporation, April
1990 Order No. 240734-001
[30] Intel486(tm) DX2 Microprocessor Performance Brief. Intel Corporation,
March 1992 Order No. 241254-001
[31] Abacus 3167 Floating-Point Coprocessor Data Book. Weitek Corporation,
July 1990 DOC No. 9030
[32] WTL 4167 Floating-Point Coprocessor Data Book. Weitek Corporation, July
1989 DOC No. 8943
[33] Abacus Software Designer's Guide. Weitek Corporation, September 1989 DOC
No. 8967
[34] Stiller, A.: Cache & Carry. c't 1992, Heft 6, Seiten 118-130
[35] Stiller, A.: Cache & Carry, Teil 2. c't 1992, Heft 7, Seiten 28-34
[36] Palmer, J.F.; Morse, S.P.: Die mathematischen Grundlagen der Numerik-
Prozessoren 8087/80287. M?nchen: tewi 1985
[37] 80C187 80-bit Math Coprocessor Data Sheet. Intel Corporation, September
1989 Order No. 270640-003
[38] IIT-2C87 80-bit Numeric Co-Processor Data Sheet. IIT, May 1990
[39] Engineering note 4x4 matrix multiply transformation. IIT, 1989
[40] Tscheuschner, E.: 4 mal 4 auf einen Streich. c't 1990, Heft 3, Seiten
266-276
[41] Goldberg, D.: Computer Arithmetic. In: Hennessy, J.L.; Patterson, D.A.:
Computer Architecture A Quantitative Approach. San Mateo, CA: Morgan
Kaufmann 1990
[42] 8087 Math Coprocessor Data Sheet. Intel Corporation, October 1989, Order
No. 205835-007
[43] 8086/8088 User's Manual, Programmer's and Hardware Reference. Intel
Corporation, 1989 Order No. 240487-001
[44] 80286 and 80287 Programmer's Reference Manual. Intel Corporation, 1987
Order No. 210498-005
[45] 80287XL/XLT CHMOS III Math Coprocessor Data Sheet. Intel Corporation,
May 1990 Order No. 290376-001
[46] Cyrix FasMath(tm) 82S87 Coprocessor Data Sheet. Cyrix Coporation, 1991
Document 94018-00 Rev. 1.0
[47] IIT-3C87 80-bit Numeric Co-Processor Data Sheet. IIT, May 1990
[48] 486(tm)SX(tm) Microprocessor/ 487(tm)SX(tm) Math CoProcessor Data Sheet.
Intel Corporation, April 1991. Order No. 240950-001
[49] Schnurer, G.: Die gro"se Verlade. c't 1991, Heft 7, Seiten 55-57
[50] Schnurer, G.: Eine 4 f"ur alle. c't 1991, Heft 6, Seite 25
[51] Intel486(tm)DX Microprocessor Data Book. Intel Corporation, June 1991
Order No. 240440-004
[52] i486(tm) Microprocessor Hardware Reference Manual. Intel Corporation,
1990 Order No. 240552-001
[53] i486(tm) Microprocessor Programmer's Reference Manual. Intel
Corporation, 1990 Order No. 240486-001
[54] Ungerer, B.: Kalte H"ute. c't 1992, Heft 8, Seiten 140-144
[55] Ungerer, B.: Hei"se Sache. c't 1991, Heft 4, Seiten 104-108
[56] Rosch, W.L.: Handfeste Hilfe oder Seifenblase? PC Profesionell, Juni
1991, Seiten 214-237
[57] Niederkr"uger, W.: Lebendige Vergangenheit. c't 1990, Heft 12, Seiten
114-116
[58] ULSI Math*Co Advanced Math Coprocessor Technical Specification. ULSI
System, 5/92, Rev. E
[59] 387(tm)DX Math CoProcessor Data Sheet. Intel Corporation, September
1990. Order No. 240448-003
[60] 387(tm) Numerics Coprocessor Extension Data Sheet. Intel Corporation,
February 1989. Order No. 231920-005
[61] Koren, I.; Zinaty, O.: Evaluating Elementary Functions in a Numerical
Coprocessor Based on Rational Approximations. IEEE Transactions on
Computers, Vol. C-39, No. 8, August 1990, pp. 1030-1037
[62] 387(tm) SX Math CoProcessor Data Sheet. Intel Corporation, November 1989
Order No. 240225-005
[63] Frenkel, G.: Coprocessors Speed Numeric Operations. PC-Week, August 27,
1990
[64] Schnurer, G.; Stiller, A.: Auto-Matt. c't 1991, Heft 10, Seiten 94-96
[65] Grehan, R.: FPU Face-Off. Byte, November 1990, pp. 194-200
[66] Tang, P.T.P.: Testing Computer Arithmetic by Elementary Number Theory.
Preprint MCS-P84-0889, Mathematics and Computer Science Division,
Argonne National Laboratory, August 1989
[67] Ferguson, W.E.: Selecting math coprocessors. IEEE Spectrum, July 1991,
pp. 38-41
[68] Schnabel, J.: Viermal 387. Computer Pers"onlich 1991, Heft 22, Seiten
153-156
[69] Hofmann, J.: Starke Rechenknechte. mc 1990, Heft 7, Seiten 64-67
[70] Woerrlein, H.; Hinnenberg, R.: Die Lust an der Power. Computer Live
1991, Heft 10, Seiten 138-149
[71] email from Peter Forsberg (peterf@vnet.ibm.com), email from Alan Brown
(abrown@Reston.ICL.COM)
[72] email from Eric Johnson (johnsone%camax01@uunet.UU.NET), email from
Jerry Whelan (guru@stasi.bradley.edu), email from Arto Viitanen
(av@cs.uta.fi), email from Richard Krehbiel (richk@grebyn.com)
[73] email from Fred Dunlap (cyrix!fred@texsun.Central.Sun.COM)
[74] correspondence with Bengt Ask (f89ba@efd.lth.se)
[75] email from Thomas Hoberg (tmh@prosun.first.gmd.de)
[76] Microsoft Macro Assembler Programmer's Guide Version 6.0, Microsoft
Corporation, 1991. Document No. LN06556-0291
[77] FasMath EMC87 User's Manual, Rev. 2. Cyrix Corporation, February 1991
Order No. 90018-00
[78] Persson, C.: Die 32-Bit-Parade c't 1992, Heft 9, Seiten 150-156
[79] email from Duncan Murdoch (dmurdoch@mast.QueensU.CA)
========================
Manufacturer's addresses
========================
Intel Corporation
3065 Bowers Avenue
Santa Clara, CA 95051
USA
IIT Integrated Information Technology, Inc.
2540 Mission College Blvd.
Santa Clara, CA 95054
USA
ULSI Systems, Inc.
58 Daggett Drive
San Jose, CA 95134
USA
Chips & Technologies, Inc.
3050 Zanker Road
San Jose, CA 95134
USA
Weitek Corporation
1060 East Arques Avenue
Sunnyvale, CA 94086
USA
AMD Advanced Microdevices, Inc.
901 Thompson Place
P.O.B. 3453
Sunnyvale, CA 94088-3453
USA
Cyrix Corporation
P.O.B. 850118
Richardson, TX 75085
USA
===============================
Appendix A: Test program source
===============================
{$N+,E+}
PROGRAM PCtrl;
VAR B,c: EXTENDED;
Precision, L: WORD;
PROCEDURE SetPrecisionControl (Precision: WORD);
(* This procedure sets the internal precision of the NDP. Available *)
(* precision values: 0 - 24 bits (SINGLE) *)
(* 1 - n.a. (mapped to single) *)
(* 2 - 53 bits (DOUBLE) *)
(* 3 - 64 bits (EXTENDED) *)
VAR CtrlWord: WORD;
BEGIN {SetPrecisionCtrl}
IF Precision = 1 THEN
Precision := 0;
Precision := Precision SHL 8; { make mask for PC field in ctrl word}
ASM
FSTCW [CtrlWord] { store NDP control word }
MOV AX, [CtrlWord] { load control word into CPU }
AND AX, 0FCFFh { mask out precision control field }
OR AX, [Precision] { set desired precision in PC field }
MOV [CtrlWord], AX { store new control word }
FLDCW [CtrlWord] { set new precision control in NDP }
END;
END; {SetPrecisionCtrl}
BEGIN {main}
FOR Precision := 1 TO 3 DO BEGIN
B := 1.2345678901234567890;
SetPrecisionControl (Precision);
FOR L := 1 TO 20 DO BEGIN
B := Sqrt (B);
END;
FOR L := 1 TO 20 DO BEGIN
B := B*B;
END;
SetPrecisionControl (3); { full precision for printout }
WriteLn (Precision, B:28);
END;
END.
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
{$N+,E+}
PROGRAM RCtrl;
VAR B,c: EXTENDED;
RoundingMode, L: WORD;
PROCEDURE SetRoundingMode (RCMode: WORD);
(* This procedure selects one of four available rounding modes *)
(* 0 - Round to nearest (default) *)
(* 1 - Round down (towards negative infinity) *)
(* 2 - Round up (towards positive infinity) *)
(* 3 - Chop (truncate, round towards zero) *)
VAR CtrlWord: WORD;
BEGIN
RCMode := RCMode SHL 10; { make mask for RC field in control word}
ASM
FSTCW [CtrlWord] { store NDP control word }
MOV AX, [CtrlWord] { load control word into CPU }
AND AX, 0F3FFh { mask out rounding control field }
OR AX, [RCMode] { set desired precision in RC field }
MOV [CtrlWord], AX { store new control word }
FLDCW [CtrlWord] { set new rounding control in NDP }
END;
END;
BEGIN
FOR RoundingMode := 0 TO 3 DO BEGIN
B := 1.2345678901234567890e100;
SetRoundingMode (RoundingMode);
FOR L := 1 TO 51 DO BEGIN
B := Sqrt (B);
END;
FOR L := 1 TO 51 DO BEGIN
B := -B*B;
END;
SetRoundingMode (0); { round to nearest for printout }
WriteLn (RoundingMode, B:28);
END;
END.
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
{$N+,E+}
PROGRAM DenormTs;
VAR E: EXTENDED;
D: DOUBLE;
S: SINGLE;
BEGIN
WriteLn ('Testing support and printing of denormals');
WriteLn;
Write ('Coprocessor is: ');
CASE Test8087 OF
0: WriteLn ('Emulator');
1: WriteLn ('8087 or compatible');
2: WriteLn ('80287 or compatible');
3: WriteLn ('80387 or compatible');
END;
WriteLn;
S := 1.18e-38;
S := S * 3.90625e-3;
IF S = 0 THEN
WriteLn ('SINGLE denormals not supported')
ELSE BEGIN
WriteLn ('SINGLE denormals supported');
WriteLn ('SINGLE denormal prints as: ', S);
WriteLn ('Denormal should be printed as 4.60943...E-0041');
END;
WriteLn;
D := 2.24e-308;
D := D * 3.90625e-3;
IF D = 0 THEN
WriteLn ('DOUBLE denormals not supported')
ELSE BEGIN
WriteLn ('DOUBLE denormals supported');
WriteLn ('DOUBLE denormal prints as: ', D);
WriteLn ('Denormal should be printed as 8.75...E-0311');
END;
WriteLn;
E := 3.37e-4932;
E := E * 3.90625e-3;
IF E = 0 THEN
WriteLn ('EXTENDED denormals not supported')
ELSE BEGIN
WriteLn ('EXTENDED denormals supported');
WriteLn ('EXTENDED denormal prints as: ', E);
WriteLn ('Denormal should be printed as 1.3164...E-4934');
END;
END.
====================================
Appendix B: Benchmark program source
====================================
; FILE: APFELM4.ASM
; assemble with MASM /e APFELM4 or TASM /e APFELM4
CODE SEGMENT BYTE PUBLIC 'CODE'
ASSUME CS: CODE
PAGE ,120
PUBLIC APPLE87;
APPLE87 PROC NEAR
PUSH BP ; save caller's base pointer
MOV BP, SP ; make new frame pointer
PUSH DS ; save caller's data segment
PUSH SI ; save register
PUSH DI ; variables
LDS BX, [BP+04] ; pointer to parameter record
FINIT ; init 80x87 FSP->R0
FILD WORD PTR [BX+02] ; maxrad FSP->R7
FLD QWORD PTR [BX+08] ; qmax FSP->R6
FSUB QWORD PTR [BX+16] ; qmax-qmin FSP->R6
DEC WORD PTR [BX+04] ; ymax-1
FIDIV WORD PTR [BX+04] ; (qmax-qmin)/(ymax-1)FSP->R6
FSTP QWORD PTR [BX+16] ; save delta_q FSP->R7
FLD QWORD PTR [BX+24] ; pmax FSP->R6
FSUB QWORD PTR [BX+32] ; pmax-pmin FSP->R6
DEC WORD PTR [BX+06] ; xmax-1
FIDIV WORD PTR [BX+06] ; delta_p FSP->R6
MOV AX, [BX] ; save maxiter,[BX] needed for
MOV [BX+2], AX ; 80x87 status now
XOR BP, BP ; y=0
FLD QWORD PTR [BX+08] ; qmax FSP->R5
CMP WORD PTR [BX+40], 0 ; fast mode on 8087 desired ?
JE yloop ; no, normal mode
FSTCW [BX] ; save NDP control word
AND WORD PTR [BX], 0FCFFh; set PCTRL = single-precision
FLDCW [BX] ; get back NDP control word
yloop: XOR DI, DI ; x=0
FLD QWORD PTR [BX+32] ; pmin FSP->R4
xloop: FLDZ ; j**2= 0 FSP->R3
FLDZ ; 2ij = 0 FSP->R2
FLDZ ; i**2= 0 FSP->R1
MOV CX, [BX+2] ; maxiter
MOV DL, 41h ; mask for C0 and C3 cond.bits
iteration: FSUB ST, ST(2) ; i**2-j**2 FSP->R1
FADD ST, ST(3) ; i**2-j**2+p = i FSP->R1
FLD ST(0) ; duplicate i FSP->R0
FMUL ST(1), ST ; i**2 FSP->R0
FADD ST, ST(0) ; 2i FSP->R0
FXCH ST(2) ; 2*i*j FSP->R0
FADD ST, ST(5) ; 2*i*j+q = j FSP->R0
FMUL ST(2), ST ; 2*i*j FSP->R0
FMUL ST, ST(0) ; j**2 FSP->R0
FST ST(3) ; save j**2 FSP->R0
FADD ST, ST(1) ; i**2+j**2 FSP->R0
FCOMP ST(7) ; i**2+j**2 > maxrad? FSP->R1
FSTSW [BX] ; save 80x87 cond.codeFSP->R1
TEST BYTE PTR [BX+1], DL ; test carry and zero flags
LOOPNZ iteration ; until maxiter if not diverg.
MOV DX, CX ; number of loops executed
NEG CX ; carry set if CX <> 0
ADC DX, 0 ; adjust DX if no. of loops<>0
; plot point here (DI = X, BP = y, DX has the color)
FSTP ST(0) ; pop i**2 FSP->R2
FSTP ST(0) ; pop 2ij FSP->R3
FSTP ST(0) ; pop j**2 FSP->R4
FADD ST,ST(2) ; p=p+delta_p FSP->R4
INC DI ; x:=x+1
CMP DI, [BX+6] ; x > xmax ?
JBE xloop ; no, continue on same line
FSTP ST(0) ; pop p FSP->R5
FSUB QWORD PTR [BX+16] ; q=q-delta_q FSP->R5
INC BP ; y:=y+1
CMP BP, [BX+4] ; y > ymax ?
JBE yloop ; no, picture not done yet
groesser: POP DI ; restore
POP SI ; register variables
POP DS ; restore caller's data segm.
POP BP ; save caller's base pointer
RET 4 ; pop parameters and return
APPLE87 ENDP
CODE ENDS
END
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
UNIT Time;
INTERFACE
FUNCTION Clock: LONGINT; { same as VMS; time in milliseconds }
IMPLEMENTATION
FUNCTION Clock: LONGINT; ASSEMBLER;
ASM
PUSH DS { save caller's data segment }
XOR DX, DX { initialize data segment to }
MOV DS, DX { access ticker counter }
MOV BX, 46Ch { offset of ticker counter in segm.}
MOV DX, 43h { timer chip control port }
MOV AL, 4 { freeze timer 0 }
PUSHF { save caller's int flag setting }
STI { allow update of ticker counter }
LES DI, DS:[BX] { read BIOS ticker counter }
OUT DX, AL { latch timer 0 }
LDS SI, DS:[BX] { read BIOS ticker counter }
IN AL, 40h { read latched timer 0 lo-byte }
MOV AH, AL { save lo-byte }
IN AL, 40h { read latched timer 0 hi-byte }
POPF { restore caller's int flag }
XCHG AL, AH { correct order of hi and lo }
MOV CX, ES { ticker counter 1 in CX:DI:AX }
CMP DI, SI { ticker counter updated ? }
JE @no_update { no }
OR AX, AX { update before timer freeze ? }
JNS @no_update { no }
MOV DI, SI { use second }
MOV CX, DS { ticker counter }
@no_update:NOT AX { counter counts down }
MOV BX, 36EDh { load multiplier }
MUL BX { W1 * M }
MOV SI, DX { save W1 * M (hi) }
MOV AX, BX { get M }
MUL DI { W2 * M }
XCHG BX, AX { AX = M, BX = W2 * M (lo) }
MOV DI, DX { DI = W2 * M (hi) }
ADD BX, SI { accumulate }
ADC DI, 0 { result }
XOR SI, SI { load zero }
MUL CX { W3 * M }
ADD AX, DI { accumulate }
ADC DX, SI { result in DX:AX:BX }
MOV DH, DL { move result }
MOV DL, AH { from DL:AX:BX }
MOV AH, AL { to }
MOV AL, BH { DX:AX:BH }
MOV DI, DX { save result }
MOV CX, AX { in DI:CX }
MOV AX, 25110 { calculate correction }
MUL DX { factor }
SUB CX, DX { subtract correction }
SBB DI, SI { factor }
XCHG AX, CX { result back }
MOV DX, DI { to DX:AX }
POP DS { restore caller's data segment }
END;
BEGIN
Port [$43] := $34; { need rate generator, not square wave}
Port [$40] := 0; { generator as prog. by some BIOSes }
Port [$40] := 0; { for timer 0 }
END. { Time }
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
{$A+,B-,R-,I-,V-,N+,E+}
PROGRAM PeakFlop;
USES Time;
TYPE ParamRec = RECORD
MaxIter, MaxRad, YMax, XMax: WORD;
Qmax, Qmin, Pmax, Pmin: DOUBLE;
FastMod: WORD;
PlotFkt: POINTER;
FLOPS:LONGINT;
END;
VAR Param: ParamRec;
Start: LONGINT;
{$L APFELM4.OBJ}
PROCEDURE Apple87 (VAR Param: ParamRec); EXTERNAL;
BEGIN
WITH Param DO BEGIN
MaxIter:= 50;
MaxRad := 30;
YMax := 30;
XMax := 30;
Pmin :=-2.1;
Pmax := 1.1;
Qmin :=-1.2;
Qmax := 1.2;
FastMod:= Word (FALSE);
PlotFkt:= NIL;
Flops := 0;
END;
Start := Clock;
Apple87 (Param); { executes 104002 FLOP }
Start := Clock - Start; { elapsed time in milliseconds }
WriteLn ('Peak-MFLOPS: ', 104.002 / Start);
END.
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
; FILE: M4X4.ASM
;
; assemble with TASM /e M4X4 or MASM /e M4X4
CODE SEGMENT BYTE PUBLIC 'CODE'
ASSUME CS:CODE
PUBLIC MUL_4x4
PUBLIC IIT_MUL_4x4
FSBP0 EQU DB 0DBh, 0E8h ; declare special IIT
FSBP1 EQU DB 0DBh, 0EBh ; instructions
FSBP2 EQU DB 0DBh, 0EAh
F4X4 EQU DB 0DBh, 0F1h
;---------------------------------------------------------------------
;
; MUL_4x4 multiplicates a four-by-four matrix by an array of four
; dimensional vectors. This operation is needed for 3D transformations
; in graphics data processing. There are arrays for each component of
; a vector. Thus there is an ; array containing all the x components,
; another containing all the y components and so on. Each component is
; an 8 byte IEEE floating-point number. Two indices into the array of
; vectors are given. The first is the index of the vector that will be
; processed first, the second is the index of the vector processed
; last.
;
;---------------------------------------------------------------------
MUL_4x4 PROC NEAR
AddrX EQU DWORD PTR [BP+24] ; address of X component array
AddrY EQU DWORD PTR [BP+20] ; address of Y component array
AddrZ EQU DWORD PTR [BP+16] ; address of Z component array
AddrW EQU DWORD PTR [BP+12] ; address of W component array
AddrT EQU DWORD PTR [BP+8] ; addr. of 4x4 transform. mat.
F EQU WORD PTR [BP+6] ; first vector to process
K EQU WORD PTR [BP+4] ; last vector to process
RetAddr EQU WORD PTR [BP+2] ; return address saved by call
SavdBP EQU WORD PTR [BP+0] ; saved frame pointer
SavdDS EQU WORD PTR [BP-2] ; caller's data segment
PUSH BP ; save TURBO-Pascal frame ptr
MOV BP, SP ; new frame pointer
PUSH DS ; save TURBO-Pascal data segmnt
MOV CX, K ; final index
SUB CX, F ; final index - start index
JNC $ok ; must not
JMP $nothing ; be negative
$ok: INC CX ; number of elements
MOV SI, F ; init offset into arrays
SHL SI, 1 ; each
SHL SI, 1 ; element
SHL SI, 1 ; has 8 bytes
LDS DI, AddrT ; addr. of transformation mat.
FLD QWORD PTR [DI] ; load a[0,0] = R7
FLD QWORD PTR [DI+8] ; load a[0,1] = R6
$mat_mul: LES BX, AddrX ; addr. of x component array
FLD QWORD PTR ES:[BX+SI] ; load x[a] = R5
LES BX, AddrY ; addr. of y component array
FLD QWORD PTR ES:[BX+SI] ; load y[a] = R4
LES BX, AddrZ ; addr. of z component array
FLD QWORD PTR ES:[BX+SI] ; load z[a] = R3
LES BX, AddrW ; addr. of w component array
FLD QWORD PTR ES:[BX+SI] ; load w[a] = R2
FLD ST(5) ; load a[0,0] = R1
FMUL ST, ST(4) ; a[0,0] * x[a] = R1
FLD ST(5) ; load a[0,1] = R0
FMUL ST, ST(4) ; a[0,1] * y[a] = R0
FADDP ST(1), ST ; a[0,0]*x[a]+a[0,1]*y[a]=R1
FLD QWORD PTR [DI+16] ; load a[0,2] = R0
FMUL ST, ST(3) ; a[0,2] * z[a] = R0
FADDP ST(1), ST ; a[0,0]*x[a]...a[0,2]*z[a]=R1
FLD QWORD PTR [DI+24] ; load a[0,3] = R0
FMUL ST, ST(2) ; a[0,3] * w[a] = R0
FADDP ST(1), ST ; a[0,0]*x[a]...a[0,3]*w[a]=R1
LES BX, AddrX ; get address of x vector
FSTP QWORD PTR ES:[BX+SI] ; write new x[a]
FLD QWORD PTR [DI+32] ; load a[1,0] = R1
FMUL ST, ST(4) ; a[1,0] * x[a] = R1
FLD QWORD PTR [DI+40] ; load a[1,1] = R0
FMUL ST, ST(4) ; a[1,1] * y[a] = R0
FADDP ST(1), ST ; a[1,0]*x[a]+a[1,1]*y[a]=R1
FLD QWORD PTR [DI+48] ; load a[1,2] = R0
FMUL ST, ST(3) ; a[1,2] * z[a] = R0
FADDP ST(1), ST ; a[1,0]*x[a]...a[1,2]*z[a]=R1
FLD QWORD PTR [DI+56] ; load a[1,3] = R0
FMUL ST, ST(2) ; a[1,3] * w[a] = R0
FADDP ST(1), ST ; a[1,0]*x[a]...a[1,3]*w[a]=R1
LES BX, AddrY ; get address of y vector
FSTP QWORD PTR ES:[BX+SI] ; write new y[a]
FLD QWORD PTR [DI+64] ; load a[2,0] = R1
FMUL ST, ST(4) ; a[2,0] * x[a] = R1
FLD QWORD PTR [DI+72] ; load a[2,1] = R0
FMUL ST, ST(4) ; a[2,1] * y[a] = R0
FADDP ST(1), ST ; a[2,0]*x[a]+a[2,1]*y[a]=R1
FLD QWORD PTR [DI+80] ; load a[2,2] = R0
FMUL ST, ST(3) ; a[2,2] * z[a] = R0
FADDP ST(1), ST ; a[2,0]*x[a]...a[2,2]*z[a]=R1
FLD QWORD PTR [DI+88] ; load a[2,3] = R0
FMUL ST, ST(2) ; a[2,3] * w[a] = R0
FADDP ST(1), ST ; a[2,0]*x[a]...a[2,3]*w[a]=R1
LES BX, AddrZ ; get address of z vector
FSTP QWORD PTR ES:[BX+SI] ; write new z[a]
FLD QWORD PTR [DI+96] ; load a[3,0] = R1
FMULP ST(4), ST ; a[3,0] * x[a] = R5
FLD QWORD PTR [DI+104] ; load a[3,1] = R1
FMULP ST(3), ST ; a[3,1] * y[a] = R4
FLD QWORD PTR [DI+112] ; load a[3,2] = R1
FMULP ST(2), ST ; a[3,2] * z[a] = R3
FLD QWORD PTR [DI+120] ; load a[3,3] = R1
FMULP ST(1), ST ; a[3,3] * w[a] = R2
FADDP ST(1), ST ; a[3,3]*w[a]+a[3,2]*z[a]=R3
FADDP ST(1), ST ; a[3,3]*w[a]...a[3,1]*y[a]=R4
FADDP ST(1), ST ; a[3,3]*w[a]...a[3,0]*x[a]=R5
LES BX, AddrW ; get address of w vector
FSTP QWORD PTR ES:[BX+SI] ; write new w[a]
ADD SI, 8 ; new offset into arrays
DEC CX ; decrement element counter
JZ $done ; no elements left, done
JMP $mat_mul ; transform next vector
$done: FSTP ST(0) ; clear
FSTP ST(0) ; FPU stack
$nothing: POP DS ; restore TP data segment
POP BP ; restore TP frame pointer
RET 24 ; pop parameters and return
MUL_4X4 ENDP
;---------------------------------------------------------------------
;
; IIT_MUL_4x4 multiplicates a four-by-four matrix by an array of four
; dimensional vectors. This operation is needed for 3D transformations
; in graphics data processing. There are arrays for each component of
; a vector. Thus there is an array containing all the x components,
; another containing all the y components and so on. Each component is
; an 8 byte IEEE floating-point number. Two indices into the array of
; vectors are given. The first is the index of the vector that will be
; processed first, the second is the index of the vector processed
; last. This subroutine uses the special instructions only available
; on IIT coprocessors to provide fast matrix multiply capabilities.
; So make sure to use it only on IIT coprocessors.
;
;---------------------------------------------------------------------
IIT_MUL_4x4 PROC NEAR
AddrX EQU DWORD PTR [BP+24] ; address of X component array
AddrY EQU DWORD PTR [BP+20] ; address of Y component array
AddrZ EQU DWORD PTR [BP+16] ; address of Z component array
AddrW EQU DWORD PTR [BP+12] ; address of W component array
AddrT EQU DWORD PTR [BP+8] ; addr. of 4x4 transf. matrix
F EQU WORD PTR [BP+6] ; first vector to process
K EQU WORD PTR [BP+4] ; last vector to process
RetAddr EQU WORD PTR [BP+2] ; return address saved by call
SavdBP EQU WORD PTR [BP+0] ; saved frame pointer
SavdDS EQU WORD PTR [BP-2] ; caller's data segment
Ctrl87 EQU WORD PTR [BP-4] ; caller's 80x87 control word
PUSH BP ; save TURBO-Pascal frame ptr
MOV BP, SP ; new frame pointer
PUSH DS ; save TURBO-Pascal data seg.
SUB SP, 2 ; make local variabe
FSTCW [Ctrl87] ; save 80x87 ctrl word
LES SI, AddrT ; ptr to transformation matrix
FINIT ; initialize coprocessor
FSBP2 ; set register bank 2
FLD QWORD PTR ES:[SI] ; load a[0,0]
FLD QWORD PTR ES:[SI+32] ; load a[1,0]
FLD QWORD PTR ES:[SI+64] ; load a[2,0]
FLD QWORD PTR ES:[SI+96] ; load a[3,0]
FLD QWORD PTR ES:[SI+8] ; load a[0,1]
FLD QWORD PTR ES:[SI+40] ; load a[1,1]
FLD QWORD PTR ES:[SI+72] ; load a[2,1]
FLD QWORD PTR ES:[SI+104] ; load a[3,1]
FINIT ; initialize coprocessor
FSBP1 ; set register bank 1
FLD QWORD PTR ES:[SI+16] ; load a[0,2]
FLD QWORD PTR ES:[SI+48] ; load a[1,2]
FLD QWORD PTR ES:[SI+80] ; load a[2,2]
FLD QWORD PTR ES:[SI+112] ; load a[3,2]
FLD QWORD PTR ES:[SI+24] ; load a[0,3]
FLD QWORD PTR ES:[SI+56] ; load a[1,3]
FLD QWORD PTR ES:[SI+88] ; load a[2,3]
FLD QWORD PTR ES:[SI+120] ; load a[3,3]
; transformation matrix loaded
MOV AX, F ; index of first vector
MOV DX, K ; index of last vector
MOV BX, AX ; index 1st vector to process
MOV CL, 3 ; component has 8 (2**3) bytes
SHL BX, CL ; compute offset into arrays
FINIT ; initialize coprocessor
FSBP0 ; set register bank 0
$mat_loop:LES SI, AddrW ; addr. of W component array
FLD QWORD PTR ES:[SI+BX] ; W component current vector
LES SI, AddrZ ; addr. of Z component array
FLD QWORD PTR ES:[SI+BX] ; Z component current vector
LES SI, AddrY ; addr. of Y component array
FLD QWORD PTR ES:[SI+BX] ; Y component current vector
LES SI, AddrX ; addr. of X component array
FLD QWORD PTR ES:[SI+BX] ; X component current vector
F4X4 ; mul 4x4 matrix by 4x1 vector
INC AX ; next vector
MOV DI, AX ; next vector
SHL DI, CL ; offset of vector into arrays
FSTP QWORD PTR ES:[SI+BX] ; store X comp. of curr. vect.
LES SI, AddrY ; address of Y component array
FSTP QWORD PTR ES:[SI+BX] ; store Y comp. of curr. vect.
LES SI, AddrZ ; address of Z component array
FSTP QWORD PTR ES:[SI+BX] ; store Z comp. of curr. vect.
LES SI, AddrW ; address of W component array
FSTP QWORD PTR ES:[SI+BX] ; store W comp. of curr. vect.
MOV BX, DI ; ofs nxt vect. in comp. arrays
CMP AX, DX ; nxt vector past upper bound?
JLE $mat_loop ; no, transform next vector
FLDCW [Ctrl87] ; restore orig 80x87 ctrl word
ADD SP, 2 ; get rid of local variable
POP DS ; restore TP data segment
POP BP ; restore TP frame pointer
RET 24 ; pop parameters and return
IIT_MUL_4x4 ENDP
CODE ENDS
END
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
{$N+,E+}
PROGRAM Trnsform;
USES Time;
CONST VectorLen = 8190;
TYPE Vector = ARRAY [0..VectorLen] OF DOUBLE;
VectorPtr = ^Vector;
Mat4 = ARRAY [1..4, 1..4] OF DOUBLE;
VAR X: VectorPtr;
Y: VectorPtr;
Z: VectorPtr;
W: VectorPtr;
T: Mat4;
K: INTEGER;
L: INTEGER;
First: INTEGER;
Last: INTEGER;
Start: LONGINT;
Elapsed:LONGINT;
PROCEDURE MUL_4X4 (X, Y, Z, W: VectorPtr;
VAR T: Mat4; First, Last: INTEGER); EXTERNAL;
PROCEDURE IIT_MUL_4X4 (X, Y, Z, W: VectorPtr;
VAR T: Mat4; First, Last: INTEGER); EXTERNAL;
{$L M4X4.OBJ}
BEGIN
WriteLn ('Test8087 = ', Test8087);
New (X);
New (Y);
New (Z);
New (W);
FOR L := 1 TO VectorLen DO BEGIN
X^ [L] := Random;
Y^ [L] := Random;
Z^ [L] := Random;
W^ [L] := Random;
END;
X^ [0] := 1;
Y^ [0] := 1;
Z^ [0] := 1;
W^ [0] := 1;
FOR K := 1 TO 4 DO BEGIN
FOR L := 1 TO 4 DO BEGIN
T [K, L] := (K-1)*4 + L;
END;
END;
First := 0;
Last := 8190;
Start := Clock;
MUL_4X4 (X, Y, Z, W, T, First, Last);
{ IIT_MUL_4X4 (X, Y, Z, W, T, First, Last); }
Elapsed := Clock - Start;
WriteLn ('Number of vectors: ', Last-First+1);
WriteLn ('Time: ', Elapsed, ' ms');
WriteLn ('Equivalent to ', (28.0*(Last-First+1)/1e6)/
(Elapsed*1e-3):0:4, ' MFLOPS');
WriteLn;
WriteLn ('Last vector:');
WriteLn;
WriteLn (X^[Last]);
WriteLn (Y^[Last]);
WriteLn (Z^[Last]);
WriteLn (W^[Last]);
END