Lines Matching defs:bm1
99 int bm_equal_print_diffs(struct bitmap* bm1, struct bitmap* bm2)
103 equal = DRD_(bm_equal)(bm1, bm2);
111 if (DRD_(bm_has_1)(bm1, i, eLoad) != DRD_(bm_has_1)(bm2, i, eLoad)
112 || DRD_(bm_has_1)(bm1, i, eStore) != DRD_(bm_has_1)(bm2, i, eStore))
116 DRD_(bm_has_1)(bm1, i, eLoad) ? 'R' : ' ',
117 DRD_(bm_has_1)(bm1, i, eStore) ? 'W' : ' ',
173 struct bitmap* bm1;
176 bm1 = DRD_(bm_new)();
178 DRD_(bm_access_load_1)(bm1, 7);
180 assert(! DRD_(bm_equal)(bm1, bm2));
181 assert(! DRD_(bm_equal)(bm2, bm1));
183 assert(! DRD_(bm_equal)(bm1, bm2));
184 assert(! DRD_(bm_equal)(bm2, bm1));
185 DRD_(bm_access_store_1)(bm1, make_address(1, 0) + 7);
186 assert(! DRD_(bm_equal)(bm1, bm2));
187 assert(! DRD_(bm_equal)(bm2, bm1));
189 DRD_(bm_delete)(bm1);
196 struct bitmap* bm1;
207 bm1 = DRD_(bm_new)();
213 DRD_(bm_access_range_load)(bm1, i, j);
214 DRD_(bm_clear_load)(bm1, i, j);
215 assert(bm_equal_print_diffs(bm1, bm2));
216 DRD_(bm_access_load_1)(bm1, i);
217 DRD_(bm_clear_load)(bm1, i, i + MAX(1, ADDR_GRANULARITY));
218 assert(bm_equal_print_diffs(bm1, bm2));
219 DRD_(bm_access_load_2)(bm1, i);
220 DRD_(bm_clear_load)(bm1, i, i + MAX(2, ADDR_GRANULARITY));
221 assert(bm_equal_print_diffs(bm1, bm2));
222 DRD_(bm_access_load_4)(bm1, i);
223 DRD_(bm_clear_load)(bm1, i, i + MAX(4, ADDR_GRANULARITY));
224 assert(bm_equal_print_diffs(bm1, bm2));
225 DRD_(bm_access_load_8)(bm1, i);
226 DRD_(bm_clear_load)(bm1, i, i + MAX(8, ADDR_GRANULARITY));
227 assert(bm_equal_print_diffs(bm1, bm2));
229 DRD_(bm_access_range_store)(bm1, i, j);
230 DRD_(bm_clear_store)(bm1, i, j);
231 assert(bm_equal_print_diffs(bm1, bm2));
232 DRD_(bm_access_store_1)(bm1, i);
233 DRD_(bm_clear_store)(bm1, i, i + MAX(1, ADDR_GRANULARITY));
234 assert(bm_equal_print_diffs(bm1, bm2));
235 DRD_(bm_access_store_2)(bm1, i);
236 DRD_(bm_clear_store)(bm1, i, i + MAX(2, ADDR_GRANULARITY));
237 assert(bm_equal_print_diffs(bm1, bm2));
238 DRD_(bm_access_store_4)(bm1, i);
239 DRD_(bm_clear_store)(bm1, i, i + MAX(4, ADDR_GRANULARITY));
240 assert(bm_equal_print_diffs(bm1, bm2));
241 DRD_(bm_access_store_8)(bm1, i);
242 DRD_(bm_clear_store)(bm1, i, i + MAX(8, ADDR_GRANULARITY));
243 assert(bm_equal_print_diffs(bm1, bm2));
245 DRD_(bm_access_range_load)(bm1, i, j);
246 DRD_(bm_access_range_store)(bm1, i, j);
247 DRD_(bm_clear)(bm1, i, j);
248 assert(bm_equal_print_diffs(bm1, bm2));
249 DRD_(bm_access_load_1)(bm1, i);
250 DRD_(bm_access_store_1)(bm1, i);
251 DRD_(bm_clear)(bm1, i, i + MAX(1, ADDR_GRANULARITY));
252 assert(bm_equal_print_diffs(bm1, bm2));
253 DRD_(bm_access_load_2)(bm1, i);
254 DRD_(bm_access_store_2)(bm1, i);
255 DRD_(bm_clear)(bm1, i, i + MAX(2, ADDR_GRANULARITY));
256 assert(bm_equal_print_diffs(bm1, bm2));
257 DRD_(bm_access_load_4)(bm1, i);
258 DRD_(bm_access_store_4)(bm1, i);
259 DRD_(bm_clear)(bm1, i, i + MAX(4, ADDR_GRANULARITY));
260 assert(bm_equal_print_diffs(bm1, bm2));
261 DRD_(bm_access_load_8)(bm1, i);
262 DRD_(bm_access_store_8)(bm1, i);
263 DRD_(bm_clear)(bm1, i, i + MAX(8, ADDR_GRANULARITY));
264 assert(bm_equal_print_diffs(bm1, bm2));
267 DRD_(bm_access_range_load)(bm1, 0, make_address(2, 0) + 2 * BITS_PER_UWORD);
268 DRD_(bm_access_range_store)(bm1, 0, make_address(2, 0) + 2 * BITS_PER_UWORD);
277 DRD_(bm_clear_load)(bm1, i, j);
278 DRD_(bm_access_range_load)(bm1, i, j);
279 assert(bm_equal_print_diffs(bm1, bm2));
280 DRD_(bm_clear_load)(bm1, i, i+1);
281 DRD_(bm_access_load_1)(bm1, i);
282 assert(bm_equal_print_diffs(bm1, bm2));
283 DRD_(bm_clear_load)(bm1, i, i+2);
284 DRD_(bm_access_load_2)(bm1, i);
285 assert(bm_equal_print_diffs(bm1, bm2));
286 DRD_(bm_clear_load)(bm1, i, i+4);
287 DRD_(bm_access_load_4)(bm1, i);
288 assert(bm_equal_print_diffs(bm1, bm2));
289 DRD_(bm_clear_load)(bm1, i, i+8);
290 DRD_(bm_access_load_8)(bm1, i);
291 assert(bm_equal_print_diffs(bm1, bm2));
293 DRD_(bm_clear_store)(bm1, i, j);
294 DRD_(bm_access_range_store)(bm1, i, j);
295 assert(bm_equal_print_diffs(bm1, bm2));
296 DRD_(bm_clear_store)(bm1, i, i+1);
297 DRD_(bm_access_store_1)(bm1, i);
298 assert(bm_equal_print_diffs(bm1, bm2));
299 DRD_(bm_clear_store)(bm1, i, i+2);
300 DRD_(bm_access_store_2)(bm1, i);
301 assert(bm_equal_print_diffs(bm1, bm2));
302 DRD_(bm_clear_store)(bm1, i, i+4);
303 DRD_(bm_access_store_4)(bm1, i);
304 assert(bm_equal_print_diffs(bm1, bm2));
305 DRD_(bm_clear_store)(bm1, i, i+8);
306 DRD_(bm_access_store_8)(bm1, i);
307 assert(bm_equal_print_diffs(bm1, bm2));
309 DRD_(bm_clear)(bm1, i, j);
310 DRD_(bm_access_range_load)(bm1, i, j);
311 DRD_(bm_access_range_store)(bm1, i, j);
312 assert(bm_equal_print_diffs(bm1, bm2));
316 DRD_(bm_delete)(bm1);
