Searched refs:assumptions (Results 1 - 25 of 41) sorted by relevance

12

/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/
H A DEncodedGraph.java43 private final Assumptions assumptions; field in class:EncodedGraph
52 public EncodedGraph(byte[] encoding, int startOffset, Object[] objects, NodeClass<?>[] types, Assumptions assumptions, List<ResolvedJavaMethod> inlinedMethods) { argument
57 this.assumptions = assumptions;
78 return assumptions;
H A DCallTargetNode.java95 public static Stamp createReturnStamp(Assumptions assumptions, JavaType returnType) { argument
98 return StampFactory.object(TypeReference.create(assumptions, (ResolvedJavaType) returnType));
H A DStructuredGraph.java125 public static AllowAssumptions ifNonNull(Assumptions assumptions) { argument
126 return assumptions != null ? YES : NO;
163 private final Assumptions assumptions; field in class:StructuredGraph.Builder
179 this.assumptions = allowAssumptions == AllowAssumptions.YES ? new Assumptions() : null;
188 assumptions = null;
259 return new StructuredGraph(name, rootMethod, entryBCI, assumptions, speculationLog, useProfilingInfo, compilationId, options, debug, cancellable);
279 * The assumptions made while constructing and transforming this graph.
281 private final Assumptions assumptions; field in class:StructuredGraph
314 Assumptions assumptions,
327 this.assumptions
311 StructuredGraph(String name, ResolvedJavaMethod method, int entryBCI, Assumptions assumptions, SpeculationLog speculationLog, boolean useProfilingInfo, CompilationIdentifier compilationId, OptionValues options, DebugContext debug, Cancellable cancellable) argument
[all...]
H A DSimplifyingGraphDecoder.java70 private final Assumptions assumptions; field in class:SimplifyingGraphDecoder.PECanonicalizerTool
73 public PECanonicalizerTool(Assumptions assumptions, OptionValues options) { argument
74 this.assumptions = assumptions;
110 return assumptions;
/openjdk10/hotspot/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/
H A DAssumptions.java33 * Class for recording assumptions made during compilation.
38 * Abstract base class for assumptions. An assumption assumes a property of the runtime that may
47 * {@link Assumption}s. It is permissible for AssumptionResults to have no assumptions at all.
50 * assumptions since the leaf information is statically true.
55 Assumption[] assumptions; field in class:Assumptions.AssumptionResult
60 public AssumptionResult(T result, Assumption... assumptions) { argument
62 this.assumptions = assumptions;
74 return assumptions.length == 0;
78 Assumption[] newAssumptions = Arrays.copyOf(this.assumptions, thi
309 private final Set<Assumption> assumptions = new HashSet<>(); field in class:Assumptions
[all...]
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.common/src/org/graalvm/compiler/core/common/type/
H A DTypeReference.java36 * <li>The reference should be created without assumptions about the class hierarchy. The returned
40 * <li>The reference should be created using assumptions about the class hierarchy. The returned
71 * Creates a type reference using the given type without assumptions and without trusting
79 * Creates a type reference using the given type without assumptions and trusting interface
87 * Creates a type reference using the given type with assumptions and without trusting interface
90 public static TypeReference create(Assumptions assumptions, ResolvedJavaType type) { argument
91 return createTrusted(assumptions, filterInterfaceTypesOut(type));
95 * Create a type reference using the given type with assumptions and trusting interface types.
97 public static TypeReference createTrusted(Assumptions assumptions, ResolvedJavaType type) { argument
104 if (leafConcreteSubtype != null && leafConcreteSubtype.canRecordTo(assumptions)) {
[all...]
H A DStampFactory.java253 public static Stamp[] createParameterStamps(Assumptions assumptions, ResolvedJavaMethod method) { argument
259 result[index++] = StampFactory.objectNonNull(TypeReference.create(assumptions, method.getDeclaringClass()));
269 stamp = StampFactory.object(TypeReference.create(assumptions, (ResolvedJavaType) type));
283 public static StampPair forDeclaredType(Assumptions assumptions, JavaType returnType, boolean nonNull) { argument
286 TypeReference reference = TypeReference.create(assumptions, resolvedJavaType);
290 TypeReference uncheckedType = TypeReference.createTrusted(assumptions, implementor);
/openjdk10/hotspot/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/
H A DHotSpotCompiledCode.java63 protected final Assumption[] assumptions; field in class:HotSpotCompiledCode
118 @SuppressFBWarnings(value = "EI_EXPOSE_REP2", justification = "caller transfers ownership of `sites`, `targetCode`, `comments`, `methods`, `dataSection`, `dataSectionPatches` and `assumptions`")
119 public HotSpotCompiledCode(String name, byte[] targetCode, int targetCodeSize, Site[] sites, Assumption[] assumptions, ResolvedJavaMethod[] methods, Comment[] comments, byte[] dataSection, argument
125 this.assumptions = assumptions;
H A DHotSpotCompiledNmethod.java57 public HotSpotCompiledNmethod(String name, byte[] targetCode, int targetCodeSize, Site[] sites, Assumption[] assumptions, ResolvedJavaMethod[] methods, Comment[] comments, byte[] dataSection, argument
60 super(name, targetCode, targetCodeSize, sites, assumptions, methods, comments, dataSection, dataSectionAlignment, dataSectionPatches, isImmutablePIC, totalFrameSize, deoptRescueSlot);
H A DHotSpotObjectConstant.java82 * @param assumptions used to register an assumption that the {@link CallSite}'s target does not
86 JavaConstant getCallSiteTarget(Assumptions assumptions); argument
H A DHotSpotObjectConstantImpl.java141 public JavaConstant getCallSiteTarget(Assumptions assumptions) { argument
146 if (assumptions == null) {
149 assumptions.record(new Assumptions.CallSiteTargetValue(callSite, target));
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/java/
H A DInstanceOfDynamicNode.java59 public static LogicNode create(Assumptions assumptions, ConstantReflectionProvider constantReflection, ValueNode mirror, ValueNode object, boolean allowNull) { argument
60 LogicNode synonym = findSynonym(assumptions, constantReflection, mirror, object, allowNull);
86 private static LogicNode findSynonym(Assumptions assumptions, ConstantReflectionProvider constantReflection, ValueNode forMirror, ValueNode forObject, argument
98 TypeReference type = TypeReference.createTrusted(assumptions, t);
H A DLoadIndexedNode.java67 public LoadIndexedNode(Assumptions assumptions, ValueNode array, ValueNode index, JavaKind elementKind) { argument
68 this(TYPE, createStamp(assumptions, array, elementKind), array, index, elementKind);
71 public static ValueNode create(Assumptions assumptions, ValueNode array, ValueNode index, JavaKind elementKind, MetaAccessProvider metaAccess, ConstantReflectionProvider constantReflection) { argument
76 return new LoadIndexedNode(assumptions, array, index, elementKind);
83 private static Stamp createStamp(Assumptions assumptions, ValueNode array, JavaKind kind) { argument
86 return StampFactory.object(TypeReference.createTrusted(assumptions, type.getComponentType()));
H A DMethodCallTargetNode.java138 public static ResolvedJavaMethod devirtualizeCall(InvokeKind invokeKind, ResolvedJavaMethod targetMethod, ResolvedJavaType contextType, Assumptions assumptions, Stamp receiverStamp) { argument
142 type = TypeReference.createTrusted(assumptions, targetMethod.getDeclaringClass());
156 if (uniqueConcreteMethod != null && uniqueConcreteMethod.canRecordTo(assumptions)) {
157 uniqueConcreteMethod.recordTo(assumptions);
180 Assumptions assumptions = graph().getAssumptions();
185 if (invokeKind().isIndirect() && invokeKind().isInterface() && assumptions != null) {
200 TypeReference speculatedType = TypeReference.createTrusted(assumptions, singleImplementor);
H A DRegisterFinalizerNode.java89 public static boolean mayHaveFinalizer(ValueNode object, Assumptions assumptions) { argument
95 if (result.canRecordTo(assumptions)) {
96 result.recordTo(assumptions);
H A DLoadFieldNode.java75 public static LoadFieldNode create(Assumptions assumptions, ValueNode object, ResolvedJavaField field) { argument
76 return new LoadFieldNode(StampFactory.forDeclaredType(assumptions, field.getType(), false), object, field);
80 OptionValues options, Assumptions assumptions, ValueNode object, ResolvedJavaField field, boolean canonicalizeReads, boolean allUsagesAvailable) {
81 return canonical(null, StampFactory.forDeclaredType(assumptions, field.getType(), false), object,
79 create(ConstantFieldProvider constantFields, ConstantReflectionProvider constantReflection, MetaAccessProvider metaAccess, OptionValues options, Assumptions assumptions, ValueNode object, ResolvedJavaField field, boolean canonicalizeReads, boolean allUsagesAvailable) argument
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/extended/
H A DLoadMethodNode.java96 Assumptions assumptions = graph().getAssumptions();
98 if (resolvedMethod != null && resolvedMethod.canRecordTo(assumptions) && !type.getType().isInterface() && method.getDeclaringClass().isAssignableFrom(type.getType())) {
99 resolvedMethod.recordTo(assumptions);
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.hotspot/src/org/graalvm/compiler/hotspot/replacements/
H A DCallSiteTargetNode.java58 public static ConstantNode tryFold(ValueNode callSite, MetaAccessProvider metaAccess, Assumptions assumptions) { argument
61 JavaConstant target = c.getCallSiteTarget(assumptions);
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements/src/org/graalvm/compiler/replacements/nodes/
H A DMethodHandleNode.java254 Assumptions assumptions = adder.getAssumptions();
273 if (concreteMethod != null && concreteMethod.canRecordTo(assumptions)) {
274 concreteMethod.recordTo(assumptions);
294 InvokeNode invoke = createTargetInvokeNode(assumptions, intrinsicMethod, realTarget, original, bci, returnStamp, arguments);
312 Assumptions assumptions = adder.getAssumptions();
313 TypeReference targetType = TypeReference.create(assumptions, (ResolvedJavaType) type);
353 private static InvokeNode createTargetInvokeNode(Assumptions assumptions, IntrinsicMethod intrinsicMethod, ResolvedJavaMethod target, ResolvedJavaMethod original, int bci, StampPair returnStamp, argument
374 StampPair targetReturnStamp = StampFactory.forDeclaredType(assumptions, targetReturnType, false);
/openjdk10/hotspot/test/compiler/jvmci/errors/
H A DCodeInstallerTest.java75 protected void installEmptyCode(Site[] sites, Assumption[] assumptions, Comment[] comments, int dataSectionAlignment, DataPatch[] dataSectionPatches, StackSlot deoptRescueSlot) { argument
76 HotSpotCompiledCode code = new HotSpotCompiledCode("dummyMethod", new byte[0], 0, sites, assumptions, new ResolvedJavaMethod[]{dummyMethod}, comments, new byte[8], dataSectionAlignment,
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.code/src/org/graalvm/compiler/code/
H A DCompilationResult.java208 private Assumption[] assumptions; field in class:CompilationResult
284 Arrays.equals(this.assumptions, that.assumptions) &&
309 * Sets the assumptions made during compilation.
311 public void setAssumptions(Assumption[] assumptions) { argument
312 this.assumptions = assumptions;
316 * Gets the assumptions made during compilation.
321 return assumptions;
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.virtual/src/org/graalvm/compiler/virtual/phases/ea/
H A DVirtualizerToolImpl.java57 private final Assumptions assumptions; field in class:VirtualizerToolImpl
63 Assumptions assumptions, OptionValues options, DebugContext debug, LoweringProvider loweringProvider) {
68 this.assumptions = assumptions;
265 return assumptions;
62 VirtualizerToolImpl(MetaAccessProvider metaAccess, ConstantReflectionProvider constantReflection, ConstantFieldProvider constantFieldProvider, PartialEscapeClosure<?> closure, Assumptions assumptions, OptionValues options, DebugContext debug, LoweringProvider loweringProvider) argument
/openjdk10/nashorn/src/jdk.scripting.nashorn/share/classes/jdk/nashorn/internal/runtime/
H A DCompiledFunction.java583 // to the compiled function's changed target whenever the optimistic assumptions are invalidated.
591 final SwitchPoint assumptions; field in class:CompiledFunction.HandleAndAssumptions
593 HandleAndAssumptions(final MethodHandle handle, final SwitchPoint assumptions) { argument
595 this.assumptions = assumptions;
599 return new GuardedInvocation(handle, assumptions);
605 * optimistic assumptions (or null for the switch point if the function can not be deoptimized). While the method
614 * @return a tuple object containing the method handle as created by the supplier and an optimistic assumptions
621 final SwitchPoint assumptions = canBeDeoptimized() ? optimismInfo.optimisticAssumptions : null;
622 if(assumptions !
[all...]
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.test/src/org/graalvm/compiler/core/test/
H A DFinalizableSubclassTest.java90 Assumptions assumptions = graph.getAssumptions();
91 if (assumptions != null) {
92 for (Assumption a : assumptions) {
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.hotspot/src/org/graalvm/compiler/hotspot/
H A DHotSpotCompiledCodeBuilder.java73 Assumption[] assumptions = compResult.getAssumptions();
126 return new HotSpotCompiledNmethod(name, targetCode, targetCodeSize, sites, assumptions, methods, comments, dataSection, dataSectionAlignment, dataSectionPatches, isImmutablePIC,
129 return new HotSpotCompiledCode(name, targetCode, targetCodeSize, sites, assumptions, methods, comments, dataSection, dataSectionAlignment, dataSectionPatches, isImmutablePIC,

Completed in 202 milliseconds

12