Patent ID: 11886848
Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 19:
20. A computer-implemented method for binary translation, the computer-implemented method comprising:
receiving as input by a tool an original compiler-produced module comprising raw binary code that does not have binary metadata;
receiving further input by the tool a separate compiler-produced metadata in one of a binary form and a text form;
combining by the tool the original compiler-produced module with the separate compiler-produced metadata to create a new module containing the compiler-produced metadata in the one of the binary form;
passing the new module to a binary translator;
reconciling, by the binary translator using the new module with compiler-produced metadata, original compiler-produced control flow information with how lower-level machine instructions comprise a control flow in the raw binary code;
reconciling, by the binary translator using the new module with the compiler-produced metadata, original compiler-produced aliasing information with how lower-level machine instructions access the memory locations described by the aliasing information according to predetermined criteria;
preventing, by the binary translator using the new module with the compiler-produced metadata, copy propagation of values in temporary variables for decimal computations beyond offsets in the machine instructions where the temporary variables are killed;
removing, by the binary translator using the compiler-produced metadata, identified dead store instructions; and
generating, by the binary translator, optimized version of the new module having strict compatibility to an original version of the compiled program module.