/openjdk10/hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.test/src/org/graalvm/compiler/core/test/ |
H A D | ConditionTest.java | 89 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 D | ObjectStampMeetTest.java | 48 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 D | AbstractObjectStampTest.java | 231 * 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 D | ValueCompareAndSwapNode.java | 49 super(TYPE, address, location, expectedValue, newValue, barrierType, expectedValue.stamp().meet(newValue.stamp()).unrestricted());
|
H A D | AbstractCompareAndSwapNode.java | 91 return expectedValue.stamp().meet(newValue.stamp()).unrestricted();
|
H A D | InstanceOfNode.java | 124 ObjectStamp meetStamp = (ObjectStamp) checkedStamp.meet(inputStamp); 182 ObjectStamp meetStamp = (ObjectStamp) checkedStamp.meet(inputStamp);
|
H A D | TypeSwitchNode.java | 213 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 D | Stamp.java | 71 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 D | VoidStamp.java | 85 public Stamp meet(Stamp other) { method in class:VoidStamp
|
H A D | RawPointerStamp.java | 58 public Stamp meet(Stamp other) { method in class:RawPointerStamp
|
H A D | IllegalStamp.java | 83 public Stamp meet(Stamp other) { method in class:IllegalStamp
|
H A D | AbstractPointerStamp.java | 80 public Stamp meet(Stamp stamp) { method in class:AbstractPointerStamp
|
H A D | AbstractObjectStamp.java | 108 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 D | ConditionalNode.java | 70 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 D | StampTool.java | 45 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 D | c1_ValueType.cpp | 76 ValueType* ValueType::meet(ValueType* y) const { function in class:ValueType
|
H A D | c1_ValueType.hpp | 176 ValueType* meet(ValueType* y) const;
|
H A D | c1_Instruction.hpp | 1065 : 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 D | ciTypeFlow.hpp | 203 // 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 D | ciTypeFlow.cpp | 267 // 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 D | FixReadsPhase.java | 253 bestStamp = bestStamp.meet(currentEndMap.get(phi)); 288 bestStamp = bestStamp.meet(otherEndsStamp); 374 registerNewStamp(node, trueStamp.meet(falseStamp));
|
H A D | ConditionalEliminationPhase.java | 426 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 D | IntegerSwitchNode.java | 377 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 D | Condition.java | 570 public Condition meet(Condition other) { method in class:Condition
|
/openjdk10/hotspot/src/share/vm/opto/ |
H A D | escape.hpp | 230 bool meet(PointsToNode* ptn);
|