CPSR can be livein; transfer predicate operands correctly; tMUL is two-address.