From 1c7fba06a2bcdf2d027ca23a939242ce3c71197c Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymh15@ic.ac.uk>
Date: Thu, 14 Jan 2021 13:43:33 +0000
Subject: Update on Overleaf.

---
 eval.tex | 19 +++++++++++++++++++
 main.tex |  4 ++--
 2 files changed, 21 insertions(+), 2 deletions(-)

diff --git a/eval.tex b/eval.tex
index 9046a15..fe8032b 100644
--- a/eval.tex
+++ b/eval.tex
@@ -56,6 +56,7 @@ Hence, we reduce many of the failing test-cases in an effort to identify unique
     Xilinx Vivado HLS v2019.1 & $\ge 2$\\
     LegUp HLS & $\ge 3$\\
     Intel i++ & $\ge 1$\\
+    Bambu HLS & $\ge 1$\\
     \bottomrule
   \end{tabular}
 \end{table}
@@ -163,6 +164,20 @@ int main() {
 \caption{Miscompilation bug in Intel i++.  It should return 2 because \code{3 \^{} 1 = 2}, however, Intel i++ returns 0 instead.}\label{fig:eval:intel:mismatch}
 \end{figure}
 
+\begin{figure}
+\begin{minted}{c}
+static int b = 0x10000;
+static volatile short a = 0;
+
+int result() {
+  a++;
+  b = (b >> 8) & 0x100;
+  return b;
+}
+\end{minted}
+\caption{Miscompilation bug in Bambu HLS.  As the value of \texttt{b} is shifted to the right by 8, the output should be \texttt{0x100}.  However, the actual output is 0 in Bambu.}\label{fig:eval:intel:mismatch}
+\end{figure}
+
 %\begin{example}[A miscompilation bug in Vivado HLS]
 
 %Figure~\ref{fig:eval:vivado:mismatch} shows code that should output \texttt{0xF}, but outputs \texttt{0x0} when compiled with Vivado HLS (all three versions).  
@@ -178,6 +193,10 @@ int main() {
 Figure~\ref{fig:eval:intel:mismatch} shows a miscompilation bug that was found in Intel i++.  Intel i++ does not seem to notice the assignment to 3 in the previous for loop, or tries to perform some optimisations that seem to analyse the array incorrectly and therefore results in a wrong value being returned.
 \end{example}
 
+\begin{example}[A miscompilation bug in Bambu HLS]
+
+\end{example}
+
 %%% Local Variables:
 %%% mode: latex
 %%% TeX-master: "main"
diff --git a/main.tex b/main.tex
index e6b62d2..2862f13 100644
--- a/main.tex
+++ b/main.tex
@@ -10,7 +10,7 @@
 \usepackage{graphicx}
 \usepackage{siunitx}
 \usepackage{minted}
-\setminted{baselinestretch=1, numbersep=5pt, xleftmargin=9pt, linenos}
+\setminted{baselinestretch=1, numbersep=5pt, xleftmargin=9pt, linenos, fontsize=\small}
 \usepackage{amsthm}
 \usepackage{pgfplots}
 \usepackage{tikz}
@@ -40,7 +40,7 @@
 
 \begin{document}
 
-\title{Fuzzing High-Level Synthesis Tools}
+\title{An Empirical Study of the Reliability \\ of High-Level Synthesis Tools}
 
 \ifBLIND
 \author{Blind review}
-- 
cgit