mirror of
https://github.com/ARMSX2/ARMSX2.git
synced 2026-08-24 16:50:16 -07:00
The predicate was a Cmtst against a mask parked in d10, which can express the Booth term and nothing else, so iFPUd came back one ULP high wherever the boundary term at the truncation column was the deciding one -- a class the interpreter models. Building the predicate in GPRs instead admits both terms, and turns the old shape's implicit tail test, which worked only because FPUFPCR holds round-toward-zero, into an explicit one. Nothing reads d10 after that, so it leaves the reserved list and the allocator has its callee-saved slot back.