From: SeongJae Park <sj38.park@xxxxxxxxx> Most sentences are using 'PowerPC' while a sentence in ppcmem.tex is using 'powerpc'. Use 'PowerPC' consistently. 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 25d07c34..181ca7c6 100644 --- a/formal/ppcmem.tex +++ b/formal/ppcmem.tex @@ -204,7 +204,7 @@ and \clnref{P1lwz} is equivalent to the C statement \co{r3=x}. the one that is the \co{Fail1:} label? \end{fcvref} }\QuickQuizAnswer{ - The implementation of powerpc version of \co{atomic_add_return()} + 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 \co{bne} instruction. -- 2.17.1