Lines Matching defs:isrc
44 int *isrc = &int_src[level * num_vars];
45 int i00 = *isrc++ + 1;
46 int i01 = *isrc++ + 1;
47 int i02 = *isrc++ + 1;
48 int i03 = *isrc++ + 1;
49 int i04 = *isrc++ + 1;
50 int i05 = *isrc++ + 1;
51 int i06 = *isrc++ + 1;
52 int i07 = *isrc++ + 1;
53 int i08 = *isrc++ + 1;
54 int i09 = *isrc++ + 1;
55 int i10 = *isrc++ + 1;
56 int i11 = *isrc++ + 1;
57 int i12 = *isrc++ + 1;
58 int i13 = *isrc++ + 1;
59 int i14 = *isrc++ + 1;
60 int i15 = *isrc++ + 1;
128 int *isrc = &int_src[throw_to * num_vars];
131 if (int_dest[i] != isrc[i] + 1)