ci: report embedded CoreMark/MHz score (#1710)

This commit is contained in:
Côme 2023-12-14 13:29:31 +01:00 committed by GitHub
parent 6e41bc8b52
commit 4e3f470a75
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -24,10 +24,12 @@ valid_cycles = {
for arg in sys.argv[1:]:
if arg == '--dhrystone':
mode = 'dhrystone'
# Standard value for Dhrystone
iterations = 500
elif arg == '--coremark':
mode = 'coremark'
# Too few iterations to consider a score
# Defined in verif/regress/coremark.sh
iterations = 2
else:
path = arg
@ -54,6 +56,8 @@ if iterations is not None:
if mode == 'dhrystone':
score_metric.add_value('Dhrystone/MHz', ipmhz)
score_metric.add_value('DMIPS/MHz', ipmhz / 1757)
if mode == 'coremark':
score_metric.add_value('CoreMark/MHz', ipmhz)
diff = cycles - valid_cycles[mode]
if diff != 0: