1. A method wherein: at compile time, control information is added to an instruction sequence prior to a control-flow changing instruction it controls; the control information is used at runtime to control prediction of the target address of the control-flow changing instruction.