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.rop.code; 18579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 19579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.rop.cst.CstInteger; 20579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.rop.type.Type; 21579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 22579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson/** 23579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Implementation of {@link TranslationAdvice} which represents what 24579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * the dex format will be able to represent. 25579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 26579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonpublic final class DexTranslationAdvice 27579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson implements TranslationAdvice { 28579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** {@code non-null;} standard instance of this class */ 29579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public static final DexTranslationAdvice THE_ONE = 30579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson new DexTranslationAdvice(); 31579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 32579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** debug advice for disabling invoke-range optimization */ 33579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public static final DexTranslationAdvice NO_SOURCES_IN_ORDER = 34579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson new DexTranslationAdvice(true); 35579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 36579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** 37579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * The minimum source width, in register units, for an invoke 38579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * instruction that requires its sources to be in order and contiguous. 39579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 40579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson private static final int MIN_INVOKE_IN_ORDER = 6; 41579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 42579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** when true: always returns false for requiresSourcesInOrder */ 43579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson private final boolean disableSourcesInOrder; 44579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 45579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** 46579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * This class is not publicly instantiable. Use {@link #THE_ONE}. 47579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 48579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson private DexTranslationAdvice() { 49579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson disableSourcesInOrder = false; 50579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 51579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 52579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson private DexTranslationAdvice(boolean disableInvokeRange) { 53579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson this.disableSourcesInOrder = disableInvokeRange; 54579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 55579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 56579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** {@inheritDoc} */ 57579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public boolean hasConstantOperation(Rop opcode, 58579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson RegisterSpec sourceA, RegisterSpec sourceB) { 59579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson if (sourceA.getType() != Type.INT) { 60579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return false; 61579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 62579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 63579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson // Return false if second source isn't a constant 64579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson if (! (sourceB.getTypeBearer() instanceof CstInteger)) { 65579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson // Except for rsub-int (reverse sub) where first source is constant 66579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson if (sourceA.getTypeBearer() instanceof CstInteger && 67579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson opcode.getOpcode() == RegOps.SUB) { 68579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson CstInteger cst = (CstInteger) sourceA.getTypeBearer(); 69579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return cst.fitsIn16Bits(); 70579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } else { 71579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return false; 72579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 73579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 74579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 75579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson CstInteger cst = (CstInteger) sourceB.getTypeBearer(); 76579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 77579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson switch (opcode.getOpcode()) { 78579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson // These have 8 and 16 bit cst representations 79579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson case RegOps.REM: 80579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson case RegOps.ADD: 81579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson case RegOps.MUL: 82579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson case RegOps.DIV: 83579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson case RegOps.AND: 84579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson case RegOps.OR: 85579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson case RegOps.XOR: 86579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return cst.fitsIn16Bits(); 87579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson // These only have 8 bit cst reps 88579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson case RegOps.SHL: 89579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson case RegOps.SHR: 90579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson case RegOps.USHR: 91579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return cst.fitsIn8Bits(); 92579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson // No sub-const insn, so check if equivalent add-const fits 93579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson case RegOps.SUB: 94579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson CstInteger cst2 = CstInteger.make(-cst.getValue()); 95579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return cst2.fitsIn16Bits(); 96579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson default: 97579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return false; 98579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 99579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 100579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 101579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** {@inheritDoc} */ 102579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public boolean requiresSourcesInOrder(Rop opcode, 103579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson RegisterSpecList sources) { 104579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 105579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return !disableSourcesInOrder && opcode.isCallLike() 106579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson && totalRopWidth(sources) >= MIN_INVOKE_IN_ORDER; 107579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 108579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 109579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** 110579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Calculates the total rop width of the list of SSA registers 111579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * 112579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * @param sources {@code non-null;} list of SSA registers 113579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * @return {@code >= 0;} rop-form width in register units 114579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */ 115579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson private int totalRopWidth(RegisterSpecList sources) { 116579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson int sz = sources.size(); 117579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson int total = 0; 118579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 119579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson for (int i = 0; i < sz; i++) { 120579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson total += sources.get(i).getCategory(); 121579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 122579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 123579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return total; 124579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 125579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson 126579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson /** {@inheritDoc} */ 127579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson public int getMaxOptimalRegisterCount() { 128579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson return 16; 129579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson } 130579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson} 131