struct bitmap2* bm2;
bm2 = bm2_lookup_or_insert(bm, a1 >> ADDR0_BITS);
- tl_assert(bm2);
-
bm0_set_range(bm2->bm1.bm0_r, a1 & ADDR0_MASK, size);
}
struct bitmap2* bm2;
bm2 = bm2_lookup_or_insert(bm, a1 >> ADDR0_BITS);
- tl_assert(bm2);
-
bm0_set_range(bm2->bm1.bm0_w, a1 & ADDR0_MASK, size);
}
/* Macro definitions. */
-#define ADDR0_BITS 12
+#define ADDR0_BITS 16
#define ADDR0_COUNT ((UWord)1 << ADDR0_BITS)
const UWord a1 = a >> ADDR0_BITS;
if (a1 == bm->last_lookup_a1)
{
- //tl_assert(bm->last_lookup_result == VG_(OSetGen_Lookup)(bm->oset, &a1));
return bm->last_lookup_result;
}
result = VG_(OSetGen_Lookup)(bm->oset,&a1);
if (a1 == bm->last_lookup_a1)
{
- //tl_assert(bm->last_lookup_result == VG_(OSetGen_Lookup)(bm->oset, &a1));
return bm->last_lookup_result;
}