diff options
| author |  Andres Erbsen <andreser@google.com> | 2017-10-26 17:04:04 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@google.com> | 2017-10-26 17:04:04 -0400 |
| commit | 3b640f9b8ba8347302a195c8cbfcd7f718c5ac10 (patch) | |
| tree | 5905c376cfe4c7e97f46fd17bfe53039553ad137 /src | |
| parent | 94ac476a077c0443077c47d327a1ec494a3206d8 (diff) | |
check in p384 generated code
Diffstat (limited to 'src')
| -rw-r--r-- | src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/fenzDisplay.log | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/fenzDisplay.log b/src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/fenzDisplay.log index 2a7474647..f39f1d91b 100644 --- a/src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/fenzDisplay.log +++ b/src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/fenzDisplay.log @@ -9,16 +9,4 @@ Interp-η uint64_t x15 = (x2 | x14); return x15) x - : word64 * word64 * word64 * word64 * word64 * word64 → ReturnType (Tbase match (if match match (let (lower, _) := Synthesis.P.bound1 in - lower) with - | 0%Z => Eq - | Z.pos _ => Lt - | Z.neg _ => Gt - end with - | Eq => true - | Lt => true - | Gt => false - end then Some 6 else None) with - | Some lgsz => Syntax.TWord lgsz - | None => Syntax.TZ - end) + : word64 * word64 * word64 * word64 * word64 * word64 → ReturnType uint64_t |