Lines Matching refs:vs

89    UWord* vs[NN];
103 vs[i] = VG_(OSetGen_AllocNode)(oset, sizeof(Word));
104 *(vs[i]) = 2*(i+1);
105 sorted_elts[i] = *(vs[i]);
111 UWord* tmp= vs[r1];
112 vs[r1] = vs[r2];
113 vs[r2] = tmp;
118 VG_(OSetGen_Insert)(oset, vs[i]);
126 assert( VG_(OSetGen_Contains)(oset, vs[i]) );
179 v = *(vs[i]) + 1;
188 assert( vs[i] == VG_(OSetGen_Lookup)(oset, vs[i]) );
210 assert( pv = VG_(OSetGen_Remove)(oset, vs[i]) );
211 assert( pv == vs[i] );
219 assert( pv = VG_(OSetGen_LookupWithCmp)(oset, vs[i], NULL) );
220 assert( pv == vs[i] );
225 assert( ! VG_(OSetGen_Contains)(oset, vs[i]) );
231 assert( pv = VG_(OSetGen_Remove)(oset, vs[i]) );
232 assert( pv == vs[i] );
243 VG_(OSetGen_FreeNode)(oset, vs[0]);
244 VG_(OSetGen_FreeNode)(oset, vs[1]);
245 VG_(OSetGen_FreeNode)(oset, vs[2]);
250 VG_(OSetGen_Insert)(oset, vs[i]);
306 UWord vs[NN];
321 vs[i] = 2*i;
327 UWord tmp = vs[r1];
328 vs[r1] = vs[r2];
329 vs[r2] = tmp;
334 VG_(OSetWord_Insert)(oset, vs[i]);
342 assert( VG_(OSetWord_Contains)(oset, vs[i]) );
350 v = vs[i] + 1;
358 assert( VG_(OSetWord_Contains)(oset, vs[i]) );
381 assert( VG_(OSetWord_Remove)(oset, vs[i]) );
389 assert( VG_(OSetWord_Contains)(oset, vs[i]) );
394 assert( ! VG_(OSetWord_Contains)(oset, vs[i]) );
399 assert( VG_(OSetWord_Remove)(oset, vs[i]) );
411 VG_(OSetWord_Insert)(oset, vs[i]);
463 Block* vs[NN];
483 vs[i] = VG_(OSetGen_AllocNode)(oset, sizeof(Block));
484 vs[i]->b1 = i;
485 vs[i]->first = i*10 + 1;
486 vs[i]->last = vs[i]->first + 2;
487 vs[i]->b2 = i+1;
493 Block* tmp = vs[r1];
494 vs[r1] = vs[r2];
495 vs[r2] = tmp;
500 VG_(OSetGen_Insert)(oset, vs[i]);
509 a = vs[i]->first + 0; assert( VG_(OSetGen_Contains)(oset, &a) );
510 a = vs[i]->first + 1; assert( VG_(OSetGen_Contains)(oset, &a) );
511 a = vs[i]->first + 2; assert( VG_(OSetGen_Contains)(oset, &a) );
519 a = vs[i]->first - 1; assert( ! VG_(OSetGen_Contains)(oset, &a) );
520 a = vs[i]->first + 3; assert( ! VG_(OSetGen_Contains)(oset, &a) );
526 a = vs[i]->first + 0; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
527 a = vs[i]->first + 1; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
528 a = vs[i]->first + 2; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
529 assert( vs[i] == VG_(OSetGen_LookupWithCmp)(oset, &a, blockCmp) );
551 a = vs[i]->first; assert( vs[i] == VG_(OSetGen_Remove)(oset, &a) );
559 a = vs[i]->first + 0; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
560 a = vs[i]->first + 1; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
561 a = vs[i]->first + 2; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
566 a = vs[i]->first + 0; assert( ! VG_(OSetGen_Contains)(oset, &a) );
567 a = vs[i]->first + 1; assert( ! VG_(OSetGen_Contains)(oset, &a) );
568 a = vs[i]->first + 2; assert( ! VG_(OSetGen_Contains)(oset, &a) );
574 a = vs[i]->first; assert( vs[i] == VG_(OSetGen_Remove)(oset, &a) );
586 VG_(OSetGen_Insert)(oset, vs[i]);