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:
Jan. 17, 2017
Filed:
Jan. 04, 2016
International Business Machines Corporation, Armonk, NY (US);
Giles R. Frazier, Austin, TX (US);
Michael Karl Gschwind, Chappaqua, NY (US);
Christian Jacobi, Poughkeepsie, NY (US);
Anthony Saporito, Highland, NY (US);
Chung-Lung K. Shum, Wappingers Falls, NY (US);
Joran S. C. Siu, Markham, CA;
INTERNATIONAL BUSINESS MACHINES CORPORATION, Armonk, NY (US);
Abstract
Techniques relate to automated compiler operation verification. In response to performing an optimization to a compiler configured to execute on a processor of a computer system, a determination is made of whether a fingerprint is present in software that is currently executing on the processor of the computer system. The software is compiled by the compiler, and the fingerprint comprises a representation of a sequence of behavior that occurs on the processor while the software is executing. The fingerprint is configured to correspond to the optimization of the compiler. In response to determining that the fingerprint is not present in the software currently executing on the processor, a determination is made that optimization to the compiler has not occurred. In response to determining that the fingerprint is present in the software executing on the processor, a verification is made that the optimization of the compiler has occurred.