instr_is_branch_to_addr
check(instr_is_branch_to_addr(iptr, addr));
check(instr_is_branch_to_addr(iptr, dest));
check(instr_is_branch_to_addr(iptr, 0x100));
check(instr_is_branch_to_addr(iptr, 0x20fc));
check(instr_is_branch_to_addr(iptr, addr + 0x7FFC));
check(instr_is_branch_to_addr(iptr, addr - 4));
check(instr_is_branch_to_addr(iptr, addr - 0x8000));
check(instr_is_branch_to_addr(iptr, addr));
check(instr_is_branch_to_addr(iptr, addr - 0x100));
check(instr_is_branch_to_addr(iptr, addr + 0x100));
check(instr_is_branch_to_addr(iptr, addr - 0x8000));
check(instr_is_branch_to_addr(iptr, addr));
check(instr_is_branch_to_addr(p, addr));
check(instr_is_branch_to_addr(q, addr));
check(instr_is_branch_to_addr(p, addr));
check(instr_is_branch_to_addr(q, addr));
check(instr_is_branch_to_addr(p, addr));
check(instr_is_branch_to_addr(q, addr));
check(instr_is_branch_to_addr(p, addr));
check(instr_is_branch_to_addr(q, addr));
check(instr_is_branch_to_addr(p, addr));
check(instr_is_branch_to_addr(q, addr));
check(instr_is_branch_to_addr(p, addr));
check(instr_is_branch_to_addr(q, addr));
check(instr_is_branch_to_addr(p, addr));
check(instr_is_branch_to_addr(q, addr));
check(instr_is_branch_to_addr(p, addr));
check(instr_is_branch_to_addr(q, addr));
check(instr_is_branch_to_addr(p, addr));
check(instr_is_branch_to_addr(q, addr));
check(instr_is_branch_to_addr(p, addr));
check(instr_is_branch_to_addr(q, addr));
check(instr_is_branch_to_addr(iptr, 0x100));
check(instr_is_branch_to_addr(iptr, 0x420fc));
check(instr_is_branch_to_addr(iptr, addr + 0x1FFFFFC));
check(instr_is_branch_to_addr(iptr, addr - 4));
check(instr_is_branch_to_addr(iptr, addr - 0x2000000));
check(instr_is_branch_to_addr(iptr, addr));
check(instr_is_branch_to_addr(iptr, addr - 0x100));
check(instr_is_branch_to_addr(iptr, addr + 0x100));
check(instr_is_branch_to_addr(iptr, addr - 0x2000000));