Slight fixups

slides/50_staticdeps/main.tex

@@ -47,8 +47,8 @@ loop:
     \end{minipage}
 
     \begin{center}
-        0,3 $\rightarrow$ 1,0 through \reg{rcx}\\
-        \ie{} \alert{loop-carried 3 $\rightarrow$ 1}
+        1,0 $\rightarrow$ 0,3 through \reg{rcx}\\
+        \ie{} \alert{loop-carried 1 $\rightarrow$ 3}
     \end{center}
 \end{frame}
 
@@ -58,7 +58,7 @@ loop:
     \begin{itemize}
     \item Through memory: indirections, arithmetics, …
     \item Loop-carried: ROB is finite and small-ish
-    \item Requires comparison of arbitrary formal expressions
+    \item Requires comparison of arbitrary symbolic expressions
     \item Use randomness as a kind of hash table instead
     \end{itemize}
 \end{frame}