Lines Matching refs:check
164 #define check(x) \
175 check(instr_is_branch_iform(0x48000000));
177 check(instr_is_branch_iform(0x4bffffff));
179 check(!instr_is_branch_iform(0xcbffffff));
181 check(!instr_is_branch_iform(0x7bffffff));
184 check(instr_is_branch_iform(0x48000001));
186 check(instr_is_branch_iform(0x4bfffffd));
188 check(instr_is_branch_iform(0x4bff00fd));
190 check(!instr_is_branch_iform(0x7bfffffd));
194 check(instr_is_branch_to_addr(&instr, 0x100));
197 check(instr_is_branch_to_addr(&instr, 0x420fc));
200 check(instr_is_branch_to_addr(&instr, addr + 0x1FFFFFC));
203 check(instr_is_branch_to_addr(&instr, addr - 4));
206 check(instr_is_branch_to_addr(&instr, addr - 0x2000000));
210 check(instr_is_branch_to_addr(&instr, addr));
214 check(instr_is_branch_to_addr(&instr, addr - 0x100));
218 check(instr_is_branch_to_addr(&instr, addr + 0x100));
222 check(instr_is_branch_to_addr(&instr, addr - 0x2000000));
226 check(instr == 0);
230 check(instr == 0);
234 check(instr == 0);
238 check(instr_is_branch_to_addr(&instr, addr));
239 check(instr == 0x48000000);
251 check(instr_is_branch_to_addr(iptr, dest));
263 check(instr_is_branch_bform(0x40000000));
265 check(instr_is_branch_bform(0x43ffffff));
267 check(!instr_is_branch_bform(0xc3ffffff));
269 check(!instr_is_branch_bform(0x7bffffff));
273 check(instr_is_branch_to_addr(&instr, 0x100));
276 check(instr_is_branch_to_addr(&instr, 0x20fc));
279 check(instr_is_branch_to_addr(&instr, addr + 0x7FFC));
282 check(instr_is_branch_to_addr(&instr, addr - 4));
285 check(instr_is_branch_to_addr(&instr, addr - 0x8000));
292 check(instr_is_branch_to_addr(&instr, addr));
296 check(instr_is_branch_to_addr(&instr, addr - 0x100));
300 check(instr_is_branch_to_addr(&instr, addr + 0x100));
304 check(instr_is_branch_to_addr(&instr, addr - 0x8000));
308 check(instr == 0);
312 check(instr == 0);
316 check(instr == 0);
320 check(instr_is_branch_to_addr(&instr, addr));
321 check(instr == 0x43FF0000);
331 check(buf);
339 check(instr_is_branch_to_addr(p, addr));
342 check(instr_is_branch_to_addr(q, addr));
350 check(instr_is_branch_to_addr(p, addr));
351 check(instr_is_branch_to_addr(q, addr));
352 check(*q == 0x4a000000);
360 check(instr_is_branch_to_addr(p, addr));
361 check(instr_is_branch_to_addr(q, addr));
362 check(*q == 0x49fffffc);
370 check(instr_is_branch_to_addr(p, addr));
371 check(instr_is_branch_to_addr(q, addr));
379 check(instr_is_branch_to_addr(p, addr));
380 check(instr_is_branch_to_addr(q, addr));
389 check(instr_is_branch_to_addr(p, addr));
392 check(instr_is_branch_to_addr(q, addr));
400 check(instr_is_branch_to_addr(p, addr));
401 check(instr_is_branch_to_addr(q, addr));
402 check(*q == 0x43ff8000);
410 check(instr_is_branch_to_addr(p, addr));
411 check(instr_is_branch_to_addr(q, addr));
412 check(*q == 0x43ff7ffc);
420 check(instr_is_branch_to_addr(p, addr));
421 check(instr_is_branch_to_addr(q, addr));
429 check(instr_is_branch_to_addr(p, addr));
430 check(instr_is_branch_to_addr(q, addr));