Towards benchmarking against perses, picireny

langston-barrett · Nov 10, 2022 · 290961c · 290961c
1 parent f53208c
commit 290961c
Show file tree

Hide file tree

Showing 14 changed files with 1,053 additions and 38 deletions.
diff --git a/.gitignore b/.gitignore
@@ -13,5 +13,8 @@ treereduce-tmp-*
 # Byproducts of benchmarks
 /perf.data
 /perf.data.old
-*.svg
-*.ipynb
+/*.svg
+# Perses
+/perses-1.5.jar
+/*.orig
+/perses_result*/
diff --git a/clang-perses.sh b/clang-perses.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+clang -o /dev/null "${1:-bench.c}" > /dev/null 2>&1
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		#!/bin/sh

		clang -o /dev/null "${1:-bench.c}" > /dev/null 2>&1