Skip to content
Snippets Groups Projects

More opts

Merged rarbore2 requested to merge more_opts8 into main
1 file
+ 15
1
Compare changes
  • Side-by-side
  • Inline
@@ -28,14 +28,28 @@ fixpoint {
@@ -28,14 +28,28 @@ fixpoint {
fork-guard-elim(*);
fork-guard-elim(*);
fork-coalesce(*);
fork-coalesce(*);
}
}
 
fork-dim-merge(loop1);
simpl!(*);
simpl!(*);
fork-interchange[0, 1](loop1);
reduce-slf(*);
reduce-slf(*);
simpl!(*);
simpl!(*);
slf(*);
slf(*);
simpl!(*);
simpl!(*);
if !feature("seq") {
if !feature("seq") {
 
fork-tile[32, 0, false, false](loop1);
 
simpl!(loop1);
 
let split = fork-split(loop1);
 
simpl!(loop1);
 
clean-monoid-reduces(loop1);
 
let loop1_body = outline(split.srad_0.fj1);
 
simpl!(loop1, loop1_body);
 
unforkify(loop1_body);
 
let fission = fork-fission[split.srad_0.fj0](loop1);
 
simpl!(loop1, loop1_body);
 
unforkify(fission.srad_0.fj_bottom);
 
simpl!(loop1, loop1_body);
 
loop1 = loop1_body;
 
fork-tile[32, 0, false, false](loop2);
fork-tile[32, 0, false, false](loop2);
let split = fork-split(loop2);
let split = fork-split(loop2);
let loop2_body = outline(split.srad_1.fj1);
let loop2_body = outline(split.srad_1.fj1);
Loading