This eliminates most selects

81f524ca · Russel Arbore · cd0f1635 · 81f524ca
Commit 81f524ca authored 1 month ago by Russel Arbore
--- a/juno_samples/cava/src/cpu.sch
+++ b/juno_samples/cava/src/cpu.sch
@@ -68,6 +68,7 @@ fixpoint {
 ccp(median);
 array-to-product(median);
 sroa(median);
+phi-elim(median);
 predication(median);
 simpl!(median);