m2-internship/talk-2018-11-uppsala
1
0
Fork 1
Code Issues Pull requests Releases Wiki Activity

Remove "(ABI)" (unclear)

Browse source
This commit is contained in:
Théophile Bastian 2019-10-15 12:23:38 +02:00
parent 7a443bba1b
commit bb80c3be9a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
slides.tex
View file

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