1. A processor comprising: logic operable to execute a program instruction and operable to distinguish whether the program instruction is a legitimate branch instruction or a non-legitimate branch instruction.