740         vt = MyValue3.setF4(vt, 0);
 741         vt = MyValue3.setF5(vt, 0);
 742         vt = MyValue3.setF6(vt, 0);
 743         vt = MyValue3.setV1(vt, MyValue3Inline.createDefault());
 744         va[0] = vt;
 745         staticVal3 = vt;
 746         vt.verify(vt);
 747         return vt;
 748     }
 749 
 750     @DontCompile
 751     public void test35_verifier(boolean warmup) {
 752         MyValue3 vt = MyValue3.createDefault();
 753         MyValue3[] va = new MyValue3[1];
 754         va[0] = MyValue3.create();
 755         MyValue3 res = test35(va[0], va);
 756         res.verify(vt);
 757         staticVal3.verify(vt);
 758         va[0].verify(vt);
 759     }



























 760 }

 740         vt = MyValue3.setF4(vt, 0);
 741         vt = MyValue3.setF5(vt, 0);
 742         vt = MyValue3.setF6(vt, 0);
 743         vt = MyValue3.setV1(vt, MyValue3Inline.createDefault());
 744         va[0] = vt;
 745         staticVal3 = vt;
 746         vt.verify(vt);
 747         return vt;
 748     }
 749 
 750     @DontCompile
 751     public void test35_verifier(boolean warmup) {
 752         MyValue3 vt = MyValue3.createDefault();
 753         MyValue3[] va = new MyValue3[1];
 754         va[0] = MyValue3.create();
 755         MyValue3 res = test35(va[0], va);
 756         res.verify(vt);
 757         staticVal3.verify(vt);
 758         va[0].verify(vt);
 759     }
 760 
 761     // Test the handling of anewarray of a VT
 762     @Test()
 763     public MyValue2[] test36() {
 764         MyValue2[] va = new MyValue2[3];
 765         return va;
 766     }
 767 
 768     @DontCompile
 769     public void test36_verifier(boolean warmup) {
 770         MyValue2[] va = new MyValue2[10];
 771         MyValue2[] result = test36();
 772         Asserts.assertEQ(result[2].hash(), va[0].hash());
 773     }
 774 
 775     // Test the handling of aaload from a VT array
 776     @Test()
 777     public MyValue2 test37(MyValue2[] array, int i) {
 778         return array[i];
 779     }
 780 
 781     @DontCompile
 782     public void test37_verifier(boolean warmup) {
 783         MyValue2[] va = new MyValue2[10];
 784         MyValue2 result = test37(va, 9);
 785         Asserts.assertEQ(result.hash(), va[0].hash());
 786     }
 787 }