From 31587ff8bb6057dfb9b12d6a2e4e3289e71d2c5c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Tue, 6 Nov 2018 12:28:17 +0100
Subject: [PATCH] Finish "a real bug"

---
 slides.tex | 34 ++++++++++++++++++++++++++--------
 1 file changed, 26 insertions(+), 8 deletions(-)

diff --git a/slides.tex b/slides.tex
index 19d81be..aa0b2bc 100644
--- a/slides.tex
+++ b/slides.tex
@@ -13,6 +13,7 @@
 \usepackage{ifthen}
 \usepackage{colortbl}
 \usepackage{tabularx}
+\usepackage{pifont}
 
 \usepackage{texlib/my_listings}
 \usepackage{texlib/specific}
@@ -38,6 +39,9 @@
     {}
     {\Roman{section}~-- \insertsection}}
 
+\newcommand{\cmark}{\color{OliveGreen}\ding{52}}
+\newcommand{\xmark}{\color{BrickRed}\ding{56}}
+
 \AtBeginSection[]{
     \begin{frame}
         \vfill
@@ -450,18 +454,27 @@ $1 = 84
 \renewcommand{\tblrowval}[5]{#1 & #2 & #3 & #4 & #5 \\}
 \begin{frame}{A real bug!}
 
-    \begin{columns}[T]
+    \begin{columns}[c]
         \column{0.7\textwidth}
         \begin{align*}
-            \only<2->{\textbf{Abstract state} \qquad &
-                \left[\texttt{0xFFFF1000}\right]\\}
-            \only<3->{\reg{rsp} \qquad &
-                \texttt{0xFFFF1000}}
+            \onslide<2->{\textbf{Abstract state} \qquad &
+                \left[\texttt{0xFFFF1000}\right]} \\
+            \onslide<3->{\reg{rsp} \qquad & %
+                ~\,\texttt{%
+                    \only<3-4>{0xFFFF1000}%
+                    \only<5-8>{0xFFFF0FF8}%
+                    \only<9->{0xFFFF1000}%
+                }
+            }
         \end{align*}
 
         \column{0.3\textwidth}
-        Blah ?
-            % Add check - cross
+        {\vspace{-4mm}\bf \fontsize{2cm}{5.5cm}\selectfont %
+            \only<4>{\cmark}%
+            \only<6>{\cmark}%
+            \only<8>{\cmark}%
+            \only<10->{\xmark}%
+        }
     \end{columns}
 
 
@@ -483,10 +496,15 @@ $1 = 84
 \tblrowval{}{[\ldots]}{}{}{}
 \tblrowval{}{}{}{}{}
 \rowonly<7-8>{\tblhl{}} \tblrowval{40061d}{pop}{\%rbx}{rsp+16}{c-8}
-\rowonly<9-10>{\tblhl{}} \tblrowval{40061e}{retq}{}{rsp+16}{c-8}
+\rowonly<9->{\tblhl{}} \tblrowval{40061e}{retq}{}{rsp+16}{c-8}
         \end{tabularx}
     \end{table}
 
+    \begin{center}
+        \bf\Large %
+        \onslide<11>{$\leadsto$ LLVM bug \#13161}
+    \end{center}
+
 \end{frame}
 
 \begin{frame}{TODO}