Bug 105 - sv 0.6 draft support for fail-on-first condition (and trap)
Summary: sv 0.6 draft support for fail-on-first condition (and trap)
Status: RESOLVED INVALID
Alias: None
Product: Libre-SOC's first SoC
Classification: Unclassified
Component: Source Code (show other bugs)
Version: unspecified
Hardware: PC Linux
: --- enhancement
Assignee: Luke Kenneth Casson Leighton
URL:
Depends on:
Blocks: 52
  Show dependency treegraph
 
Reported: 2019-06-28 11:58 BST by Luke Kenneth Casson Leighton
Modified: 2021-05-13 21:23 BST (History)
1 user (show)

See Also:
NLnet milestone: NLnet.2019.02
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:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Luke Kenneth Casson Leighton 2019-06-28 11:58:25 BST
need fail-on-first support and unit tests for:

* branch (actually, now branch-with-vector-compares)
* standard integer arithmetic (if zero, "fail")
* floating-point arithmetic (if zero or non-zero)
* FP compare (FEQ/FLT etc.) which is a variant of standard int
* LD/ST at end of memory page

good unit test examples: strncpy and strlen
Comment 1 Luke Kenneth Casson Leighton 2021-05-13 21:23:47 BST
SV 0.6 (with RISC-V) is retired