Bug 1081

Summary: pay special attention to stfiwx UNDEFINED behaviour
Product: Libre-SOC's first SoC Reporter: Luke Kenneth Casson Leighton <lkcl>
Component: SpecificationAssignee: Luke Kenneth Casson Leighton <lkcl>
Status: CONFIRMED ---    
Severity: enhancement CC: libre-soc-isa
Priority: High    
Version: unspecified   
Hardware: PC   
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:
Bug Depends on:    
Bug Blocks: 952, 961    

Description Luke Kenneth Casson Leighton 2023-05-10 13:13:38 BST 
public v3.1 p182

If the contents of register FRS were produced, either
directly or indirectly, by a Load Floating-Point Single
instruction, a single-precision Arithmetic instruction, or
frsp, then the value stored is undefined. (The contents
of register FRS are produced directly by such an instruc-
tion if FRS is the target register for the instruction. The
contents of register FRS are produced indirectly by such
an instruction if FRS is the final target register of a
sequence of one or more Floating-Point Move instruc-
tions, with the input to the sequence having been pro-
duced directly by such an instruction.)