Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/CCL/   (Isabelle Prover Version 2025-1©)  Datei vom 16.11.2025 mit Größe 20 kB image not shown  

Quelle  fpu2.asm   Sprache: Masm

 

.MODEL Small
  .486
  .STACK 100h
  .DATA
Zahl1  DD 1.34
Zahl2  DD 1.35
  .CODE
  mov  ax,@data
  mov  ds,ax
  fld  Zahl2
  fld  Zahl1
  fcom       ;Vergleichen siehe auch fcomp u. fcompp
  fstsw ax   ;Der Trick...
  sahf
;C0 (d.h. CF) gesetzt wenn ST(0)< ST(1) wenn nicht gesetzt dann > oder =
                jc Kleiner
GroeßerGleich:  
  nop
Kleiner:  
  mov  ah,4Ch
  int  21h
  END

  

Messung V0.5 in Prozent
C=88 H=100 G=94

¤ Dauer der Verarbeitung: 0.6 Sekunden  (vorverarbeitet am  2026-09-27) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Dauer der Verarbeitung:

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.