projects
/
libreriscv.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
44246ae
)
missing bracket from spec
author
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Sun, 5 Apr 2020 11:02:42 +0000
(12:02 +0100)
committer
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Sun, 5 Apr 2020 11:02:42 +0000
(12:02 +0100)
openpower/isa/branch.mdwn
patch
|
blob
|
history
diff --git
a/openpower/isa/branch.mdwn
b/openpower/isa/branch.mdwn
index 7a1f2f51d5349b9e32fe81cb8f2fe5ef77d967a1..c3ad338488d5dfe06b6e596bafa0d6ba7c84a7aa 100644
(file)
--- a/
openpower/isa/branch.mdwn
+++ b/
openpower/isa/branch.mdwn
@@
-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