| Summary: | errata in V3.0B spec pseudo-code, page 88 | ||
|---|---|---|---|
| Product: | Libre-SOC's first SoC | Reporter: | Luke Kenneth Casson Leighton <lkcl> |
| Component: | Specification | Assignee: | Luke Kenneth Casson Leighton <lkcl> |
| Status: | CONFIRMED --- | ||
| Severity: | enhancement | CC: | libre-soc-bugs, programmerjake |
| Priority: | --- | ||
| 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: | ||
second one, in cmprb section V3.0B 3.3.10.1 p87
+++ b/openpower/isa/comparefixed.mdwn
@@ -89,7 +89,7 @@ X-Form
in_range <- (src22lo <= src1) & (src1 <= src22hi)
else
in_range <- ((src21lo <= src1) & (src1 <= src21hi)) |
- in_range <- ((src22lo <= src1) & (src1 <= src22hi))
+ ((src22lo <= src1) & (src1 <= src22hi))
CR[4×BF+32] <- 0b0
CR[4×BF+33] <- in_range
CR[4×BF+34] <- 0b0
maybe you should just grep for '\|[\n\t ]*[a-zA-Z0-9_]+ *<-' since that seems like a common error. (In reply to Jacob Lifshay from comment #2) > maybe you should just grep for '\|[\n\t ]*[a-zA-Z0-9_]+ *<-' since that > seems like a common error. the two that the error occurs are in a different font. from this we can hypothesise that they were added at a later date by a different user of the proprietary editor tool. i am going systematically through all of the pseudo-code scripts, one by one, finding and fixing errors. |
* cmpeqb BF,RA,RB section V3.0B 3.3.10.1 p88 +++ b/openpower/isa/comparefixed.mdwn @@ -103,13 +103,13 @@ X-Form src1 <- GPR[RA].bit[56:63] match <- (src1 = (RB)[00:07]) | - match <- (src1 = (RB)[08:15]) | - match <- (src1 = (RB)[16:23]) | - match <- (src1 = (RB)[24:31]) | - match <- (src1 = (RB)[32:39]) | - match <- (src1 = (RB)[40:47]) | - match <- (src1 = (RB)[48:55]) | - match <- (src1 = (RB)[56:63]) + (src1 = (RB)[08:15]) | + (src1 = (RB)[16:23]) | + (src1 = (RB)[24:31]) | + (src1 = (RB)[32:39]) | + (src1 = (RB)[40:47]) | + (src1 = (RB)[48:55]) | + (src1 = (RB)[56:63]) CR[4×BF+32] <- 0b0 CR[4×BF+33] <- match CR[4×BF+34] <- 0b0