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 tree / graph
 
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.012
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
Add an attachment (proposed patch, testcase, etc.)

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