Searched refs:meet (Results 1 - 25 of 37) sorted by relevance

12

/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.test/src/org/graalvm/compiler/core/test/
H A DConditionTest.java89 Condition meet = c1.meet(c2);
90 assertEquals(meet, c2.meet(c1));
91 if (meet != null) {
97 boolean resultMeet = meet.foldCondition(a, b, null, false);
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes.test/src/org/graalvm/compiler/nodes/test/
H A DObjectStampMeetTest.java48 Assert.assertEquals(a, meet(aNonNull, b));
49 Assert.assertEquals(aNonNull, meet(aNonNull, bNonNull));
57 Assert.assertEquals(a, meet(aExact, b));
70 Assert.assertEquals(aNonNull, meet(cExactNonNull, dExactNonNull));
78 Assert.assertEquals(a, meet(dExact, c));
86 Assert.assertEquals(dExact, meet(dExactNonNull, alwaysNull));
94 Assert.assertEquals(a, meet(aExact, e));
107 Assert.assertEquals(base1, meet(ord1, ord2));
115 Assert.assertEquals(base1, meet(ord1, ord2));
147 Assert.assertEquals(resultStamp, meet(aStam
[all...]
H A DAbstractObjectStampTest.java231 * Joins the two stamps and also asserts that the meet operation is commutative.
241 * Meets the two stamps and also asserts that the meet operation is commutative.
243 protected static Stamp meet(Stamp a, Stamp b) { method in class:AbstractObjectStampTest
244 Stamp ab = a.meet(b);
245 Stamp ba = b.meet(a);
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/java/
H A DValueCompareAndSwapNode.java49 super(TYPE, address, location, expectedValue, newValue, barrierType, expectedValue.stamp().meet(newValue.stamp()).unrestricted());
H A DAbstractCompareAndSwapNode.java91 return expectedValue.stamp().meet(newValue.stamp()).unrestricted();
H A DInstanceOfNode.java124 ObjectStamp meetStamp = (ObjectStamp) checkedStamp.meet(inputStamp);
182 ObjectStamp meetStamp = (ObjectStamp) checkedStamp.meet(inputStamp);
H A DTypeSwitchNode.java213 result = result.meet(StampFactory.objectNonNull(TypeReference.createExactTrusted(typeAt(i))));
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.common/src/org/graalvm/compiler/core/common/type/
H A DStamp.java71 public abstract Stamp meet(Stamp other); method in class:Stamp
91 * {@link #empty()} is the neutral element of the {@link #meet(Stamp)} operation.
H A DVoidStamp.java85 public Stamp meet(Stamp other) { method in class:VoidStamp
H A DRawPointerStamp.java58 public Stamp meet(Stamp other) { method in class:RawPointerStamp
H A DIllegalStamp.java83 public Stamp meet(Stamp other) { method in class:IllegalStamp
H A DAbstractPointerStamp.java80 public Stamp meet(Stamp stamp) { method in class:AbstractPointerStamp
H A DAbstractObjectStamp.java108 public Stamp meet(Stamp otherStamp) { method in class:AbstractObjectStamp
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/calc/
H A DConditionalNode.java70 super(TYPE, trueValue.stamp().meet(falseValue.stamp()));
86 ValueNode result = canonicalizeConditional(condition, trueValue, falseValue, trueValue.stamp().meet(falseValue.stamp()));
95 Stamp valueStamp = trueValue.stamp().meet(falseValue.stamp());
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/type/
H A DStampTool.java45 public static Stamp meet(Iterable<? extends ValueNode> values) { method in class:StampTool
66 stamp = stamp.meet(nextValue.stamp());
/openjdk10/hotspot/src/share/vm/c1/
H A Dc1_ValueType.cpp76 ValueType* ValueType::meet(ValueType* y) const { function in class:ValueType
H A Dc1_ValueType.hpp176 ValueType* meet(ValueType* y) const;
H A Dc1_Instruction.hpp1065 : Op2(x->type()->meet(y->type()), op, x, y, state_before)
1094 LogicOp(Bytecodes::Code op, Value x, Value y) : Op2(x->type()->meet(y->type()), op, x, y) {}
1122 : Op2(tval->type()->meet(fval->type()), (Bytecodes::Code)cond, x, y)
/openjdk10/hotspot/src/share/vm/ci/
H A DciTypeFlow.hpp203 // The meet operation for our type lattice.
481 bool meet(const StateVector* incoming);
661 bool meet(const StateVector* incoming) { function in class:ciTypeFlow::Block
662 return state()->meet(incoming);
H A DciTypeFlow.cpp267 // Every primitive type is comparable only with itself. The meet of
269 // interface, or array class. The meet of two types of the same
270 // kind is their least common ancestor. The meet of two types of
279 // Special case null_type. null_type meet any reference type T
280 // is T. null_type meet null_type is null_type.
434 // ciTypeFlow::StateVector::meet
438 bool ciTypeFlow::StateVector::meet(const ciTypeFlow::StateVector* incoming) { function in class:ciTypeFlow::StateVector
558 // is report a value that will meet correctly with any downstream
2155 if (block->meet(state)) {
2738 start->meet(start_stat
[all...]
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.phases.common/src/org/graalvm/compiler/phases/common/
H A DFixReadsPhase.java253 bestStamp = bestStamp.meet(currentEndMap.get(phi));
288 bestStamp = bestStamp.meet(otherEndsStamp);
374 registerNewStamp(node, trueStamp.meet(falseStamp));
H A DConditionalEliminationPhase.java426 bestPossibleStamp = bestPossibleStamp.meet(curBestStamp);
463 if (bestPossibleStamp.meet(valueAt.stamp()).equals(bestPossibleStamp)) {
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/extended/
H A DIntegerSwitchNode.java377 result = result.meet(StampFactory.forConstant(keyAt(i)));
/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.common/src/org/graalvm/compiler/core/common/calc/
H A DCondition.java570 public Condition meet(Condition other) { method in class:Condition
/openjdk10/hotspot/src/share/vm/opto/
H A Descape.hpp230 bool meet(PointsToNode* ptn);

Completed in 123 milliseconds

12