8254354: Add a withInvokeExactBehavior() VarHandle combinator

src/java.base/share/classes/java/lang/invoke/MemoryAccessVarHandleGenerator.java

@@ -272,7 +272,7 @@ void addConstructor(ClassWriter cw) {
         mv.visitVarInsn(LLOAD, 3); // length
         mv.visitVarInsn(LLOAD, 5); // offset
         mv.visitVarInsn(LLOAD, 7); // alignmentMask
-        mv.visitVarInsn(ILOAD, 8); // exact
+        mv.visitVarInsn(ILOAD, 9); // exact
         mv.visitMethodInsn(INVOKESPECIAL, Type.getInternalName(BASE_CLASS), "<init>",
                 SUPER_CONTR_TYPE.toMethodDescriptorString(), false);
         //init dimensions

test/jdk/java/lang/invoke/VarHandles/VarHandleTestExact.java

@@ -25,10 +25,10 @@
  * @test
  * @modules jdk.incubator.foreign
  *
- * @run testng/othervm VarHandleTestExact
- * @run testng/othervm -Djava.lang.invoke.VarHandle.VAR_HANDLE_GUARDS=true -Djava.lang.invoke.VarHandle.VAR_HANDLE_IDENTITY_ADAPT=true VarHandleTestExact
- * @run testng/othervm -Djava.lang.invoke.VarHandle.VAR_HANDLE_GUARDS=false -Djava.lang.invoke.VarHandle.VAR_HANDLE_IDENTITY_ADAPT=false VarHandleTestExact
- * @run testng/othervm -Djava.lang.invoke.VarHandle.VAR_HANDLE_GUARDS=false -Djava.lang.invoke.VarHandle.VAR_HANDLE_IDENTITY_ADAPT=true VarHandleTestExact
+ * @run testng/othervm -Xverify:all VarHandleTestExact
+ * @run testng/othervm -Xverify:all -Djava.lang.invoke.VarHandle.VAR_HANDLE_GUARDS=true -Djava.lang.invoke.VarHandle.VAR_HANDLE_IDENTITY_ADAPT=true VarHandleTestExact
+ * @run testng/othervm -Xverify:all -Djava.lang.invoke.VarHandle.VAR_HANDLE_GUARDS=false -Djava.lang.invoke.VarHandle.VAR_HANDLE_IDENTITY_ADAPT=false VarHandleTestExact
+ * @run testng/othervm -Xverify:all -Djava.lang.invoke.VarHandle.VAR_HANDLE_GUARDS=false -Djava.lang.invoke.VarHandle.VAR_HANDLE_IDENTITY_ADAPT=true VarHandleTestExact
  */
 
 import jdk.incubator.foreign.MemoryAddress;