from ieee754.fpcommon.fpbase import FPState, FPID
from ieee754.fpcommon.getop import FPADDBaseData
from ieee754.fpcommon.denorm import (FPSCData, FPAddDeNormMod)
+from ieee754.fpmul.align import FPAlignModSingle
class FPDIVSpecialCasesMod(Elaboratable):
https://steve.hollasch.net/cgindex/coding/ieeefloat.html
"""
- def __init__(self, width, pspec):
- self.width = width
+ def __init__(self, pspec):
self.pspec = pspec
self.i = self.ispec()
self.o = self.ospec()
def ispec(self):
- return FPADDBaseData(self.width, self.pspec)
+ return FPADDBaseData(self.pspec)
def ospec(self):
- return FPSCData(self.width, self.pspec, False)
+ return FPSCData(self.pspec, False)
def setup(self, m, i):
""" links module to inputs and outputs
#m.submodules.sc_out_z = self.o.z
# decode: XXX really should move to separate stage
- a1 = FPNumBaseRecord(self.width, False)
- b1 = FPNumBaseRecord(self.width, False)
+ a1 = FPNumBaseRecord(self.pspec.width, False)
+ b1 = FPNumBaseRecord(self.pspec.width, False)
m.submodules.sc_decode_a = a1 = FPNumDecode(None, a1)
m.submodules.sc_decode_b = b1 = FPNumDecode(None, b1)
m.d.comb += [a1.v.eq(self.i.a),
abinf = Signal(reset_less=True)
m.d.comb += abinf.eq(a1.is_inf & b1.is_inf)
- # if a is NaN or b is NaN return NaN
- with m.If(abnan):
- m.d.comb += self.o.out_do_z.eq(1)
- m.d.comb += self.o.z.nan(1)
-
- # if a is inf and b is Inf return NaN
- with m.Elif(abnan):
- m.d.comb += self.o.out_do_z.eq(1)
- m.d.comb += self.o.z.nan(1)
-
- # if a is inf return inf
- with m.Elif(a1.is_inf):
- m.d.comb += self.o.out_do_z.eq(1)
- m.d.comb += self.o.z.inf(sabx)
-
- # if b is inf return zero
- with m.Elif(b1.is_inf):
- m.d.comb += self.o.out_do_z.eq(1)
- m.d.comb += self.o.z.zero(sabx)
-
- # if a is zero return zero (or NaN if b is zero)
- with m.Elif(a1.is_zero):
- m.d.comb += self.o.out_do_z.eq(1)
- m.d.comb += self.o.z.zero(sabx)
- # b is zero return NaN
- with m.If(b1.is_zero):
- m.d.comb += self.o.z.nan(1)
-
- # if b is zero return Inf
- with m.Elif(b1.is_zero):
- m.d.comb += self.o.out_do_z.eq(1)
- m.d.comb += self.o.z.inf(sabx)
-
- # Denormalised Number checks next, so pass a/b data through
- with m.Else():
- m.d.comb += self.o.out_do_z.eq(0)
+ with m.If(self.i.ctx.op == 0): # DIV
+ # if a is NaN or b is NaN return NaN
+ with m.If(abnan):
+ m.d.comb += self.o.out_do_z.eq(1)
+ m.d.comb += self.o.z.nan(0)
+
+ # if a is inf and b is Inf return NaN
+ with m.Elif(abinf):
+ m.d.comb += self.o.out_do_z.eq(1)
+ m.d.comb += self.o.z.nan(0)
+
+ # if a is inf return inf
+ with m.Elif(a1.is_inf):
+ m.d.comb += self.o.out_do_z.eq(1)
+ m.d.comb += self.o.z.inf(sabx)
+
+ # if b is inf return zero
+ with m.Elif(b1.is_inf):
+ m.d.comb += self.o.out_do_z.eq(1)
+ m.d.comb += self.o.z.zero(sabx)
+
+ # if a is zero return zero (or NaN if b is zero)
+ with m.Elif(a1.is_zero):
+ m.d.comb += self.o.out_do_z.eq(1)
+ m.d.comb += self.o.z.zero(sabx)
+ # b is zero return NaN
+ with m.If(b1.is_zero):
+ m.d.comb += self.o.z.nan(0)
+
+ # if b is zero return Inf
+ with m.Elif(b1.is_zero):
+ m.d.comb += self.o.out_do_z.eq(1)
+ m.d.comb += self.o.z.inf(sabx)
+
+ # Denormalised Number checks next, so pass a/b data through
+ with m.Else():
+ m.d.comb += self.o.out_do_z.eq(0)
+
+ with m.If(self.i.ctx.op == 1): # SQRT
+
+ # -ve number is NaN
+ with m.If(a1.s):
+ m.d.comb += self.o.out_do_z.eq(1)
+ m.d.comb += self.o.z.nan(0)
+
+ # if a is inf return inf
+ with m.Elif(a1.is_inf):
+ m.d.comb += self.o.out_do_z.eq(1)
+ m.d.comb += self.o.z.inf(sabx)
+
+ # if a is NaN return NaN
+ with m.Elif(a1.is_nan):
+ m.d.comb += self.o.out_do_z.eq(1)
+ m.d.comb += self.o.z.nan(0)
+
+ # if a is zero return zero
+ with m.Elif(a1.is_zero):
+ m.d.comb += self.o.out_do_z.eq(1)
+ m.d.comb += self.o.z.zero(0)
+
+ # Denormalised Number checks next, so pass a/b data through
+ with m.Else():
+ m.d.comb += self.o.out_do_z.eq(0)
+
m.d.comb += self.o.oz.eq(self.o.z.v)
- m.d.comb += self.o.mid.eq(self.i.mid)
+ m.d.comb += self.o.ctx.eq(self.i.ctx)
return m
https://steve.hollasch.net/cgindex/coding/ieeefloat.html
"""
- def __init__(self, width, pspec):
+ def __init__(self, pspec):
FPState.__init__(self, "special_cases")
- self.mod = FPDIVSpecialCasesMod(width)
+ self.mod = FPDIVSpecialCasesMod(pspec)
self.out_z = self.mod.ospec()
self.out_do_z = Signal(reset_less=True)
""" special cases: NaNs, infs, zeros, denormalised
"""
- def __init__(self, width, pspec):
+ def __init__(self, pspec):
FPState.__init__(self, "special_cases")
- self.width = width
self.pspec = pspec
SimpleHandshake.__init__(self, self) # pipe is its own stage
self.out = self.ospec()
def ispec(self):
- return FPADDBaseData(self.width, self.pspec) # SpecialCases ispec
+ return FPADDBaseData(self.pspec) # SpecialCases ispec
def ospec(self):
- return FPSCData(self.width, self.pspec, False) # DeNorm ospec
+ return FPSCData(self.pspec, False) # Align ospec
def setup(self, m, i):
""" links module to inputs and outputs
"""
- smod = FPDIVSpecialCasesMod(self.width, self.pspec)
- dmod = FPAddDeNormMod(self.width, self.pspec, False)
+ smod = FPDIVSpecialCasesMod(self.pspec)
+ dmod = FPAddDeNormMod(self.pspec, False)
+ amod = FPAlignModSingle(self.pspec, False)
- chain = StageChain([smod, dmod])
+ chain = StageChain([smod, dmod, amod])
chain.setup(m, i)
# only needed for break-out (early-out)
# self.out_do_z = smod.o.out_do_z
- self.o = dmod.o
+ self.o = amod.o
def process(self, i):
return self.o
projects / ieee754fpu.git / blobdiff