Dynamic Elimination of Overflow Tests in a Trace Compiler. - Rodrigo Sol; Christophe Guillon; Fernando Magno Quintão Pereira; Mariza Andrade da Silva Bigonha (CC, 2011)