[libre-riscv-dev] [Bug 275] New: errata in V3.0B spec pseudo-code, page 88

[libre-riscv-dev] [Bug 275] New: errata in V3.0B spec pseudo-code, page 88

[bugzilla-daemon]

http://bugs.libre-riscv.org/show_bug.cgi?id=275

            Bug ID: 275
           Summary: errata in V3.0B spec pseudo-code, page 88
           Product: Libre-SOC's first SoC
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: CONFIRMED
          Severity: enhancement
          Priority: ---
         Component: Specification
          Assignee: lkcl@lkcl.net
          Reporter: lkcl@lkcl.net
                CC: libre-riscv-dev@lists.libre-riscv.org
   NLnet milestone: ---

+++ 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

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 275] errata in V3.0B spec pseudo-code, page 88

[bugzilla-daemon]

http://bugs.libre-riscv.org/show_bug.cgi?id=275

--- Comment #1 from Luke Kenneth Casson Leighton <lkcl@lkcl.net> ---
second one, in cmpi:

+++ 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

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 275] errata in V3.0B spec pseudo-code, page 88

[bugzilla-daemon]

http://bugs.libre-riscv.org/show_bug.cgi?id=275

Jacob Lifshay <programmerjake@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |programmerjake@gmail.com

--- Comment #2 from Jacob Lifshay <programmerjake@gmail.com> ---
maybe you should just grep for '\|[\n\t ]*[a-zA-Z0-9_]+ *<-' since that seems
like a common error.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 275] errata in V3.0B spec pseudo-code, page 88

[bugzilla-daemon]

http://bugs.libre-riscv.org/show_bug.cgi?id=275

--- Comment #3 from Luke Kenneth Casson Leighton <lkcl@lkcl.net> ---
(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.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev