I have a small doubt… Isn’t option B always correct? Irrespective of whether the branch happens or not, the instruction preceeding this branch instruction must be executed. The only case where I see this is option being wrong is, where we branched to this current branch instruction from another branch instruction(Loop inside a loop situation). But even here we can argue wherever there is a valid instruction preceeding a branch instruction it will be evaluated irrespective of branch evaluates to true or not.