Einsum analysis

• Analysis to derive a math expression representing a reduction in a fork-join.
• TODO: use egg to find matmuls.

juno_samples/matmul/src/sched.sch

-macro juno-setup!(X) {
-  gvn(X);
-  dce(X);
-  phi-elim(X);
-}
-
-macro default!(X) {
-  dce(X);
-  crc(X);
-  dce(X);
-  slf(X);
-  dce(X);
-  inline(X);
-  ip-sroa(X);
-  sroa(X);
-  phi-elim(X);
-  dce(X);
-  ccp(X);
-  dce(X);
-  gvn(X);
-  dce(X);
-  write-predication(X);
-  phi-elim(X);
-  dce(X);
-  crc(X);
-  dce(X);
-  slf(X);
-  dce(X);
-  predication(X);
-  dce(X);
-  ccp(X);
-  dce(X);
-  gvn(X);
-  dce(X);
-  lift-dc-math(X);
-  dce(X);
-  gvn(X);
-  dce(X);
-}
-
-macro codegen-prep!(X) {
-  verify(*);
-  ip-sroa(*);
-  sroa(*);
-  infer-schedules(X);
-  dce(X);
-  gcm(X);
-  dce(X);
-  phi-elim(X);
-  float-collections(X);
-  gcm(X);
-}
-
-juno-setup!(*);
-default!(*);
-// your stuff here.
-
-fixpoint stop after 13 {
-  forkify(*);
-  fork-guard-elim(*);
-  fork-coalesce(*);
-  phi-elim(*);
-  dce(*);
-}
-
-xdot[true](*);
-// serialize(*);
-
-fork-split(*);
-unforkify(*);
-
-gvn(*);
-dce(*);
-
-auto-outline(*);
-codegen-prep!(*);