aboutsummaryrefslogtreecommitdiffstats
path: root/ccomp_profiling/stats_prof_info.py
diff options
context:
space:
mode:
authorLéo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>2022-01-05 15:32:46 +0100
committerLéo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>2022-01-05 15:32:46 +0100
commit1749be90299633474d2acad39ec8c70df6ccab32 (patch)
tree0e1e6a0ca8dccfabb9688eb3ea5b94193223b1b2 /ccomp_profiling/stats_prof_info.py
parent7b5ea95586f59c14f64b76e02fb3443c5c1ef6b8 (diff)
downloadcompcert-kvx-1749be90299633474d2acad39ec8c70df6ccab32.tar.gz
compcert-kvx-1749be90299633474d2acad39ec8c70df6ccab32.zip
update from BTL dev branch
Diffstat (limited to 'ccomp_profiling/stats_prof_info.py')
-rwxr-xr-xccomp_profiling/stats_prof_info.py21
1 files changed, 21 insertions, 0 deletions
diff --git a/ccomp_profiling/stats_prof_info.py b/ccomp_profiling/stats_prof_info.py
new file mode 100755
index 00000000..dbc50996
--- /dev/null
+++ b/ccomp_profiling/stats_prof_info.py
@@ -0,0 +1,21 @@
+#!/bin/python
+
+import sys
+import pandas as pd
+
+# Reading and merging csv files
+df = pd.read_csv(sys.argv[1])
+df.rename(columns = {'ratio_cycles':'ratio_cycles1', 'ratio_time':'ratio_time1'}, inplace = True)
+for i in range(2, len(sys.argv)):
+ sdf = pd.read_csv(sys.argv[i])
+ sdf.rename(columns = {'ratio_cycles':('ratio_cycles'+str(i)), 'ratio_time':('ratio_time'+str(i))}, inplace = True)
+ df = df.merge(sdf, on="test_name", how="inner")
+
+indices=[]
+for idx, row in df.iterrows():
+ brow = row[1:].map(lambda x: x==0)
+ if brow.all():
+ indices.append(idx)
+df.drop(indices, inplace=True)
+
+df.to_csv("merged.csv")