8386848: testBool in java/foreign/normalize/TestNormalize.java fails on Zero VM with expected [true] but found [false]

Reviewed-by: mcimadamore, vlivanov
2026-07-13 12:38:07 +00:00 · 2026-07-08 15:24:43 +00:00 · 2026-07-08 15:24:43 +00:00 · dca8681fb7
commit dca8681fb7
parent 2dc0c1c5a9
5 changed files with 182 additions and 79 deletions
--- a/make/common/modules/GensrcStreamPreProcessing.gmk
+++ b/make/common/modules/GensrcStreamPreProcessing.gmk
@ -116,7 +116,7 @@ Conv_A = \

 # Return integer type with same size as the type
 Conv_memtype = \
-  $(if $(filter float, $1), int, $(if $(filter double, $1), long, $1))
+  $(if $(filter float, $1), int, $(if $(filter double, $1), long, $(if $(filter boolean, $1), byte, $1)))

 # Return capitalized integer type with same size as the type
 Conv_Memtype = \
--- a/make/modules/java.base/gensrc/GensrcVarHandles.gmk
+++ b/make/modules/java.base/gensrc/GensrcVarHandles.gmk
@ -111,7 +111,7 @@ define GenerateVarHandleMemorySegment
    $1_KEYS += CAS
  endif
  ifneq ($$(filter boolean byte, $1),)
-    $1_KEYS += byte
+    $1_KEYS += ByteOrBoolean
  endif
  ifneq ($$(filter float double, $1),)
    $1_KEYS += floatingPoint
--- a/src/java.base/share/classes/java/lang/invoke/X-VarHandleSegmentView.java.template
+++ b/src/java.base/share/classes/java/lang/invoke/X-VarHandleSegmentView.java.template
@ -33,20 +33,20 @@ import static java.lang.invoke.SegmentVarHandle.*;

 #warn

-{#if[byte]?final:sealed} class VarHandleSegmentAs$Type$s {
+{#if[ByteOrBoolean]?final:sealed} class VarHandleSegmentAs$Type$s {

-#if[!byte]
+#if[!ByteOrBoolean]
    static final int NON_PLAIN_ACCESS_MIN_ALIGN_MASK = $BoxType$.BYTES - 1;

-#end[byte]
+#end[ByteOrBoolean]
    static VarForm selectForm(long alignmentMask, boolean constantOffset) {
-#if[byte]
+#if[ByteOrBoolean]
        return constantOffset ? CONSTANT_OFFSET_FORM : VARIABLE_OFFSET_FORM;
-#else[byte]
+#else[ByteOrBoolean]
        return (alignmentMask & NON_PLAIN_ACCESS_MIN_ALIGN_MASK) != NON_PLAIN_ACCESS_MIN_ALIGN_MASK ?
                (constantOffset ? CONSTANT_OFFSET_FORM : VARIABLE_OFFSET_FORM) :
                (constantOffset ? VarHandleSegmentAs$Type$sAligned.CONSTANT_OFFSET_FORM : VarHandleSegmentAs$Type$sAligned.VARIABLE_OFFSET_FORM);
-#end[byte]
+#end[ByteOrBoolean]
    }

    static final VarForm CONSTANT_OFFSET_FORM = new VarForm(VarHandleSegmentAs$Type$s.class, MemorySegment.class, $type$.class, long.class);
@ -70,16 +70,16 @@ import static java.lang.invoke.SegmentVarHandle.*;
                handle.be);
        return $Type$.$rawType$BitsTo$Type$(rawValue);
 #else[floatingPoint]
-#if[byte]
-        return SCOPED_MEMORY_ACCESS.get$Type$(bb.sessionImpl(),
+#if[ByteOrBoolean]
+        return SCOPED_MEMORY_ACCESS.get$RawType$(bb.sessionImpl(),
                bb.unsafeGetBase(),
-                offset(bb, base, offset));
-#else[byte]
+                offset(bb, base, offset)){#if[boolean]? != 0};
+#else[ByteOrBoolean]
        return SCOPED_MEMORY_ACCESS.get$Type$Unaligned(bb.sessionImpl(),
                bb.unsafeGetBase(),
                offset(bb, base, offset),
                handle.be);
-#end[byte]
+#end[ByteOrBoolean]
 #end[floatingPoint]
    }

@ -99,21 +99,21 @@ import static java.lang.invoke.SegmentVarHandle.*;
                $Type$.$type$ToRaw$RawType$Bits(value),
                handle.be);
 #else[floatingPoint]
-#if[byte]
+#if[ByteOrBoolean]
        SCOPED_MEMORY_ACCESS.put$Type$(bb.sessionImpl(),
                bb.unsafeGetBase(),
                offset(bb, base, offset),
                value);
-#else[byte]
+#else[ByteOrBoolean]
        SCOPED_MEMORY_ACCESS.put$Type$Unaligned(bb.sessionImpl(),
                bb.unsafeGetBase(),
                offset(bb, base, offset),
                value,
                handle.be);
-#end[byte]
+#end[ByteOrBoolean]
 #end[floatingPoint]
    }
-#if[!byte]
+#if[!ByteOrBoolean]
 }

 // This class must be accessed through non-aligned VarHandleSegmentAs$Type$s
@ -123,7 +123,7 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
    static final VarForm VARIABLE_OFFSET_FORM = new VarForm(VarHandleSegmentAs$Type$sAligned.class, VarHandleSegmentAs$Type$s.VARIABLE_OFFSET_FORM);

    VarHandleSegmentAs$Type$sAligned() { throw new AssertionError(); }
-#end[byte]
+#end[ByteOrBoolean]

 #if[floatingPoint]
    @ForceInline
@ -138,17 +138,29 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
        return $Type$.$rawType$BitsTo$Type$(rv);
    }
 #else[floatingPoint]
-#if[byte]
+#if[ByteOrBoolean]
+#if[boolean]
+    @ForceInline
+    static $rawType$ convEndian(boolean big, $type$ v) {
+        return (byte) (v ? 1 : 0);
+    }
+
+    @ForceInline
+    static $type$ convEndian(boolean big, $rawType$ n) {
+        return n != 0;
+    }
+#else[boolean]
    @ForceInline
    static $type$ convEndian(boolean big, $type$ n) {
        return n;
    }
-#else[byte]
+#end[boolean]
+#else[ByteOrBoolean]
    @ForceInline
    static $type$ convEndian(boolean big, $type$ n) {
        return big == BE ? n : $BoxType$.reverseBytes(n);
    }
-#end[byte]
+#end[ByteOrBoolean]
 #end[floatingPoint]

    @ForceInline
@ -424,18 +436,18 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
    static $type$ getAndAdd(VarHandle ob, Object obb, long base, long offset, $type$ delta) {
        SegmentVarHandle handle = (SegmentVarHandle)ob;
        AbstractMemorySegmentImpl bb = handle.checkSegment(obb, base, false);
-#if[!byte]
+#if[!ByteOrBoolean]
        if (handle.be == BE) {
-#end[byte]
+#end[ByteOrBoolean]
            return SCOPED_MEMORY_ACCESS.getAndAdd$RawType$(bb.sessionImpl(),
                    bb.unsafeGetBase(),
                    offset(bb, base, offset),
                    delta);
-#if[!byte]
+#if[!ByteOrBoolean]
        } else {
            return getAndAddConvEndianWithCAS(bb, offset(bb, base, offset), delta);
        }
-#end[byte]
+#end[ByteOrBoolean]
    }

    @ForceInline
@ -447,18 +459,18 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
    static $type$ getAndAddAcquire(VarHandle ob, Object obb, long base, long offset, $type$ delta) {
        SegmentVarHandle handle = (SegmentVarHandle)ob;
        AbstractMemorySegmentImpl bb = handle.checkSegment(obb, base, false);
-#if[!byte]
+#if[!ByteOrBoolean]
        if (handle.be == BE) {
-#end[byte]
+#end[ByteOrBoolean]
            return SCOPED_MEMORY_ACCESS.getAndAdd$RawType$Acquire(bb.sessionImpl(),
                    bb.unsafeGetBase(),
                    offset(bb, base, offset),
                    delta);
-#if[!byte]
+#if[!ByteOrBoolean]
        } else {
            return getAndAddConvEndianWithCAS(bb, offset(bb, base, offset), delta);
        }
-#end[byte]
+#end[ByteOrBoolean]
    }

    @ForceInline
@ -470,20 +482,20 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
    static $type$ getAndAddRelease(VarHandle ob, Object obb, long base, long offset, $type$ delta) {
        SegmentVarHandle handle = (SegmentVarHandle)ob;
        AbstractMemorySegmentImpl bb = handle.checkSegment(obb, base, false);
-#if[!byte]
+#if[!ByteOrBoolean]
        if (handle.be == BE) {
-#end[byte]
+#end[ByteOrBoolean]
            return SCOPED_MEMORY_ACCESS.getAndAdd$RawType$Release(bb.sessionImpl(),
                    bb.unsafeGetBase(),
                    offset(bb, base, offset),
                    delta);
-#if[!byte]
+#if[!ByteOrBoolean]
        } else {
            return getAndAddConvEndianWithCAS(bb, offset(bb, base, offset), delta);
        }
-#end[byte]
+#end[ByteOrBoolean]
    }
-#if[!byte]
+#if[!ByteOrBoolean]

    @ForceInline
    static $type$ getAndAddConvEndianWithCAS(AbstractMemorySegmentImpl  bb, long offset, $type$ delta) {
@ -496,7 +508,7 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
                nativeExpectedValue, $RawBoxType$.reverseBytes({#if[ShorterThanInt]?($type$) }(expectedValue + delta))));
        return expectedValue;
    }
-#end[byte]
+#end[ByteOrBoolean]
 #end[AtomicAdd]
 #if[Bitwise]

@ -509,18 +521,18 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
    static $type$ getAndBitwiseOr(VarHandle ob, Object obb, long base, long offset, $type$ value) {
        SegmentVarHandle handle = (SegmentVarHandle)ob;
        AbstractMemorySegmentImpl bb = handle.checkSegment(obb, base, false);
-#if[!byte]
+#if[!ByteOrBoolean]
        if (handle.be == BE) {
-#end[byte]
+#end[ByteOrBoolean]
            return SCOPED_MEMORY_ACCESS.getAndBitwiseOr$RawType$(bb.sessionImpl(),
                    bb.unsafeGetBase(),
                    offset(bb, base, offset),
                    value);
-#if[!byte]
+#if[!ByteOrBoolean]
        } else {
            return getAndBitwiseOrConvEndianWithCAS(bb, offset(bb, base, offset), value);
        }
-#end[byte]
+#end[ByteOrBoolean]
    }

    @ForceInline
@ -532,18 +544,18 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
    static $type$ getAndBitwiseOrRelease(VarHandle ob, Object obb, long base, long offset, $type$ value) {
        SegmentVarHandle handle = (SegmentVarHandle)ob;
        AbstractMemorySegmentImpl bb = handle.checkSegment(obb, base, false);
-#if[!byte]
+#if[!ByteOrBoolean]
        if (handle.be == BE) {
-#end[byte]
+#end[ByteOrBoolean]
            return SCOPED_MEMORY_ACCESS.getAndBitwiseOr$RawType$Release(bb.sessionImpl(),
                    bb.unsafeGetBase(),
                    offset(bb, base, offset),
                    value);
-#if[!byte]
+#if[!ByteOrBoolean]
        } else {
            return getAndBitwiseOrConvEndianWithCAS(bb, offset(bb, base, offset), value);
        }
-#end[byte]
+#end[ByteOrBoolean]
    }

    @ForceInline
@ -555,20 +567,20 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
    static $type$ getAndBitwiseOrAcquire(VarHandle ob, Object obb, long base, long offset, $type$ value) {
        SegmentVarHandle handle = (SegmentVarHandle)ob;
        AbstractMemorySegmentImpl bb = handle.checkSegment(obb, base, false);
-#if[!byte]
+#if[!ByteOrBoolean]
        if (handle.be == BE) {
-#end[byte]
+#end[ByteOrBoolean]
            return SCOPED_MEMORY_ACCESS.getAndBitwiseOr$RawType$Acquire(bb.sessionImpl(),
                    bb.unsafeGetBase(),
                    offset(bb, base, offset),
                    value);
-#if[!byte]
+#if[!ByteOrBoolean]
        } else {
            return getAndBitwiseOrConvEndianWithCAS(bb, offset(bb, base, offset), value);
        }
-#end[byte]
+#end[ByteOrBoolean]
    }
-#if[!byte]
+#if[!ByteOrBoolean]

    @ForceInline
    static $type$ getAndBitwiseOrConvEndianWithCAS(AbstractMemorySegmentImpl  bb, long offset, $type$ value) {
@ -581,7 +593,7 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
                nativeExpectedValue, $RawBoxType$.reverseBytes({#if[ShorterThanInt]?($type$) }(expectedValue | value))));
        return expectedValue;
    }
-#end[byte]
+#end[ByteOrBoolean]

    @ForceInline
    static $type$ getAndBitwiseAnd(VarHandle ob, Object obb, long base, $type$ value) {
@ -592,18 +604,18 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
    static $type$ getAndBitwiseAnd(VarHandle ob, Object obb, long base, long offset, $type$ value) {
        SegmentVarHandle handle = (SegmentVarHandle)ob;
        AbstractMemorySegmentImpl bb = handle.checkSegment(obb, base, false);
-#if[!byte]
+#if[!ByteOrBoolean]
        if (handle.be == BE) {
-#end[byte]
+#end[ByteOrBoolean]
            return SCOPED_MEMORY_ACCESS.getAndBitwiseAnd$RawType$(bb.sessionImpl(),
                    bb.unsafeGetBase(),
                    offset(bb, base, offset),
                    value);
-#if[!byte]
+#if[!ByteOrBoolean]
        } else {
            return getAndBitwiseAndConvEndianWithCAS(bb, offset(bb, base, offset), value);
        }
-#end[byte]
+#end[ByteOrBoolean]
    }

    @ForceInline
@ -615,18 +627,18 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
    static $type$ getAndBitwiseAndRelease(VarHandle ob, Object obb, long base, long offset, $type$ value) {
        SegmentVarHandle handle = (SegmentVarHandle)ob;
        AbstractMemorySegmentImpl bb = handle.checkSegment(obb, base, false);
-#if[!byte]
+#if[!ByteOrBoolean]
        if (handle.be == BE) {
-#end[byte]
+#end[ByteOrBoolean]
            return SCOPED_MEMORY_ACCESS.getAndBitwiseAnd$RawType$Release(bb.sessionImpl(),
                    bb.unsafeGetBase(),
                    offset(bb, base, offset),
                    value);
-#if[!byte]
+#if[!ByteOrBoolean]
        } else {
            return getAndBitwiseAndConvEndianWithCAS(bb, offset(bb, base, offset), value);
        }
-#end[byte]
+#end[ByteOrBoolean]
    }

    @ForceInline
@ -639,20 +651,20 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
    static $type$ getAndBitwiseAndAcquire(VarHandle ob, Object obb, long base, long offset, $type$ value) {
        SegmentVarHandle handle = (SegmentVarHandle)ob;
        AbstractMemorySegmentImpl bb = handle.checkSegment(obb, base, false);
-#if[!byte]
+#if[!ByteOrBoolean]
        if (handle.be == BE) {
-#end[byte]
+#end[ByteOrBoolean]
            return SCOPED_MEMORY_ACCESS.getAndBitwiseAnd$RawType$Acquire(bb.sessionImpl(),
                    bb.unsafeGetBase(),
                    offset(bb, base, offset),
                    value);
-#if[!byte]
+#if[!ByteOrBoolean]
        } else {
            return getAndBitwiseAndConvEndianWithCAS(bb, offset(bb, base, offset), value);
        }
-#end[byte]
+#end[ByteOrBoolean]
    }
-#if[!byte]
+#if[!ByteOrBoolean]

    @ForceInline
    static $type$ getAndBitwiseAndConvEndianWithCAS(AbstractMemorySegmentImpl  bb, long offset, $type$ value) {
@ -665,7 +677,7 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
                nativeExpectedValue, $RawBoxType$.reverseBytes({#if[ShorterThanInt]?($type$) }(expectedValue & value))));
        return expectedValue;
    }
-#end[byte]
+#end[ByteOrBoolean]

    @ForceInline
    static $type$ getAndBitwiseXor(VarHandle ob, Object obb, long base, $type$ value) {
@ -676,18 +688,18 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
    static $type$ getAndBitwiseXor(VarHandle ob, Object obb, long base, long offset, $type$ value) {
        SegmentVarHandle handle = (SegmentVarHandle)ob;
        AbstractMemorySegmentImpl bb = handle.checkSegment(obb, base, false);
-#if[!byte]
+#if[!ByteOrBoolean]
        if (handle.be == BE) {
-#end[byte]
+#end[ByteOrBoolean]
            return SCOPED_MEMORY_ACCESS.getAndBitwiseXor$RawType$(bb.sessionImpl(),
                    bb.unsafeGetBase(),
                    offset(bb, base, offset),
                    value);
-#if[!byte]
+#if[!ByteOrBoolean]
        } else {
            return getAndBitwiseXorConvEndianWithCAS(bb, offset(bb, base, offset), value);
        }
-#end[byte]
+#end[ByteOrBoolean]
    }

    @ForceInline
@ -699,18 +711,18 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
    static $type$ getAndBitwiseXorRelease(VarHandle ob, Object obb, long base, long offset, $type$ value) {
        SegmentVarHandle handle = (SegmentVarHandle)ob;
        AbstractMemorySegmentImpl bb = handle.checkSegment(obb, base, false);
-#if[!byte]
+#if[!ByteOrBoolean]
        if (handle.be == BE) {
-#end[byte]
+#end[ByteOrBoolean]
            return SCOPED_MEMORY_ACCESS.getAndBitwiseXor$RawType$Release(bb.sessionImpl(),
                    bb.unsafeGetBase(),
                    offset(bb, base, offset),
                    value);
-#if[!byte]
+#if[!ByteOrBoolean]
        } else {
            return getAndBitwiseXorConvEndianWithCAS(bb, offset(bb, base, offset), value);
        }
-#end[byte]
+#end[ByteOrBoolean]
    }

    @ForceInline
@ -722,20 +734,20 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
    static $type$ getAndBitwiseXorAcquire(VarHandle ob, Object obb, long base, long offset, $type$ value) {
        SegmentVarHandle handle = (SegmentVarHandle)ob;
        AbstractMemorySegmentImpl bb = handle.checkSegment(obb, base, false);
-#if[!byte]
+#if[!ByteOrBoolean]
        if (handle.be == BE) {
-#end[byte]
+#end[ByteOrBoolean]
            return SCOPED_MEMORY_ACCESS.getAndBitwiseXor$RawType$Acquire(bb.sessionImpl(),
                    bb.unsafeGetBase(),
                    offset(bb, base, offset),
                    value);
-#if[!byte]
+#if[!ByteOrBoolean]
        } else {
            return getAndBitwiseXorConvEndianWithCAS(bb, offset(bb, base, offset), value);
        }
-#end[byte]
+#end[ByteOrBoolean]
    }
-#if[!byte]
+#if[!ByteOrBoolean]

    @ForceInline
    static $type$ getAndBitwiseXorConvEndianWithCAS(AbstractMemorySegmentImpl  bb, long offset, $type$ value) {
@ -748,6 +760,6 @@ final class VarHandleSegmentAs$Type$sAligned extends VarHandleSegmentAs$Type$s {
                nativeExpectedValue, $RawBoxType$.reverseBytes({#if[ShorterThanInt]?($type$) }(expectedValue ^ value))));
        return expectedValue;
    }
-#end[byte]
+#end[ByteOrBoolean]
 #end[Bitwise]
 }
--- a/test/jdk/ProblemList.txt
+++ b/test/jdk/ProblemList.txt
@ -648,8 +648,6 @@ jdk/jfr/event/oldobject/TestZ.java                              8375615 generic-

 # jdk_foreign

-java/foreign/normalize/TestNormalize.java 8386848 generic-all
-
 ############################################################################
 # Client manual tests

--- a/test/jdk/java/foreign/normalize/TestNormalizeBooleanVarHandle.java
+++ b/test/jdk/java/foreign/normalize/TestNormalizeBooleanVarHandle.java
@ -0,0 +1,93 @@
+/*
+ * Copyright (c) 2026, 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
+ * under the terms of the GNU General Public License version 2 only, as
+ * published by the Free Software Foundation.
+ *
+ * This code is distributed in the hope that it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+ * version 2 for more details (a copy is included in the LICENSE file that
+ * accompanied this code).
+ *
+ * You should have received a copy of the GNU General Public License version
+ * 2 along with this work; if not, write to the Free Software Foundation,
+ * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
+ *
+ * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
+ * or visit www.oracle.com if you need additional information or have any
+ * questions.
+ */
+
+/*
+ * @test
+ * @run testng TestNormalizeBooleanVarHandle
+ */
+
+import org.testng.annotations.DataProvider;
+import org.testng.annotations.Test;
+
+import java.lang.foreign.Arena;
+import java.lang.foreign.MemorySegment;
+import java.lang.invoke.VarHandle;
+import java.util.ArrayList;
+import java.util.List;
+import java.util.function.Function;
+import java.util.function.Predicate;
+
+import static java.lang.foreign.ValueLayout.*;
+import static org.testng.Assert.*;
+
+// test normalization of smaller than int primitive types
+public class TestNormalizeBooleanVarHandle {
+
+    static final VarHandle VH = JAVA_BOOLEAN.varHandle();
+
+    @Test(dataProvider = "bools")
+    public void testBool(Function<Arena, MemorySegment> segmentFactory, Predicate<MemorySegment> accessor,
+                         byte testValue, boolean expected) {
+        try (Arena arena = Arena.ofConfined()) {
+            MemorySegment ms = segmentFactory.apply(arena);
+            ms.set(JAVA_BYTE, 0L, testValue);
+
+            boolean b = accessor.test(ms);
+            assertEquals(b, expected);
+        }
+    }
+
+    @DataProvider
+    public static Object[][] bools() {
+        List<Object[]> cases = new ArrayList<>();
+        for (Function<Arena, MemorySegment> segmentFactory : factories()) {
+            for (Predicate<MemorySegment> accessor : accessors()) {
+                cases.add(new Object[]{ segmentFactory, accessor,
+                        (byte) 0b0 , false }); // canonical false
+                cases.add(new Object[]{ segmentFactory, accessor,
+                        (byte) 0b01, true  }); // canonical true
+                cases.add(new Object[]{ segmentFactory, accessor,
+                        (byte) 0b10, true  }); // zero least significant bit, but non-zero first byte
+            }
+        }
+
+        return cases.toArray(Object[][]::new);
+    }
+
+    private static List<Function<Arena, MemorySegment>> factories() {
+        return List.of(
+            a -> a.allocate(JAVA_BYTE),
+            _ -> MemorySegment.ofArray(new byte[1])
+        );
+    }
+
+    private static List<Predicate<MemorySegment>> accessors() {
+        return List.of(
+            ms -> ms.get(JAVA_BOOLEAN, 0L),
+            ms -> (boolean) VH.get(ms, 0L),
+            ms -> (boolean) VH.getVolatile(ms, 0L),
+            ms -> (boolean) VH.getAcquire(ms, 0L),
+            ms -> (boolean) VH.getOpaque(ms, 0L)
+        );
+    }
+}