perforate.sh: integrate pluto

perforate.sh

@@ -3,6 +3,7 @@
 CLAN=/home/daniel/polyhedral_perforation/clan-0.8.0/clan
 PERF=./build/perf2
 CLOOG=/home/daniel/polyhedral_perforation/pluto/cloog-isl/cloog
+PLUTO=/home/daniel/polyhedral_perforation/pluto/polycc
 
 usage() {
     printf -- "%s: <OPTIONS> <INPUT>\n" "$0"
@@ -14,7 +15,7 @@ usage() {
     printf -- "-g, --generate      generate perforated program\n"
     printf -- "-s, --statement     statement to perforate\n"
     printf -- "-l, --level         level to perforate\n"
-
+    printf -- "-P, --pluto         run pluto\n"
 }
 
 extract_scop() {
@@ -26,7 +27,8 @@ perforate() {
 }
 
 run_pluto() {
-    $PL
+    # FIXME: what pluto options should be used?
+    $PLUTO -o "$2" "$1"
 }
 
 generate() {
@@ -48,6 +50,7 @@ while true; do
             cmd_extract=yes
             cmd_perforate=yes
             cmd_generate=yes
+            cmd_pluto=yes
             ;;
         -e|--extract)
             cmd_extract=yes
@@ -70,6 +73,9 @@ while true; do
             shift
             level="$1"
             ;;
+        -P|--pluto)
+            cmd_pluto=yes
+            ;;
         *)
             break
     esac
@@ -80,6 +86,7 @@ input_src=$1
 
 scop="$input_src.openscop"
 perforated="$input_src.perf.openscop"
+pluto_input="${input_src}_pluto_input.c"
 
 
 if [ "$input_src" = "" ]; then
@@ -107,7 +114,12 @@ if [ "$cmd_perforate" = "yes" ]; then
 fi
 
 if [ "$cmd_generate" = "yes" ]; then
-    generate "$perforated" "$output_src"
+    generate "$perforated" "$pluto_input"
+fi
+
+if [ "$cmd_pluto" = "yes" ]; then
+    printf "running pluto on %s output %s\n" "$pluto_input" "$output_src"
+    run_pluto "$pluto_input" "$output_src"
 fi
 
 printf "input is \"%s\" output is \"%s\"\n" "$input_src" "$output_src"