Modulo Interval Arithmetic and Its Application to Program Analysis (特集並列処理)

概要

論文の詳細を見る
Interval arithmetic, an arithmetic system on intervals of real numbers, is useful for program analysis which deals with range information of variables or expressions such asarray reference analysis, data dependence analysis and value range analysis. However, since loop indices or array subscripts often take contiguous integers with a stride, the interval representing densely contiguous real numbers is not accurate representation for program analysis and degrades opportunity of parallelization or code optimization. In this paper modulo interval arithmetic, an arithmetic system on sets of contiguous integers with strides included in real intervals, is presented. Modulo interval arithmetic has both arithmetic operations and set operations which are useful for various program analysis. Moreover, this paper discusses application of modulo interval arithmetic to program analysis for parallelizing compilers.
一般社団法人情報処理学会の論文
2001-04-15