Skip to content
Snippets Groups Projects

More optimizations

Merged rarbore2 requested to merge more_opt3 into main
1 file
+ 8
3
Compare changes
  • Side-by-side
  • Inline
@@ -40,10 +40,15 @@ let split = fork-split(loop2);
@@ -40,10 +40,15 @@ let split = fork-split(loop2);
let loop2_body = outline(split.srad_1.fj1);
let loop2_body = outline(split.srad_1.fj1);
simpl!(loop2, loop2_body);
simpl!(loop2, loop2_body);
inline(srad@loop2);
fork-tile[32, 0, false, false](loop3);
 
let split = fork-split(loop3);
 
let loop3_body = outline(split.srad_2.fj1);
 
simpl!(loop3, loop3_body);
 
 
inline(srad@loop2, srad@loop3);
delete-uncalled(*);
delete-uncalled(*);
fork-split(extract, compress, loop1, loop2_body, loop3);
fork-split(extract, compress, loop1, loop2_body, loop3_body);
unforkify(extract, compress, loop1, loop2_body, loop3);
unforkify(extract, compress, loop1, loop2_body, loop3_body);
gcm(*);
gcm(*);
Loading