diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-26 00:34:25 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-06-26 10:02:10 -0400 |
| commit | f62bef93643b856d4c51d6883f868b291e570609 (patch) | |
| tree | 3bf496789adff6fb3d7fd3fe1bca5493acd5f516 /src | |
| parent | 689bd71a2a5afd5ce652ff123252f163f5047b74 (diff) | |
make display
Diffstat (limited to 'src')
| -rw-r--r-- | src/Specific/IntegrationTestMontgomeryP256_128_NonzeroDisplay.log | 8 | ||||
| -rw-r--r-- | src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_NonzeroDisplay.log | 10 |
2 files changed, 18 insertions, 0 deletions
diff --git a/src/Specific/IntegrationTestMontgomeryP256_128_NonzeroDisplay.log b/src/Specific/IntegrationTestMontgomeryP256_128_NonzeroDisplay.log new file mode 100644 index 000000000..e9a2afeb3 --- /dev/null +++ b/src/Specific/IntegrationTestMontgomeryP256_128_NonzeroDisplay.log @@ -0,0 +1,8 @@ +λ x : word128 * word128, +Interp-η +(λ var : Syntax.base_type → Type, + λ '(x1, x2)%core, + uint128_t x3 = x2 | x1; + return x3) +x + : word128 * word128 → ReturnType uint128_t diff --git a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_NonzeroDisplay.log b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_NonzeroDisplay.log new file mode 100644 index 000000000..399df24d4 --- /dev/null +++ b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_NonzeroDisplay.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 |