diff options
Diffstat (limited to 'archive')
-rw-r--r-- | archive/algorithm.tex | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/archive/algorithm.tex b/archive/algorithm.tex index 9db0262..fe4cb10 100644 --- a/archive/algorithm.tex +++ b/archive/algorithm.tex @@ -1,3 +1,7 @@ +It is therefore important to find the right intermediate language \JW{You already said `crucial to know where to branch off' so this feels repetitive} so that the HLS tool still benefits from many of the generic optimisations that \compcert{} performs, but does not receive the code transformations that are specific to CPU architectures. + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + \section{Turning CompCert into an HLS tool} %% Should maybe go in the introduction instead. |