OpenGrok
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 3084 milliseconds
1
2