Lines Matching refs:vs
89 Word* vs[NN]; in example1singleset() local
102 vs[i] = VG_(OSetGen_AllocNode)(oset, sizeof(Word)); in example1singleset()
103 *(vs[i]) = 2*i; in example1singleset()
109 Word* tmp= vs[r1]; in example1singleset()
110 vs[r1] = vs[r2]; in example1singleset()
111 vs[r2] = tmp; in example1singleset()
116 VG_(OSetGen_Insert)(oset, vs[i]); in example1singleset()
124 assert( VG_(OSetGen_Contains)(oset, vs[i]) ); in example1singleset()
132 v = *(vs[i]) + 1; in example1singleset()
141 assert( vs[i] == VG_(OSetGen_Lookup)(oset, vs[i]) ); in example1singleset()
163 assert( pv = VG_(OSetGen_Remove)(oset, vs[i]) ); in example1singleset()
164 assert( pv == vs[i] ); in example1singleset()
172 assert( pv = VG_(OSetGen_LookupWithCmp)(oset, vs[i], NULL) ); in example1singleset()
173 assert( pv == vs[i] ); in example1singleset()
178 assert( ! VG_(OSetGen_Contains)(oset, vs[i]) ); in example1singleset()
184 assert( pv = VG_(OSetGen_Remove)(oset, vs[i]) ); in example1singleset()
185 assert( pv == vs[i] ); in example1singleset()
196 VG_(OSetGen_FreeNode)(oset, vs[0]); in example1singleset()
197 VG_(OSetGen_FreeNode)(oset, vs[1]); in example1singleset()
198 VG_(OSetGen_FreeNode)(oset, vs[2]); in example1singleset()
203 VG_(OSetGen_Insert)(oset, vs[i]); in example1singleset()
259 Word vs[NN]; in example1b() local
274 vs[i] = 2*i; in example1b()
280 Word tmp = vs[r1]; in example1b()
281 vs[r1] = vs[r2]; in example1b()
282 vs[r2] = tmp; in example1b()
287 VG_(OSetWord_Insert)(oset, vs[i]); in example1b()
295 assert( VG_(OSetWord_Contains)(oset, vs[i]) ); in example1b()
303 v = vs[i] + 1; in example1b()
311 assert( VG_(OSetWord_Contains)(oset, vs[i]) ); in example1b()
331 assert( VG_(OSetWord_Remove)(oset, vs[i]) ); in example1b()
339 assert( VG_(OSetWord_Contains)(oset, vs[i]) ); in example1b()
344 assert( ! VG_(OSetWord_Contains)(oset, vs[i]) ); in example1b()
349 assert( VG_(OSetWord_Remove)(oset, vs[i]) ); in example1b()
361 VG_(OSetWord_Insert)(oset, vs[i]); in example1b()
413 Block* vs[NN]; in example2() local
433 vs[i] = VG_(OSetGen_AllocNode)(oset, sizeof(Block)); in example2()
434 vs[i]->b1 = i; in example2()
435 vs[i]->first = i*10 + 1; in example2()
436 vs[i]->last = vs[i]->first + 2; in example2()
437 vs[i]->b2 = i+1; in example2()
443 Block* tmp = vs[r1]; in example2()
444 vs[r1] = vs[r2]; in example2()
445 vs[r2] = tmp; in example2()
450 VG_(OSetGen_Insert)(oset, vs[i]); in example2()
459 a = vs[i]->first + 0; assert( VG_(OSetGen_Contains)(oset, &a) ); in example2()
460 a = vs[i]->first + 1; assert( VG_(OSetGen_Contains)(oset, &a) ); in example2()
461 a = vs[i]->first + 2; assert( VG_(OSetGen_Contains)(oset, &a) ); in example2()
469 a = vs[i]->first - 1; assert( ! VG_(OSetGen_Contains)(oset, &a) ); in example2()
470 a = vs[i]->first + 3; assert( ! VG_(OSetGen_Contains)(oset, &a) ); in example2()
476 a = vs[i]->first + 0; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) ); in example2()
477 a = vs[i]->first + 1; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) ); in example2()
478 a = vs[i]->first + 2; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) ); in example2()
479 assert( vs[i] == VG_(OSetGen_LookupWithCmp)(oset, &a, blockCmp) ); in example2()
501 a = vs[i]->first; assert( vs[i] == VG_(OSetGen_Remove)(oset, &a) ); in example2()
509 a = vs[i]->first + 0; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) ); in example2()
510 a = vs[i]->first + 1; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) ); in example2()
511 a = vs[i]->first + 2; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) ); in example2()
516 a = vs[i]->first + 0; assert( ! VG_(OSetGen_Contains)(oset, &a) ); in example2()
517 a = vs[i]->first + 1; assert( ! VG_(OSetGen_Contains)(oset, &a) ); in example2()
518 a = vs[i]->first + 2; assert( ! VG_(OSetGen_Contains)(oset, &a) ); in example2()
524 a = vs[i]->first; assert( vs[i] == VG_(OSetGen_Remove)(oset, &a) ); in example2()
536 VG_(OSetGen_Insert)(oset, vs[i]); in example2()