From bd354bfe990e10689a89d16bf31f2caa43507364 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Fri, 6 Dec 2024 12:48:21 +0100
Subject: [PATCH] Slide on points-to analysis (maybe not quite done)

---
 slides/50_staticdeps/main.tex | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/slides/50_staticdeps/main.tex b/slides/50_staticdeps/main.tex
index 48e2fa4..53a5751 100644
--- a/slides/50_staticdeps/main.tex
+++ b/slides/50_staticdeps/main.tex
@@ -228,6 +228,7 @@ int fibo(int* F, int n) {
 \begin{frame}{Evaluation: coverage}
     \begin{itemize}
         \item Baseline: instrumentation (extract deps at runtime)
+        \item Filter \textit{long-distance dependencies} ($> \card{\text{ROB}}$)
         \item On all \cesasme{} benchmarks
     \end{itemize}
     \begin{minipage}{0.4\textwidth}
@@ -257,6 +258,27 @@ int fibo(int* F, int n) {
     \end{center}
 \end{frame}
 
+\begin{frame}{Evaluation: \textit{points-to} analysis}
+    \begin{itemize}
+        \item Quantify whether $\exists p, q \in \text{context}$ pointing to
+            the \alert{same memory region} (``points-to'')
+        \item Proxy: if $i_0 \to i_1$, then $q \in i_1$ aliases $p \in i_0$
+        \item If $p = q$, we should catch it
+        \item If not: either \emph{long-distance} with $p=q$, or \alert{$p \neq
+            q$}!
+        \item[$\leadsto$] Keep long-distance dependencies; evaluate coverage on this
+    \end{itemize}
+    \begin{center}
+        \begin{tabular}{r r}
+            \toprule
+            $\cov_u$ (\%) & $\cov_w$ (\%) \\
+            \midrule
+            \alert{95.0} & \alert{93.7} \\
+            \bottomrule
+        \end{tabular}
+    \end{center}
+\end{frame}
+
 \begin{frame}{Evaluation: use in \uica}
   \begin{columns}
     \column{\dimexpr\paperwidth-8pt}