diff options
author | 2017-11-10 18:13:59 -0500 | |
---|---|---|
committer | 2017-11-10 18:13:59 -0500 | |
commit | 1e5b0a76fadd9255a0ead47d1327c628160b01bd (patch) | |
tree | 52c1b30c660dfb0c30f329295b7b46b712b88bb8 /src/Specific/montgomery32_2e206m5 | |
parent | 6a335b31b69443cfe8ee46308eb94b299929c983 (diff) |
Update display logs and c files
Diffstat (limited to 'src/Specific/montgomery32_2e206m5')
-rw-r--r-- | src/Specific/montgomery32_2e206m5/feadd.c | 14 | ||||
-rw-r--r-- | src/Specific/montgomery32_2e206m5/feaddDisplay.log | 14 |
2 files changed, 14 insertions, 14 deletions
diff --git a/src/Specific/montgomery32_2e206m5/feadd.c b/src/Specific/montgomery32_2e206m5/feadd.c index 108156828..e6acc71b8 100644 --- a/src/Specific/montgomery32_2e206m5/feadd.c +++ b/src/Specific/montgomery32_2e206m5/feadd.c @@ -28,13 +28,13 @@ static void feadd(uint32_t out[7], const uint32_t in1[7], const uint32_t in2[7]) { uint32_t x65; uint8_t x66 = _subborrow_u32(x63, x44, 0xffffffff, &x65); { uint32_t x68; uint8_t x69 = _subborrow_u32(x66, x47, 0x3fff, &x68); { uint32_t _; uint8_t x72 = _subborrow_u32(x69, x48, 0x0, &_); - { uint32_t x73 = cmovznz(x72, x68, x47); - { uint32_t x74 = cmovznz(x72, x65, x44); - { uint32_t x75 = cmovznz(x72, x62, x41); - { uint32_t x76 = cmovznz(x72, x59, x38); - { uint32_t x77 = cmovznz(x72, x56, x35); - { uint32_t x78 = cmovznz(x72, x53, x32); - { uint32_t x79 = cmovznz(x72, x50, x29); + { uint32_t x73 = cmovznz32(x72, x68, x47); + { uint32_t x74 = cmovznz32(x72, x65, x44); + { uint32_t x75 = cmovznz32(x72, x62, x41); + { uint32_t x76 = cmovznz32(x72, x59, x38); + { uint32_t x77 = cmovznz32(x72, x56, x35); + { uint32_t x78 = cmovznz32(x72, x53, x32); + { uint32_t x79 = cmovznz32(x72, x50, x29); out[0] = x79; out[1] = x78; out[2] = x77; diff --git a/src/Specific/montgomery32_2e206m5/feaddDisplay.log b/src/Specific/montgomery32_2e206m5/feaddDisplay.log index f5fca0d88..f74236c7a 100644 --- a/src/Specific/montgomery32_2e206m5/feaddDisplay.log +++ b/src/Specific/montgomery32_2e206m5/feaddDisplay.log @@ -17,13 +17,13 @@ Interp-η uint32_t x65, uint8_t x66 = subborrow_u32(x63, x44, 0xffffffff); uint32_t x68, uint8_t x69 = subborrow_u32(x66, x47, 0x3fff); uint32_t _, uint8_t x72 = subborrow_u32(x69, x48, 0x0); - uint32_t x73 = cmovznz(x72, x68, x47); - uint32_t x74 = cmovznz(x72, x65, x44); - uint32_t x75 = cmovznz(x72, x62, x41); - uint32_t x76 = cmovznz(x72, x59, x38); - uint32_t x77 = cmovznz(x72, x56, x35); - uint32_t x78 = cmovznz(x72, x53, x32); - uint32_t x79 = cmovznz(x72, x50, x29); + uint32_t x73 = cmovznz32(x72, x68, x47); + uint32_t x74 = cmovznz32(x72, x65, x44); + uint32_t x75 = cmovznz32(x72, x62, x41); + uint32_t x76 = cmovznz32(x72, x59, x38); + uint32_t x77 = cmovznz32(x72, x56, x35); + uint32_t x78 = cmovznz32(x72, x53, x32); + uint32_t x79 = cmovznz32(x72, x50, x29); return (x73, x74, x75, x76, x77, x78, x79)) (x, x0)%core : word32 * word32 * word32 * word32 * word32 * word32 * word32 → word32 * word32 * word32 * word32 * word32 * word32 * word32 → ReturnType (uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t) |