| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
| |
This reverts commit da4ff396cc5d5e0ff21f9ecbc2f951c048c63fff and adds
some optimizations to hacl64.
|
|
|
|
|
|
|
|
|
|
| |
For now, it's faster:
hacl64: 109782 cycles per call
fiat64: 108984 cycles per call
It's quite possible this commit will be reverted with nice changes from
INRIA, though.
|
|
|
|
|
|
|
|
|
|
|
| |
While this has a negative performance impact on x86_64, it has a
positive performance impact on smaller machines, which is where we're
actually using this code. For example, an A53:
Before:
fiat32: 228605 cycles per call
After:
fiat32: 188307 cycles per call
|
|
|