diff options
author | Jason Gross <jgross@mit.edu> | 2017-11-14 09:41:48 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-11-14 09:41:48 -0500 |
commit | 1b1211897b79e0b59ac5c669680bfd3971fee1fc (patch) | |
tree | 3d428a40f0403dfc0cdd96b9cee69b68e8fa877b /src/Specific/montgomery32_2e468m17_15limbs | |
parent | 7fa412fe3696eaf3c96d05ea095e8394e07036c6 (diff) |
Update display logs and c files
Diffstat (limited to 'src/Specific/montgomery32_2e468m17_15limbs')
-rw-r--r-- | src/Specific/montgomery32_2e468m17_15limbs/fenz.c | 33 | ||||
-rw-r--r-- | src/Specific/montgomery32_2e468m17_15limbs/fenzDisplay.log | 21 |
2 files changed, 54 insertions, 0 deletions
diff --git a/src/Specific/montgomery32_2e468m17_15limbs/fenz.c b/src/Specific/montgomery32_2e468m17_15limbs/fenz.c new file mode 100644 index 000000000..d66853caf --- /dev/null +++ b/src/Specific/montgomery32_2e468m17_15limbs/fenz.c @@ -0,0 +1,33 @@ +static void fenz(ReturnType uint32_t out[1], const uint32_t in1[15]) { + { const uint32_t x27 = in1[14]; + { const uint32_t x28 = in1[13]; + { const uint32_t x26 = in1[12]; + { const uint32_t x24 = in1[11]; + { const uint32_t x22 = in1[10]; + { const uint32_t x20 = in1[9]; + { const uint32_t x18 = in1[8]; + { const uint32_t x16 = in1[7]; + { const uint32_t x14 = in1[6]; + { const uint32_t x12 = in1[5]; + { const uint32_t x10 = in1[4]; + { const uint32_t x8 = in1[3]; + { const uint32_t x6 = in1[2]; + { const uint32_t x4 = in1[1]; + { const uint32_t x2 = in1[0]; + { uint32_t x29 = (x28 | x27); + { uint32_t x30 = (x26 | x29); + { uint32_t x31 = (x24 | x30); + { uint32_t x32 = (x22 | x31); + { uint32_t x33 = (x20 | x32); + { uint32_t x34 = (x18 | x33); + { uint32_t x35 = (x16 | x34); + { uint32_t x36 = (x14 | x35); + { uint32_t x37 = (x12 | x36); + { uint32_t x38 = (x10 | x37); + { uint32_t x39 = (x8 | x38); + { uint32_t x40 = (x6 | x39); + { uint32_t x41 = (x4 | x40); + { uint32_t x42 = (x2 | x41); + out[0] = x42; + }}}}}}}}}}}}}}}}}}}}}}}}}}}}} +} diff --git a/src/Specific/montgomery32_2e468m17_15limbs/fenzDisplay.log b/src/Specific/montgomery32_2e468m17_15limbs/fenzDisplay.log new file mode 100644 index 000000000..8907c292b --- /dev/null +++ b/src/Specific/montgomery32_2e468m17_15limbs/fenzDisplay.log @@ -0,0 +1,21 @@ +λ x : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32, +Interp-η +(λ var : Syntax.base_type → Type, + λ '(x27, x28, x26, x24, x22, x20, x18, x16, x14, x12, x10, x8, x6, x4, x2)%core, + uint32_t x29 = (x28 | x27); + uint32_t x30 = (x26 | x29); + uint32_t x31 = (x24 | x30); + uint32_t x32 = (x22 | x31); + uint32_t x33 = (x20 | x32); + uint32_t x34 = (x18 | x33); + uint32_t x35 = (x16 | x34); + uint32_t x36 = (x14 | x35); + uint32_t x37 = (x12 | x36); + uint32_t x38 = (x10 | x37); + uint32_t x39 = (x8 | x38); + uint32_t x40 = (x6 | x39); + uint32_t x41 = (x4 | x40); + uint32_t x42 = (x2 | x41); + return x42) +x + : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → ReturnType uint32_t |