Home	Sort by relevance Sort by last modified time

Full Search Definition Symbol File Path History   | | Help

    Searched refs:vassert (Results 1 - 25 of 35) sorted by null

1 2

/external/valgrind/main/VEX/priv/
ir_match.h	55 vassert(vexGetAllocMode() == VexAllocModeTEMP); \ 59 vassert(vexGetAllocMode() == VexAllocModeTEMP); \
main_main.c	115 vassert(!vex_initdone); 116 vassert(failure_exit); 117 vassert(log_bytes); 118 vassert(debuglevel >= 0); 120 vassert(vcon->iropt_verbosity >= 0); 121 vassert(vcon->iropt_level >= 0); 122 vassert(vcon->iropt_level <= 2); 123 vassert(vcon->iropt_unroll_thresh >= 0); 124 vassert(vcon->iropt_unroll_thresh <= 400); 125 vassert(vcon->guest_max_insns >= 1)     [all...]
main_util.c	74 vassert(temporary_first == &temporary[0]); 75 vassert(temporary_last == &temporary[N_TEMPORARY_BYTES-1]); 76 vassert(permanent_first == &permanent[0]); 77 vassert(permanent_last == &permanent[N_PERMANENT_BYTES-1]); 78 vassert(temporary_first <= temporary_curr); 79 vassert(temporary_curr <= temporary_last); 80 vassert(permanent_first <= permanent_curr); 81 vassert(permanent_curr <= permanent_last); 82 vassert(private_LibVEX_alloc_first <= private_LibVEX_alloc_curr); 83 vassert(private_LibVEX_alloc_curr <= private_LibVEX_alloc_last)     [all...]
host_generic_reg_alloc2.c	188 vassert(search_from_instr >= 0); 192 vassert(state[k].disp == Bound); 212 vassert(0 == ((UShort)vreg->spill_offset % 16)); break; 214 vassert(0 == ((UShort)vreg->spill_offset % 8)); break; 227 vassert(used == *size); 249 vassert(size >= 0); 402 vassert(0 == (guest_sizeB % 32)); 403 vassert(0 == (LibVEX_N_SPILL_BYTES % 32)); 404 vassert(0 == (N_SPILL64S % 4)); 409 vassert(instrs_in->arr_used <= 15000)     [all...]
host_ppc_defs.c	68 vassert(r >= 0 && r < 32); 73 vassert(r >= 0 && r < 32); 78 vassert(r >= 0 && r < 32); 83 vassert(r >= 0 && r < 32); 270 vassert(i == *nregs); 302 vassert(flag == Pcf_NONE); 304 vassert(flag != Pcf_NONE); 312 vassert(ct != Pct_ALWAYS); 321 vassert(idx >= -0x8000 && idx < 0x8000); 404 vassert(imm16 != 0x8000)     [all...]
guest_generic_bb_to_IR.c	221 vassert(sizeof(HWord) == sizeof(void*)); 222 vassert(vex_control.guest_max_insns >= 1); 223 vassert(vex_control.guest_max_insns < 100); 224 vassert(vex_control.guest_chase_thresh >= 0); 225 vassert(vex_control.guest_chase_thresh < vex_control.guest_max_insns); 226 vassert(guest_word_type == Ity_I32 || guest_word_type == Ity_I64); 229 vassert(szB_GUEST_IP == 4); 230 vassert((offB_GUEST_IP % 4) == 0); 232 vassert(szB_GUEST_IP == 8); 233 vassert((offB_GUEST_IP % 8) == 0)     [all...]
main_util.h	53 #define vassert(expr) \ macro
host_mips_defs.c	71 vassert(hregClass(reg) == HRcInt32 || hregClass(reg) == HRcInt64 || 79 vassert(r >= 0 && r < 32); 84 vassert(r >= 0 && r < 32); 89 vassert(r >= 0 && r < 32); 622 vassert(i == *nregs); 957 vassert(imm16 != 0x8000); 958 vassert(syned == True || syned == False); 1059 vassert(immR == False); /*there's no nor with an immediate operand!? */ 1231 vassert(0 == (argiregs & ~mask)); 1245 vassert(0 == (argiregs & ~mask))     [all...]
host_mips_isel.c	131 vassert(tmp >= 0); 132 vassert(tmp < env->n_vregmap); 138 vassert(tmp >= 0); 139 vassert(tmp < env->n_vregmap); 140 vassert(env->vregmapHI[tmp] != INVALID_HREG); 148 vassert(env->mode64); 149 vassert(tmp >= 0); 150 vassert(tmp < env->n_vregmap); 151 vassert(env->vregmapHI[tmp] != INVALID_HREG); 191 vassert(n < 256 && (n % 8) == 0)     [all...]
guest_arm_toIR.c	177 do { vassert(__curr_is_Thumb); } while (0) 180 do { vassert(! __curr_is_Thumb); } while (0) 211 vassert(sh >= 0 && sh < 32); 286 vassert(i < 256); 334 vassert(isPlausibleIRType(ty)); 348 vassert(rot >= 0 && rot < 32); 467 default: vassert(0); 474 vassert(iregNo < 16); 484 vassert(iregNo < 16); 492 vassert(0 == (guest_R15_curr_instr_notENC & 3))     [all...]
guest_arm_helpers.c	97 vassert( ((UInt)(_cc_op)) < ARMG_CC_OP_NUMBER); \ 144 vassert((oldC & ~1) == 0); 154 vassert((oldC & ~1) == 0); 224 vassert((oldC & ~1) == 0); 234 vassert((oldC & ~1) == 0); 304 vassert((oldC & ~1) == 0); 314 vassert((oldC & ~1) == 0); 321 vassert((shco & ~1) == 0); 328 vassert((cc_dep3 & ~3) == 0); 335 vassert((cc_dep3 & ~3) == 0)     [all...]
host_s390_defs.c	101 vassert(r < 16); 209 vassert(fits_unsigned_12bit(d)); 226 vassert(fits_signed_20bit(d)); 243 vassert(fits_unsigned_12bit(d)); 244 vassert(b != 0); 245 vassert(x != 0); 262 vassert(fits_signed_20bit(d)); 263 vassert(b != 0); 264 vassert(x != 0); 459 vassert(offsetB >= 0)     [all...]
host_amd64_defs.c	62 vassert(r >= 0 && r < 16); 67 vassert(r >= 0 && r < 6); 72 vassert(r >= 0 && r < 16); 96 vassert(r >= 0 && r < 16); 219 vassert(shift >= 0 && shift <= 3); 629 vassert(op != Aalu_MUL); 670 default: vassert(0); 687 vassert(sz == 4 || sz == 8); 702 vassert(regparms >= 0 && regparms <= 6); 742 vassert(cond != Acc_ALWAYS)     [all...]
host_ppc_isel.c	298 vassert(tmp >= 0); 299 vassert(tmp < env->n_vregmap); 306 vassert(tmp >= 0); 307 vassert(tmp < env->n_vregmap); 308 vassert(env->vregmapMedLo[tmp] != INVALID_HREG); 317 vassert(!env->mode64); 318 vassert(tmp >= 0); 319 vassert(tmp < env->n_vregmap); 320 vassert(env->vregmapMedLo[tmp] != INVALID_HREG); 474 vassert(hregClass(r_dst) == hregClass(r_src))     [all...]
host_generic_regs.c	110 vassert(tab->n_used < N_HREG_USAGE); 171 vassert(map->n_used+1 < N_HREG_REMAP); 205 vassert(ha->arr_used <= ha->arr_size);
ir_opt.c	247 vassert(h->used < h->size); 462 vassert(d2->mAddr == NULL); 533 vassert((*minoff & ~0xFFFF) == 0); 534 vassert((*maxoff & ~0xFFFF) == 0); 535 vassert(*minoff <= *maxoff); 545 vassert((minoff & ~0xFFFF) == 0); 546 vassert((maxoff & ~0xFFFF) == 0); 554 vassert((minoff & ~0xFFFF) == 0); 555 vassert((maxoff & ~0xFFFF) == 0); 567 vassert(k_lo <= k_hi)     [all...]
host_amd64_isel.c	161 vassert(tmp >= 0); 162 vassert(tmp < env->n_vregmap); 169 vassert(tmp >= 0); 170 vassert(tmp < env->n_vregmap); 171 vassert(env->vregmapHI[tmp] != INVALID_HREG); 304 vassert(hregClass(src) == HRcInt64); 305 vassert(hregClass(dst) == HRcInt64); 313 vassert(hregClass(src) == HRcVec128); 314 vassert(hregClass(dst) == HRcVec128); 322 vassert(n > 0 && n < 256 && (n%8) == 0)     [all...]
host_x86_defs.c	61 vassert(r >= 0 && r < 8); 66 vassert(r >= 0 && r < 6); 71 vassert(r >= 0 && r < 8); 175 vassert(shift >= 0 && shift <= 3); 579 vassert(op != Xalu_MUL); 632 vassert(op == Xsh_SHL || op == Xsh_SHR); 647 vassert(regparms >= 0 && regparms <= 3); 685 vassert(cond != Xcc_ALWAYS); 696 vassert(szSmall == 1 || szSmall == 2); 705 vassert(sz == 1 || sz == 2)     [all...]
host_arm_isel.c	131 vassert(tmp >= 0); 132 vassert(tmp < env->n_vregmap); 138 vassert(tmp >= 0); 139 vassert(tmp < env->n_vregmap); 140 vassert(env->vregmapHI[tmp] != INVALID_HREG); 265 vassert(sh >= 0 && sh < 32); 285 vassert(i == 16); 292 vassert(hregClass(src) == HRcInt32); 293 vassert(hregClass(dst) == HRcInt32); 390 vassert(ARM_N_ARGREGS == 4)     [all...]
host_arm_defs.c	64 vassert(r >= 0 && r < 16); 69 vassert(r >= 0 && r < 32); 74 vassert(r >= 0 && r < 32); 79 vassert(r >= 0 && r < 16); 187 vassert(i == *nregs); 224 vassert(-4095 <= simm13 && simm13 <= 4095); 233 vassert(0 <= shift && shift <= 3); 252 vassert(0); 292 vassert(-255 <= simm9 && simm9 <= 255); 318 vassert(0)     [all...]
host_x86_isel.c	195 vassert(tmp >= 0); 196 vassert(tmp < env->n_vregmap); 202 vassert(tmp >= 0); 203 vassert(tmp < env->n_vregmap); 204 vassert(env->vregmapHI[tmp] != INVALID_HREG); 291 vassert(hregClass(src) == HRcInt32); 292 vassert(hregClass(dst) == HRcInt32); 301 vassert(hregClass(src) == HRcVec128); 302 vassert(hregClass(dst) == HRcVec128); 310 vassert(n > 0 && n < 256 && (n%4) == 0)     [all...]
guest_x86_toIR.c	324 vassert(isPlausibleIRType(ty)); 455 vassert(archreg < 8); 458 vassert(!host_is_bigendian); 474 vassert(archreg >= 4 && archreg < 8 && sz == 1); 521 vassert(!host_is_bigendian); 522 vassert(laneno >= 0 && laneno < 8); 529 vassert(!host_is_bigendian); 530 vassert(laneno >= 0 && laneno < 4); 537 vassert(!host_is_bigendian); 538 vassert(laneno >= 0 && laneno < 2)     [all...]
host_s390_disasm.c	35 #include "main_util.h" // vassert 56 vassert(archreg < 16); 73 vassert(archreg < 16); 90 vassert(archreg < 16); 142 vassert(vex_strlen(prefix) + vex_strlen(suffix) + sizeof mask_id[0] <= sizeof buf); 455 vassert(p < buf + sizeof buf); /* detect buffer overwrite */
guest_amd64_toIR.c	232 vassert(isPlausibleIRType(ty)); 270 vassert(i < 256); 276 vassert(i < 0x10000ULL); 282 vassert(i < 0x100000000ULL); 314 vassert(op8 == Iop_Add8 || op8 == Iop_Sub8 922 vassert(reg < 16); 925 vassert(reg < 8); 927 vassert(irregular == False); 949 vassert(reg < 16); 952 vassert(reg < 8)     [all...]
host_s390_isel.c	195 vassert(tmp < env->n_vregmap); 196 vassert(env->vregmap[tmp] != INVALID_HREG); 206 vassert(tmp < env->n_vregmap); 207 vassert(env->vregmapHI[tmp] != INVALID_HREG); 329 vassert(typeOfIRExpr(env->type_env, expr) == Ity_I64); 334 vassert(s390_amode_is_sane(am)); 612 vassert(ty == Ity_I128); 756 vassert(hregIsVirtual(*dst_hi)); 757 vassert(hregIsVirtual(*dst_lo)); 758 vassert(hregClass(*dst_hi) == HRcInt64)     [all...]

Completed in 223 milliseconds

1 2