Lines Matching defs:NN
42 #define NN 1000 // Size of OSets being created
89 Word* vs[NN];
101 for (i = 0; i < NN; i++) {
106 for (i = 0; i < NN; i++) {
107 Word r1 = myrandom() % NN;
108 Word r2 = myrandom() % NN;
115 for (i = 0; i < NN; i++) {
120 vg_assert( NN == VG_(OSetGen_Size)(oset) );
123 for (i = 0; i < NN; i++) {
131 for (i = 0; i < NN; i++) {
135 v = NN*2;
140 for (i = 0; i < NN; i++) {
156 assert(NN == n);
162 for (i = 0; i < NN; i += 2) {
168 vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );
171 for (i = 1; i < NN; i += 2) {
177 for (i = 0; i < NN; i += 2) {
183 for (i = 1; i < NN; i += 2) {
202 for (i = 3; i < NN; i++) {
259 Word vs[NN];
273 for (i = 0; i < NN; i++) {
277 for (i = 0; i < NN; i++) {
278 Word r1 = myrandom() % NN;
279 Word r2 = myrandom() % NN;
286 for (i = 0; i < NN; i++) {
291 vg_assert( NN == VG_(OSetWord_Size)(oset) );
294 for (i = 0; i < NN; i++) {
302 for (i = 0; i < NN; i++) {
306 v = NN*2;
310 for (i = 0; i < NN; i++) {
325 assert(NN == n);
330 for (i = 0; i < NN; i += 2) {
335 vg_assert( NN/2 == VG_(OSetWord_Size)(oset) );
338 for (i = 1; i < NN; i += 2) {
343 for (i = 0; i < NN; i += 2) {
348 for (i = 1; i < NN; i += 2) {
360 for (i = 3; i < NN; i++) {
413 Block* vs[NN];
432 for (i = 0; i < NN; i++) {
440 for (i = 0; i < NN; i++) {
441 Int r1 = myrandom() % NN;
442 Int r2 = myrandom() % NN;
449 for (i = 0; i < NN; i++) {
454 vg_assert( NN == VG_(OSetGen_Size)(oset) );
458 for (i = 0; i < NN; i++) {
468 for (i = 0; i < NN; i++) {
475 for (i = 0; i < NN; i++) {
494 assert(NN == n);
500 for (i = 0; i < NN; i += 2) {
505 vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );
508 for (i = 1; i < NN; i += 2) {
515 for (i = 0; i < NN; i += 2) {
523 for (i = 1; i < NN; i += 2) {
535 for (i = 0; i < NN; i++) {
