mirror of
https://github.com/ARMSX2/ARMSX2.git
synced 2026-08-24 16:50:16 -07:00
pstef
9c05af0901
The two rungs differ on two classes of operand and the 8137-case hardware corpus reaches neither: its zero-tail multiplies all carry ft mantissas the boundary term cannot read, and its rows inside the array's band either saturate or come back exact. It scores mode 3 and mode 4 the same, so nothing in the tree said which of them silicon agrees with. The fpmul3 capture does. It swept eight fs significands against every one of the 2^23 ft significands on an SCPH-90000, recording for each whether the console returned the correctly-rounded product or that product one ULP low, and those two are the only outcomes it ever saw. Twenty rows where the boundary term decides and twelve inside the band are transcribed here with both values, so each asserts mode 4 against silicon and mode 3 against the rounding it is supposed to keep. Half of each table has the two values equal, which is the polarity that stops an emitter that decremented every product from passing.