diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-11-15 13:11:58 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-15 13:12:09 +0000 |
| commit | dade2eead7d1f8acf8bffe4cf278143d6052a50e (patch) | |
| tree | ae2666b5a00453504910dce77f066a4228401a5a /archive | |
| parent | 409308a05838e23c730b020fd89ae0c58960e1a9 (diff) | |
| download | oopsla21_fvhls-dade2eead7d1f8acf8bffe4cf278143d6052a50e.tar.gz oopsla21_fvhls-dade2eead7d1f8acf8bffe4cf278143d6052a50e.zip | |
More changes to algorithms
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. |