Mark barrier instructions. Execution does not fall through uncond branches