instr_is_branch_iform
return instr_is_branch_iform(instr) || instr_is_branch_bform(instr);
if (instr_is_branch_iform(ppc_inst_read(instr)))
if (instr_is_branch_iform(ppc_inst_read(src)))
if (instr_is_branch_iform(ppc_inst_read(instr)) ||
check(instr_is_branch_iform(ppc_inst(0x48000000)));
check(instr_is_branch_iform(ppc_inst(0x4bffffff)));
check(!instr_is_branch_iform(ppc_inst(0xcbffffff)));
check(!instr_is_branch_iform(ppc_inst(0x7bffffff)));
check(instr_is_branch_iform(ppc_inst(0x48000001)));
check(instr_is_branch_iform(ppc_inst(0x4bfffffd)));
check(instr_is_branch_iform(ppc_inst(0x4bff00fd)));
check(!instr_is_branch_iform(ppc_inst(0x7bfffffd)));