altersControlFlow

Answer whether this instruction can alter control flow. That's true for any kind of instruction that has more than one successor (e.g., a branch) or no successors at all (e.g., a return).

An instruction for which this is true must occur at the end of each L2BasicBlock, but never before the end.

Return

Whether this instruction can do something other than fall through to the next instruction of its basic block.