1917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul/* 2917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Copyright (C) 2007 The Android Open Source Project 3917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * 4917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Licensed under the Apache License, Version 2.0 (the "License"); 5917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * you may not use this file except in compliance with the License. 6917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * You may obtain a copy of the License at 7917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * 8917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * http://www.apache.org/licenses/LICENSE-2.0 9917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * 10917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Unless required by applicable law or agreed to in writing, software 11917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * distributed under the License is distributed on an "AS IS" BASIS, 12917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * See the License for the specific language governing permissions and 14917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * limitations under the License. 15917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul */ 16917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 17917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgulpackage com.android.dexgen.rop.code; 18917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 19917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgulimport com.android.dexgen.rop.cst.Constant; 20917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgulimport com.android.dexgen.rop.type.StdTypeList; 21917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgulimport com.android.dexgen.rop.type.Type; 22917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgulimport com.android.dexgen.rop.type.TypeBearer; 23917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgulimport com.android.dexgen.rop.type.TypeList; 24917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 25917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul/** 26917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Plain instruction, which has no embedded data and which cannot possibly 27917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * throw an exception. 28917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul */ 29917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgulpublic final class PlainInsn 30917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul extends Insn { 31917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** 32917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Constructs an instance. 33917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * 34917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * @param opcode {@code non-null;} the opcode 35917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * @param position {@code non-null;} source position 36917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * @param result {@code null-ok;} spec for the result, if any 37917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * @param sources {@code non-null;} specs for all the sources 38917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul */ 39917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public PlainInsn(Rop opcode, SourcePosition position, 40917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul RegisterSpec result, RegisterSpecList sources) { 41917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul super(opcode, position, result, sources); 42917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 43917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul switch (opcode.getBranchingness()) { 44917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul case Rop.BRANCH_SWITCH: 45917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul case Rop.BRANCH_THROW: { 46917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul throw new IllegalArgumentException("bogus branchingness"); 47917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 48917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 49917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 50917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul if (result != null && opcode.getBranchingness() != Rop.BRANCH_NONE) { 51917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul // move-result-pseudo is required here 52917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul throw new IllegalArgumentException 53917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul ("can't mix branchingness with result"); 54917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 55917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 56917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 57917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** 58917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * Constructs a single-source instance. 59917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * 60917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * @param opcode {@code non-null;} the opcode 61917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * @param position {@code non-null;} source position 62917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * @param result {@code null-ok;} spec for the result, if any 63917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul * @param source {@code non-null;} spec for the source 64917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul */ 65917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public PlainInsn(Rop opcode, SourcePosition position, RegisterSpec result, 66917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul RegisterSpec source) { 67917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul this(opcode, position, result, RegisterSpecList.make(source)); 68917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 69917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 70917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** {@inheritDoc} */ 71917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul @Override 72917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public TypeList getCatches() { 73917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul return StdTypeList.EMPTY; 74917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 75917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 76917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** {@inheritDoc} */ 77917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul @Override 78917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public void accept(Visitor visitor) { 79917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul visitor.visitPlainInsn(this); 80917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 81917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 82917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** {@inheritDoc} */ 83917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul @Override 84917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public Insn withAddedCatch(Type type) { 85917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul throw new UnsupportedOperationException("unsupported"); 86917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 87917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 88917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** {@inheritDoc} */ 89917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul @Override 90917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public Insn withRegisterOffset(int delta) { 91917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul return new PlainInsn(getOpcode(), getPosition(), 92917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul getResult().withOffset(delta), 93917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul getSources().withOffset(delta)); 94917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 95917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 96917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** {@inheritDoc} */ 97917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul @Override 98917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public Insn withLastSourceLiteral() { 99917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul RegisterSpecList sources = getSources(); 100917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul int szSources = sources.size(); 101917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 102917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul if (szSources == 0) { 103917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul return this; 104917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 105917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 106917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul TypeBearer lastType = sources.get(szSources - 1).getTypeBearer(); 107917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 108917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul if (!lastType.isConstant()) { 109917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul return this; 110917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 111917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 112917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul Constant cst = (Constant) lastType; 113917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 114917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul RegisterSpecList newSources = sources.withoutLast(); 115917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 116917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul Rop newRop; 117917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul try { 118917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul newRop = Rops.ropFor(getOpcode().getOpcode(), 119917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul getResult(), newSources, (Constant)lastType); 120917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } catch (IllegalArgumentException ex) { 121917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul // There's no rop for this case 122917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul return this; 123917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 124917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 125917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul return new PlainCstInsn(newRop, getPosition(), 126917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul getResult(), newSources, cst); 127917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 128917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 129917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 130917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul /** {@inheritDoc} */ 131917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul @Override 132917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul public Insn withNewRegisters(RegisterSpec result, 133917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul RegisterSpecList sources) { 134917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 135917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul return new PlainInsn(getOpcode(), getPosition(), 136917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul result, 137917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul sources); 138917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul 139917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul } 140917cb222329ee8c035c3ffaf947e4265761b9367Piotr Gurgul} 141