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.dex.code.form;
18579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
19579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.dex.code.DalvInsn;
20579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.dex.code.InsnFormat;
21579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.dex.code.SimpleInsn;
22579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.rop.code.RegisterSpec;
23579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.rop.code.RegisterSpecList;
24579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport com.android.dx.util.AnnotatedOutput;
25579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
26579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonimport java.util.BitSet;
27579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
28579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson/**
29579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * Instruction format {@code 12x}. See the instruction format spec
30579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson * for details.
31579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson */
32579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilsonpublic final class Form12x extends InsnFormat {
33579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    /** {@code non-null;} unique instance of this class */
34579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    public static final InsnFormat THE_ONE = new Form12x();
35579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
36579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    /**
37579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * Constructs an instance. This class is not publicly
38579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     * instantiable. Use {@link #THE_ONE}.
39579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson     */
40579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    private Form12x() {
41579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        // This space intentionally left blank.
42579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    }
43579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
44579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    /** {@inheritDoc} */
45579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    @Override
46579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    public String insnArgString(DalvInsn insn) {
47579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        RegisterSpecList regs = insn.getRegisters();
48579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        int sz = regs.size();
49579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
50579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        /*
51579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson         * The (sz - 2) and (sz - 1) below makes this code work for
52579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson         * both the two- and three-register ops. (See "case 3" in
53579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson         * isCompatible(), below.)
54579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson         */
55579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
56579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        return regs.get(sz - 2).regString() + ", " +
57579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            regs.get(sz - 1).regString();
58579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    }
59579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
60579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    /** {@inheritDoc} */
61579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    @Override
62579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    public String insnCommentString(DalvInsn insn, boolean noteIndices) {
63579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        // This format has no comment.
64579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        return "";
65579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    }
66579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
67579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    /** {@inheritDoc} */
68579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    @Override
69579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    public int codeSize() {
70579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        return 1;
71579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    }
72579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
73579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    /** {@inheritDoc} */
74579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    @Override
75579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    public boolean isCompatible(DalvInsn insn) {
76579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        if (!(insn instanceof SimpleInsn)) {
77579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            return false;
78579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        }
79579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
80579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        RegisterSpecList regs = insn.getRegisters();
81579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        RegisterSpec rs1;
82579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        RegisterSpec rs2;
83579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
84579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        switch (regs.size()) {
85579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            case 2: {
86579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                rs1 = regs.get(0);
87579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                rs2 = regs.get(1);
88579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                break;
89579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            }
90579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            case 3: {
91579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                /*
92579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                 * This format is allowed for ops that are effectively
93579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                 * 3-arg but where the first two args are identical.
94579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                 */
95579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                rs1 = regs.get(1);
96579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                rs2 = regs.get(2);
97579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                if (rs1.getReg() != regs.get(0).getReg()) {
98579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                    return false;
99579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                }
100579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                break;
101579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            }
102579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            default: {
103579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                return false;
104579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            }
105579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        }
106579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
107579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        return unsignedFitsInNibble(rs1.getReg()) &&
108579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson            unsignedFitsInNibble(rs2.getReg());
109579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    }
110579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
111579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    /** {@inheritDoc} */
112579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    @Override
113579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    public BitSet compatibleRegs(DalvInsn insn) {
114579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        RegisterSpecList regs = insn.getRegisters();
115579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        BitSet bits = new BitSet(2);
116579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
117579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        bits.set(0, unsignedFitsInNibble(regs.get(0).getReg()));
118579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        bits.set(1, unsignedFitsInNibble(regs.get(1).getReg()));
119579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        return bits;
120579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    }
121579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
122579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    /** {@inheritDoc} */
123579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    @Override
124579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    public void writeTo(AnnotatedOutput out, DalvInsn insn) {
125579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        RegisterSpecList regs = insn.getRegisters();
126579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        int sz = regs.size();
127579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
128579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        /*
129579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson         * The (sz - 2) and (sz - 1) below makes this code work for
130579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson         * both the two- and three-register ops. (See "case 3" in
131579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson         * isCompatible(), above.)
132579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson         */
133579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson
134579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson        write(out, opcodeUnit(insn,
135579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                              makeByte(regs.get(sz - 2).getReg(),
136579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson                                       regs.get(sz - 1).getReg())));
137579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson    }
138579d7739c53a2707ad711a2d2cae46d7d782f06Jesse Wilson}
139