There seem to be some copy&paste errors in their NN-decompiled version in appendix F as well, which strikes me as odd. Their version (ii) cannot compile, since

There seem to be some copy&paste errors in their NN-decompiled version in appendix F as well, which strikes me as odd. Their version (ii) cannot compile, since the variable names don't match (e.g. they return "c" instead of "v3" and multiply by "b3" instead of "v3"). They did use x86-64 ISA as well, though without any optimisation enabled, i.e. "-O0" (see Table 5 in appendix D). I doubt those results are very useful in practice due to the complete lack of optimisation.