The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jul. 06, 1999
Filed:
Nov. 26, 1996
Richard C Johnson, Cuptertino, CA (US);
Michael S Schlansker, Los Altos, CA (US);
Hewlett-Packard Company, Palo Alto, CA (US);
Abstract
A compiler of a predicated code includes a data flow analysis system that manipulates and queries predicate expressions of the predicated code to (1) analyze data flow properties of the predicated code and (2) annotate the predicated code with the analyzed data flow properties. A predicate-sensitive analyzer for a compiler that compiles a predicated code is also described. The predicate-sensitive analyzer includes a scanner that determines local predicate relations of the predicated code. The analyzer also includes a builder that determines global predicate relations of the predicated code. A predicate query system is provided to store the local and global predicate relations of the predicated code and to answer queries about the local and global predicate relations. A method of compiling the predicated code is also described.