Oberon Community Platform Forum
December 07, 2019, 08:39:33 AM *
Welcome, Guest. Please login or register.
Did you miss your activation email?

Login with username, password and session length
News:
 
   Home   Help Search Login Register  
Pages: 1 [2]
  Print  
Author Topic: HUGEINT division bug  (Read 24230 times)
BohdanT
Sr. Member
****
Posts: 271


Life is difficult, but fortunately is short!


WWW
« Reply #15 on: January 27, 2009, 03:19:56 PM »

The following modules are used Machine.DivH, IMHO it is necessary to verify of their work.  Huh

Quote
I386.BenchInterrupts.Mod    WMPartitions.Mod
WMObjectTracker.Mod         WMPerfMonPluginMemory.Mod
AMD64.Processors.Mod        DiskTests.Mod
Unix.WMPerfMonPlugins.Mod   WMPerfMonPlugins.Mod
OGGUtilities.Mod            OGGVorbisPlayer.Mod
Logged
negelef
Administrator
Jr. Member
*****
Posts: 55


« Reply #16 on: January 27, 2009, 03:55:51 PM »

Alexey thankfully corrected the previous implementations and also verified their correctness. I don't think we have to additionally verify the modules you mentioned as long as they do not explicitly depend on the erroneous behaviour of the FPU versions. And this is hardly the case, as Alexey was actually the first to observe that they produce wrong results.
Logged
Pages: 1 [2]
  Print  
 
Jump to:  

Powered by MySQL Powered by PHP Powered by SMF 1.1.21 | SMF © 2015, Simple Machines Valid XHTML 1.0! Valid CSS!