Sentences about PPCMEM litmus test uses \co{} for machine instruction
quotations but missed it for `bne`. This commit uses \co{} for `bne`
quotation.
Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
formal/ppcmem.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/ppcmem.tex b/formal/ppcmem.tex
index c18cb9a..5dfddd8 100644
--- a/formal/ppcmem.tex
+++ b/formal/ppcmem.tex
@@ -182,7 +182,7 @@ and line~11 is equivalent to the C statement \co{r3=x}.
The implementation of powerpc version of \co{atomic_add_return()}
loops when the \co{stwcx} instruction fails, which it communicates
by setting non-zero status in the condition-code register,
- which in turn is tested by the bne instruction. Because actually
+ which in turn is tested by the \co{bne} instruction. Because actually
modeling the loop would result in state-space explosion, we
instead branch to the Fail: label, terminating the model with
the initial value of 2 in thread~1's \co{r3} register, which
--
2.10.0
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
