Skip to content
Snippets Groups Projects
Commit 91eeb3b7 authored by rarbore2's avatar rarbore2
Browse files

parallelize sum reduction in srad

parent e91a6a9e
No related branches found
No related tags found
1 merge request!224More opts
Pipeline #202087 failed
...@@ -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);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment