Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: WO6_WO1.thy   Sprache: Isabelle

Untersuchungsergebnis.sun Download desLex {Lex[60] Fortran[106] Delphi[141]}zum Wurzelverzeichnis wechseln

.text
 .even
.globl _floorl
_floorl:
 link a6,#0
 fmovex fp1,sp@-
 fmovel fpcr,d0
 movel #-17,d1
 andl d0,d1
 orl #32,d1
 fmovel d1,fpcr
 fmovex a6@(8),fp1
 fintx fp1,fp0
 fmovel d0,fpcr
 fmovex a6@(-12),fp1
 unlk a6
 rts
 .even
.globl _ceill
_ceill:
 link a6,#0
 fmovex fp1,sp@-
 fmovex a6@(8),fp1
 fintx fp1,fp0
 fmovex sp@+,fp1
 unlk a6
 rts
 .even
.globl _frexpl
_frexpl:
 linkw a6,#0
 fmovex fp1,sp@-
 fmovex a6@(8),fp0
 movel a6@(20),a0
 fgetexpx fp0,fp1
 fintrzx fp1,fp1
 fmovel fp1,d0
 fgetmanx fp0,fp0
 ftestx fp0
 fbngt L21
 fscaleb #-1,fp0
 addql #1,d0
L21: movel d0,a0@
 fmovex a6@(-12),fp1
 unlk a6
 rts
 .even
.globl _ldexpl
_ldexpl:
 linkw a6,#0
 fmovex a6@(8),fp0
 fscalel a6@(20),fp0
 unlk a6
 rts
 .even
.globl _fabsl
_fabsl:
 link a6,#0
 fmovex a6@(8),fp0
 fabsx fp0,fp0
 unlk a6
 rts

[ zur Elbe Produktseite wechseln0.81Quellennavigators  ]

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik