Lines Matching defs:flow
78 * flow, it is propagated to all {@link TypeFlow#uses uses} of the type flow. Types are propagated
281 * Build the type flow graph from the Graal graph, i.e., process all nodes that are
347 * Adding a new callee means linking the type flow of the actual parameters with the formal
424 * Converts the Graal nodes of a method to a type flow graph. The main part of the algorithm is
446 * Register the type flow node for a Graal node.
448 private void registerFlow(ValueNode node, TypeFlow flow) {
456 typeFlows.set(unproxiedNode, flow);
460 * Lookup the type flow node for a Graal node.
488 * Incoming method parameter already have a type flow created by the
497 * Phi functions for loops are cyclic. We create the type flow here (before
520 * Post-processing of phi functions. Now the type flow for all input values has
536 * The type flow of allocation nodes is one exact type. This is the source of the
539 TypeFlow flow = new TypeFlow();
540 flow.addTypes(Collections.singleton(type));
541 registerFlow(node, flow);
542 flow.addUse(results.getAllInstantiatedTypes());
556 * The type flow of a field load is the type flow of the field itself. It
565 * Connect the type flow of the stored value with the type flow of the field.
575 * Connect the type flow of the returned value with the formal return type flow of
609 * Connect the type flow of the receiver with the invocation flow.