From 60cacce5d0cf33a4a790ca230447cdab0bcb53d5 Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Fri, 11 Dec 2020 08:55:13 +0100 Subject: generate-dfa-benchmark: allow arch-flags to be overridden --- bin/generate-dfa-benchmark.py | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index 3e3454e..958a30c 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -429,6 +429,7 @@ if __name__ == "__main__": optspec = ( "accounting= " "arch= " + "arch-flags= " "app= " "data= " "depth= " @@ -454,6 +455,11 @@ if __name__ == "__main__": if "app" not in opt: opt["app"] = "aemr" + if "arch-flags" in opt: + opt["arch-flags"] = opt["arch-flags"].split(",") + else: + opt["arch-flags"] = list() + if "depth" in opt: opt["depth"] = int(opt["depth"]) else: @@ -522,8 +528,9 @@ if __name__ == "__main__": sys.exit(2) if "msp430fr" in opt["arch"]: - # target = runner.Arch(opt["arch"], ["cpu_freq=8000000", "with_hfxt=1"]) - target = runner.Arch(opt["arch"], ["cpu_freq=8000000"]) + if len(opt["arch-flags"]) == 0: + opt["arch-flags"] = ["cpu-freq=8000000"] + target = runner.Arch(opt["arch"], opt["arch-flags"]) else: target = runner.Arch(opt["arch"]) -- cgit v1.2.3