include brackets to make syntax work
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 3 Apr 2020 15:22:37 +0000 (16:22 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 3 Apr 2020 15:22:37 +0000 (16:22 +0100)
openpower/isa/comparefixed.mdwn

index 9563cde12a0fe0bc8aeb5a9e45fbdc1e7c3caa89..304729e49232b633ad5ab65c39402b309d2a446b 100644 (file)
@@ -88,8 +88,8 @@ X-Form
     if L=0 then
        in_range <-  (src22lo  <= src1) & (src1 <=  src22hi)
     else
-       in_range <- ((src21lo  <= src1) & (src1 <=  src21hi)) |
-                   ((src22lo  <= src1) & (src1 <=  src22hi))
+       in_range <- (((src21lo  <= src1) & (src1 <=  src21hi)) |
+                    ((src22lo  <= src1) & (src1 <=  src22hi)))
     CR[4×BF+32] <- 0b0
     CR[4×BF+33] <- in_range
     CR[4×BF+34] <- 0b0
@@ -106,14 +106,14 @@ X-Form
 * cmpeqb BF,RA,RB
 
     src1 <- GPR[RA].bit[56:63]
-    match <- (src1 = (RB)[00:07]) |
-             (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])
+    match <- ((src1 = (RB)[00:07]) |
+              (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