1579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson/* 2579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Copyright (C) 2008 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; 18579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 19579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.rop.code.RegisterSpec; 20579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.rop.code.RegOps; 21579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.rop.code.CstInsn; 22579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.rop.code.LocalItem; 23579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.rop.cst.CstInteger; 24579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 25579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport java.util.HashSet; 26579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport java.util.ArrayList; 27579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport java.util.List; 28579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 29579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson/** 30579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Combine identical move-param insns, which may result from Ropper's 31579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * handling of synchronized methods. 32579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 33579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonpublic class MoveParamCombiner { 34579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 35579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** method to process */ 36579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson private final SsaMethod ssaMeth; 37579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 38579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** 39579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Processes a method with this optimization step. 40579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * 41579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * @param ssaMethod method to process 42579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 43579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public static void process(SsaMethod ssaMethod) { 44579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson new MoveParamCombiner(ssaMethod).run(); 45579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 46579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 47579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson private MoveParamCombiner(SsaMethod ssaMeth) { 48579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson this.ssaMeth = ssaMeth; 49579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 50579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 51579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** 52579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Runs this optimization step. 53579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 54579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson private void run() { 55579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson // This will contain the definition specs for each parameter 56579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson final RegisterSpec[] paramSpecs 57579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson = new RegisterSpec[ssaMeth.getParamWidth()]; 58579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 59579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson // Insns to delete when all done 60579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson final HashSet<SsaInsn> deletedInsns = new HashSet(); 61579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 62579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson ssaMeth.forEachInsn(new SsaInsn.Visitor() { 63579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public void visitMoveInsn (NormalSsaInsn insn) { 64579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 65579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public void visitPhiInsn (PhiInsn phi) { 66579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 67579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public void visitNonMoveInsn (NormalSsaInsn insn) { 68579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson if (insn.getOpcode().getOpcode() != RegOps.MOVE_PARAM) { 69579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return; 70579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 71579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 72579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson int param = getParamIndex(insn); 73579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 74579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson if (paramSpecs[param] == null) { 75579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson paramSpecs[param] = insn.getResult(); 76579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } else { 77579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson final RegisterSpec specA = paramSpecs[param]; 78579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson final RegisterSpec specB = insn.getResult(); 79579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson LocalItem localA = specA.getLocalItem(); 80579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson LocalItem localB = specB.getLocalItem(); 81579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson LocalItem newLocal; 82579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 83579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /* 84579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Is there local information to preserve? 85579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 86579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 87579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson if (localA == null) { 88579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson newLocal = localB; 89579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } else if (localB == null) { 90579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson newLocal = localA; 91579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } else if (localA.equals(localB)) { 92579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson newLocal = localA; 93579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } else { 94579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /* 95579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Oddly, these two identical move-params have distinct 96579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * debug info. We'll just keep them distinct. 97579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 98579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return; 99579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 100579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 101579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson ssaMeth.getDefinitionForRegister(specA.getReg()) 102579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson .setResultLocal(newLocal); 103579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 104579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /* 105579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Map all uses of specB to specA 106579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 107579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 108579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson RegisterMapper mapper = new RegisterMapper() { 109579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** @inheritDoc */ 110579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public int getNewRegisterCount() { 111579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return ssaMeth.getRegCount(); 112579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 113579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 114579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** @inheritDoc */ 115579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public RegisterSpec map(RegisterSpec registerSpec) { 116579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson if (registerSpec.getReg() == specB.getReg()) { 117579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return specA; 118579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 119579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 120579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return registerSpec; 121579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 122579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson }; 123579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 124579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson List<SsaInsn> uses 125579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson = ssaMeth.getUseListForRegister(specB.getReg()); 126579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 127579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson // Use list is modified by mapSourceRegisters 128579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson for (int i = uses.size() - 1; i >= 0; i--) { 129579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson SsaInsn use = uses.get(i); 130579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson use.mapSourceRegisters(mapper); 131579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 132579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 133579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson deletedInsns.add(insn); 134579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 135579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 136579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 137579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson }); 138579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 139579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson ssaMeth.deleteInsns(deletedInsns); 140579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 141579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 142579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** 143579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Returns the parameter index associated with a move-param insn. Does 144579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * not verify that the insn is a move-param insn. 145579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * 146579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * @param insn {@code non-null;} a move-param insn 147579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * @return {@code >=0;} parameter index 148579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 149579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson private int getParamIndex(NormalSsaInsn insn) { 150579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson CstInsn cstInsn = (CstInsn)(insn.getOriginalRopInsn()); 151579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 152579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson int param = ((CstInteger)cstInsn.getConstant()).getValue(); 153579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return param; 154579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 155579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 156579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson} 157