1579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson/*
2579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Copyright (C) 2007 The Android Open Source Project
3579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson *
4579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Licensed under the Apache License, Version 2.0 (the "License");
5579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * you may not use this file except in compliance with the License.
6579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * You may obtain a copy of the License at
7579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson *
8579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson *      http://www.apache.org/licenses/LICENSE-2.0
9579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson *
10579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Unless required by applicable law or agreed to in writing, software
11579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * distributed under the License is distributed on an "AS IS" BASIS,
12579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * See the License for the specific language governing permissions and
14579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * limitations under the License.
15579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */
16579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
17579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonpackage com.android.dx.ssa.back;
18579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
19579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.ssa.SsaMethod;
20579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.ssa.SsaBasicBlock;
21579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.ssa.SsaInsn;
22579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.ssa.PhiInsn;
23579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.ssa.SetFactory;
24579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.rop.code.RegisterSpec;
25579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.util.IntSet;
26579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.util.BitIntSet;
27579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.util.ListIntSet;
28579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
29579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport java.util.BitSet;
30579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport java.util.List;
31579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport java.util.ArrayList;
32579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
33579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson/**
34579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * A register interference graph
35579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */
36579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonpublic class InterferenceGraph {
37579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    /**
38579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * {@code non-null;} interference graph, indexed by register in
39579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * both dimensions
40579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     */
41579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    private final ArrayList<IntSet> interference;
42579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
43579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    /**
44579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * Creates a new graph.
45579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     *
46579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * @param countRegs {@code >= 0;} the start count of registers in
47579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * the namespace. New registers can be added subsequently.
48579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     */
49579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    public InterferenceGraph(int countRegs) {
50579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        interference = new ArrayList<IntSet>(countRegs);
51579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
52579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        for (int i = 0; i < countRegs; i++) {
53579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            interference.add(SetFactory.makeInterferenceSet(countRegs));
54579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        }
55579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    }
56579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
57579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    /**
58579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * Adds a register pair to the interference/liveness graph. Parameter
59579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * order is insignificant.
60579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     *
61579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * @param regV one register index
62579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * @param regW another register index
63579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     */
64579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    public void add(int regV, int regW) {
65579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        ensureCapacity(Math.max(regV, regW) + 1);
66579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
67579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        interference.get(regV).add(regW);
68579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        interference.get(regW).add(regV);
69579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    }
70579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
71579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    /**
72579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * Dumps interference graph to stdout for debugging.
73579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     */
74579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    public void dumpToStdout() {
75579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        int oldRegCount = interference.size();
76579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
77579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        for (int i = 0; i < oldRegCount; i++) {
78579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            StringBuilder sb = new StringBuilder();
79579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
80579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            sb.append("Reg " + i + ":" + interference.get(i).toString());
81579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
82579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            System.out.println(sb.toString());
83579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        }
84579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    }
85579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
86579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    /**
87579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * Merges the interference set for a register into a given bit set
88579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     *
89579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * @param reg {@code >= 0;} register
90579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * @param set {@code non-null;} interference set; will be merged
91579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * with set for given register
92579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     */
93579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    public void mergeInterferenceSet(int reg, IntSet set) {
94579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        if (reg < interference.size()) {
95579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            set.merge(interference.get(reg));
96579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        }
97579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    }
98579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
99579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    /**
100579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * Ensures that the interference graph is appropriately sized.
101579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     *
102579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * @param size requested minumum size
103579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     */
104579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    private void ensureCapacity(int size) {
105579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        int countRegs = interference.size();
106579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
107579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        interference.ensureCapacity(size);
108579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
109579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        for (int i = countRegs; i < size; i++) {
110579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            interference.add(SetFactory.makeInterferenceSet(size));
111579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        }
112579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    }
113579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson}
114