Bug 275 - errata in V3.0B spec pseudo-code, page 88
Summary: errata in V3.0B spec pseudo-code, page 88
Status: CONFIRMED
Alias: None
Product: Libre-SOC's first SoC
Classification: Unclassified
Component: Specification (show other bugs)
Version: unspecified
Hardware: PC Linux
: --- enhancement
Assignee: Luke Kenneth Casson Leighton
URL:
Depends on:
Blocks:
 
Reported: 2020-04-02 17:07 BST by Luke Kenneth Casson Leighton
Modified: 2020-04-03 19:13 BST (History)
2 users (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:

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 2020-04-02 17:07:19 BST 
* 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
Comment 1 Luke Kenneth Casson Leighton 2020-04-03 15:52:01 BST 
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
Comment 2 Jacob Lifshay 2020-04-03 19:00:56 BST 
maybe you should just grep for '\|[\n\t ]*[a-zA-Z0-9_]+ *<-' since that seems like a common error.
Comment 3 Luke Kenneth Casson Leighton 2020-04-03 19:13:27 BST 
(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.