Home	Sort by relevance Sort by last modified time

Full Search Definition Symbol File Path History   | | Help

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

1 2

/external/valgrind/main/VEX/priv/
ir_match.h	55 vassert(vexGetAllocMode() == VexAllocModeTEMP); \ 59 vassert(vexGetAllocMode() == VexAllocModeTEMP); \
main_main.c	112 vassert(!vex_initdone); 113 vassert(failure_exit); 114 vassert(log_bytes); 115 vassert(debuglevel >= 0); 117 vassert(vcon->iropt_verbosity >= 0); 118 vassert(vcon->iropt_level >= 0); 119 vassert(vcon->iropt_level <= 2); 120 vassert(vcon->iropt_unroll_thresh >= 0); 121 vassert(vcon->iropt_unroll_thresh <= 400); 122 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); 211 vassert(0 == ((UShort)vreg->spill_offset % 16)); 213 vassert(0 == ((UShort)vreg->spill_offset % 8)); 226 vassert(used == *size); 248 vassert(size >= 0); 401 vassert(0 == (guest_sizeB % 16)); 402 vassert(0 == (LibVEX_N_SPILL_BYTES % 16)); 403 vassert(0 == (N_SPILL64S % 2)); 408 vassert(instrs_in->arr_used <= 10000)     [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...]
main_util.h	53 #define vassert(expr) \ macro
ir_opt.c	235 vassert(h->used < h->size); 446 vassert(d2->mAddr == NULL); 515 vassert((*minoff & ~0xFFFF) == 0); 516 vassert((*maxoff & ~0xFFFF) == 0); 517 vassert(*minoff <= *maxoff); 527 vassert((minoff & ~0xFFFF) == 0); 528 vassert((maxoff & ~0xFFFF) == 0); 536 vassert((minoff & ~0xFFFF) == 0); 537 vassert((maxoff & ~0xFFFF) == 0); 549 vassert(k_lo <= k_hi)     [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...]
host_ppc_isel.c	281 vassert(tmp >= 0); 282 vassert(tmp < env->n_vregmap); 289 vassert(!env->mode64); 290 vassert(tmp >= 0); 291 vassert(tmp < env->n_vregmap); 292 vassert(env->vregmapHI[tmp] != INVALID_HREG); 427 vassert(hregClass(r_dst) == hregClass(r_src)); 428 vassert(hregClass(r_src) == HRcInt32 || 438 vassert(n < 256 && (n%16) == 0); 446 vassert(n < 256 && (n%16) == 0)     [all...]
guest_generic_bb_to_IR.c	181 vassert(sizeof(HWord) == sizeof(void*)); 182 vassert(vex_control.guest_max_insns >= 1); 183 vassert(vex_control.guest_max_insns < 100); 184 vassert(vex_control.guest_chase_thresh >= 0); 185 vassert(vex_control.guest_chase_thresh < vex_control.guest_max_insns); 186 vassert(guest_word_type == Ity_I32 || guest_word_type == Ity_I64); 234 vassert(n_instrs < vex_control.guest_max_insns); 256 vassert(n_cond_resteers_allowed >= 0 && n_cond_resteers_allowed <= 2); 319 vassert(dres.whatNext == Dis_StopHere 324 vassert(dres.len >= 0 && dres.len <= 20)     [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_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);
host_arm_isel.c	119 vassert(tmp >= 0); 120 vassert(tmp < env->n_vregmap); 126 vassert(tmp >= 0); 127 vassert(tmp < env->n_vregmap); 128 vassert(env->vregmapHI[tmp] != INVALID_HREG); 253 vassert(sh >= 0 && sh < 32); 273 vassert(i == 16); 280 vassert(hregClass(src) == HRcInt32); 281 vassert(hregClass(dst) == HRcInt32); 378 vassert(ARM_N_ARGREGS == 4)     [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); 664 vassert(cond != Xcc_ALWAYS); 675 vassert(szSmall == 1 || szSmall == 2); 684 vassert(sz == 1 || sz == 2)     [all...]
host_amd64_isel.c	145 vassert(tmp >= 0); 146 vassert(tmp < env->n_vregmap); 153 vassert(tmp >= 0); 154 vassert(tmp < env->n_vregmap); 155 vassert(env->vregmapHI[tmp] != INVALID_HREG); 290 vassert(hregClass(src) == HRcInt64); 291 vassert(hregClass(dst) == HRcInt64); 299 vassert(hregClass(src) == HRcVec128); 300 vassert(hregClass(dst) == HRcVec128); 308 vassert(n > 0 && n < 256 && (n%8) == 0)     [all...]
host_x86_isel.c	178 vassert(tmp >= 0); 179 vassert(tmp < env->n_vregmap); 185 vassert(tmp >= 0); 186 vassert(tmp < env->n_vregmap); 187 vassert(env->vregmapHI[tmp] != INVALID_HREG); 274 vassert(hregClass(src) == HRcInt32); 275 vassert(hregClass(dst) == HRcInt32); 284 vassert(hregClass(src) == HRcVec128); 285 vassert(hregClass(dst) == HRcVec128); 293 vassert(n > 0 && n < 256 && (n%4) == 0)     [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 */
host_s390_defs.c	100 vassert(r < 16); 206 vassert(fits_unsigned_12bit(d)); 223 vassert(fits_signed_20bit(d)); 240 vassert(fits_unsigned_12bit(d)); 241 vassert(b != 0); 242 vassert(x != 0); 259 vassert(fits_signed_20bit(d)); 260 vassert(b != 0); 261 vassert(x != 0); 456 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); 230 vassert(shift >= 0 && shift <= 3); 659 vassert(op != Aalu_MUL); 700 default: vassert(0); 717 vassert(sz == 4 || sz == 8); 727 //.. vassert(op == Xsh_SHL || op == Xsh_SHR); 742 vassert(regparms >= 0 && regparms <= 6)     [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...]
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 890 vassert(reg < 16); 893 vassert(reg < 8); 895 vassert(irregular == False); 917 vassert(reg < 16); 920 vassert(reg < 8)     [all...]
guest_ppc_toIR.c	390 vassert(4 == sizeof(UInt)); 391 vassert(4 == sizeof(Float)); 392 vassert(4 == sizeof(u)); 409 vassert(begin < 32); 410 vassert(end < 32); 422 vassert(begin < 64); 423 vassert(end < 64); 451 vassert(isPlausibleIRType(ty)); 513 vassert(tyA == Ity_I32 || tyA == Ity_I64); 565 vassert(i == 0 || i == 0xffff)     [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_s390_isel.c	126 vassert(tmp < env->n_vregmap); 127 vassert(env->vregmap[tmp] != INVALID_HREG); 137 vassert(tmp < env->n_vregmap); 138 vassert(env->vregmapHI[tmp] != INVALID_HREG); 250 vassert(typeOfIRExpr(env->type_env, expr) == Ity_I64); 255 vassert(s390_amode_is_sane(am)); 496 vassert(ty == Ity_I128); 640 vassert(hregIsVirtual(*dst_hi)); 641 vassert(hregIsVirtual(*dst_lo)); 642 vassert(hregClass(*dst_hi) == HRcInt64)     [all...]
guest_generic_x87.c	360 /* We shouldn't really call vassert from generated code. */ 361 vassert(j >= 0 && j < 52); 621 vassert((pol >> 2) == 0); 622 vassert((idx >> 1) == 0); 710 vassert(imm8 < 0x80); 711 vassert((zmaskL >> 16) == 0); 712 vassert((zmaskR >> 16) == 0);

Completed in 329 milliseconds

1 2