Compiling a predicated code with direct analysis of the predicated code

A predicate-sensitive analyzer for a compiler that compiles a predicated code, comprising:

• (A) a predicate query system that stores local and global predicate relations of the predicated code and answers queries regarding the local and global predicate relations.

In a compiler system that compiles a predicated code, a method of providing predicate-sensitive data flow analysis, comprising the steps of:

• (A) manipulating predicates and predicate expressions of the predicated code to analyze data flow properties of the predicated code, wherein the step (A) further comprises the step of approximating results of the predicate expressions being manipulated such that the approximated results can be accurate and efficiently obtained;
• (B) sending queries about the predicates and predicate expressions of the predicated code to a predicate query system that stores predicate relations of the predicated code when manipulating the predicates and predicate expressions;
• (C) receiving results of the queries from the predicate query system about the predicates and predicate expressions.

In a compiler that compiles a predicated code, a method for analyzing the predicated code, comprising the steps of:

• (A) determining local predicate relations of the predicated code;
• (B) determining global predicate relations of the predicated code;
• (C) storing the local and global predicate relations of the predicated code in a predicate query system such that the local and global predicate relations can be queried during data flow analysis of the predicated code.