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:
Oct. 05, 2010
Filed:
Jun. 30, 2005
Brian R. Murphy, Beijing, CN;
Vijay S. Menon, Seattle, WA (US);
Tatiana Shpeisman, Menlo Park, CA (US);
Ali-reza Adl-tabataba, Santa Clara, CA (US);
Leaf Petersen, San Jose, CA (US);
Brian R. Murphy, Beijing, CN;
Vijay S. Menon, Seattle, WA (US);
Tatiana Shpeisman, Menlo Park, CA (US);
Ali-Reza Adl-Tabataba, Santa Clara, CA (US);
Leaf Petersen, San Jose, CA (US);
Intel Corporation, Santa Clara, CA (US);
Abstract
A compiler can perform aggressive code motion optimization by respecting value dependence of safety values inserted into the intermediate representation of a computer program. In one embodiment, the present invention includes converting a computer program into an intermediate representation, the intermediate representation containing at least one safety check ensuring the safety of at least one dangerous instruction. In one embodiment, the invention further includes defining a safety value in the intermediate representation as the safety check and including the safety value as a safety argument of the dangerous instruction. In one embodiment, it is determined that the safety check is redundant. In response, in one embodiment, the invention includes updating the safety argument of the dangerous instruction, and eliminating the safety check from the intermediate representation during the safety check elimination optimization. Other embodiments are described and claimed.