products/Sources/formale Sprachen/C/Cephes/ldouble/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: BinNat.v   Sprache: Coq

Untersuchungsergebnis.mot Download desBAT {BAT[135] Abap[175] [0]}zum Wurzelverzeichnis wechseln

#/* For Motorola 68K sysv */
#/* Contributed by Philippe De Muyter <[email protected]> */
#/* Set 68881/2 floating point rounding precision */
#/* Reference: MC68881/MC68882 Floating-Point Coprocessor */
#/* User's Manual, Motorola, Prentice-Hall, 1987 (First Edition) */
#/* Pages 1-14, 2-3, 4-68. */
#/* FPcr code $80 sets the 68882 coprocessor to */
#/*    rounding precision = 53 bits */
#/*    rounding mode = nearest or even */
#/*    all exceptions (bits 8-15) disabled */
#/* The instruction is */
#/* FMOVE.L #$80,Fcr */
#/* if the assembler will understand it. */

 align 2
 text

#/* set to single precision */
 global sprec
sprec:
 short 0xf23c,0x9000,0x0000,0x0040
 rts

#/* set to double precision */
 global dprec

dprec:
 short 0xf23c,0x9000,0x0000,0x0080
 rts

#/* set to extended (long double) precision */
 global ldprec

ldprec:
 short 0xf23c,0x9000,0x0000,0x0000
 rts

[ zur Elbe Produktseite wechseln0.85Quellennavigators  ]