Architectural support for conditional antidependency elimination

Conditional antidependency elimination is a new low level (core) transformation for global code optimizing. It can eliminate or change control dependencies for individual operations, although with additional operations introduced for all relevant traces. With a proper high level guidance, near optimal or even optimal execution speeds are obtained. The described guidance rules for an IF-THEN-ELSE structure give optimal code for both traces. A VLIW machine architecture is modified by introducing twin registers for reducing the number of additional operations in conditional antidependency elimination. These registers are transparent for the user, since the compiler selects which variables use twin registers.