add bufferize test

juno_samples/fork_join_tests/src/cpu.sch

@@ -12,6 +12,7 @@ cpu(out.test3);
 cpu(out.test4);
 cpu(out.test5);
 
+
 ip-sroa(*);
 sroa(*);
 dce(*);
@@ -42,14 +43,21 @@ gvn(*);
 phi-elim(*);
 dce(*);
 
+xdot[true](*);
+fork-fission-bufferize(test7@loop, test7@bufferize1, test7@bufferize2, test7@bufferize3, test7@bufferize4);
 fork-tile[32, 0, true](test6@loop);
 let out = fork-split(test6@loop);
 //let out = outline(out.test6.fj1);
+
+let out7 = auto-outline(test7);
+cpu(out7.test7);
+
 let out = auto-outline(test6);
 cpu(out.test6);
 ip-sroa(*);
 sroa(*);
 unforkify(out.test6);
+unforkify(out7.test7);
 dce(*);
 ccp(*);
 gvn(*);

juno_samples/fork_join_tests/src/fork_join_tests.jn

@@ -81,3 +81,16 @@ fn test6(input: i32) -> i32[1024] {
   }
   return arr;
 }
+
+#[entry]
+fn test7(input : i32) -> i32[8] {
+  let arr : i32[8];
+  @loop for i = 0 to 8 {
+    @bufferize1 let a = arr[i];
+    @bufferize2 let b = a + arr[7-i];
+    @bufferize3 let c = b * i as i32;
+    @bufferize4 let d = c;
+    arr[i] = d;
+  }
+  return arr;
+}
\ No newline at end of file