Sequential schedules

• Add feature to benchmarks to use sequential (single core) schedules in CPU schedules.

juno_samples/cava/src/cpu.sch

@@ -113,14 +113,18 @@ fixpoint {
 simpl!(fuse4);
 array-slf(fuse4);
 simpl!(fuse4);
-let par = fuse4@image_loop \ fuse4@channel_loop;
-fork-tile[4, 1, false, false](par);
-fork-tile[8, 0, false, false](par);
-fork-interchange[1, 2](par);
-let split = fork-split(par);
-let fuse4_body = outline(split.cava_3.fj2);
-fork-coalesce(fuse4, fuse4_body);
-simpl!(fuse4, fuse4_body);
+
+if !feature("seq") {
+  let par = fuse4@image_loop \ fuse4@channel_loop;
+  fork-tile[4, 1, false, false](par);
+  fork-tile[8, 0, false, false](par);
+  fork-interchange[1, 2](par);
+  let split = fork-split(par);
+  let fuse4_body = outline(split.cava_3.fj2);
+  fork-coalesce(fuse4, fuse4_body);
+  simpl!(fuse4, fuse4_body);
+  fuse4 = fuse4_body;
+}
 
 no-memset(fuse5@res1);
 no-memset(fuse5@res2);
@@ -136,8 +140,8 @@ simpl!(fuse5);
 delete-uncalled(*);
 simpl!(*);
 
-fork-split(fuse1, fuse2, fuse3, fuse4_body, fuse5);
-unforkify(fuse1, fuse2, fuse3, fuse4_body, fuse5);
+fork-split(fuse1, fuse2, fuse3, fuse4, fuse5);
+unforkify(fuse1, fuse2, fuse3, fuse4, fuse5);
 
 simpl!(*);