Bug 1081 - pay special attention to stfiwx UNDEFINED behaviour
Summary: pay special attention to stfiwx UNDEFINED behaviour
Alias: None
Product: Libre-SOC's first SoC
Classification: Unclassified
Component: Specification (show other bugs)
Version: unspecified
Hardware: PC Linux
: High enhancement
Assignee: Luke Kenneth Casson Leighton
Depends on:
Blocks: 952 961
  Show dependency treegraph
Reported: 2023-05-10 13:13 BST by Luke Kenneth Casson Leighton
Modified: 2023-05-10 13:20 BST (History)
1 user (show)

See Also:
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:


Note You need to log in before you can comment on or make changes to this bug.
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.)