A sparse algorithm for predicated global value numbering

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2002, Pages 45-56

  Gargi, Karthik ^a  

^a Hewlett Packard India Software Oper ^*  (India)

Author keywords

Global value numbering; Static single assignment

Indexed keywords

ALGORITHMS; LOGIC DESIGN; OPTIMIZATION; PERFORMANCE; PROGRAM PROCESSORS;

GLOBAL VALUE NUMBERING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036037990     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/512529.512536     Document Type: Conference Paper

References (16)

1. Detecting equality of variables in programs
2. Scalable cross-module optimization
3. Effective partial redundancy elimination
4. Value numbering
5. Automatic construction of sparse data flow evaluation graphs
6. Global code motion: Global value numbering
7. Efficiently computing static single assignment form and the control dependence graph
8. A unified approach to global program optimization
9. Global value numbers and redundant computations
10. Detecting equalities of variables: Combining efficiency with precision
11. Incremental computation of dominator trees
12. Constant propagation with conditional branches
13. Constant propagation with conditional branches