diff options
Diffstat (limited to 'src/Specific/NISTP256/AMD64/fenzDisplay.log')
-rw-r--r-- | src/Specific/NISTP256/AMD64/fenzDisplay.log | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/Specific/NISTP256/AMD64/fenzDisplay.log b/src/Specific/NISTP256/AMD64/fenzDisplay.log new file mode 100644 index 000000000..399df24d4 --- /dev/null +++ b/src/Specific/NISTP256/AMD64/fenzDisplay.log @@ -0,0 +1,10 @@ +λ x : word64 * word64 * word64 * word64, +Interp-η +(λ var : Syntax.base_type → Type, + λ '(x5, x6, x4, x2)%core, + uint64_t x7 = x6 | x5; + uint64_t x8 = x4 | x7; + uint64_t x9 = x2 | x8; + return x9) +x + : word64 * word64 * word64 * word64 → ReturnType uint64_t |