instr_is_branch_bform
return instr_is_branch_iform(instr) || instr_is_branch_bform(instr);
else if (instr_is_branch_bform(ppc_inst_read(instr)))
else if (instr_is_branch_bform(ppc_inst_read(src)))
check(instr_is_branch_bform(ppc_inst(0x40000000)));
check(instr_is_branch_bform(ppc_inst(0x43ffffff)));
instr_is_branch_bform(ppc_inst_read(instr)))
check(!instr_is_branch_bform(ppc_inst(0xc3ffffff)));
check(!instr_is_branch_bform(ppc_inst(0x7bffffff)));