Skip to content
Snippets Groups Projects

Some Cava optimization

Merged rarbore2 requested to merge cava_opt into main
1 file
+ 1
0
Compare changes
  • Side-by-side
  • Inline
@@ -68,6 +68,7 @@ fixpoint {
ccp(median);
array-to-product(median);
sroa(median);
phi-elim(median);
predication(median);
simpl!(median);
Loading