diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-07-02 14:56:18 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-07-02 14:56:18 -0400 |
| commit | 448af3b44af491738b83a6084161e414d6522cdf (patch) | |
| tree | 86b72604a76907bf899fe2dfd1b6eb6052beec54 /src/Specific/IntegrationTestFreezeDisplay.log | |
| parent | 3d68aed25ad74971d68ade7c5921560c97c04f3d (diff) | |
| parent | f14251aa309f85d08c8f10bd46f3f7b856d25909 (diff) | |
Merge branch 'use-cmovznz' of https://github.com/JasonGross/fiat-crypto
Diffstat (limited to 'src/Specific/IntegrationTestFreezeDisplay.log')
| -rw-r--r-- | src/Specific/IntegrationTestFreezeDisplay.log | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/IntegrationTestFreezeDisplay.log b/src/Specific/IntegrationTestFreezeDisplay.log index 471c997c7..9cf04d26f 100644 --- a/src/Specific/IntegrationTestFreezeDisplay.log +++ b/src/Specific/IntegrationTestFreezeDisplay.log @@ -7,7 +7,7 @@ Interp-η uint64_t x16, uint8_t x17 = subborrow_u51(x14, x6, 0x7ffffffffffff); uint64_t x19, uint8_t x20 = subborrow_u51(x17, x8, 0x7ffffffffffff); uint64_t x22, uint8_t x23 = subborrow_u51(x20, x7, 0x7ffffffffffff); - uint64_t x24 = (uint64_t) (x23 == 0 ? 0x0 : 0xffffffffffffffffL); + uint64_t x24 = (uint64_t)cmovznz(x23, 0x0, 0xffffffffffffffffL); uint64_t x25 = x24 & 0x7ffffffffffed; uint64_t x27, uint8_t x28 = addcarryx_u51(0x0, x10, x25); uint64_t x29 = x24 & 0x7ffffffffffff; |