powerpc/lib/test-code-patching.c

25 #define check(x)	do {	\
39 	check(instr_is_branch_iform(ppc_inst(0x48000000)));
41 	check(instr_is_branch_iform(ppc_inst(0x4bffffff)));
43 	check(!instr_is_branch_iform(ppc_inst(0xcbffffff)));
45 	check(!instr_is_branch_iform(ppc_inst(0x7bffffff)));
48 	check(instr_is_branch_iform(ppc_inst(0x48000001)));
50 	check(instr_is_branch_iform(ppc_inst(0x4bfffffd)));
52 	check(instr_is_branch_iform(ppc_inst(0x4bff00fd)));
54 	check(!instr_is_branch_iform(ppc_inst(0x7bfffffd)));
58 	check(instr_is_branch_to_addr(iptr, 0x100));
61 	check(instr_is_branch_to_addr(iptr, 0x420fc));
64 	check(instr_is_branch_to_addr(iptr, addr + 0x1FFFFFC));
67 	check(instr_is_branch_to_addr(iptr, addr - 4));
70 	check(instr_is_branch_to_addr(iptr, addr - 0x2000000));
75 	check(instr_is_branch_to_addr(iptr, addr));
80 	check(instr_is_branch_to_addr(iptr, addr - 0x100));
85 	check(instr_is_branch_to_addr(iptr, addr + 0x100));
90 	check(instr_is_branch_to_addr(iptr, addr - 0x2000000));
94 	check(err);
98 	check(err);
102 	check(err);
107 	check(instr_is_branch_to_addr(iptr, addr));
108 	check(ppc_inst_equal(instr, ppc_inst(0x48000000)));
122 	check(instr_is_branch_to_addr(iptr, dest));
137 	check(instr_is_branch_bform(ppc_inst(0x40000000)));
139 	check(instr_is_branch_bform(ppc_inst(0x43ffffff)));
141 	check(!instr_is_branch_bform(ppc_inst(0xc3ffffff)));
143 	check(!instr_is_branch_bform(ppc_inst(0x7bffffff)));
147 	check(instr_is_branch_to_addr(iptr, 0x100));
150 	check(instr_is_branch_to_addr(iptr, 0x20fc));
153 	check(instr_is_branch_to_addr(iptr, addr + 0x7FFC));
156 	check(instr_is_branch_to_addr(iptr, addr - 4));
159 	check(instr_is_branch_to_addr(iptr, addr - 0x8000));
167 	check(instr_is_branch_to_addr(iptr, addr));
172 	check(instr_is_branch_to_addr(iptr, addr - 0x100));
177 	check(instr_is_branch_to_addr(iptr, addr + 0x100));
182 	check(instr_is_branch_to_addr(iptr, addr - 0x8000));
186 	check(err);
190 	check(err);
194 	check(err);
199 	check(instr_is_branch_to_addr(iptr, addr));
200 	check(ppc_inst_equal(instr, ppc_inst(0x43FF0000)));
211 	check(buf);
220 	check(instr_is_branch_to_addr(p, addr));
224 	check(instr_is_branch_to_addr(q, addr));
234 	check(instr_is_branch_to_addr(p, addr));
235 	check(instr_is_branch_to_addr(q, addr));
236 	check(ppc_inst_equal(ppc_inst_read(q), ppc_inst(0x4a000000)));
246 	check(instr_is_branch_to_addr(p, addr));
247 	check(instr_is_branch_to_addr(q, addr));
248 	check(ppc_inst_equal(ppc_inst_read(q), ppc_inst(0x49fffffc)));
258 	check(instr_is_branch_to_addr(p, addr));
259 	check(instr_is_branch_to_addr(q, addr));
269 	check(instr_is_branch_to_addr(p, addr));
270 	check(instr_is_branch_to_addr(q, addr));
280 	check(instr_is_branch_to_addr(p, addr));
284 	check(instr_is_branch_to_addr(q, addr));
294 	check(instr_is_branch_to_addr(p, addr));
295 	check(instr_is_branch_to_addr(q, addr));
296 	check(ppc_inst_equal(ppc_inst_read(q), ppc_inst(0x43ff8000)));
306 	check(instr_is_branch_to_addr(p, addr));
307 	check(instr_is_branch_to_addr(q, addr));
308 	check(ppc_inst_equal(ppc_inst_read(q), ppc_inst(0x43ff7ffc)));
318 	check(instr_is_branch_to_addr(p, addr));
319 	check(instr_is_branch_to_addr(q, addr));
329 	check(instr_is_branch_to_addr(p, addr));
330 	check(instr_is_branch_to_addr(q, addr));
347 	check(!memcmp(iptr, expected, sizeof(expected)));