System and method of using partially resolved predicates for elimination of comparison instruction

   
   

Systems and methods are provided through which compare instructions in computer code are eliminated partially resolving the predicate of the compare instructions. Partially resolved predicates are used to reduce the number of compares generated during the prediction phase of the compiler. In a partially resolved predicate, the predicate name is defined along the same paths as the fully resolved predicate counterpart, but it can be used to guard a subset of the instructions of the fully resolved predicate name. A partially resolved predicate is generated for predicate names which are only valid in a restricted control flow region. One or more of the control flow edges are ignored when computing control dependence. The predicate name relies partially on the actual ignored control flow edge to prevent incorrect usage of the predicate name.

Системы и методы обеспечены через сравните инструкции в компьютерном коде исключите частично разрешающ сказуемый инструкций сравнивать. Частично разрешенные сказуемые использованы для уменьшения номера сравнивают после того как они произведены во время этап прогнозирования составителя. В частично разрешенном сказуемом, имя сказуемого определено вдоль таких же курсов как польностью разрешенные двойники сказуемого, но его можно использовать для того чтобы защитить подсовокупность инструкций польностью разрешенного имени сказуемого. Частично разрешенное сказуемый произведено для имен сказуемого только действительны в ограниченной зоне подачи управления. One or more из краев подачи управления проигнорировано вычисляя зависимость управления. Имя сказуемого полагается частично на фактическом проигнорированном крае подачи управления для того чтобы предотвратить неправильно использование имени сказуемого.

 
Web www.patentalert.com

< Method, system and software for programming reconfigurable hardware

< Maintaining a local backup for data plane processes

> Determining and compensating for temporal overhead in trace record generation and processing

> Work-stealing queues for parallel garbage collection

~ 00110