diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2022-01-05 15:32:46 +0100 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2022-01-05 15:32:46 +0100 |
commit | 1749be90299633474d2acad39ec8c70df6ccab32 (patch) | |
tree | 0e1e6a0ca8dccfabb9688eb3ea5b94193223b1b2 /ccomp_profiling/stats_prof_info.py | |
parent | 7b5ea95586f59c14f64b76e02fb3443c5c1ef6b8 (diff) | |
download | compcert-kvx-1749be90299633474d2acad39ec8c70df6ccab32.tar.gz compcert-kvx-1749be90299633474d2acad39ec8c70df6ccab32.zip |
update from BTL dev branch
Diffstat (limited to 'ccomp_profiling/stats_prof_info.py')
-rwxr-xr-x | ccomp_profiling/stats_prof_info.py | 21 |
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") |