Constant propagation pass #1172
Comments
This was referenced Sep 7, 2017
kripken
added a commit
that referenced
this issue
Sep 12, 2017
Implements #1172: this adds a variant of precompute, "precompute-propagate", which also does constant propagation. Precompute by itself just runs the interpreter on each expression and sees if it is in fact a constant; precompute-propagate also looks at the graph of connections between get and set locals, and propagates those constant values. This helps with cases as noticed in #1168 - while in most cases LLVM will do this already, it's important when inlining, e.g. inlining of the clamping math functions. This new pass is run when inlining, and otherwise only in -O3/-Oz, as it does increase compilation time noticeably if run on everything (and for almost no benefit if LLVM has run). Most of the code here is just refactoring out from the ssa pass the get/set graph computation, so it can now be used by both the ssa pass and precompute-propagate.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
We should add one. The closest thing we have is Precompute, which should probably also do constant propagation (as the two operations help each other).
The text was updated successfully, but these errors were encountered: