On Tue, Sep 12, 2017 at 09:56:15AM +0900, SeongJae Park wrote:
> Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
Good eyes! Applied all three, thank you!
Thanx, Paul
> ---
> memorder/memorder.tex | 4 ++--
> 1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/memorder/memorder.tex b/memorder/memorder.tex
> index 183c525..2da7b98 100644
> --- a/memorder/memorder.tex
> +++ b/memorder/memorder.tex
> @@ -704,8 +704,8 @@ as Y0, the store to \co{x1} on line~19 as Y1, and the load from
> Applying the if-then rule step by step, we know that the store to
> \co{x1} on line~19 happens after the load from \co{x1} on line~11 if
> \co{P0()}'s local variable \co{r2} is set to the value zero.
> -The if-then rule would then state that the load from \co{x1} on
> -line~21 happens after the store to \co{x1} on line~9.
> +The if-then rule would then state that the load from \co{x0} on
> +line~21 happens after the store to \co{x0} on line~9.
> In other words,
> \co{P1()}'s local variable \co{r2} is guaranteed
> to end up with the value two \emph{only if}
> --
> 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
