Residue checking of entire normalizer output of an extended result

A method comprising:

• receiving, at a normalizer, an extended result from first operation circuitry of a floating point unit, wherein the extended result comprises a first set of bits comprising leading zeros of the extended result, a second set of bits, a third set of bits, and a fourth set of bits comprising remaining bits to the right of the third set of bits;
• determining a residue of the extended result;
• determining a first normalizer result during a first normalizer cycle, the first normalizer result comprising the second set of bits;
• determining a first portion residue of the extended result, the first portion residue comprising a loss to the right of the normalizer during the first normalizer cycle, wherein the loss to the right of the normalizer during the first normalizer cycle comprises the third set of bits and the fourth set of bits;
• storing the residue of the extended result less the first portion residue of the extended result as a first partial result residue;
• determine a first result residue of the second set of bits;
• comparing the first partial result residue with the first result residue;
• determining a second normalizer result during a second normalizer cycle, the second normalizer result comprising the third set of bits;
• determining a second portion residue of the extended result, the second portion residue comprising a loss to the right of the normalizer during the second normalizer cycle, wherein the loss to the right of the normalizer during the second normalizer cycle comprises the fourth set of bits;
• storing the residue of the extended result less the second portion residue and the first partial result residue as a second partial result residue;
• determine a second result residue of the third set of bits;
• comparing the second partial result residue with the second result residue;
• and
• operating the floating point unit according to the comparison of the first partial result residue with the first result residue and the comparison of the second partial result residue with the second result residue.