用于识别全字饱和加法和减法的方法

摘要

一种表述和求解有助于识别全字饱和加法和减法的方程式的方法。该方法包括：为每个基本加法语句z＝x+y或减法语句z＝x－y表述数据流方程式，其描述正被分析的程序语句的属性；并求解该数据流方程式。这些属性可以包括；(a)作为x、y和z的符号位的布尔函数的程序变量的值BITS；(b)作为x、y和z的符号位的布尔函数的、执行程序语句的条件COND；和(c)当上溢/下溢/没有任一个发生时变量的值影响z的任何给定使用的条件REACH。

主权项

1.一种为z＝ADD(x，y)或z＝SUB(x，y)形式的每个基本语句A识别程序中的全字饱和加法和减法的方法，该方法包括：紧跟在语句A之后插入语句zsat＝ADDSAT(x，y)和zsat＝SUBSAT(x，y)；计算程序中的边E上的变量v的位值BITS(E，v)属性；计算在程序中执行边E的条件COND(E)属性；计算影响REACH(E，v)属性，其指示对于上溢或下溢或正常的发生，变量v的哪些值影响程序中的边E上的语句S中的变量z的使用；如果所有下列条件对于语句S都成立：a)当已经发生上溢时，只有影响S的z的值向z赋值SATMAX，b)如果已经发生下溢，则只有影响S的z的值向z赋值SATMIN，和c)如果上溢和下溢都没有发生，则只有影响S的z的值来自于基本语句A，则用zsat的使用代替使用z的语句S中的z；和消除由于在前一步骤中用zsat代替z的使用而变得不必要的语句。