Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!uflorida!uakari.primate.wisc.edu!ginosko!uunet!mcsun!mcvax!dik From: dik@cwi.nl (Dik T. Winter) Newsgroups: comp.arch Subject: Re: IEEE FP denorms and Deming's Arithmetics With Variable Precision Message-ID: <8443@boring.cwi.nl> Date: 4 Oct 89 10:29:45 GMT References: <16893@watdragon.waterloo.edu> Organization: CWI, Amsterdam Lines: 21 In article aglew@urbana.mcd.mot.com (Andy-Krazy-Glew) writes: > Eg. > If I compute (x-y)*z > and x-y produces a denorm, > then, instead of relative precision related to 1/2^M, > where there are M bits in the mantissa, > do you not have relative precision related to 1/2^D, > where there are D valid bits in the denormalized difference. This is only true if the multiplication produces a denorm too. Note that if underflow to zero occurs the relative precision would be 0. Numerical analysis has always to take care of underflow and near underflow. But the use of denorms simplifies matters in a number of cases (and does not make it more difficult in other cases). The major advantage of denorms is, in my opinion, that statements like: if(x-y != 0.0) z = x/(x-y); will not trap with a divide by zero trap but gives an (approximately) correct result. -- dik t. winter, cwi, amsterdam, nederland INTERNET : dik@cwi.nl BITNET/EARN: dik@mcvax