bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add note about target data layout.

Browse source
This commit is contained in:
Scott Olson 2016-04-03 23:25:30 -06:00
parent 9e3e2decba
commit cb947dd005
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
final-presentation/slides.tex
View file

@ -212,10 +212,6 @@
\end{itemize} \end{itemize}
\end{frame} \end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Miri example slides
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{frame}[fragile] \begin{frame}[fragile]
\frametitle{\texttt{square} example} \frametitle{\texttt{square} example}
\begin{center} \begin{center}
@ -346,9 +342,12 @@
\item non-trivial casts \item non-trivial casts
\item function pointers \item function pointers
\item calling destructors and freeing memory \item calling destructors and freeing memory
\item taking target architecture endianess and alignment information
into account when computing data layout
\item handling all constants properly (but, well, Miri might be \item handling all constants properly (but, well, Miri might be
replacing the old constants system) replacing the old constants system)
\end{itemize} \end{itemize}
\pause
\item Miri can't do foreign function calls (e.g. calling functions defined \item Miri can't do foreign function calls (e.g. calling functions defined
in C or C++), but there is a reasonable way it could be done with libffi. in C or C++), but there is a reasonable way it could be done with libffi.
@ -357,6 +356,7 @@
want the evaluator to be deterministic and safe, so FFI calls might be want the evaluator to be deterministic and safe, so FFI calls might be
banned anyway. banned anyway.
\end{itemize} \end{itemize}
\pause
\item Without quite some effort, Miri will probably never handle inline \item Without quite some effort, Miri will probably never handle inline
assembly... assembly...