Skip to content
Snippets Groups Projects

Set up cava benchmark

Merged rarbore2 requested to merge cava_opt_3 into main
1 file
+ 3
3
Compare changes
  • Side-by-side
  • Inline
@@ -117,9 +117,9 @@ fixpoint {
simpl!(fuse4);
array-slf(fuse4);
simpl!(fuse4);
fork-tile[2, 0, false, true](fuse4@channel_loop);
fork-split(fuse4@channel_loop);
clean-monoid-reduces(fuse4);
//fork-tile[2, 0, false, true](fuse4@channel_loop);
//fork-split(fuse4@channel_loop);
//clean-monoid-reduces(fuse4);
no-memset(fuse5@res1);
no-memset(fuse5@res2);
Loading