Lines Matching defs:base
330 /* # searches initiated in auxmap_L1, and # base cmps required */
373 /* An entry in the auxiliary primary map. base must be a 64k-aligned
381 Addr base;
394 Addr base;
405 auxmap_L1[i].base = 0;
409 tl_assert(0 == offsetof(AuxMapEnt,base));
411 auxmap_L2 = VG_(OSetGen_Create)( /*keyOff*/ offsetof(AuxMapEnt,base),
429 all .base & 0xFFFF == 0
430 all .base > MAX_PRIMARY_ADDRESS
432 all .base & 0xFFFF == 0
433 all (.base > MAX_PRIMARY_ADDRESS
434 .base & 0xFFFF == 0
435 and .ent points to an AuxMapEnt with the same .base)
437 (.base == 0 and .ent == NULL)
445 if (auxmap_L1[i].base != 0 || auxmap_L1[i].ent != NULL)
456 if (0 != (elem->base & (Addr)0xFFFF))
457 return "64-bit: nonzero .base & 0xFFFF in auxmap_L2";
458 if (elem->base <= MAX_PRIMARY_ADDRESS)
459 return "64-bit: .base <= MAX_PRIMARY_ADDRESS in auxmap_L2";
469 if (auxmap_L1[i].base == 0 && auxmap_L1[i].ent == NULL)
471 if (0 != (auxmap_L1[i].base & (Addr)0xFFFF))
472 return "64-bit: nonzero .base & 0xFFFF in auxmap_L1";
473 if (auxmap_L1[i].base <= MAX_PRIMARY_ADDRESS)
474 return "64-bit: .base <= MAX_PRIMARY_ADDRESS in auxmap_L1";
477 if (auxmap_L1[i].ent->base != auxmap_L1[i].base)
480 key.base = auxmap_L1[i].base;
484 return "64-bit: _L1 .base not found in _L2";
490 if (auxmap_L1[i].base == 0)
493 if (auxmap_L1[j].base == 0)
495 if (auxmap_L1[j].base == auxmap_L1[i].base)
496 return "64-bit: duplicate _L1 .base entries";
510 auxmap_L1[rank].base = ent->base;
526 if (LIKELY(auxmap_L1[0].base == a))
528 if (LIKELY(auxmap_L1[1].base == a)) {
529 Addr t_base = auxmap_L1[0].base;
531 auxmap_L1[0].base = auxmap_L1[1].base;
533 auxmap_L1[1].base = t_base;
541 if (auxmap_L1[i].base == a) {
551 Addr t_base = auxmap_L1[i-1].base;
553 auxmap_L1[i-1].base = auxmap_L1[i-0].base;
555 auxmap_L1[i-0].base = t_base;
565 key.base = a;
589 nyu->base = a;
3245 void MC_(helperc_MAKE_STACK_UNINIT) ( Addr base, UWord len, Addr nia )
3251 base, len, nia );
3264 MC_(make_mem_undefined)(base, len, otag);
3270 if (LIKELY( VG_IS_8_ALIGNED(base) && len==128 )) {
3271 make_aligned_word64_undefined(base + 0, otag);
3272 make_aligned_word64_undefined(base + 8, otag);
3273 make_aligned_word64_undefined(base + 16, otag);
3274 make_aligned_word64_undefined(base + 24, otag);
3276 make_aligned_word64_undefined(base + 32, otag);
3277 make_aligned_word64_undefined(base + 40, otag);
3278 make_aligned_word64_undefined(base + 48, otag);
3279 make_aligned_word64_undefined(base + 56, otag);
3281 make_aligned_word64_undefined(base + 64, otag);
3282 make_aligned_word64_undefined(base + 72, otag);
3283 make_aligned_word64_undefined(base + 80, otag);
3284 make_aligned_word64_undefined(base + 88, otag);
3286 make_aligned_word64_undefined(base + 96, otag);
3287 make_aligned_word64_undefined(base + 104, otag);
3288 make_aligned_word64_undefined(base + 112, otag);
3289 make_aligned_word64_undefined(base + 120, otag);
3291 MC_(make_mem_undefined)(base, len, otag);
3304 if (LIKELY( len == 128 && VG_IS_8_ALIGNED(base) )) {
3306 UWord a_lo = (UWord)(base);
3307 UWord a_hi = (UWord)(base + 128 - 1);
3337 set_aligned_word64_Origin_to_undef( base + 8 * 0, otag );
3338 set_aligned_word64_Origin_to_undef( base + 8 * 1, otag );
3339 set_aligned_word64_Origin_to_undef( base + 8 * 2, otag );
3340 set_aligned_word64_Origin_to_undef( base + 8 * 3, otag );
3341 set_aligned_word64_Origin_to_undef( base + 8 * 4, otag );
3342 set_aligned_word64_Origin_to_undef( base + 8 * 5, otag );
3343 set_aligned_word64_Origin_to_undef( base + 8 * 6, otag );
3344 set_aligned_word64_Origin_to_undef( base + 8 * 7, otag );
3345 set_aligned_word64_Origin_to_undef( base + 8 * 8, otag );
3346 set_aligned_word64_Origin_to_undef( base + 8 * 9, otag );
3347 base + 8 * 10, otag );
3348 set_aligned_word64_Origin_to_undef( base + 8 * 11, otag );
3349 set_aligned_word64_Origin_to_undef( base + 8 * 12, otag );
3350 set_aligned_word64_Origin_to_undef( base + 8 * 13, otag );
3351 set_aligned_word64_Origin_to_undef( base + 8 * 14, otag );
3352 set_aligned_word64_Origin_to_undef( base + 8 * 15, otag );
3360 if (LIKELY( len == 288 && VG_IS_8_ALIGNED(base) )) {
3362 UWord a_lo = (UWord)(base);
3363 UWord a_hi = (UWord)(base + 288 - 1);
3413 set_aligned_word64_Origin_to_undef( base + 8 * 0, otag );
3414 set_aligned_word64_Origin_to_undef( base + 8 * 1, otag );
3415 set_aligned_word64_Origin_to_undef( base + 8 * 2, otag );
3416 set_aligned_word64_Origin_to_undef( base + 8 * 3, otag );
3417 set_aligned_word64_Origin_to_undef( base + 8 * 4, otag );
3418 set_aligned_word64_Origin_to_undef( base + 8 * 5, otag );
3419 set_aligned_word64_Origin_to_undef( base + 8 * 6, otag );
3420 set_aligned_word64_Origin_to_undef( base + 8 * 7, otag );
3421 set_aligned_word64_Origin_to_undef( base + 8 * 8, otag );
3422 set_aligned_word64_Origin_to_undef( base + 8 * 9, otag );
3423 set_aligned_word64_Origin_to_undef( base + 8 * 10, otag );
3424 set_aligned_word64_Origin_to_undef( base + 8 * 11, otag );
3425 set_aligned_word64_Origin_to_undef( base + 8 * 12, otag );
3426 set_aligned_word64_Origin_to_undef( base + 8 * 13, otag );
3427 set_aligned_word64_Origin_to_undef( base + 8 * 14, otag );
3428 set_aligned_word64_Origin_to_undef( base + 8 * 15, otag );
3429 set_aligned_word64_Origin_to_undef( base + 8 * 16, otag );
3430 set_aligned_word64_Origin_to_undef( base + 8 * 17, otag );
3431 set_aligned_word64_Origin_to_undef( base + 8 * 18, otag );
3432 set_aligned_word64_Origin_to_undef( base + 8 * 19, otag );
3433 set_aligned_word64_Origin_to_undef( base + 8 * 20, otag );
3434 set_aligned_word64_Origin_to_undef( base + 8 * 21, otag );
3435 set_aligned_word64_Origin_to_undef( base + 8 * 22, otag );
3436 set_aligned_word64_Origin_to_undef( base + 8 * 23, otag );
3437 set_aligned_word64_Origin_to_undef( base + 8 * 24, otag );
3438 set_aligned_word64_Origin_to_undef( base + 8 * 25, otag );
3439 set_aligned_word64_Origin_to_undef( base + 8 * 26, otag );
3440 set_aligned_word64_Origin_to_undef( base + 8 * 27, otag );
3441 set_aligned_word64_Origin_to_undef( base + 8 * 28, otag );
3442 set_aligned_word64_Origin_to_undef( base + 8 * 29, otag );
3443 set_aligned_word64_Origin_to_undef( base + 8 * 30, otag );
3444 set_aligned_word64_Origin_to_undef( base + 8 * 31, otag );
3445 set_aligned_word64_Origin_to_undef( base + 8 * 32, otag );
3446 set_aligned_word64_Origin_to_undef( base + 8 * 33, otag );
3447 set_aligned_word64_Origin_to_undef( base + 8 * 34, otag );
3448 set_aligned_word64_Origin_to_undef( base + 8 * 35, otag );
3456 MC_(make_mem_undefined_w_otag)(base, len, otag);
3663 Addr base, SizeT size )
3666 Bool ok = is_mem_addressable ( base, size, &bad_addr );
3687 Addr base, SizeT size )
3691 MC_ReadResult res = is_mem_defined ( base, size, &bad_addr, &otag );
