Skip to content
Snippets Groups Projects

More optimizations

Merged rarbore2 requested to merge more_opt3 into main
1 file
+ 1
3
Compare changes
  • Side-by-side
  • Inline
@@ -48,10 +48,8 @@ let traverse_body = outline(inner);
@@ -48,10 +48,8 @@ let traverse_body = outline(inner);
let (outer, inner) = fork-reshape[[1], [0]](collect);
let (outer, inner) = fork-reshape[[1], [0]](collect);
let collect_body = outline(inner);
let collect_body = outline(inner);
inline(bfs);
delete-uncalled(*);
const-inline(*);
const-inline(*);
simpl!(*);
simpl!(*);
unforkify(init_body, traverse_body, collect_body);
unforkify(init_body, traverse_body, collect_body);
gcm(*);
gcm(*);
 
\ No newline at end of file
Loading