34   private static int linear(int[] x) {  in linear()  argument
36     for (int i = 0; i < x.length; i++) {  in linear()
37       result += x[i];  in linear()
48   private static int linearDown(int[] x) {  in linearDown()  argument
50     for (int i = x.length - 1; i >= 0; i--) {  in linearDown()
51       result += x[i];  in linearDown()
62   private static int linearObscure(int[] x) {  in linearObscure()  argument
64     for (int i = x.length - 1; i >= 0; i--) {  in linearObscure()
66       result += x[k - 5];  in linearObscure()
77   private static int linearVeryObscure(int[] x) {  in linearVeryObscure()  argument
79     for (int i = 0; i < x.length; i++) {  in linearVeryObscure()
81       result += x[k - 5];  in linearVeryObscure()
109   private static int linearWhile(int[] x) {  in linearWhile()  argument
112     while (i < x.length) {  in linearWhile()
113       result += x[i++];  in linearWhile()
124   private static int linearThreeWayPhi(int[] x) {  in linearThreeWayPhi()  argument
126     for (int i = 0; i < x.length; ) {  in linearThreeWayPhi()
127       if (x[i] == 5) {  in linearThreeWayPhi()
131       result += x[i++];  in linearThreeWayPhi()
142   private static int linearFourWayPhi(int[] x) {  in linearFourWayPhi()  argument
144     for (int i = 0; i < x.length; ) {  in linearFourWayPhi()
145       if (x[i] == 5) {  in linearFourWayPhi()
148       } else if (x[i] == 6) {  in linearFourWayPhi()
153       result += x[i++];  in linearFourWayPhi()
164   private static int wrapAroundThenLinear(int[] x) {  in wrapAroundThenLinear()  argument
166     int w = x.length - 1;  in wrapAroundThenLinear()
168     for (int i = 0; i < x.length; i++) {  in wrapAroundThenLinear()
169       result += x[w];  in wrapAroundThenLinear()
181   private static int wrapAroundThenLinearThreeWayPhi(int[] x) {  in wrapAroundThenLinearThreeWayPhi()  argument
183     int w = x.length - 1;  in wrapAroundThenLinearThreeWayPhi()
185     for (int i = 0; i < x.length; ) {  in wrapAroundThenLinearThreeWayPhi()
186        if (x[w] == 1) {  in wrapAroundThenLinearThreeWayPhi()
190        result += x[w];  in wrapAroundThenLinearThreeWayPhi()
203     int[] x = new int[n];  in linearWithParameter()  local
205       x[i] = i;  in linearWithParameter()
207     return x;  in linearWithParameter()
216   private static int[] linearCopy(int x[]) {  in linearCopy()  argument
217     int n = x.length;  in linearCopy()
220       y[i] = x[i];  in linearCopy()
232   private static int linearByTwo(int x[]) {  in linearByTwo()  argument
233     int n = x.length / 2;  in linearByTwo()
237       result += x[ii];  in linearByTwo()
238       result += x[ii + 1];  in linearByTwo()
249   private static int linearByTwoSkip1(int x[]) {  in linearByTwoSkip1()  argument
251     for (int i = 0; i < x.length / 2; i++) {  in linearByTwoSkip1()
252       result += x[2 * i];  in linearByTwoSkip1()
265   private static int linearByTwoSkip2(int x[]) {  in linearByTwoSkip2()  argument
268     for (int i = 0; i < x.length; i+=2) {  in linearByTwoSkip2()
269       result += x[i];  in linearByTwoSkip2()
281     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14 };  in linearWithCompoundStride()  local
285       result += x[i];  in linearWithCompoundStride()
298     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 };  in linearWithLargePositiveStride()  local
304       result += x[k++];  in linearWithLargePositiveStride()
318     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 };  in linearWithVeryLargePositiveStride()  local
324       result += x[k++];  in linearWithVeryLargePositiveStride()
336     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 };  in linearWithLargeNegativeStride()  local
342       result += x[k++];  in linearWithLargeNegativeStride()
356     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 };  in linearWithVeryLargeNegativeStride()  local
362       result += x[k++];  in linearWithVeryLargeNegativeStride()
374     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearForNEUp()  local
377       result += x[i];  in linearForNEUp()
389     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearForNEDown()  local
392       result += x[i];  in linearForNEDown()
403   private static int linearForNEArrayLengthUp(int[] x) {  in linearForNEArrayLengthUp()  argument
405     for (int i = 0; i != x.length; i++) {  in linearForNEArrayLengthUp()
406       result += x[i];  in linearForNEArrayLengthUp()
417   private static int linearForNEArrayLengthDown(int[] x) {  in linearForNEArrayLengthDown()  argument
419     for (int i = x.length - 1; i != -1; i--) {  in linearForNEArrayLengthDown()
420       result += x[i];  in linearForNEArrayLengthDown()
432     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearDoWhileUp()  local
436       result += x[i++];  in linearDoWhileUp()
448     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearDoWhileDown()  local
452       result += x[i--];  in linearDoWhileDown()
464     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearLong()  local
469       result += x[(int)i];  in linearLong()
480   private static int linearLongAlt(int[] x) {  in linearLongAlt()  argument
484     for (long i = 0; i < x.length; i++) {  in linearLongAlt()
485       result += x[(int)i];  in linearLongAlt()
497     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearShort()  local
501       result += x[i];  in linearShort()
513     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearChar()  local
517       result += x[i];  in linearChar()
529     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearByte()  local
533       result += x[i];  in linearByte()
544   private static int invariantFromPreLoop(int[] x, int y) {  in invariantFromPreLoop()  argument
550       hi = x.length;  in invariantFromPreLoop()
554        result += x[i];  in invariantFromPreLoop()
729     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in main()  local
733     expectEquals(55, linear(x));  in main()
735     expectEquals(55, linearDown(x));  in main()
737     expectEquals(55, linearObscure(x));  in main()
739     expectEquals(55, linearVeryObscure(x));  in main()
741     expectEquals(55, hiddenStride(x));  in main()
743     expectEquals(55, linearWhile(x));  in main()
745     expectEquals(50, linearThreeWayPhi(x));  in main()
747     expectEquals(51, linearFourWayPhi(x));  in main()
749     expectEquals(55, wrapAroundThenLinear(x));  in main()
751     expectEquals(54, wrapAroundThenLinearThreeWayPhi(x));  in main()
772       int[] r = linearCopy(x);  in main()
773       expectEquals(x.length, r.length);  in main()
774       for (int i = 0; i < x.length; i++) {  in main()
775         expectEquals(x[i], r[i]);  in main()
780     expectEquals(55, linearByTwo(x));  in main()
781     expectEquals(25, linearByTwoSkip1(x));  in main()
782     expectEquals(25, linearByTwoSkip2(x));  in main()
792     expectEquals(55, linearForNEArrayLengthUp(x));  in main()
793     expectEquals(55, linearForNEArrayLengthDown(x));  in main()
797     expectEquals(55, linearLongAlt(x));  in main()
801     expectEquals(55, invariantFromPreLoop(x, 1));  in main()