Predicate removing technique in machine emulation for IA-64 aechitecture

EPIC (explicitly parallel instruction computing) architectures, such as the Intel IA-64 (Itanium), support novel features such as explicit instruction-level parallelism and predicated instructions. While these features promise to make code more efficient, the fact that these new architectural features means that EPIC code is more difficult to analyze than code for more traditional architectures. This paper describes a technique for removing predication instructions from optimized binary programs in a way that is guaranteed to preserve program semantics, thereby and thereby improve the quality of machine emulation for IA-64