Lines Matching refs:ppc_inst_equal
108 check(ppc_inst_equal(instr, ppc_inst(0x48000000))); in test_branch_iform()
200 check(ppc_inst_equal(instr, ppc_inst(0x43FF0000))); in test_branch_bform()
236 check(ppc_inst_equal(ppc_inst_read(q), ppc_inst(0x4a000000))); in test_translate_branch()
248 check(ppc_inst_equal(ppc_inst_read(q), ppc_inst(0x49fffffc))); in test_translate_branch()
296 check(ppc_inst_equal(ppc_inst_read(q), ppc_inst(0x43ff8000))); in test_translate_branch()
308 check(ppc_inst_equal(ppc_inst_read(q), ppc_inst(0x43ff7ffc))); in test_translate_branch()
383 check(ppc_inst_equal(ppc_inst_read((u32 *)&addr64[1]), inst64)); in test_multi_instruction_patching()
384 check(ppc_inst_equal(ppc_inst_read((u32 *)&addr64[2]), inst64)); in test_multi_instruction_patching()
385 check(ppc_inst_equal(ppc_inst_read((u32 *)&addr64[3]), inst64)); in test_multi_instruction_patching()
420 check(ppc_inst_equal(ppc_inst_read((u32 *)&addr64[1]), inst64)); in test_multi_instruction_patching()
421 check(ppc_inst_equal(ppc_inst_read((u32 *)&addr64[2]), inst64)); in test_multi_instruction_patching()
422 check(ppc_inst_equal(ppc_inst_read((u32 *)&addr64[3]), inst64)); in test_multi_instruction_patching()