8326692: JVMCI Local.endBci is off-by-one

Reviewed-by: dnsimon, never, gli

Author: gilles-duboscq

src/jdk.internal.vm.ci/share/classes/jdk/vm/ci/hotspot/HotSpotResolvedJavaMethodImpl.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2011, 2023, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2011, 2024, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
@@ -632,7 +632,7 @@ public LocalVariableTable getLocalVariableTable() {
 
         for (int i = 0; i < localVariableTableLength; i++) {
             final int startBci = UNSAFE.getChar(localVariableTableElement + config.localVariableTableElementStartBciOffset);
-            final int endBci = startBci + UNSAFE.getChar(localVariableTableElement + config.localVariableTableElementLengthOffset);
+            final int endBci = startBci + UNSAFE.getChar(localVariableTableElement + config.localVariableTableElementLengthOffset) - 1;
             final int nameCpIndex = UNSAFE.getChar(localVariableTableElement + config.localVariableTableElementNameCpIndexOffset);
             final int typeCpIndex = UNSAFE.getChar(localVariableTableElement + config.localVariableTableElementDescriptorCpIndexOffset);
             final int slot = UNSAFE.getChar(localVariableTableElement + config.localVariableTableElementSlotOffset);

src/jdk.internal.vm.ci/share/classes/jdk/vm/ci/meta/Local.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2011, 2024, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
@@ -41,10 +41,19 @@ public Local(String name, JavaType type, int startBci, int endBci, int slot) {
         this.type = type;
     }
 
+    /**
+     * Returns the first BCI at which this local has a value (inclusive).
+     */
     public int getStartBCI() {
         return startBci;
     }
 
+
+    /**
+     * Returns the last BCI at which this local has a value (inclusive).
+     * If the value returned is less than {@link #getStartBCI}, this object denotes a local
+     * variable that is never live.
+     */
     public int getEndBCI() {
         return endBci;
     }

test/hotspot/jtreg/compiler/jvmci/jdk.vm.ci.runtime.test/src/jdk/vm/ci/runtime/test/TestResolvedJavaMethod.java

@@ -95,6 +95,8 @@
 
 import jdk.vm.ci.meta.ConstantPool;
 import jdk.vm.ci.meta.ExceptionHandler;
+import jdk.vm.ci.meta.Local;
+import jdk.vm.ci.meta.LocalVariableTable;
 import jdk.vm.ci.meta.ResolvedJavaMethod;
 import jdk.vm.ci.meta.ResolvedJavaMethod.Parameter;
 import jdk.vm.ci.meta.ResolvedJavaType;
@@ -734,6 +736,24 @@ public void getOopMapAtTest() throws Exception {
         Assert.assertTrue(processedMethodWithManyArgs[0]);
     }
 
+    @Test
+    public void getLocalVariableTableTest() {
+        for (ResolvedJavaMethod m : methods.values()) {
+            LocalVariableTable table = m.getLocalVariableTable();
+            if (table == null) {
+                continue;
+            }
+            for (Local l : table.getLocals()) {
+                if (l.getStartBCI() < 0) {
+                    throw new AssertionError(m.format("%H.%n(%p)") + " local " + l.getName() + " starts at " + l.getStartBCI());
+                }
+                if (l.getEndBCI() >= m.getCodeSize()) {
+                    throw new AssertionError(m.format("%H.%n(%p)") + " (" + m.getCodeSize() + "bytes) local " + l.getName() + " ends at " + l.getEndBCI());
+                }
+            }
+        }
+    }
+
     private Method findTestMethod(Method apiMethod) {
         String testName = apiMethod.getName() + "Test";
         for (Method m : getClass().getDeclaredMethods()) {
@@ -756,7 +776,6 @@ private Method findTestMethod(Method apiMethod) {
         "canBeInlined",
         "shouldBeInlined",
         "getLineNumberTable",
-        "getLocalVariableTable",
         "isInVirtualMethodTable",
         "toParameterTypes",
         "getParameterAnnotation",