Support LLVM "range" parameter attribute kinds in bitcode parser.

Author: rschatz

sulong/projects/com.oracle.truffle.llvm.parser/src/com/oracle/truffle/llvm/parser/listeners/ParameterAttributes.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2017, 2022, Oracle and/or its affiliates.
+ * Copyright (c) 2017, 2025, Oracle and/or its affiliates.
  *
  * All rights reserved.
  *
@@ -51,8 +51,11 @@ public class ParameterAttributes implements ParserListener {
     private static final int WELL_KNOWN_INTEGER_ATTRIBUTE_KIND = 1;
     private static final int STRING_ATTRIBUTE_KIND = 3;
     private static final int STRING_VALUE_ATTRIBUTE_KIND = 4;
+    // unfortunately undocumented, see llvm/lib/Bitcode/Reader/BitcodeReader.cpp
     private static final int BYVAL_ATTRIBUTE_KIND = 5;
     private static final int TYPED_BYVAL_ATTRIBUTE_KIND = 6;
+    private static final int CONSTANT_RANGE_ATTRIBUTE_KIND = 7;
+    private static final int CONSTANT_RANGE_LIST_ATTRIBUTE_KIND = 8;
 
     // stores attributes defined in PARAMATTR_GRP_CODE_ENTRY
     private final List<AttributesGroup> attributes = new ArrayList<>();
@@ -264,12 +267,44 @@ private void decodeGroupCodeEntry(RecordBuffer buffer) {
                     break;
                 }
 
+                case CONSTANT_RANGE_ATTRIBUTE_KIND: {
+                    // these attributes are not actually used by Sulong, skip over them
+                    Attribute.Kind.decode(buffer.read());
+                    long bitWidth = buffer.read();
+                    skipConstantRange(buffer, bitWidth);
+                    break;
+                }
+
+                case CONSTANT_RANGE_LIST_ATTRIBUTE_KIND: {
+                    // these attributes are not actually used by Sulong, skip over them
+                    Attribute.Kind.decode(buffer.read());
+                    long rangeSize = buffer.read();
+                    long bitWidth = buffer.read();
+                    for (int i = 0; i < rangeSize; i++) {
+                        skipConstantRange(buffer, bitWidth);
+                    }
+                    break;
+                }
+
                 default:
                     throw new LLVMParserException("Unexpected code of attribute group: " + type);
             }
         }
     }
 
+    private static void skipConstantRange(RecordBuffer buffer, long bitWidth) {
+        if (bitWidth > 64) {
+            long activeWords = buffer.read();
+            long lowerActiveWords = activeWords & ((1L << 32) - 1);
+            long upperActiveWords = activeWords >>> 32;
+            buffer.skip(lowerActiveWords);
+            buffer.skip(upperActiveWords);
+        } else {
+            buffer.skip(); // start
+            buffer.skip(); // end
+        }
+    }
+
     private static String readString(RecordBuffer buffer) {
         StringBuilder sb = new StringBuilder();
         while (true) {

sulong/projects/com.oracle.truffle.llvm.parser/src/com/oracle/truffle/llvm/parser/model/attributes/Attribute.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2017, 2022, Oracle and/or its affiliates.
+ * Copyright (c) 2017, 2025, Oracle and/or its affiliates.
  *
  * All rights reserved.
  *
@@ -33,6 +33,7 @@
 
 public abstract class Attribute {
 
+    // see llvm/include/llvm/Bitcode/LLVMBitCodes.h, enum AttributeKindCodes
     public enum Kind {
 
         NONE,
@@ -114,7 +115,31 @@ public enum Kind {
         SWIFT_ASYNC,
         NO_SANITIZE_COVERAGE,
         ELEMENTTYPE,
-        DISABLE_SANITIZER_INSTRUMENTATION;
+        DISABLE_SANITIZER_INSTRUMENTATION,
+        NO_SANITIZE_BOUNDS,
+        ALLOC_ALIGN,
+        ALLOCATED_POINTER,
+        ALLOC_KIND,
+        PRESPLIT_COROUTINE,
+        FNRETTHUNK_EXTERN,
+        SKIP_PROFILE,
+        MEMORY,
+        NOFPCLASS,
+        OPTIMIZE_FOR_DEBUGGING,
+        WRITABLE,
+        CORO_ONLY_DESTROY_WHEN_COMPLETE,
+        DEAD_ON_UNWIND,
+        RANGE,
+        SANITIZE_NUMERICAL_STABILITY,
+        INITIALIZES,
+        HYBRID_PATCHABLE,
+        SANITIZE_REALTIME,
+        SANITIZE_REALTIME_BLOCKING,
+        CORO_ELIDE_SAFE,
+        NO_EXT,
+        NO_DIVERGENCE_SOURCE,
+        SANITIZE_TYPE,
+        CAPTURES;
 
         private static final Kind[] VALUES = values();
 

sulong/projects/com.oracle.truffle.llvm.parser/src/com/oracle/truffle/llvm/parser/scanner/RecordBuffer.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2017, 2022, Oracle and/or its affiliates.
+ * Copyright (c) 2017, 2025, Oracle and/or its affiliates.
  *
  * All rights reserved.
  *
@@ -108,6 +108,10 @@ public void skip() {
         index++;
     }
 
+    public void skip(long nr) {
+        index += nr;
+    }
+
     public void setIndex(int index) {
         this.index = index;
     }