aboutsummaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2017-11-14 11:41:56 -0500
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2017-11-14 11:41:56 -0500
commit85a63f97f55b1381e8fe009a7f79f008e63c7197 (patch)
treed1151730f030bac445648e3d9f1a6b287e1c8c03 /etc
parent5e8c5a2253bc635e0ea89134c3b29e6c1104ebc6 (diff)
A small script for calculating speedup ratios from results
Diffstat (limited to 'etc')
-rwxr-xr-xetc/ratios.py19
1 files changed, 19 insertions, 0 deletions
diff --git a/etc/ratios.py b/etc/ratios.py
new file mode 100755
index 000000000..3748936f0
--- /dev/null
+++ b/etc/ratios.py
@@ -0,0 +1,19 @@
+#!/usr/bin/python3
+
+curves = {}
+
+try:
+ while True:
+ line = input()
+ curve, variant, time = line.split()
+ if curve not in curves:
+ curves[curve] = {}
+ curves[curve][variant] = time
+except EOFError:
+ pass
+
+for curve, variants in curves.items():
+ if 'fiat_solinas64' in variants and 'gmpvar64' in variants:
+ print(curve, float(variants['gmpvar64']) / float(variants['fiat_solinas64']))
+ if 'fiat_solinas32' in variants and 'gmpvar32' in variants:
+ print(curve, float(variants['gmpvar32']) / float(variants['fiat_solinas32']))