Bug 842

Summary: add Tininess-After-Rounding floating point flag -- needed for x86 and risc-v compatibility.
Product: Libre-SOC's first SoC Reporter: Jacob Lifshay <programmerjake>
Component: SpecificationAssignee: Luke Kenneth Casson Leighton <lkcl>
Status: CONFIRMED ---    
Severity: enhancement CC: libre-soc-isa
Priority: ---    
Version: unspecified   
Hardware: Other   
OS: Linux   
NLnet milestone: --- total budget (EUR) for completion of task and all subtasks: 0
budget (EUR) for this task, excluding subtasks' budget: 0 parent task for budget allocation:
child tasks for budget allocation: The table of payments (in EUR) for this task; TOML format:

Description Jacob Lifshay 2022-05-31 05:49:43 BST
OpenPower has Tininess-Before-Rounding, many widely-used architectures have Tininess-After-Rounding instead. I think we should add a flag to allow OpenPower to switch modes -- this is part of efficiently running x86 FP operations on OpenPower (e.g. through qemu)