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  

Quellcode-Bibliothek 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.0Bemerkung:  (vorverarbeitet am  2026-09-27) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.