diff options
author | Yann Herklotz <ymh15@ic.ac.uk> | 2021-01-14 13:43:33 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2021-01-17 12:07:40 +0000 |
commit | 1c7fba06a2bcdf2d027ca23a939242ce3c71197c (patch) | |
tree | 352e0e8bdbc450ff9c6d38f808dfd3ccdca2ad23 | |
parent | a5249eb597549437802d2ed852919e5b9a923840 (diff) | |
download | fccm21_esrhls-1c7fba06a2bcdf2d027ca23a939242ce3c71197c.tar.gz fccm21_esrhls-1c7fba06a2bcdf2d027ca23a939242ce3c71197c.zip |
Update on Overleaf.
-rw-r--r-- | eval.tex | 19 | ||||
-rw-r--r-- | main.tex | 4 |
2 files changed, 21 insertions, 2 deletions
@@ -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" @@ -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} |