bpp perforate2.sh

perforate2.sh

@@ -2,9 +2,11 @@
 
 CLAN=/home/daniel/polyhedral_perforation/clan-0.8.0/clan
 PERF=./build/perf2
+BPP=./build/bpp
 CLOOG=/home/daniel/polyhedral_perforation/pluto/cloog-isl/cloog
 PLUTO=/home/daniel/polyhedral_perforation/pluto/polycc
 
+# FIXME: update usage to reflect all options
 usage() {
     printf -- "%s: <OPTIONS>\n" "$0"
     printf -- "perforate program\n\n"
@@ -12,6 +14,7 @@ usage() {
     printf -- "-o, --output FILE   output file\n"
     printf -- "-e, --extract       extract scop\n"
     printf -- "-p, --perforate     perforate scop\n"
+    printf -- "-b, --bpp SCOP      compute perforation pattern using BPP\n"
     printf -- "-g, --generate      generate perforated program\n"
     printf -- "-s, --statement     statement to perforate\n"
     printf -- "-l, --level         level to perforate\n"
@@ -25,6 +28,10 @@ perforate() {
     $PERF "$1" "$2" "$3" "$4"
 }
 
+bpp() {
+    $BPP "$1" "$2" "$3"
+}
+
 generate() {
     $CLOOG -openscop "$1" > "$2"
 }
@@ -54,6 +61,11 @@ while true; do
         -p|--perforate)
             cmd=perforate
             ;;
+        -b|--bpp)
+            cmd=bpp
+            shift
+            output_scop="$1"
+            ;;
         -g|--generate)
             cmd=generate
             ;;
@@ -103,6 +115,33 @@ case "$cmd" in
         done
         cat "$perfin" > "$output"
         rm "$perfin" "$perfout"
+        ;;
+    bpp)
+        xx="$output_scop"
+        tmp_file="$(mktemp)"
+        echo "$output_scop" > "$tmp_file"
+
+        timeout 2 tail -f "$tmp_file" |
+            while read x y; do
+                echo processing $x $y
+                bpp "$input" "$x" "$y" >> $tmp_file
+            done
+
+        perfin="$(mktemp)"
+        perfout="$(mktemp)"
+        cat "$input" > "$perfin"
+
+        sort "$tmp_file" | uniq | while read s l; do
+            echo perforating "$perfin" "$perfout" "$s" "$l"
+            perforate "$perfin" "$perfout" "$s" "$l"
+            tmp="$perfin"
+            perfin="$perfout"
+            perfout="$tmp"
+            # we write the output in every iteration because we are in a subshell!
+            cat "$perfin" > "$output"
+        done
+        rm "$perfin" "$perfout" "$tmp_file"
+
         ;;
     generate)
         generate "$input" "$output"