+ comb += sabx.eq(a1.s ^ b1.s)
+ comb += t_abnan.eq(a1.is_nan | b1.is_nan)
+ comb += t_abinf.eq(a1.is_inf & b1.is_inf)
+ comb += t_a1inf.eq(a1.is_inf)
+ comb += t_b1inf.eq(b1.is_inf)
+ comb += t_abz.eq(a1.is_zero & b1.is_zero)
+ comb += t_a1zero.eq(a1.is_zero)
+ comb += t_b1zero.eq(b1.is_zero)
+
+ # prepare inf/zero/nans
+ z_zero = FPNumBaseRecord(width, False, name="z_zero")
+ z_zeroab = FPNumBaseRecord(width, False, name="z_zeroab")
+ z_nan = FPNumBaseRecord(width, False, name="z_nan")
+ z_infa = FPNumBaseRecord(width, False, name="z_infa")
+ z_infb = FPNumBaseRecord(width, False, name="z_infb")
+ z_infab = FPNumBaseRecord(width, False, name="z_infab")
+ comb += z_zero.zero(0)
+ comb += z_zeroab.zero(sabx)
+ comb += z_nan.nan(0)
+ comb += z_infa.inf(a1.s)
+ comb += z_infb.inf(b1.s)
+ comb += z_infab.inf(sabx)
+
+ comb += t_special_div.eq(Cat(t_b1zero, t_a1zero, t_b1inf, t_a1inf,
+ t_abinf, t_abnan).bool())