graal-compiler: graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/ConditionalEliminationPhase.java annotate

annotate graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/ConditionalEliminationPhase.java @ 7724:ac3579b4adc9

remove MaterializeNode

author	Lukas Stadler <lukas.stadler@jku.at>
date	Tue, 05 Feb 2013 15:51:23 +0100
parents	9ea26951d826
children	4a6646d8eb87

rev	line source
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	1 /*
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	2 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	4 *
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	7 * published by the Free Software Foundation.
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	8 *
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	13 * accompanied this code).
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	14 *
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	18 *
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	21 * questions.
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	22 */
6526 ee651c726397 split phases out of graal.phases project into graal.phases.common project Doug Simon <doug.simon@oracle.com> parents: 6525 diff changeset	23 package com.oracle.graal.phases.common;
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	24
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	25 import java.util.*;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	26
5507 dc71b06d09f8 Moving classes from cri.ri to api.meta. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5443 diff changeset	27 import com.oracle.graal.api.meta.*;
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	28 import com.oracle.graal.debug.*;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	29 import com.oracle.graal.graph.*;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	30 import com.oracle.graal.nodes.*;
6587 795df1687282 renamed CheckCastElimination to ConditionalElimination, plus a few small changes Lukas Stadler <lukas.stadler@jku.at> parents: 6564 diff changeset	31 import com.oracle.graal.nodes.PhiNode.PhiType;
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	32 import com.oracle.graal.nodes.calc.*;
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	33 import com.oracle.graal.nodes.extended.*;
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	34 import com.oracle.graal.nodes.java.*;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	35 import com.oracle.graal.nodes.type.*;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	36 import com.oracle.graal.nodes.util.*;
6526 ee651c726397 split phases out of graal.phases project into graal.phases.common project Doug Simon <doug.simon@oracle.com> parents: 6525 diff changeset	37 import com.oracle.graal.phases.*;
6525 2c913b643422 rename packages in graal.phases to match project name Doug Simon <doug.simon@oracle.com> parents: 6522 diff changeset	38 import com.oracle.graal.phases.graph.*;
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	39
6587 795df1687282 renamed CheckCastElimination to ConditionalElimination, plus a few small changes Lukas Stadler <lukas.stadler@jku.at> parents: 6564 diff changeset	40 public class ConditionalEliminationPhase extends Phase {
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	41
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	42 private static final DebugMetric metricConditionRegistered = Debug.metric("ConditionRegistered");
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	43 private static final DebugMetric metricTypeRegistered = Debug.metric("TypeRegistered");
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	44 private static final DebugMetric metricNullnessRegistered = Debug.metric("NullnessRegistered");
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	45 private static final DebugMetric metricObjectEqualsRegistered = Debug.metric("ObjectEqualsRegistered");
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	46 private static final DebugMetric metricCheckCastRemoved = Debug.metric("CheckCastRemoved");
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	47 private static final DebugMetric metricInstanceOfRemoved = Debug.metric("InstanceOfRemoved");
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	48 private static final DebugMetric metricNullCheckRemoved = Debug.metric("NullCheckRemoved");
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	49 private static final DebugMetric metricObjectEqualsRemoved = Debug.metric("ObjectEqualsRemoved");
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	50 private static final DebugMetric metricGuardsRemoved = Debug.metric("GuardsRemoved");
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	51
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	52 private final MetaAccessProvider metaAccessProvider;
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	53
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	54 private StructuredGraph graph;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	55
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	56 public ConditionalEliminationPhase(MetaAccessProvider metaAccessProvider) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	57 this.metaAccessProvider = metaAccessProvider;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	58 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	59
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	60 @Override
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	61 protected void run(StructuredGraph inputGraph) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	62 graph = inputGraph;
6587 795df1687282 renamed CheckCastElimination to ConditionalElimination, plus a few small changes Lukas Stadler <lukas.stadler@jku.at> parents: 6564 diff changeset	63 new ConditionalElimination(graph.start(), new State()).apply();
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	64 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	65
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	66 public static class State implements MergeableState<State> {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	67
5541 b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5507 diff changeset	68 private IdentityHashMap<ValueNode, ResolvedJavaType> knownTypes;
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	69 private HashSet<ValueNode> knownNonNull;
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	70 private HashSet<ValueNode> knownNull;
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	71 private IdentityHashMap<BooleanNode, ValueNode> trueConditions;
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	72 private IdentityHashMap<BooleanNode, ValueNode> falseConditions;
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	73
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	74 public State() {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	75 this.knownTypes = new IdentityHashMap<>();
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	76 this.knownNonNull = new HashSet<>();
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	77 this.knownNull = new HashSet<>();
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	78 this.trueConditions = new IdentityHashMap<>();
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	79 this.falseConditions = new IdentityHashMap<>();
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	80 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	81
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	82 public State(State other) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	83 this.knownTypes = new IdentityHashMap<>(other.knownTypes);
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	84 this.knownNonNull = new HashSet<>(other.knownNonNull);
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	85 this.knownNull = new HashSet<>(other.knownNull);
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	86 this.trueConditions = new IdentityHashMap<>(other.trueConditions);
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	87 this.falseConditions = new IdentityHashMap<>(other.falseConditions);
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	88 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	89
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	90 @Override
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	91 public boolean merge(MergeNode merge, List<State> withStates) {
5541 b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5507 diff changeset	92 IdentityHashMap<ValueNode, ResolvedJavaType> newKnownTypes = new IdentityHashMap<>();
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	93 IdentityHashMap<BooleanNode, ValueNode> newTrueConditions = new IdentityHashMap<>();
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	94 IdentityHashMap<BooleanNode, ValueNode> newFalseConditions = new IdentityHashMap<>();
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	95
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	96 HashSet<ValueNode> newKnownNull = new HashSet<>(knownNull);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	97 HashSet<ValueNode> newKnownNonNull = new HashSet<>(knownNonNull);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	98 for (State state : withStates) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	99 newKnownNull.retainAll(state.knownNull);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	100 newKnownNonNull.retainAll(state.knownNonNull);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	101 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	102
5541 b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5507 diff changeset	103 for (Map.Entry<ValueNode, ResolvedJavaType> entry : knownTypes.entrySet()) {
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	104 ValueNode node = entry.getKey();
5541 b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5507 diff changeset	105 ResolvedJavaType type = entry.getValue();
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	106
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	107 for (State other : withStates) {
5541 b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5507 diff changeset	108 ResolvedJavaType otherType = other.getNodeType(node);
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	109 type = widen(type, otherType);
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	110 if (type == null) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	111 break;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	112 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	113 }
5443 141817e206d4 changes to the dependencies and stamp system: Lukas Stadler <lukas.stadler@jku.at> parents: 5425 diff changeset	114 if (type == null && type != node.objectStamp().type()) {
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	115 newKnownTypes.put(node, type);
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	116 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	117 }
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	118
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	119 for (Map.Entry<BooleanNode, ValueNode> entry : trueConditions.entrySet()) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	120 BooleanNode check = entry.getKey();
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	121 ValueNode guard = entry.getValue();
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	122
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	123 for (State other : withStates) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	124 ValueNode otherGuard = other.trueConditions.get(check);
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	125 if (otherGuard == null) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	126 guard = null;
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	127 break;
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	128 }
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	129 if (otherGuard != guard) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	130 guard = merge;
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	131 }
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	132 }
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	133 if (guard != null) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	134 newTrueConditions.put(check, guard);
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	135 }
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	136 }
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	137 for (Map.Entry<BooleanNode, ValueNode> entry : falseConditions.entrySet()) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	138 BooleanNode check = entry.getKey();
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	139 ValueNode guard = entry.getValue();
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	140
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	141 for (State other : withStates) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	142 ValueNode otherGuard = other.falseConditions.get(check);
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	143 if (otherGuard == null) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	144 guard = null;
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	145 break;
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	146 }
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	147 if (otherGuard != guard) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	148 guard = merge;
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	149 }
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	150 }
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	151 if (guard != null) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	152 newFalseConditions.put(check, guard);
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	153 }
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	154 }
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	155
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	156 // this piece of code handles phis
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	157 if (!(merge instanceof LoopBeginNode)) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	158 for (PhiNode phi : merge.phis()) {
5774 a1db0ea58b53 Removed left over Ci* prefixed identifiers Doug Simon <doug.simon@oracle.com> parents: 5541 diff changeset	159 if (phi.type() == PhiType.Value && phi.kind() == Kind.Object) {
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	160 ValueNode firstValue = phi.valueAt(0);
5775 2c088af17e59 Removed left over Ri* prefixed identifiers Doug Simon <doug.simon@oracle.com> parents: 5774 diff changeset	161 ResolvedJavaType type = getNodeType(firstValue);
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	162 boolean nonNull = knownNonNull.contains(firstValue);
6587 795df1687282 renamed CheckCastElimination to ConditionalElimination, plus a few small changes Lukas Stadler <lukas.stadler@jku.at> parents: 6564 diff changeset	163 boolean isNull = knownNull.contains(firstValue);
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	164
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	165 for (int i = 0; i < withStates.size(); i++) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	166 State otherState = withStates.get(i);
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	167 ValueNode value = phi.valueAt(i + 1);
5775 2c088af17e59 Removed left over Ri* prefixed identifiers Doug Simon <doug.simon@oracle.com> parents: 5774 diff changeset	168 ResolvedJavaType otherType = otherState.getNodeType(value);
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	169 type = widen(type, otherType);
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	170 nonNull &= otherState.knownNonNull.contains(value);
6587 795df1687282 renamed CheckCastElimination to ConditionalElimination, plus a few small changes Lukas Stadler <lukas.stadler@jku.at> parents: 6564 diff changeset	171 isNull &= otherState.knownNull.contains(value);
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	172 }
6587 795df1687282 renamed CheckCastElimination to ConditionalElimination, plus a few small changes Lukas Stadler <lukas.stadler@jku.at> parents: 6564 diff changeset	173 if (type != null) {
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	174 newKnownTypes.put(phi, type);
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	175 }
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	176 if (nonNull) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	177 newKnownNonNull.add(phi);
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	178 }
6587 795df1687282 renamed CheckCastElimination to ConditionalElimination, plus a few small changes Lukas Stadler <lukas.stadler@jku.at> parents: 6564 diff changeset	179 if (isNull) {
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	180 newKnownNull.add(phi);
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	181 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	182 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	183 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	184 }
6587 795df1687282 renamed CheckCastElimination to ConditionalElimination, plus a few small changes Lukas Stadler <lukas.stadler@jku.at> parents: 6564 diff changeset	185
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	186 this.knownTypes = newKnownTypes;
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	187 this.knownNonNull = newKnownNonNull;
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	188 this.knownNull = newKnownNull;
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	189 this.trueConditions = newTrueConditions;
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	190 this.falseConditions = newFalseConditions;
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	191 return true;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	192 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	193
5541 b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5507 diff changeset	194 public ResolvedJavaType getNodeType(ValueNode node) {
b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5507 diff changeset	195 ResolvedJavaType result = knownTypes.get(node);
5443 141817e206d4 changes to the dependencies and stamp system: Lukas Stadler <lukas.stadler@jku.at> parents: 5425 diff changeset	196 return result == null ? node.objectStamp().type() : result;
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	197 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	198
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	199 public boolean isNull(ValueNode value) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	200 return value.objectStamp().alwaysNull() \|\| knownNull.contains(value);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	201 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	202
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	203 public boolean isNonNull(ValueNode value) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	204 return value.objectStamp().nonNull() \|\| knownNonNull.contains(value);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	205 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	206
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	207 @Override
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	208 public void loopBegin(LoopBeginNode loopBegin) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	209 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	210
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	211 @Override
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	212 public void loopEnds(LoopBeginNode loopBegin, List<State> loopEndStates) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	213 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	214
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	215 @Override
7257 b1ebd583be14 Remove @Successor private final NodeSuccessorList<BeginNode> blockSuccessors from ControlSplitNode Gilles Duboscq <duboscq@ssw.jku.at> parents: 7097 diff changeset	216 public void afterSplit(BeginNode node) {
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	217 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	218
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	219 @Override
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	220 public State clone() {
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	221 return new State(this);
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	222 }
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	223
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	224 /**
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	225 * Adds information about a condition. If isTrue is true then the condition is known to
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	226 * hold, otherwise the condition is known not to hold.
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	227 */
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	228 public void addCondition(boolean isTrue, BooleanNode condition, ValueNode anchor) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	229 if (isTrue) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	230 if (!trueConditions.containsKey(condition)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	231 trueConditions.put(condition, anchor);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	232 metricConditionRegistered.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	233 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	234 } else {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	235 if (!falseConditions.containsKey(condition)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	236 falseConditions.put(condition, anchor);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	237 metricConditionRegistered.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	238 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	239 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	240 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	241
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	242 /**
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	243 * Adds information about the nullness of a value. If isNull is true then the value is known
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	244 * to be null, otherwise the value is known to be non-null.
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	245 */
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	246 public void addNullness(boolean isNull, ValueNode value) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	247 if (isNull) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	248 if (!isNull(value)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	249 metricNullnessRegistered.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	250 knownNull.add(value);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	251 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	252 } else {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	253 if (!isNonNull(value)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	254 metricNullnessRegistered.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	255 knownNonNull.add(value);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	256 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	257 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	258 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	259
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	260 public void addType(ResolvedJavaType type, ValueNode value) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	261 ResolvedJavaType knownType = getNodeType(value);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	262 ResolvedJavaType newType = tighten(type, knownType);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	263
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	264 if (newType != knownType) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	265 knownTypes.put(value, newType);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	266 metricTypeRegistered.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	267 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	268 }
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	269 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	270
5541 b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5507 diff changeset	271 public static ResolvedJavaType widen(ResolvedJavaType a, ResolvedJavaType b) {
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	272 if (a == null \|\| b == null) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	273 return null;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	274 } else if (a == b) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	275 return a;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	276 } else {
6539 2463eb24b644 Cleanup of Graal API: Rename methods so that it follows the getXxx naming convention and so that they are similar to the names of the java.lang.reflect classes. Remove unused methods. Christian Wimmer <christian.wimmer@oracle.com> parents: 6526 diff changeset	277 return a.findLeastCommonAncestor(b);
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	278 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	279 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	280
5541 b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5507 diff changeset	281 public static ResolvedJavaType tighten(ResolvedJavaType a, ResolvedJavaType b) {
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	282 if (a == null) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	283 return b;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	284 } else if (b == null) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	285 return a;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	286 } else if (a == b) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	287 return a;
7097 6644cecbd3a7 Replace ResolvedJavaType.isAssignableTo with isAssignableFrom to be consistent with java.lang.Class Christian Wimmer <christian.wimmer@oracle.com> parents: 7037 diff changeset	288 } else if (a.isAssignableFrom(b)) {
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	289 return b;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	290 } else {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	291 return a;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	292 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	293 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	294
6587 795df1687282 renamed CheckCastElimination to ConditionalElimination, plus a few small changes Lukas Stadler <lukas.stadler@jku.at> parents: 6564 diff changeset	295 public class ConditionalElimination extends PostOrderNodeIterator<State> {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7257 diff changeset	296
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	297 private final BooleanNode trueConstant;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	298 private final BooleanNode falseConstant;
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	299
6587 795df1687282 renamed CheckCastElimination to ConditionalElimination, plus a few small changes Lukas Stadler <lukas.stadler@jku.at> parents: 6564 diff changeset	300 public ConditionalElimination(FixedNode start, State initialState) {
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	301 super(start, initialState);
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	302 this.trueConstant = ConstantNode.forBoolean(true, graph);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	303 this.falseConstant = ConstantNode.forBoolean(false, graph);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	304 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	305
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	306 private void registerCondition(boolean isTrue, BooleanNode condition, ValueNode anchor) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	307 state.addCondition(isTrue, condition, anchor);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	308
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	309 if (isTrue && condition instanceof InstanceOfNode) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	310 InstanceOfNode instanceOf = (InstanceOfNode) condition;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	311 ValueNode object = instanceOf.object();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	312 state.addNullness(false, object);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	313 state.addType(instanceOf.type(), object);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	314 } else if (condition instanceof IsNullNode) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	315 IsNullNode nullCheck = (IsNullNode) condition;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	316 state.addNullness(isTrue, nullCheck.object());
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	317 } else if (condition instanceof ObjectEqualsNode) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	318 ObjectEqualsNode equals = (ObjectEqualsNode) condition;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	319 ValueNode x = equals.x();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	320 ValueNode y = equals.y();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	321 if (isTrue) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	322 if (state.isNull(x) && !state.isNull(y)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	323 metricObjectEqualsRegistered.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	324 state.addNullness(true, y);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	325 } else if (!state.isNull(x) && state.isNull(y)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	326 metricObjectEqualsRegistered.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	327 state.addNullness(true, x);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	328 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	329 if (state.isNonNull(x) && !state.isNonNull(y)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	330 metricObjectEqualsRegistered.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	331 state.addNullness(false, y);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	332 } else if (!state.isNonNull(x) && state.isNonNull(y)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	333 metricObjectEqualsRegistered.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	334 state.addNullness(false, x);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	335 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	336 } else {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	337 if (state.isNull(x) && !state.isNonNull(y)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	338 metricObjectEqualsRegistered.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	339 state.addNullness(true, y);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	340 } else if (!state.isNonNull(x) && state.isNull(y)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	341 metricObjectEqualsRegistered.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	342 state.addNullness(true, x);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	343 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	344 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	345 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	346 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	347
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	348 private void registerControlSplitInfo(Node pred, BeginNode begin) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	349 assert pred != null && begin != null;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	350
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	351 if (pred instanceof IfNode) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	352 IfNode ifNode = (IfNode) pred;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	353
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	354 if (!(ifNode.condition() instanceof ConstantNode)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	355 registerCondition(begin == ifNode.trueSuccessor(), ifNode.condition(), begin);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	356 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	357 } else if (pred instanceof TypeSwitchNode) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	358 TypeSwitchNode typeSwitch = (TypeSwitchNode) pred;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	359
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	360 if (typeSwitch.value() instanceof LoadHubNode) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	361 LoadHubNode loadHub = (LoadHubNode) typeSwitch.value();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	362 ResolvedJavaType type = null;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	363 for (int i = 0; i < typeSwitch.keyCount(); i++) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	364 if (typeSwitch.keySuccessor(i) == begin) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	365 if (type == null) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	366 type = typeSwitch.typeAt(i);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	367 } else {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	368 type = widen(type, typeSwitch.typeAt(i));
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	369 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	370 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	371 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	372 if (type != null) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	373 state.addNullness(false, loadHub.object());
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	374 state.addType(type, loadHub.object());
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	375 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	376 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	377 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	378 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	379
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	380 private void registerGuard(GuardNode guard) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	381 BooleanNode condition = guard.condition();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	382
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	383 ValueNode existingGuards = guard.negated() ? state.falseConditions.get(condition) : state.trueConditions.get(condition);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	384 if (existingGuards != null) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	385 guard.replaceAtUsages(existingGuards);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	386 GraphUtil.killWithUnusedFloatingInputs(guard);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	387 metricGuardsRemoved.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	388 } else {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	389 BooleanNode replacement = evaluateCondition(condition, trueConstant, falseConstant);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	390 if (replacement != null) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	391 guard.setCondition(replacement);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	392 if (condition.usages().isEmpty()) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	393 GraphUtil.killWithUnusedFloatingInputs(condition);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	394 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	395 metricGuardsRemoved.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	396 } else {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	397 registerCondition(!guard.negated(), condition, guard);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	398 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	399 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	400 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	401
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	402 /**
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	403 * Determines if, at the current point in the control flow, the condition is known to be
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	404 * true, false or unknown. In case of true or false the corresponding value is returned,
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	405 * otherwise null.
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	406 */
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	407 private <T extends ValueNode> T evaluateCondition(BooleanNode condition, T trueValue, T falseValue) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	408 if (state.trueConditions.containsKey(condition)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	409 return trueValue;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	410 } else if (state.falseConditions.containsKey(condition)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	411 return falseValue;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	412 } else {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	413 if (condition instanceof InstanceOfNode) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	414 InstanceOfNode instanceOf = (InstanceOfNode) condition;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	415 ValueNode object = instanceOf.object();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	416 if (state.isNull(object)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	417 metricInstanceOfRemoved.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	418 return falseValue;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	419 } else if (state.isNonNull(object)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	420 ResolvedJavaType type = state.getNodeType(object);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	421 if (type != null && instanceOf.type().isAssignableFrom(type)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	422 metricInstanceOfRemoved.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	423 return trueValue;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	424 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	425 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	426 } else if (condition instanceof IsNullNode) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	427 IsNullNode isNull = (IsNullNode) condition;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	428 ValueNode object = isNull.object();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	429 if (state.isNull(object)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	430 metricNullCheckRemoved.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	431 return trueValue;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	432 } else if (state.isNonNull(object)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	433 metricNullCheckRemoved.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	434 return falseValue;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	435 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	436 } else if (condition instanceof ObjectEqualsNode) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	437 ObjectEqualsNode equals = (ObjectEqualsNode) condition;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	438 ValueNode x = equals.x();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	439 ValueNode y = equals.y();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	440 if (state.isNull(x) && state.isNonNull(y) \|\| state.isNonNull(x) && state.isNull(y)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	441 metricObjectEqualsRemoved.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	442 return falseValue;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	443 } else if (state.isNull(x) && state.isNull(y)) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	444 metricObjectEqualsRemoved.increment();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	445 return trueValue;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	446 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	447 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	448 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	449 return null;
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	450 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	451
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	452 @Override
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	453 protected void node(FixedNode node) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	454 if (node instanceof BeginNode) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	455 BeginNode begin = (BeginNode) node;
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	456 Node pred = node.predecessor();
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	457
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	458 if (pred != null) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	459 registerControlSplitInfo(pred, begin);
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	460 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	461 for (GuardNode guard : begin.guards().snapshot()) {
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	462 registerGuard(guard);
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	463 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	464 } else if (node instanceof CheckCastNode) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	465 CheckCastNode checkCast = (CheckCastNode) node;
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	466 ValueNode object = checkCast.object();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	467 boolean isNull = state.isNull(object);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	468 ResolvedJavaType type = state.getNodeType(object);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	469 if (isNull \|\| (type != null && checkCast.type().isAssignableFrom(type))) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	470 boolean nonNull = state.isNonNull(object);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	471 ValueAnchorNode anchor = graph.add(new ValueAnchorNode());
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	472 PiNode piNode;
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	473 if (isNull) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	474 ConstantNode nullObject = ConstantNode.forObject(null, metaAccessProvider, graph);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	475 piNode = graph.unique(new PiNode(nullObject, anchor, StampFactory.forConstant(nullObject.value, metaAccessProvider)));
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	476 } else {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	477 piNode = graph.unique(new PiNode(object, anchor, StampFactory.declared(type, nonNull)));
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	478 }
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	479 checkCast.replaceAtUsages(piNode);
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	480 graph.replaceFixedWithFixed(checkCast, anchor);
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	481 metricCheckCastRemoved.increment();
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	482 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	483 } else if (node instanceof IfNode) {
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	484 IfNode ifNode = (IfNode) node;
6563 b6eec91d81fb renamed input for IfNode from 'compare' to 'condition' Doug Simon <doug.simon@oracle.com> parents: 6526 diff changeset	485 BooleanNode compare = ifNode.condition();
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	486 BooleanNode replacement = evaluateCondition(compare, trueConstant, falseConstant);
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	487
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	488 if (replacement != null) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	489 ifNode.setCondition(replacement);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	490 if (compare.usages().isEmpty()) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	491 GraphUtil.killWithUnusedFloatingInputs(compare);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	492 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	493 }
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	494 } else if (node instanceof EndNode) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	495 EndNode endNode = (EndNode) node;
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	496 for (PhiNode phi : endNode.merge().phis()) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	497 int index = endNode.merge().phiPredecessorIndex(endNode);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	498 ValueNode value = phi.valueAt(index);
7724 ac3579b4adc9 remove MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7706 diff changeset	499 if (value instanceof ConditionalNode) {
ac3579b4adc9 remove MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7706 diff changeset	500 ConditionalNode materialize = (ConditionalNode) value;
7706 9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	501 BooleanNode compare = materialize.condition();
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	502 ValueNode replacement = evaluateCondition(compare, materialize.trueValue(), materialize.falseValue());
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	503
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	504 if (replacement != null) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	505 phi.setValueAt(index, replacement);
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	506 if (materialize.usages().isEmpty()) {
9ea26951d826 fix TypeSystemTest, cleanup of ConditionalEliminationPhase, handle ObjectEqualsNode and MaterializeNode Lukas Stadler <lukas.stadler@jku.at> parents: 7530 diff changeset	507 GraphUtil.killWithUnusedFloatingInputs(materialize);
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5393 diff changeset	508 }
5391 5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	509 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	510 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	511 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	512 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	513 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	514 }
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	515
5097f21f6c2b add a new simple CheckCast elimination phase Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	516 }

Mercurial > hg > graal-compiler

annotate graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/ConditionalEliminationPhase.java @ 7724:ac3579b4adc9