User:Realazthat/Projects wishlist/LLVM/Strategic optimizations: Difference between revisions

no edit summary
No edit summary
No edit summary
 
(One intermediate revision by the same user not shown)
Line 4:
* Dead code elimination
* Constant folding/evaluation
* Memoization/tail call optimization
* [[wp:Superoptimization]]
*: Combinations of instructions are tested for functional equivalence
Line 20 ⟶ 21:
Other approaches:
* Recognize problems in their complexity class (eg. in P, or in NP), and use reductions to reduce the complexity to the easiest problem
 
== Recommended research ==
* "term graph rewriting"
* "strong normalization property"
** http://www.cs.st-andrews.ac.uk/~eb/writings/thesis.ps.gz
** http://www.cs.st-andrews.ac.uk/~eb/