Abstract: Abstract：The polyhedral model is now only applied in code regions with affine expressions in arrays’ indexes. A method is presented that extending polyhedral model to nonaffine expression. With the information acknowledged in runtime, nonaffine expressions can be transformed to affine expressions, which are led by parameters that do not change in the loop nest. Then a specialized version of the original loop is generated, which makes polyhedral techniques applicable. This method enables the polyhedral model to be applicable in more code regions. More SCoPs in the code regions are recognized and higher speedup is achieved, therefore the performance of the program is improved. The validity and efficiency of the presented method are demonstrated by a series of experiments.

Key words: Keywords：parallel compiling, polyhedral model, SCoP, affine, dynamic analysis