return Branch Type

If the qualifying branch predicate is 1, the branch is taken and the following occurs: