projects
/
libreriscv.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7d90a06
)
missing bracket from spec
author
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Sun, 5 Apr 2020 11:01:53 +0000
(12:01 +0100)
committer
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Sun, 5 Apr 2020 11:01:53 +0000
(12:01 +0100)
openpower/isa/branch.mdwn
patch
|
blob
|
history
diff --git
a/openpower/isa/branch.mdwn
b/openpower/isa/branch.mdwn
index 493e442a8deec944370cdde02b6d5d77bf67d30a..7a1f2f51d5349b9e32fe81cb8f2fe5ef77d967a1 100644
(file)
--- a/
openpower/isa/branch.mdwn
+++ b/
openpower/isa/branch.mdwn
@@
-49,7
+49,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 LR[0:61] || 0b00
if LK then LR <-iea CIA + 4