Lines Matching defs:check
239 * Helper to check if a given instruction is a conditional branch
418 #define check(x) \
430 check(instr_is_branch_iform(ppc_inst(0x48000000)));
432 check(instr_is_branch_iform(ppc_inst(0x4bffffff)));
434 check(!instr_is_branch_iform(ppc_inst(0xcbffffff)));
436 check(!instr_is_branch_iform(ppc_inst(0x7bffffff)));
439 check(instr_is_branch_iform(ppc_inst(0x48000001)));
441 check(instr_is_branch_iform(ppc_inst(0x4bfffffd)));
443 check(instr_is_branch_iform(ppc_inst(0x4bff00fd)));
445 check(!instr_is_branch_iform(ppc_inst(0x7bfffffd)));
449 check(instr_is_branch_to_addr(&instr, 0x100));
452 check(instr_is_branch_to_addr(&instr, 0x420fc));
455 check(instr_is_branch_to_addr(&instr, addr + 0x1FFFFFC));
458 check(instr_is_branch_to_addr(&instr, addr - 4));
461 check(instr_is_branch_to_addr(&instr, addr - 0x2000000));
465 check(instr_is_branch_to_addr(&instr, addr));
469 check(instr_is_branch_to_addr(&instr, addr - 0x100));
473 check(instr_is_branch_to_addr(&instr, addr + 0x100));
477 check(instr_is_branch_to_addr(&instr, addr - 0x2000000));
481 check(err);
485 check(err);
489 check(err);
493 check(instr_is_branch_to_addr(&instr, addr));
494 check(ppc_inst_equal(instr, ppc_inst(0x48000000)));
508 check(instr_is_branch_to_addr(iptr, dest));
522 check(instr_is_branch_bform(ppc_inst(0x40000000)));
524 check(instr_is_branch_bform(ppc_inst(0x43ffffff)));
526 check(!instr_is_branch_bform(ppc_inst(0xc3ffffff)));
528 check(!instr_is_branch_bform(ppc_inst(0x7bffffff)));
532 check(instr_is_branch_to_addr(&instr, 0x100));
535 check(instr_is_branch_to_addr(&instr, 0x20fc));
538 check(instr_is_branch_to_addr(&instr, addr + 0x7FFC));
541 check(instr_is_branch_to_addr(&instr, addr - 4));
544 check(instr_is_branch_to_addr(&instr, addr - 0x8000));
551 check(instr_is_branch_to_addr(&instr, addr));
555 check(instr_is_branch_to_addr(&instr, addr - 0x100));
559 check(instr_is_branch_to_addr(&instr, addr + 0x100));
563 check(instr_is_branch_to_addr(&instr, addr - 0x8000));
567 check(err);
571 check(err);
575 check(err);
579 check(instr_is_branch_to_addr(&instr, addr));
580 check(ppc_inst_equal(instr, ppc_inst(0x43FF0000)));
591 check(buf);
599 check(instr_is_branch_to_addr(p, addr));
603 check(instr_is_branch_to_addr(q, addr));
612 check(instr_is_branch_to_addr(p, addr));
613 check(instr_is_branch_to_addr(q, addr));
614 check(ppc_inst_equal(ppc_inst_read(q), ppc_inst(0x4a000000)));
623 check(instr_is_branch_to_addr(p, addr));
624 check(instr_is_branch_to_addr(q, addr));
625 check(ppc_inst_equal(ppc_inst_read(q), ppc_inst(0x49fffffc)));
634 check(instr_is_branch_to_addr(p, addr));
635 check(instr_is_branch_to_addr(q, addr));
644 check(instr_is_branch_to_addr(p, addr));
645 check(instr_is_branch_to_addr(q, addr));
655 check(instr_is_branch_to_addr(p, addr));
659 check(instr_is_branch_to_addr(q, addr));
669 check(instr_is_branch_to_addr(p, addr));
670 check(instr_is_branch_to_addr(q, addr));
671 check(ppc_inst_equal(ppc_inst_read(q), ppc_inst(0x43ff8000)));
681 check(instr_is_branch_to_addr(p, addr));
682 check(instr_is_branch_to_addr(q, addr));
683 check(ppc_inst_equal(ppc_inst_read(q), ppc_inst(0x43ff7ffc)));
693 check(instr_is_branch_to_addr(p, addr));
694 check(instr_is_branch_to_addr(q, addr));
704 check(instr_is_branch_to_addr(p, addr));
705 check(instr_is_branch_to_addr(q, addr));
722 check(!memcmp(code_patching_test1,