From 863be41d191e4f0019e57ef67341a2bc412c645d Mon Sep 17 00:00:00 2001
From: Jason Hiser <jdh8d@virginia.edu>
Date: Thu, 1 Nov 2018 09:58:16 -0400
Subject: [PATCH] added rida configs, including p1 and stack stamp
Former-commit-id: 08e1536b489bd5a2af44d12515c0972953cd4476
---
cpp-examples/testit.sh | 13 +++++++++++--
1 file changed, 11 insertions(+), 2 deletions(-)
diff --git a/cpp-examples/testit.sh b/cpp-examples/testit.sh
index aaf50e6ce..32c8e7b71 100755
--- a/cpp-examples/testit.sh
+++ b/cpp-examples/testit.sh
@@ -63,14 +63,23 @@ doit_meta()
main()
{
+ local rida_flags="-c rida=on -s meds_static=off "
+ local ss_flags="-c stack_stamp=on"
+ local p1_flags="-c p1transform=on"
for src in $src_files
do
for option in -O0 -O1 -O2 -O3 -Os -Og
do
+ # stars/ida
doit_meta $src "$option" ""
- #doit_meta $src "$option" "--step p1transform=on"
- #doit_meta $src "$option" "--step stack_stamp=on"
+ doit_meta $src "$option" "$p1_flags"
+ doit_meta $src "$option" "$ss_flags"
+
+ #rida
+ doit_meta $src "$option" "$rida_flags "
+ doit_meta $src "$option" "$rida_flags $p1_flags"
+ doit_meta $src "$option" "$rida_flags $ss_flags"
done
done
}
--
GitLab