test/525-checker-arrays-fields1/src/Main.java - LeafOS-Project/android_art - Gitiles

 /*
  * Copyright (C) 2015 The Android Open Source Project
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
  * You may obtain a copy of the License at
  *
  *      http://www.apache.org/licenses/LICENSE-2.0
  *
  * Unless required by applicable law or agreed to in writing, software
  * distributed under the License is distributed on an "AS IS" BASIS,
  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  * See the License for the specific language governing permissions and
  * limitations under the License.
  */

 //
 // Test on (in)variant static field and array references in loops.
 //
 public class Main {

   private static Object anObject = new Object();
   private static Object anotherObject = new Object();

   //
   // Static fields.
   //

   private static boolean sZ;
   private static byte sB;
   private static char sC;
   private static short sS;
   private static int sI;
   private static long sJ;
   private static float sF;
   private static double sD;
   private static Object sL;

   //
   // Static arrays.
   //

   private static boolean[] sArrZ;
   private static byte[] sArrB;
   private static char[] sArrC;
   private static short[] sArrS;
   private static int[] sArrI;
   private static long[] sArrJ;
   private static float[] sArrF;
   private static double[] sArrD;
   private static Object[] sArrL;

   //
   // Loops on static arrays with invariant static field references.
   // The checker is used to ensure hoisting occurred.
   //

   /// CHECK-START: void Main.InvLoopZ() licm (before)
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

   /// CHECK-START: void Main.InvLoopZ() licm (after)
   /// CHECK-DAG: StaticFieldGet loop:none
   /// CHECK-DAG: StaticFieldGet loop:none

   private static void InvLoopZ() {
     for (int i = 0; i < sArrZ.length; i++) {
       sArrZ[i] = sZ;
     }
   }

   /// CHECK-START: void Main.InvLoopB() licm (before)
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

   /// CHECK-START: void Main.InvLoopB() licm (after)
   /// CHECK-DAG: StaticFieldGet loop:none
   /// CHECK-DAG: StaticFieldGet loop:none

   private static void InvLoopB() {
     for (int i = 0; i < sArrB.length; i++) {
       sArrB[i] = sB;
     }
   }

   /// CHECK-START: void Main.InvLoopC() licm (before)
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

   /// CHECK-START: void Main.InvLoopC() licm (after)
   /// CHECK-DAG: StaticFieldGet loop:none
   /// CHECK-DAG: StaticFieldGet loop:none

   private static void InvLoopC() {
     for (int i = 0; i < sArrC.length; i++) {
       sArrC[i] = sC;
     }
   }

   /// CHECK-START: void Main.InvLoopS() licm (before)
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

   /// CHECK-START: void Main.InvLoopS() licm (after)
   /// CHECK-DAG: StaticFieldGet loop:none
   /// CHECK-DAG: StaticFieldGet loop:none

   private static void InvLoopS() {
     for (int i = 0; i < sArrS.length; i++) {
       sArrS[i] = sS;
     }
   }

   /// CHECK-START: void Main.InvLoopI() licm (before)
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

   /// CHECK-START: void Main.InvLoopI() licm (after)
   /// CHECK-DAG: StaticFieldGet loop:none
   /// CHECK-DAG: StaticFieldGet loop:none

   private static void InvLoopI() {
     for (int i = 0; i < sArrI.length; i++) {
       sArrI[i] = sI;
     }
   }

   /// CHECK-START: void Main.InvLoopJ() licm (before)
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

   /// CHECK-START: void Main.InvLoopJ() licm (after)
   /// CHECK-DAG: StaticFieldGet loop:none
   /// CHECK-DAG: StaticFieldGet loop:none

   private static void InvLoopJ() {
     for (int i = 0; i < sArrJ.length; i++) {
       sArrJ[i] = sJ;
     }
   }

   /// CHECK-START: void Main.InvLoopF() licm (before)
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

   /// CHECK-START: void Main.InvLoopF() licm (after)
   /// CHECK-DAG: StaticFieldGet loop:none
   /// CHECK-DAG: StaticFieldGet loop:none

   private static void InvLoopF() {
     for (int i = 0; i < sArrF.length; i++) {
       sArrF[i] = sF;
     }
   }

   /// CHECK-START: void Main.InvLoopD() licm (before)
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

   /// CHECK-START: void Main.InvLoopD() licm (after)
   /// CHECK-DAG: StaticFieldGet loop:none
   /// CHECK-DAG: StaticFieldGet loop:none

   private static void InvLoopD() {
     for (int i = 0; i < sArrD.length; i++) {
       sArrD[i] = sD;
     }
   }

   /// CHECK-START: void Main.InvLoopL() licm (before)
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
   /// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

   /// CHECK-START: void Main.InvLoopL() licm (after)
   /// CHECK-DAG: StaticFieldGet loop:none
   /// CHECK-DAG: StaticFieldGet loop:none

   private static void InvLoopL() {
     for (int i = 0; i < sArrL.length; i++) {
       sArrL[i] = sL;
     }
   }

   //
   // Loops on static arrays with variant static field references.
   // Incorrect hoisting is detected by incorrect outcome.
   //

   private static void VarLoopZ() {
     for (int i = 0; i < sArrZ.length; i++) {
       sArrZ[i] = sZ;
       if (i == 10)
         sZ = !sZ;
     }
   }

   private static void VarLoopB() {
     for (int i = 0; i < sArrB.length; i++) {
       sArrB[i] = sB;
       if (i == 10)
         sB++;
     }
   }

   private static void VarLoopC() {
     for (int i = 0; i < sArrC.length; i++) {
       sArrC[i] = sC;
       if (i == 10)
         sC++;
     }
   }

   private static void VarLoopS() {
     for (int i = 0; i < sArrS.length; i++) {
       sArrS[i] = sS;
       if (i == 10)
         sS++;
     }
   }

   private static void VarLoopI() {
     for (int i = 0; i < sArrI.length; i++) {
       sArrI[i] = sI;
       if (i == 10)
         sI++;
     }
   }

   private static void VarLoopJ() {
     for (int i = 0; i < sArrJ.length; i++) {
       sArrJ[i] = sJ;
       if (i == 10)
         sJ++;
     }
   }

   private static void VarLoopF() {
     for (int i = 0; i < sArrF.length; i++) {
       sArrF[i] = sF;
       if (i == 10)
         sF++;
     }
   }

   private static void VarLoopD() {
     for (int i = 0; i < sArrD.length; i++) {
       sArrD[i] = sD;
       if (i == 10)
         sD++;
     }
   }

   private static void VarLoopL() {
     for (int i = 0; i < sArrL.length; i++) {
       sArrL[i] = sL;
       if (i == 10)
         sL = anotherObject;
     }
   }

   //
   // Loops on static arrays with a cross-over reference.
   // Incorrect hoisting is detected by incorrect outcome.
   // In addition, the checker is used to detect no hoisting.
   //

   /// CHECK-START: void Main.CrossOverLoopZ() licm (before)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   /// CHECK-START: void Main.CrossOverLoopZ() licm (after)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   private static void CrossOverLoopZ() {
     sArrZ[20] = false;
     for (int i = 0; i < sArrZ.length; i++) {
       sArrZ[i] = !sArrZ[20];
     }
   }

   /// CHECK-START: void Main.CrossOverLoopB() licm (before)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   /// CHECK-START: void Main.CrossOverLoopB() licm (after)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   private static void CrossOverLoopB() {
     sArrB[20] = 11;
     for (int i = 0; i < sArrB.length; i++) {
       sArrB[i] = (byte)(sArrB[20] + 2);
     }
   }

   /// CHECK-START: void Main.CrossOverLoopC() licm (before)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   /// CHECK-START: void Main.CrossOverLoopC() licm (after)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   private static void CrossOverLoopC() {
     sArrC[20] = 11;
     for (int i = 0; i < sArrC.length; i++) {
       sArrC[i] = (char)(sArrC[20] + 2);
     }
   }

   /// CHECK-START: void Main.CrossOverLoopS() licm (before)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   /// CHECK-START: void Main.CrossOverLoopS() licm (after)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   private static void CrossOverLoopS() {
     sArrS[20] = 11;
     for (int i = 0; i < sArrS.length; i++) {
       sArrS[i] = (short)(sArrS[20] + 2);
     }
   }

   /// CHECK-START: void Main.CrossOverLoopI() licm (before)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   /// CHECK-START: void Main.CrossOverLoopI() licm (after)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   private static void CrossOverLoopI() {
     sArrI[20] = 11;
     for (int i = 0; i < sArrI.length; i++) {
       sArrI[i] = sArrI[20] + 2;
     }
   }

   /// CHECK-START: void Main.CrossOverLoopJ() licm (before)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   /// CHECK-START: void Main.CrossOverLoopJ() licm (after)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   private static void CrossOverLoopJ() {
     sArrJ[20] = 11;
     for (int i = 0; i < sArrJ.length; i++) {
       sArrJ[i] = sArrJ[20] + 2;
     }
   }

   /// CHECK-START: void Main.CrossOverLoopF() licm (before)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   /// CHECK-START: void Main.CrossOverLoopF() licm (after)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   private static void CrossOverLoopF() {
     sArrF[20] = 11;
     for (int i = 0; i < sArrF.length; i++) {
       sArrF[i] = sArrF[20] + 2;
     }
   }

   /// CHECK-START: void Main.CrossOverLoopD() licm (before)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   /// CHECK-START: void Main.CrossOverLoopD() licm (after)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   private static void CrossOverLoopD() {
     sArrD[20] = 11;
     for (int i = 0; i < sArrD.length; i++) {
       sArrD[i] = sArrD[20] + 2;
     }
   }

   /// CHECK-START: void Main.CrossOverLoopL() licm (before)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   /// CHECK-START: void Main.CrossOverLoopL() licm (after)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   private static void CrossOverLoopL() {
     sArrL[20] = anotherObject;
     for (int i = 0; i < sArrL.length; i++) {
       sArrL[i] = (sArrL[20] == anObject) ? anotherObject : anObject;
     }
   }

   //
   // False cross-over loops on static arrays with data types (I/F and J/D) that used
   // to be aliased in an older version of the compiler. This alias has been removed,
   // however, which enables hoisting the invariant array reference.
   //

   /// CHECK-START: void Main.FalseCrossOverLoop1() licm (before)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   /// CHECK-START: void Main.FalseCrossOverLoop1() licm (after)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:none
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   private static void FalseCrossOverLoop1() {
     sArrF[20] = -1;
     for (int i = 0; i < sArrI.length; i++) {
       sArrI[i] = (int) sArrF[20] - 2;
     }
   }

   /// CHECK-START: void Main.FalseCrossOverLoop2() licm (before)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   /// CHECK-START: void Main.FalseCrossOverLoop2() licm (after)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:none
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   private static void FalseCrossOverLoop2() {
     sArrI[20] = -2;
     for (int i = 0; i < sArrF.length; i++) {
       sArrF[i] = sArrI[20] - 2;
     }
   }

   /// CHECK-START: void Main.FalseCrossOverLoop3() licm (before)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   /// CHECK-START: void Main.FalseCrossOverLoop3() licm (after)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:none
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   private static void FalseCrossOverLoop3() {
     sArrD[20] = -3;
     for (int i = 0; i < sArrJ.length; i++) {
       sArrJ[i] = (long) sArrD[20] - 2;
     }
   }

   /// CHECK-START: void Main.FalseCrossOverLoop4() licm (before)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:{{B\d+}}
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   /// CHECK-START: void Main.FalseCrossOverLoop4() licm (after)
   /// CHECK-DAG: ArraySet loop:none
   /// CHECK-DAG: ArrayGet loop:none
   /// CHECK-DAG: ArraySet loop:{{B\d+}}

   private static void FalseCrossOverLoop4() {
     sArrJ[20] = -4;
     for (int i = 0; i < sArrD.length; i++) {
       sArrD[i] = sArrJ[20] - 2;
     }
   }

   //
   // Main driver and testers.
   //

   public static void main(String[] args) {
     DoStaticTests();
     System.out.println("passed");
   }

   private static void DoStaticTests() {
     // Type Z.
     sZ = true;
     sArrZ = new boolean[100];
     InvLoopZ();
     for (int i = 0; i < sArrZ.length; i++) {
       expectEquals(true, sArrZ[i]);
     }
     VarLoopZ();
     for (int i = 0; i < sArrZ.length; i++) {
       expectEquals(i <= 10, sArrZ[i]);
     }
     CrossOverLoopZ();
     for (int i = 0; i < sArrZ.length; i++) {
       expectEquals(i <= 20, sArrZ[i]);
     }
     // Type B.
     sB = 1;
     sArrB = new byte[100];
     InvLoopB();
     for (int i = 0; i < sArrB.length; i++) {
       expectEquals(1, sArrB[i]);
     }
     VarLoopB();
     for (int i = 0; i < sArrB.length; i++) {
       expectEquals(i <= 10 ? 1 : 2, sArrB[i]);
     }
     CrossOverLoopB();
     for (int i = 0; i < sArrB.length; i++) {
       expectEquals(i <= 20 ? 13 : 15, sArrB[i]);
     }
     // Type C.
     sC = 2;
     sArrC = new char[100];
     InvLoopC();
     for (int i = 0; i < sArrC.length; i++) {
       expectEquals(2, sArrC[i]);
     }
     VarLoopC();
     for (int i = 0; i < sArrC.length; i++) {
       expectEquals(i <= 10 ? 2 : 3, sArrC[i]);
     }
     CrossOverLoopC();
     for (int i = 0; i < sArrC.length; i++) {
       expectEquals(i <= 20 ? 13 : 15, sArrC[i]);
     }
     // Type S.
     sS = 3;
     sArrS = new short[100];
     InvLoopS();
     for (int i = 0; i < sArrS.length; i++) {
       expectEquals(3, sArrS[i]);
     }
     VarLoopS();
     for (int i = 0; i < sArrS.length; i++) {
       expectEquals(i <= 10 ? 3 : 4, sArrS[i]);
     }
     CrossOverLoopS();
     for (int i = 0; i < sArrS.length; i++) {
       expectEquals(i <= 20 ? 13 : 15, sArrS[i]);
     }
     // Type I.
     sI = 4;
     sArrI = new int[100];
     InvLoopI();
     for (int i = 0; i < sArrI.length; i++) {
       expectEquals(4, sArrI[i]);
     }
     VarLoopI();
     for (int i = 0; i < sArrI.length; i++) {
       expectEquals(i <= 10 ? 4 : 5, sArrI[i]);
     }
     CrossOverLoopI();
     for (int i = 0; i < sArrI.length; i++) {
       expectEquals(i <= 20 ? 13 : 15, sArrI[i]);
     }
     // Type J.
     sJ = 5;
     sArrJ = new long[100];
     InvLoopJ();
     for (int i = 0; i < sArrJ.length; i++) {
       expectEquals(5, sArrJ[i]);
     }
     VarLoopJ();
     for (int i = 0; i < sArrJ.length; i++) {
       expectEquals(i <= 10 ? 5 : 6, sArrJ[i]);
     }
     CrossOverLoopJ();
     for (int i = 0; i < sArrJ.length; i++) {
       expectEquals(i <= 20 ? 13 : 15, sArrJ[i]);
     }
     // Type F.
     sF = 6.0f;
     sArrF = new float[100];
     InvLoopF();
     for (int i = 0; i < sArrF.length; i++) {
       expectEquals(6, sArrF[i]);
     }
     VarLoopF();
     for (int i = 0; i < sArrF.length; i++) {
       expectEquals(i <= 10 ? 6 : 7, sArrF[i]);
     }
     CrossOverLoopF();
     for (int i = 0; i < sArrF.length; i++) {
       expectEquals(i <= 20 ? 13 : 15, sArrF[i]);
     }
     // Type D.
     sD = 7.0;
     sArrD = new double[100];
     InvLoopD();
     for (int i = 0; i < sArrD.length; i++) {
       expectEquals(7.0, sArrD[i]);
     }
     VarLoopD();
     for (int i = 0; i < sArrD.length; i++) {
       expectEquals(i <= 10 ? 7 : 8, sArrD[i]);
     }
     CrossOverLoopD();
     for (int i = 0; i < sArrD.length; i++) {
       expectEquals(i <= 20 ? 13 : 15, sArrD[i]);
     }
     // Type L.
     sL = anObject;
     sArrL = new Object[100];
     InvLoopL();
     for (int i = 0; i < sArrL.length; i++) {
       expectEquals(anObject, sArrL[i]);
     }
     VarLoopL();
     for (int i = 0; i < sArrL.length; i++) {
       expectEquals(i <= 10 ? anObject : anotherObject, sArrL[i]);
     }
     CrossOverLoopL();
     for (int i = 0; i < sArrL.length; i++) {
       expectEquals(i <= 20 ? anObject : anotherObject, sArrL[i]);
     }
     // False cross-over.
     FalseCrossOverLoop1();
     for (int i = 0; i < sArrI.length; i++) {
       expectEquals(-3, sArrI[i]);
     }
     FalseCrossOverLoop2();
     for (int i = 0; i < sArrF.length; i++) {
       expectEquals(-4, sArrF[i]);
     }
     FalseCrossOverLoop3();
     for (int i = 0; i < sArrJ.length; i++) {
       expectEquals(-5, sArrJ[i]);
     }
     FalseCrossOverLoop4();
     for (int i = 0; i < sArrD.length; i++) {
       expectEquals(-6, sArrD[i]);
     }
   }

   private static void expectEquals(boolean expected, boolean result) {
     if (expected != result) {
       throw new Error("Expected: " + expected + ", found: " + result);
     }
   }

   private static void expectEquals(byte expected, byte result) {
     if (expected != result) {
       throw new Error("Expected: " + expected + ", found: " + result);
     }
   }

   private static void expectEquals(char expected, char result) {
     if (expected != result) {
       throw new Error("Expected: " + expected + ", found: " + result);
     }
   }

   private static void expectEquals(short expected, short result) {
     if (expected != result) {
       throw new Error("Expected: " + expected + ", found: " + result);
     }
   }

   private static void expectEquals(int expected, int result) {
     if (expected != result) {
       throw new Error("Expected: " + expected + ", found: " + result);
     }
   }

   private static void expectEquals(long expected, long result) {
     if (expected != result) {
       throw new Error("Expected: " + expected + ", found: " + result);
     }
   }

   private static void expectEquals(float expected, float result) {
     if (expected != result) {
       throw new Error("Expected: " + expected + ", found: " + result);
     }
   }

   private static void expectEquals(double expected, double result) {
     if (expected != result) {
       throw new Error("Expected: " + expected + ", found: " + result);
     }
   }

   private static void expectEquals(Object expected, Object result) {
     if (expected != result) {
       throw new Error("Expected: " + expected + ", found: " + result);
     }
   }
 }
	/*
	* Copyright (C) 2015 The Android Open Source Project
	*
	* Licensed under the Apache License, Version 2.0 (the "License");
	* you may not use this file except in compliance with the License.
	* You may obtain a copy of the License at
	*
	* http://www.apache.org/licenses/LICENSE-2.0
	*
	* Unless required by applicable law or agreed to in writing, software
	* distributed under the License is distributed on an "AS IS" BASIS,
	* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	* See the License for the specific language governing permissions and
	* limitations under the License.
	*/

	//
	// Test on (in)variant static field and array references in loops.
	//
	public class Main {

	private static Object anObject = new Object();
	private static Object anotherObject = new Object();

	//
	// Static fields.
	//

	private static boolean sZ;
	private static byte sB;
	private static char sC;
	private static short sS;
	private static int sI;
	private static long sJ;
	private static float sF;
	private static double sD;
	private static Object sL;

	//
	// Static arrays.
	//

	private static boolean[] sArrZ;
	private static byte[] sArrB;
	private static char[] sArrC;
	private static short[] sArrS;
	private static int[] sArrI;
	private static long[] sArrJ;
	private static float[] sArrF;
	private static double[] sArrD;
	private static Object[] sArrL;

	//
	// Loops on static arrays with invariant static field references.
	// The checker is used to ensure hoisting occurred.
	//

	/// CHECK-START: void Main.InvLoopZ() licm (before)
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

	/// CHECK-START: void Main.InvLoopZ() licm (after)
	/// CHECK-DAG: StaticFieldGet loop:none
	/// CHECK-DAG: StaticFieldGet loop:none

	private static void InvLoopZ() {
	for (int i = 0; i < sArrZ.length; i++) {
	sArrZ[i] = sZ;
	}
	}

	/// CHECK-START: void Main.InvLoopB() licm (before)
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

	/// CHECK-START: void Main.InvLoopB() licm (after)
	/// CHECK-DAG: StaticFieldGet loop:none
	/// CHECK-DAG: StaticFieldGet loop:none

	private static void InvLoopB() {
	for (int i = 0; i < sArrB.length; i++) {
	sArrB[i] = sB;
	}
	}

	/// CHECK-START: void Main.InvLoopC() licm (before)
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

	/// CHECK-START: void Main.InvLoopC() licm (after)
	/// CHECK-DAG: StaticFieldGet loop:none
	/// CHECK-DAG: StaticFieldGet loop:none

	private static void InvLoopC() {
	for (int i = 0; i < sArrC.length; i++) {
	sArrC[i] = sC;
	}
	}

	/// CHECK-START: void Main.InvLoopS() licm (before)
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

	/// CHECK-START: void Main.InvLoopS() licm (after)
	/// CHECK-DAG: StaticFieldGet loop:none
	/// CHECK-DAG: StaticFieldGet loop:none

	private static void InvLoopS() {
	for (int i = 0; i < sArrS.length; i++) {
	sArrS[i] = sS;
	}
	}

	/// CHECK-START: void Main.InvLoopI() licm (before)
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

	/// CHECK-START: void Main.InvLoopI() licm (after)
	/// CHECK-DAG: StaticFieldGet loop:none
	/// CHECK-DAG: StaticFieldGet loop:none

	private static void InvLoopI() {
	for (int i = 0; i < sArrI.length; i++) {
	sArrI[i] = sI;
	}
	}

	/// CHECK-START: void Main.InvLoopJ() licm (before)
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

	/// CHECK-START: void Main.InvLoopJ() licm (after)
	/// CHECK-DAG: StaticFieldGet loop:none
	/// CHECK-DAG: StaticFieldGet loop:none

	private static void InvLoopJ() {
	for (int i = 0; i < sArrJ.length; i++) {
	sArrJ[i] = sJ;
	}
	}

	/// CHECK-START: void Main.InvLoopF() licm (before)
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

	/// CHECK-START: void Main.InvLoopF() licm (after)
	/// CHECK-DAG: StaticFieldGet loop:none
	/// CHECK-DAG: StaticFieldGet loop:none

	private static void InvLoopF() {
	for (int i = 0; i < sArrF.length; i++) {
	sArrF[i] = sF;
	}
	}

	/// CHECK-START: void Main.InvLoopD() licm (before)
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

	/// CHECK-START: void Main.InvLoopD() licm (after)
	/// CHECK-DAG: StaticFieldGet loop:none
	/// CHECK-DAG: StaticFieldGet loop:none

	private static void InvLoopD() {
	for (int i = 0; i < sArrD.length; i++) {
	sArrD[i] = sD;
	}
	}

	/// CHECK-START: void Main.InvLoopL() licm (before)
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}
	/// CHECK-DAG: StaticFieldGet loop:{{B\d+}}

	/// CHECK-START: void Main.InvLoopL() licm (after)
	/// CHECK-DAG: StaticFieldGet loop:none
	/// CHECK-DAG: StaticFieldGet loop:none

	private static void InvLoopL() {
	for (int i = 0; i < sArrL.length; i++) {
	sArrL[i] = sL;
	}
	}

	//
	// Loops on static arrays with variant static field references.
	// Incorrect hoisting is detected by incorrect outcome.
	//

	private static void VarLoopZ() {
	for (int i = 0; i < sArrZ.length; i++) {
	sArrZ[i] = sZ;
	if (i == 10)
	sZ = !sZ;
	}
	}

	private static void VarLoopB() {
	for (int i = 0; i < sArrB.length; i++) {
	sArrB[i] = sB;
	if (i == 10)
	sB++;
	}
	}

	private static void VarLoopC() {
	for (int i = 0; i < sArrC.length; i++) {
	sArrC[i] = sC;
	if (i == 10)
	sC++;
	}
	}

	private static void VarLoopS() {
	for (int i = 0; i < sArrS.length; i++) {
	sArrS[i] = sS;
	if (i == 10)
	sS++;
	}
	}

	private static void VarLoopI() {
	for (int i = 0; i < sArrI.length; i++) {
	sArrI[i] = sI;
	if (i == 10)
	sI++;
	}
	}

	private static void VarLoopJ() {
	for (int i = 0; i < sArrJ.length; i++) {
	sArrJ[i] = sJ;
	if (i == 10)
	sJ++;
	}
	}

	private static void VarLoopF() {
	for (int i = 0; i < sArrF.length; i++) {
	sArrF[i] = sF;
	if (i == 10)
	sF++;
	}
	}

	private static void VarLoopD() {
	for (int i = 0; i < sArrD.length; i++) {
	sArrD[i] = sD;
	if (i == 10)
	sD++;
	}
	}

	private static void VarLoopL() {
	for (int i = 0; i < sArrL.length; i++) {
	sArrL[i] = sL;
	if (i == 10)
	sL = anotherObject;
	}
	}

	//
	// Loops on static arrays with a cross-over reference.
	// Incorrect hoisting is detected by incorrect outcome.
	// In addition, the checker is used to detect no hoisting.
	//

	/// CHECK-START: void Main.CrossOverLoopZ() licm (before)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	/// CHECK-START: void Main.CrossOverLoopZ() licm (after)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	private static void CrossOverLoopZ() {
	sArrZ[20] = false;
	for (int i = 0; i < sArrZ.length; i++) {
	sArrZ[i] = !sArrZ[20];
	}
	}

	/// CHECK-START: void Main.CrossOverLoopB() licm (before)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	/// CHECK-START: void Main.CrossOverLoopB() licm (after)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	private static void CrossOverLoopB() {
	sArrB[20] = 11;
	for (int i = 0; i < sArrB.length; i++) {
	sArrB[i] = (byte)(sArrB[20] + 2);
	}
	}

	/// CHECK-START: void Main.CrossOverLoopC() licm (before)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	/// CHECK-START: void Main.CrossOverLoopC() licm (after)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	private static void CrossOverLoopC() {
	sArrC[20] = 11;
	for (int i = 0; i < sArrC.length; i++) {
	sArrC[i] = (char)(sArrC[20] + 2);
	}
	}

	/// CHECK-START: void Main.CrossOverLoopS() licm (before)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	/// CHECK-START: void Main.CrossOverLoopS() licm (after)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	private static void CrossOverLoopS() {
	sArrS[20] = 11;
	for (int i = 0; i < sArrS.length; i++) {
	sArrS[i] = (short)(sArrS[20] + 2);
	}
	}

	/// CHECK-START: void Main.CrossOverLoopI() licm (before)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	/// CHECK-START: void Main.CrossOverLoopI() licm (after)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	private static void CrossOverLoopI() {
	sArrI[20] = 11;
	for (int i = 0; i < sArrI.length; i++) {
	sArrI[i] = sArrI[20] + 2;
	}
	}

	/// CHECK-START: void Main.CrossOverLoopJ() licm (before)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	/// CHECK-START: void Main.CrossOverLoopJ() licm (after)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	private static void CrossOverLoopJ() {
	sArrJ[20] = 11;
	for (int i = 0; i < sArrJ.length; i++) {
	sArrJ[i] = sArrJ[20] + 2;
	}
	}

	/// CHECK-START: void Main.CrossOverLoopF() licm (before)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	/// CHECK-START: void Main.CrossOverLoopF() licm (after)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	private static void CrossOverLoopF() {
	sArrF[20] = 11;
	for (int i = 0; i < sArrF.length; i++) {
	sArrF[i] = sArrF[20] + 2;
	}
	}

	/// CHECK-START: void Main.CrossOverLoopD() licm (before)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	/// CHECK-START: void Main.CrossOverLoopD() licm (after)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	private static void CrossOverLoopD() {
	sArrD[20] = 11;
	for (int i = 0; i < sArrD.length; i++) {
	sArrD[i] = sArrD[20] + 2;
	}
	}

	/// CHECK-START: void Main.CrossOverLoopL() licm (before)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	/// CHECK-START: void Main.CrossOverLoopL() licm (after)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	private static void CrossOverLoopL() {
	sArrL[20] = anotherObject;
	for (int i = 0; i < sArrL.length; i++) {
	sArrL[i] = (sArrL[20] == anObject) ? anotherObject : anObject;
	}
	}

	//
	// False cross-over loops on static arrays with data types (I/F and J/D) that used
	// to be aliased in an older version of the compiler. This alias has been removed,
	// however, which enables hoisting the invariant array reference.
	//

	/// CHECK-START: void Main.FalseCrossOverLoop1() licm (before)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	/// CHECK-START: void Main.FalseCrossOverLoop1() licm (after)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:none
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	private static void FalseCrossOverLoop1() {
	sArrF[20] = -1;
	for (int i = 0; i < sArrI.length; i++) {
	sArrI[i] = (int) sArrF[20] - 2;
	}
	}

	/// CHECK-START: void Main.FalseCrossOverLoop2() licm (before)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	/// CHECK-START: void Main.FalseCrossOverLoop2() licm (after)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:none
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	private static void FalseCrossOverLoop2() {
	sArrI[20] = -2;
	for (int i = 0; i < sArrF.length; i++) {
	sArrF[i] = sArrI[20] - 2;
	}
	}

	/// CHECK-START: void Main.FalseCrossOverLoop3() licm (before)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	/// CHECK-START: void Main.FalseCrossOverLoop3() licm (after)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:none
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	private static void FalseCrossOverLoop3() {
	sArrD[20] = -3;
	for (int i = 0; i < sArrJ.length; i++) {
	sArrJ[i] = (long) sArrD[20] - 2;
	}
	}

	/// CHECK-START: void Main.FalseCrossOverLoop4() licm (before)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:{{B\d+}}
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	/// CHECK-START: void Main.FalseCrossOverLoop4() licm (after)
	/// CHECK-DAG: ArraySet loop:none
	/// CHECK-DAG: ArrayGet loop:none
	/// CHECK-DAG: ArraySet loop:{{B\d+}}

	private static void FalseCrossOverLoop4() {
	sArrJ[20] = -4;
	for (int i = 0; i < sArrD.length; i++) {
	sArrD[i] = sArrJ[20] - 2;
	}
	}

	//
	// Main driver and testers.
	//

	public static void main(String[] args) {
	DoStaticTests();
	System.out.println("passed");
	}

	private static void DoStaticTests() {
	// Type Z.
	sZ = true;
	sArrZ = new boolean[100];
	InvLoopZ();
	for (int i = 0; i < sArrZ.length; i++) {
	expectEquals(true, sArrZ[i]);
	}
	VarLoopZ();
	for (int i = 0; i < sArrZ.length; i++) {
	expectEquals(i <= 10, sArrZ[i]);
	}
	CrossOverLoopZ();
	for (int i = 0; i < sArrZ.length; i++) {
	expectEquals(i <= 20, sArrZ[i]);
	}
	// Type B.
	sB = 1;
	sArrB = new byte[100];
	InvLoopB();
	for (int i = 0; i < sArrB.length; i++) {
	expectEquals(1, sArrB[i]);
	}
	VarLoopB();
	for (int i = 0; i < sArrB.length; i++) {
	expectEquals(i <= 10 ? 1 : 2, sArrB[i]);
	}
	CrossOverLoopB();
	for (int i = 0; i < sArrB.length; i++) {
	expectEquals(i <= 20 ? 13 : 15, sArrB[i]);
	}
	// Type C.
	sC = 2;
	sArrC = new char[100];
	InvLoopC();
	for (int i = 0; i < sArrC.length; i++) {
	expectEquals(2, sArrC[i]);
	}
	VarLoopC();
	for (int i = 0; i < sArrC.length; i++) {
	expectEquals(i <= 10 ? 2 : 3, sArrC[i]);
	}
	CrossOverLoopC();
	for (int i = 0; i < sArrC.length; i++) {
	expectEquals(i <= 20 ? 13 : 15, sArrC[i]);
	}
	// Type S.
	sS = 3;
	sArrS = new short[100];
	InvLoopS();
	for (int i = 0; i < sArrS.length; i++) {
	expectEquals(3, sArrS[i]);
	}
	VarLoopS();
	for (int i = 0; i < sArrS.length; i++) {
	expectEquals(i <= 10 ? 3 : 4, sArrS[i]);
	}
	CrossOverLoopS();
	for (int i = 0; i < sArrS.length; i++) {
	expectEquals(i <= 20 ? 13 : 15, sArrS[i]);
	}
	// Type I.
	sI = 4;
	sArrI = new int[100];
	InvLoopI();
	for (int i = 0; i < sArrI.length; i++) {
	expectEquals(4, sArrI[i]);
	}
	VarLoopI();
	for (int i = 0; i < sArrI.length; i++) {
	expectEquals(i <= 10 ? 4 : 5, sArrI[i]);
	}
	CrossOverLoopI();
	for (int i = 0; i < sArrI.length; i++) {
	expectEquals(i <= 20 ? 13 : 15, sArrI[i]);
	}
	// Type J.
	sJ = 5;
	sArrJ = new long[100];
	InvLoopJ();
	for (int i = 0; i < sArrJ.length; i++) {
	expectEquals(5, sArrJ[i]);
	}
	VarLoopJ();
	for (int i = 0; i < sArrJ.length; i++) {
	expectEquals(i <= 10 ? 5 : 6, sArrJ[i]);
	}
	CrossOverLoopJ();
	for (int i = 0; i < sArrJ.length; i++) {
	expectEquals(i <= 20 ? 13 : 15, sArrJ[i]);
	}
	// Type F.
	sF = 6.0f;
	sArrF = new float[100];
	InvLoopF();
	for (int i = 0; i < sArrF.length; i++) {
	expectEquals(6, sArrF[i]);
	}
	VarLoopF();
	for (int i = 0; i < sArrF.length; i++) {
	expectEquals(i <= 10 ? 6 : 7, sArrF[i]);
	}
	CrossOverLoopF();
	for (int i = 0; i < sArrF.length; i++) {
	expectEquals(i <= 20 ? 13 : 15, sArrF[i]);
	}
	// Type D.
	sD = 7.0;
	sArrD = new double[100];
	InvLoopD();
	for (int i = 0; i < sArrD.length; i++) {
	expectEquals(7.0, sArrD[i]);
	}
	VarLoopD();
	for (int i = 0; i < sArrD.length; i++) {
	expectEquals(i <= 10 ? 7 : 8, sArrD[i]);
	}
	CrossOverLoopD();
	for (int i = 0; i < sArrD.length; i++) {
	expectEquals(i <= 20 ? 13 : 15, sArrD[i]);
	}
	// Type L.
	sL = anObject;
	sArrL = new Object[100];
	InvLoopL();
	for (int i = 0; i < sArrL.length; i++) {
	expectEquals(anObject, sArrL[i]);
	}
	VarLoopL();
	for (int i = 0; i < sArrL.length; i++) {
	expectEquals(i <= 10 ? anObject : anotherObject, sArrL[i]);
	}
	CrossOverLoopL();
	for (int i = 0; i < sArrL.length; i++) {
	expectEquals(i <= 20 ? anObject : anotherObject, sArrL[i]);
	}
	// False cross-over.
	FalseCrossOverLoop1();
	for (int i = 0; i < sArrI.length; i++) {
	expectEquals(-3, sArrI[i]);
	}
	FalseCrossOverLoop2();
	for (int i = 0; i < sArrF.length; i++) {
	expectEquals(-4, sArrF[i]);
	}
	FalseCrossOverLoop3();
	for (int i = 0; i < sArrJ.length; i++) {
	expectEquals(-5, sArrJ[i]);
	}
	FalseCrossOverLoop4();
	for (int i = 0; i < sArrD.length; i++) {
	expectEquals(-6, sArrD[i]);
	}
	}

	private static void expectEquals(boolean expected, boolean result) {
	if (expected != result) {
	throw new Error("Expected: " + expected + ", found: " + result);
	}
	}

	private static void expectEquals(byte expected, byte result) {
	if (expected != result) {
	throw new Error("Expected: " + expected + ", found: " + result);
	}
	}

	private static void expectEquals(char expected, char result) {
	if (expected != result) {
	throw new Error("Expected: " + expected + ", found: " + result);
	}
	}

	private static void expectEquals(short expected, short result) {
	if (expected != result) {
	throw new Error("Expected: " + expected + ", found: " + result);
	}
	}

	private static void expectEquals(int expected, int result) {
	if (expected != result) {
	throw new Error("Expected: " + expected + ", found: " + result);
	}
	}

	private static void expectEquals(long expected, long result) {
	if (expected != result) {
	throw new Error("Expected: " + expected + ", found: " + result);
	}
	}

	private static void expectEquals(float expected, float result) {
	if (expected != result) {
	throw new Error("Expected: " + expected + ", found: " + result);
	}
	}

	private static void expectEquals(double expected, double result) {
	if (expected != result) {
	throw new Error("Expected: " + expected + ", found: " + result);
	}
	}

	private static void expectEquals(Object expected, Object result) {
	if (expected != result) {
	throw new Error("Expected: " + expected + ", found: " + result);
	}
	}
	}