From e85e4794e7e0fa1c44d404ef957365f790b2c5a0 Mon Sep 17 00:00:00 2001 From: Yi Date: Wed, 30 Aug 2023 17:53:13 -0400 Subject: [PATCH] add some comments --- benchmarks/core/mod_inv.bril | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/benchmarks/core/mod_inv.bril b/benchmarks/core/mod_inv.bril index 14463fa2b..f5ee57cf6 100644 --- a/benchmarks/core/mod_inv.bril +++ b/benchmarks/core/mod_inv.bril @@ -63,6 +63,9 @@ ret v6; } +# ts2bril inv.ts | bril2txt | tail +3 | sed -E 's/float/int/g' | sed -E 's/fgt/gt/g' > inv.bril +# generated by typescript code below: +# # function main(n: bigint, p: bigint) { # var two: bigint = 2; # var m: bigint = p - two; @@ -82,4 +85,6 @@ # function mod(n: bigint, p: bigint): bigint { # return n - n / p * p; # } +# +