Searched refs:vassert (Results 26 - 46 of 46) sorted by relevance

12

/external/valgrind/VEX/priv/
H A Dhost_x86_defs.c112 vassert(r >= 0 && r < 8);
117 vassert(r >= 0 && r < 6);
122 vassert(r >= 0 && r < 8);
174 vassert(shift >= 0 && shift <= 3);
578 vassert(op != Xalu_MUL);
631 vassert(op == Xsh_SHL || op == Xsh_SHR);
648 vassert(regparms >= 0 && regparms <= 3);
649 vassert(is_sane_RetLoc(rloc));
687 vassert(cond != Xcc_ALWAYS);
698 vassert(szSmal
[all...]
H A Dguest_arm_toIR.c180 do { vassert(__curr_is_Thumb); } while (0)
183 do { vassert(! __curr_is_Thumb); } while (0)
214 vassert(sh >= 0 && sh < 32);
289 vassert(i < 256);
364 vassert(0);
366 vassert(loaded != NULL);
380 vassert(isPlausibleIRType(ty));
394 vassert(rot >= 0 && rot < 32);
516 default: vassert(0);
523 vassert(iregN
[all...]
H A Dhost_arm_defs.c154 vassert(r >= 0 && r < 16);
159 vassert(r >= 0 && r < 32);
164 vassert(r >= 0 && r < 32);
169 vassert(r >= 0 && r < 16);
210 vassert(-4095 <= simm13 && simm13 <= 4095);
219 vassert(0 <= shift && shift <= 3);
238 vassert(0);
278 vassert(-255 <= simm9 && simm9 <= 255);
304 vassert(0);
341 vassert(simm1
[all...]
H A Dhost_amd64_isel.c170 vassert(tmp >= 0);
171 vassert(tmp < env->n_vregmap);
178 vassert(tmp >= 0);
179 vassert(tmp < env->n_vregmap);
180 vassert(! hregIsInvalid(env->vregmapHI[tmp]));
312 vassert(hregClass(src) == HRcInt64);
313 vassert(hregClass(dst) == HRcInt64);
321 vassert(hregClass(src) == HRcVec128);
322 vassert(hregClass(dst) == HRcVec128);
330 vassert(
[all...]
H A Dir_inject.c87 vassert(type == Ity_I1 || sizeofIRType(type) <= 16);
162 vassert(type == Ity_I1 || sizeofIRType(type) <= 16);
215 vassert(iricb.t_opnd2 == Ity_I8);
238 vassert(rounding_mode == NULL);
H A Dguest_x86_toIR.c321 vassert(isPlausibleIRType(ty));
452 vassert(archreg < 8);
455 vassert(host_endness == VexEndnessLE);
471 vassert(archreg >= 4 && archreg < 8 && sz == 1);
518 vassert(host_endness == VexEndnessLE);
519 vassert(laneno >= 0 && laneno < 8);
526 vassert(host_endness == VexEndnessLE);
527 vassert(laneno >= 0 && laneno < 4);
534 vassert(host_endness == VexEndnessLE);
535 vassert(lanen
[all...]
H A Dhost_s390_isel.c199 vassert(tmp < env->n_vregmap);
200 vassert(! hregIsInvalid(env->vregmap[tmp]));
210 vassert(tmp < env->n_vregmap);
211 vassert(! hregIsInvalid(env->vregmapHI[tmp]));
338 vassert(typeOfIRExpr(env->type_env, expr) == Ity_I64);
343 vassert(s390_amode_is_sane(am));
369 vassert(typeOfIRExpr(env->type_env, expr) == Ity_I64);
374 vassert(s390_amode_is_sane(am) &&
573 vassert(nBBPTRs == 0 || nBBPTRs == 1);
574 vassert(nVECRET
[all...]
H A Dguest_generic_x87.c360 /* We shouldn't really call vassert from generated code. */
361 vassert(j >= 0 && j < 52);
633 vassert((pol >> 2) == 0);
634 vassert((idx >> 1) == 0);
701 vassert((pol >> 2) == 0);
702 vassert((idx >> 1) == 0);
790 vassert(imm8 < 0x80);
791 vassert((zmaskL >> 16) == 0);
792 vassert((zmaskR >> 16) == 0);
1041 vassert(imm
[all...]
H A Dguest_mips_toIR.c170 vassert(0);
240 vassert(0);
256 vassert(fregNo < 32);
325 vassert(0);
395 vassert(0);
405 vassert(!mode64);
406 vassert(acNo <= 3);
418 vassert(0);
852 vassert(i < 256);
934 vassert(isPlausibleIRTyp
[all...]
H A Dguest_ppc_toIR.c458 vassert(4 == sizeof(UInt));
459 vassert(4 == sizeof(Float));
460 vassert(4 == sizeof(u));
477 vassert(begin < 32);
478 vassert(end < 32);
489 vassert(begin < 64);
490 vassert(end < 64);
518 vassert(isPlausibleIRType(ty));
587 vassert(tyA == Ity_I32 || tyA == Ity_I64);
643 vassert(
[all...]
H A Dguest_tilegx_helpers.c226 vassert(0);
290 vassert(0);
338 vassert(0);
1088 vassert(0);
H A Dguest_amd64_toIR.c227 vassert(isPlausibleIRType(ty));
265 vassert(i < 256);
271 vassert(i < 0x10000ULL);
277 vassert(i < 0x100000000ULL);
309 vassert(op8 == Iop_Add8 || op8 == Iop_Sub8
923 vassert(reg < 16);
926 vassert(reg < 8);
928 vassert(irregular == False);
950 vassert(reg < 16);
953 vassert(re
[all...]
H A Dhost_mips_defs.h80 ST_IN HReg hregMIPS_D0 ( Bool mode64 ) { vassert(!mode64);
82 ST_IN HReg hregMIPS_D1 ( Bool mode64 ) { vassert(!mode64);
84 ST_IN HReg hregMIPS_D2 ( Bool mode64 ) { vassert(!mode64);
86 ST_IN HReg hregMIPS_D3 ( Bool mode64 ) { vassert(!mode64);
88 ST_IN HReg hregMIPS_D4 ( Bool mode64 ) { vassert(!mode64);
90 ST_IN HReg hregMIPS_D5 ( Bool mode64 ) { vassert(!mode64);
92 ST_IN HReg hregMIPS_D6 ( Bool mode64 ) { vassert(!mode64);
94 ST_IN HReg hregMIPS_D7 ( Bool mode64 ) { vassert(!mode64);
H A Dguest_ppc_helpers.c137 vassert( vD_off <= sizeof(VexGuestPPC32State)-8 );
138 vassert( sh <= 15 );
139 vassert( shift_right <= 1 );
174 vassert( vD_off <= sizeof(VexGuestPPC64State)-8 );
175 vassert( sh <= 15 );
176 vassert( shift_right <= 1 );
H A Dguest_tilegx_toIR.c164 vassert(isPlausibleIRType(ty));
184 vassert(0);
195 vassert(0);
197 vassert(typeOfIRExpr(irsb->tyenv, e) == ty);
254 vassert(rd_wb_index < 6); \
312 vassert((((Addr)code) & 7) == 0);
432 vassert(0);
2062 vassert(0);
2070 vassert(0);
2074 vassert(
[all...]
H A Dir_defs.c74 vassert(sizeof(ULong) == sizeof(Double));
1255 vassert(str);
1677 vassert(bit == False || bit == True);
1760 vassert(regparms >= 0 && regparms <= 3);
1761 vassert(name != NULL);
1762 vassert(addr != 0);
1775 vassert(!(arr->base < 0 || arr->base > 10000 /* somewhat arbitrary */));
1776 vassert(!(arr->elemTy == Ity_I1));
1777 vassert(!(arr->nElems <= 0 || arr->nElems > 500 /* somewhat arbitrary */));
1857 vassert(en
[all...]
H A Dguest_x86_helpers.c725 vassert(dflag == 1 || dflag == 0xFFFFFFFF);
804 vassert(arity == 5);
1223 vassert(arity == 4);
1297 vassert(arity == 4);
1375 vassert(host_is_little_endian());
1736 vassert(host_is_little_endian());
1771 vassert(host_is_little_endian());
2113 vassert(0);
2150 vassert(0);
2624 vassert(
[all...]
H A Dguest_amd64_helpers.c901 vassert(dflag == 1 || dflag == -1);
980 vassert(arity == 5);
1007 vassert(isIRAtom(cc_dep1));
1008 vassert(isIRAtom(cc_dep2));
1031 vassert(isIRAtom(cc_dep1));
1032 vassert(isIRAtom(cc_dep2));
1151 vassert(isIRAtom(cc_dep1));
1152 vassert(isIRAtom(cc_dep2));
1660 vassert(arity == 4);
1739 vassert(host_is_little_endia
[all...]
H A Dguest_mips_helpers.c1089 vassert(0);
1104 vassert(0);
1311 vassert(0);
1430 vassert(0);
H A Dguest_s390_helpers.c380 vassert(num_bytes >= 1 && num_bytes <= 4);
666 vassert(byte <= 0xff);
706 vassert(num_src_bytes <= 4);
1850 vassert(arity == 5);
1863 vassert(cond <= 15);
2374 vassert(arity == 4);
H A Dguest_s390_toIR.c39 #include "main_util.h" /* vassert */
108 vassert(isPlausibleIRType(type));
184 vassert(value < 256);
193 vassert(value < 65536);
232 vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
299 vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
316 vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
380 vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
399 vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
409 vassert(typeOfIRExp
[all...]

Completed in 420 milliseconds

12