diff --git a/slides.tex b/slides.tex index 913c2e1..535d247 100644 --- a/slides.tex +++ b/slides.tex @@ -408,7 +408,7 @@ Segmentation fault. \begin{frame}{How do we actually synthesize?} \begin{itemize} - \item Upon entering a function, we know (ABI) + \item Upon entering a function, we know \[ \cfa = \reg{rsp} - 8 \qquad \ra = \cfa + 8 \] \item The semantics of each instruction specifies \alert{how it changes \cfa}.