products/Sources/formale Sprachen/PVS/numbers/   (Apache Web Server Version 2.4.65©)  Datei vom 28.9.2014 mit Größe 17 kB image not shown  

SSL qhead24.asm

  Interaktion und
PortierbarkeitMasm
 


_TEXT SEGMENT  BYTE PUBLIC 'CODE'
_TEXT ENDS
CONST SEGMENT  WORD PUBLIC 'CONST'
CONST ENDS
_BSS SEGMENT  WORD PUBLIC 'BSS'
_BSS ENDS
_DATA SEGMENT  WORD PUBLIC 'DATA'
_DATA ENDS
DGROUP GROUP CONST, _BSS, _DATA
 ASSUME  CS: _TEXT, DS: DGROUP, SS: DGROUP, ES: DGROUP

; number of 16 bit words in the entire number format
NQ = 24  ; 24, 12
; number of iterations for a divide: 3 -> 77 decimal accuracy
NQDIV = 4 ;  4,  3

; number of 16 bit words in mantissa area:
OMG = NQ-2
; byte offset to last word of mantissa area = 2*OMG+2:
OFFS = OMG+OMG+2


zmul MACRO a,b
ao = 6 + 2*a
bo = 6 + 2*b
co = 8 + 2*a + 2*b
do = 6 + 2*a + 2*b
eo = 4 + 2*a + 2*b
 mov ax, word ptr [di]+ao
 mul word ptr [si]+bo
 add word ptr [bx]+co,ax
 adc word ptr [bx]+do,dx
 adc word ptr [bx]+eo,cx
 ENDM


Messung V0.5 in Prozent
C=84 H=100 G=92

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.3Angebot  (Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-06-27) ¤

*Eine klare Vorstellung vom Zielzustand






Versionsinformation zu Columbo

Bemerkung:

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders