calyx icon indicating copy to clipboard operation
calyx copied to clipboard

Local/Global value numbering

Open rachitnigam opened this issue 4 years ago • 0 comments

There are three possible optimizations that can benefit code generated from Dahlia:

  1. Constant folding
let x = 5; // X is never written to
x + x;
10 * x
  1. Unused writes
x := 10; // x is never read from
  1. Redundant stores
let x = 10;
y = x; // x is never written to after this point

This will take some thought to implement since we have to reverse-engineer a group's intent in the same way #177 did (to know which group constitute a useless write).

rachitnigam avatar Dec 21 '20 17:12 rachitnigam