Searched refs:positiveInt (Results 1 - 3 of 3) sorted by relevance

/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.common/src/org/graalvm/compiler/core/common/type/
H A DStampFactory.java49 private static final Stamp positiveInt = forInteger(JavaKind.Int, 0, Integer.MAX_VALUE, 0, Integer.MAX_VALUE); field in class:StampFactory
123 public static Stamp positiveInt() { method in class:StampFactory
124 return positiveInt;
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/java/
H A DArrayLengthNode.java67 super(TYPE, StampFactory.positiveInt());
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements/src/org/graalvm/compiler/replacements/
H A DDefaultJavaLoweringProvider.java480 ReadNode readArrayLength = graph.add(new ReadNode(address, ARRAY_LENGTH_LOCATION, StampFactory.positiveInt(), BarrierType.NONE));

Completed in 95 milliseconds