missing bracket from spec
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 5 Apr 2020 11:02:42 +0000 (12:02 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 5 Apr 2020 11:02:42 +0000 (12:02 +0100)
openpower/isa/branch.mdwn

index 7a1f2f51d5349b9e32fe81cb8f2fe5ef77d967a1..c3ad338488d5dfe06b6e596bafa0d6ba7c84a7aa 100644 (file)
@@ -84,7 +84,7 @@ XL-Form
     if (mode_is_64bit) then M <- 0
     else M <- 32
     if ¬BO[2] then CTR <- CTR - 1
-    ctr_ok <- BO[2]  | ((CTR[M:63] != 0) ^ BO[3]
+    ctr_ok <- BO[2]  | ((CTR[M:63] != 0) ^ BO[3])
     cond_ok <- BO[0] | ¬(CR[BI+32] ^ BO[1])
     if ctr_ok & cond_ok then NIA <-iea TAR[0:61]  || 0b00
     if LK then LR <-iea  CIA + 4