COMPILER OPTIMISATION LIKE IDIOM RECOGNITION THROUGH PATTERN MATCHING USING VALUE NUMBERING

摘要

A compiler (10) and method for compiling source code comprising: a library (20) of code patterns and control flow information for each code pattern, wherein each code pattern comprises one or more variable; and a processor (30) arranged to: evaluate the control flow of an expression (120) in the source code, wherein the expression (120) comprises one or more variable, match the expression (120) to one of the code patterns in the library (20) based on the evaluated control flow information, assign value numbers to the one or more variable within the expression (120), determine if the expression (120) and the matched code pattern are equivalent based on the assigned value numbers, and replace the expression (120) in the source code with a replacement expression if the expression and the matched code pattern are equivalent.