MethodAnalyzer.java revision 55d43e36eb862bf86ceaf9c664789ce2c4d92af8
1d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.compackage org.jf.dexlib.Code.Analysis;
2d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
3fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.comimport org.jf.dexlib.*;
4fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.comimport org.jf.dexlib.Code.*;
5472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.comimport org.jf.dexlib.Code.Format.ArrayDataPseudoInstruction;
6472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.comimport org.jf.dexlib.Code.Format.Format;
7fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.comimport org.jf.dexlib.Util.*;
8d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
9fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.comimport java.util.*;
10d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
11d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.compublic class MethodAnalyzer {
12d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    private final ClassDataItem.EncodedMethod encodedMethod;
13d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
14fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private SparseArray<AnalyzedInstruction> instructions;
15fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
16fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean analyzed = false;
17d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
18d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    //This is a dummy instruction that occurs immediately before the first real instruction. We can initialize the
19d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    //register types for this instruction to the parameter types, in order to have them propagate to all of its
20d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    //successors, e.g. the first real instruction, the first instructions in any exception handlers covering the first
21d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    //instruction, etc.
22d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    private AnalyzedInstruction startOfMethod;
23d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
24d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    public MethodAnalyzer(ClassDataItem.EncodedMethod encodedMethod) {
25d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        if (encodedMethod == null) {
26d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            throw new IllegalArgumentException("encodedMethod cannot be null");
27d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        }
28fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (encodedMethod.codeItem == null || encodedMethod.codeItem.getInstructions().length == 0) {
29d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            throw new IllegalArgumentException("The method has no code");
30d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        }
31d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        this.encodedMethod = encodedMethod;
32d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        buildInstructionList();
33fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
34fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //override AnalyzedInstruction and provide custom implementations of some of the methods, so that we don't
35fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //have to handle the case this special case of instruction being null, in the main class
36fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        startOfMethod = new AnalyzedInstruction(null, -1, encodedMethod.codeItem.getRegisterCount()) {
37fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            public boolean setsRegister() {
38fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return false;
39fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
40fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
41fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            @Override
42fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            public boolean setsWideRegister() {
43fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return false;
44fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
45fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
46fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            @Override
47fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            public boolean setsRegister(int registerNumber) {
48fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return false;
49fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
50fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
51fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            @Override
52fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            public int getDestinationRegister() {
53fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                assert false;
54fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return -1;
55fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            };
56fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        };
57d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    }
58d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
59d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    public AnalyzedInstruction[] analyze() {
60fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert encodedMethod != null;
61fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert encodedMethod.codeItem != null;
62fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
63fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (analyzed) {
64fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            return makeInstructionArray();
65fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
66fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
67fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        CodeItem codeItem = encodedMethod.codeItem;
68fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        MethodIdItem methodIdItem = encodedMethod.method;
69fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
70fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        int totalRegisters = codeItem.getRegisterCount();
71fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        int parameterRegisters = methodIdItem.getPrototype().getParameterRegisterCount();
72fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
73fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //if this isn't a static method, determine which register is the "this" register and set the type to the
74fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //current class
75fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if ((encodedMethod.accessFlags & AccessFlags.STATIC.getValue()) == 0) {
76fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            int thisRegister = totalRegisters - parameterRegisters - 1;
77fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
78fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //if this is a constructor, then set the "this" register to an uninitialized reference of the current class
79fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            if ((encodedMethod.accessFlags & AccessFlags.CONSTRUCTOR.getValue()) != 0) {
80fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                //TODO: it would probably make more sense to validate this somewhere else, and just put an assert here. Also, need to do a similar check for static constructor
81fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                if (!encodedMethod.method.getMethodName().equals("<init>")) {
82fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    throw new ValidationException("The constructor flag can only be used with an <init> method.");
83fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                }
84fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
85fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                setRegisterTypeAndPropagateChanges(startOfMethod, thisRegister,
86fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                        RegisterType.getRegisterType(RegisterType.Category.UninitRef,
87fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                            ClassPath.getClassDef(methodIdItem.getContainingClass())));
88fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            } else {
89fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                if (encodedMethod.method.getMethodName().equals("<init>")) {
90fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    throw new ValidationException("An <init> method must have the \"constructor\" access flag");
91fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                }
92fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
93fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                setRegisterTypeAndPropagateChanges(startOfMethod, thisRegister,
94fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                        RegisterType.getRegisterType(RegisterType.Category.Reference,
95fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                            ClassPath.getClassDef(methodIdItem.getContainingClass())));
96fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
97fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
98fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
99fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        TypeListItem parameters = methodIdItem.getPrototype().getParameters();
100fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (parameters != null) {
101fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType[] parameterTypes = getParameterTypes(parameters, parameterRegisters);
102fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            for (int i=0; i<parameterTypes.length; i++) {
103fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                RegisterType registerType = parameterTypes[i];
104fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                int registerNum = (totalRegisters - parameterRegisters) + i;
105fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                setRegisterTypeAndPropagateChanges(startOfMethod, registerNum, registerType);
106fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
107fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
108fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
109fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        analyzed = true;
110fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return makeInstructionArray();
111fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
112fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
113fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private int getThisRegister() {
114fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert (encodedMethod.accessFlags & AccessFlags.STATIC.getValue()) == 0;
115fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
116fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        CodeItem codeItem = encodedMethod.codeItem;
117fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert codeItem != null;
118fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
119fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        MethodIdItem methodIdItem = encodedMethod.method;
120fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert methodIdItem != null;
121fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
122fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        int totalRegisters = codeItem.getRegisterCount();
123fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (totalRegisters == 0) {
124fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("A non-static method must have at least 1 register");
125fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
126fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
127fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        int parameterRegisters = methodIdItem.getPrototype().getParameterRegisterCount();
128fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
129fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return totalRegisters - parameterRegisters - 1;
130fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
131fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
132fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean isInstanceConstructor() {
133fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return (encodedMethod.accessFlags & AccessFlags.STATIC.getValue()) == 0 &&
134fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com               (encodedMethod.accessFlags & AccessFlags.CONSTRUCTOR.getValue()) != 0;
135fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
136fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
137fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean isStaticConstructor() {
138fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return (encodedMethod.accessFlags & AccessFlags.STATIC.getValue()) != 0 &&
139fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com               (encodedMethod.accessFlags & AccessFlags.CONSTRUCTOR.getValue()) != 0;
140fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
141fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
142fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    public AnalyzedInstruction[] makeInstructionArray() {
143fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        AnalyzedInstruction[] instructionArray = new AnalyzedInstruction[instructions.size()];
144fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        for (int i=0; i<instructions.size(); i++) {
145fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            instructionArray[i] = instructions.valueAt(i);
146fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
147fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return instructionArray;
148fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
149fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
150fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private static RegisterType[] getParameterTypes(TypeListItem typeListItem, int parameterRegisterCount) {
151fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert typeListItem != null;
152fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert parameterRegisterCount == typeListItem.getRegisterCount();
153fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
154fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType[] registerTypes = new RegisterType[parameterRegisterCount];
155fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
156fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        int registerNum = 0;
157fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        for (TypeIdItem type: typeListItem.getTypes()) {
158fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            if (type.getRegisterCount() == 2) {
159fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                registerTypes[registerNum++] = RegisterType.getWideRegisterTypeForTypeIdItem(type, true);
160fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                registerTypes[registerNum++] = RegisterType.getWideRegisterTypeForTypeIdItem(type, false);
161fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            } else {
162fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                registerTypes[registerNum] = RegisterType.getRegisterTypeForTypeIdItem(type);
163fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
164fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
165fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
166fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return registerTypes;
167fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
168fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
169fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private int getInstructionAddress(AnalyzedInstruction instruction) {
170fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return instructions.keyAt(instruction.instructionIndex);
171fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
172fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
173fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private void setWideDestinationRegisterTypeAndPropagateChanges(AnalyzedInstruction analyzedInstruction,
174fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                                                                   RegisterType registerType) {
175fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert registerType.category == RegisterType.Category.LongLo ||
176fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com               registerType.category == RegisterType.Category.DoubleLo;
177fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
178fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        checkWideDestinationPair(analyzedInstruction);
179fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
180fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        setRegisterTypeAndPropagateChanges(analyzedInstruction, analyzedInstruction.getDestinationRegister(),
181fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                registerType);
182fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.LongLo) {
183fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            setRegisterTypeAndPropagateChanges(analyzedInstruction, analyzedInstruction.getDestinationRegister() + 1,
184fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                RegisterType.getRegisterType(RegisterType.Category.LongHi, null));
185fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        } else {
186fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            setRegisterTypeAndPropagateChanges(analyzedInstruction, analyzedInstruction.getDestinationRegister() + 1,
187fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                RegisterType.getRegisterType(RegisterType.Category.DoubleHi, null));
188fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
189fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
190fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
191fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private void setDestinationRegisterTypeAndPropagateChanges(AnalyzedInstruction analyzedInstruction,
192fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                                                               RegisterType registerType) {
193fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        setRegisterTypeAndPropagateChanges(analyzedInstruction, analyzedInstruction.getDestinationRegister(),
194fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                registerType);
195fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
196fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
197fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private void setRegisterTypeAndPropagateChanges(AnalyzedInstruction instruction, int registerNumber,
198fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                                                RegisterType registerType) {
199fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
200fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        BitSet changedInstructions = new BitSet(instructions.size());
201fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
202fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        boolean changed = instruction.setPostRegisterType(registerNumber, registerType);
203fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
204fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (!changed || instruction.setsRegister(registerNumber)) {
205fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            return;
206fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
207fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
208fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        propagateRegisterToSuccessors(instruction, registerNumber, changedInstructions);
209fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
210fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //using a for loop inside the while loop optimizes for the common case of the successors of an instruction
211fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //occurring after the instruction. Any successors that occur prior to the instruction will be picked up on
212fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //the next iteration of the while loop.
213fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //this could also be done recursively, but in large methods it would likely cause very deep recursion,
214fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //which would requires the user to specify a larger stack size. This isn't really a problem, but it is
215fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //slightly annoying.
216fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        while (!changedInstructions.isEmpty()) {
217fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            for (int instructionIndex=changedInstructions.nextSetBit(0);
218fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                     instructionIndex>=0;
219fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                     instructionIndex=changedInstructions.nextSetBit(instructionIndex)) {
220fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
221fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                changedInstructions.clear(instructionIndex);
222fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
223fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                propagateRegisterToSuccessors(instructions.valueAt(instructionIndex), registerNumber,
224fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                        changedInstructions);
225fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
226fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
227d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    }
228d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
229fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private void propagateRegisterToSuccessors(AnalyzedInstruction instruction, int registerNumber,
230fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                                               BitSet changedInstructions) {
231fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        for (AnalyzedInstruction successor: instruction.successors) {
232fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            if (!successor.setsRegister(registerNumber)) {
233fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                RegisterType registerType = successor.getMergedRegisterTypeFromPredecessors(registerNumber);
234fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
235fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                if (successor.setPostRegisterType(registerNumber, registerType)) {
236fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    changedInstructions.set(successor.instructionIndex);
237fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                }
238fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
239fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
240fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
241fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
242fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
243fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
244d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    private void buildInstructionList() {
245d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        assert encodedMethod != null;
246d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        assert encodedMethod.codeItem != null;
247fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        int registerCount = encodedMethod.codeItem.getRegisterCount();
248d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
249fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        startOfMethod = new AnalyzedInstruction(null, -1, registerCount);
250d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
251d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        Instruction[] insns = encodedMethod.codeItem.getInstructions();
252d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
253fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        instructions = new SparseArray<AnalyzedInstruction>(insns.length);
254d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
255d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        //first, create all the instructions and populate the instructionAddresses array
256d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        int currentCodeAddress = 0;
257d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        for (int i=0; i<insns.length; i++) {
258fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            instructions.append(currentCodeAddress, new AnalyzedInstruction(insns[i], i, registerCount));
259fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            assert instructions.indexOfKey(currentCodeAddress) == i;
260d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            currentCodeAddress += insns[i].getSize(currentCodeAddress);
261d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        }
262d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
263d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        //next, populate the exceptionHandlers array. The array item for each instruction that can throw an exception
264d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        //and is covered by a try block should be set to a list of the first instructions of each exception handler
265d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        //for the try block covering the instruction
266d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        CodeItem.TryItem[] tries = encodedMethod.codeItem.getTries();
267d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        int triesIndex = 0;
268d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        CodeItem.TryItem currentTry = null;
269fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        AnalyzedInstruction[] currentExceptionHandlers = null;
270fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        AnalyzedInstruction[][] exceptionHandlers = new AnalyzedInstruction[insns.length][];
271d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
272fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        for (int i=0; i<instructions.size(); i++) {
273fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            AnalyzedInstruction instruction = instructions.valueAt(i);
274d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            Opcode instructionOpcode = instruction.instruction.opcode;
275d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
276d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            //check if we have gone past the end of the current try
277d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            if (currentTry != null) {
278d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                if (currentTry.getStartCodeAddress() + currentTry.getTryLength() <= currentCodeAddress) {
279d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                    currentTry = null;
280d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                    triesIndex++;
281d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                }
282d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            }
283d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
284d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            //check if the next try is applicable yet
285d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            if (currentTry == null && triesIndex < tries.length) {
286d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                CodeItem.TryItem tryItem = tries[triesIndex];
287d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                if (tryItem.getStartCodeAddress() <= currentCodeAddress) {
288d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                    assert(tryItem.getStartCodeAddress() + tryItem.getTryLength() > currentCodeAddress);
289d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
290d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                    currentTry = tryItem;
291d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
292d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                    currentExceptionHandlers = buildExceptionHandlerArray(tryItem);
293d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                }
294d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            }
295d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
296d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            //if we're inside a try block, and the instruction can throw an exception, then add the exception handlers
297d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            //for the current instruction
298d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            if (currentTry != null && instructionOpcode.canThrow()) {
299d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                exceptionHandlers[i] = currentExceptionHandlers;
300d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            }
301d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        }
302d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
303d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        //finally, populate the successors and predecessors for each instruction
304fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert instructions.size() > 0;
305fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        addPredecessorSuccessor(startOfMethod, instructions.valueAt(0), exceptionHandlers);
306fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        startOfMethod.addSuccessor(instructions.valueAt(0));
307fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
308fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        for (int i=0; i<instructions.size(); i++) {
309fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            AnalyzedInstruction instruction = instructions.valueAt(i);
310d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            Opcode instructionOpcode = instruction.instruction.opcode;
311fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            int instructionCodeAddress = getInstructionAddress(instruction);
312d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
313d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            if (instruction.instruction.opcode.canContinue()) {
314fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                if (i == instructions.size() - 1) {
315d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                    throw new ValidationException("Execution can continue past the last instruction");
316d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                }
317fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                AnalyzedInstruction nextInstruction = instructions.valueAt(i+1);
318fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                addPredecessorSuccessor(instruction, nextInstruction, exceptionHandlers);
319d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            }
320d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
321d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            if (instruction instanceof OffsetInstruction) {
322d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                OffsetInstruction offsetInstruction = (OffsetInstruction)instruction;
323d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
324d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                if (instructionOpcode == Opcode.PACKED_SWITCH || instructionOpcode == Opcode.SPARSE_SWITCH) {
325d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                    MultiOffsetInstruction switchDataInstruction =
326fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                            (MultiOffsetInstruction)instructions.get(instructionCodeAddress +
327d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                                    offsetInstruction.getTargetAddressOffset()).instruction;
328d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                    for (int targetAddressOffset: switchDataInstruction.getTargets()) {
329fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                        AnalyzedInstruction targetInstruction = instructions.get(instructionCodeAddress +
330d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                                targetAddressOffset);
331d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
332fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                        addPredecessorSuccessor(instruction, targetInstruction, exceptionHandlers);
333d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                    }
334d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                } else {
335d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                    int targetAddressOffset = offsetInstruction.getTargetAddressOffset();
336fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    AnalyzedInstruction targetInstruction = instructions.get(instructionCodeAddress +
337fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                            targetAddressOffset);
338fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    addPredecessorSuccessor(instruction, targetInstruction, exceptionHandlers);
339d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com                }
340d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            }
341d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        }
342d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    }
343d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
344d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    private void addPredecessorSuccessor(AnalyzedInstruction predecessor, AnalyzedInstruction successor,
345fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                                                AnalyzedInstruction[][] exceptionHandlers) {
346fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        addPredecessorSuccessor(predecessor, successor, exceptionHandlers, false);
347fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
348fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
349fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private void addPredecessorSuccessor(AnalyzedInstruction predecessor, AnalyzedInstruction successor,
350fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                                                AnalyzedInstruction[][] exceptionHandlers, boolean allowMoveException) {
351fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
352fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (!allowMoveException && successor.instruction.opcode == Opcode.MOVE_EXCEPTION) {
353fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("Execution can pass from the " + predecessor.instruction.opcode.name +
354fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    " instruction at code address 0x" + Integer.toHexString(getInstructionAddress(predecessor)) +
355fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    " to the move-exception instruction at address 0x" +
356fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    Integer.toHexString(getInstructionAddress(successor)));
357fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
358d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
359d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        if (!predecessor.addSuccessor(successor)) {
360d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            //if predecessor already had successor as a successor, then there's nothing else to do
361d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            return;
362d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        }
363d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
364d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        successor.addPredecessor(predecessor);
365d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
366fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //TODO: need to handle the case of monitor-exit as a special case - the exception is thrown *after* the instruction executes
367d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        //if the successor can throw an instruction, then we need to add the exception handlers as additional
368d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        //successors to the predecessor (and then apply this same logic recursively if needed)
369fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        AnalyzedInstruction[] exceptionHandlersForSuccessor = exceptionHandlers[successor.instructionIndex];
370d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        if (exceptionHandlersForSuccessor != null) {
371d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            //the item for this instruction in exceptionHandlersForSuccessor should only be set if this instruction
372d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            //can throw an exception
373d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            assert predecessor.instruction.opcode.canThrow();
374d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
375fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            for (AnalyzedInstruction exceptionHandler: exceptionHandlersForSuccessor) {
376fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                addPredecessorSuccessor(predecessor, exceptionHandler, exceptionHandlers, true);
377d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            }
378d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        }
379d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    }
380d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
381fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private AnalyzedInstruction[] buildExceptionHandlerArray(CodeItem.TryItem tryItem) {
382d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        int exceptionHandlerCount = tryItem.encodedCatchHandler.handlers.length;
383d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        int catchAllHandler = tryItem.encodedCatchHandler.getCatchAllHandlerAddress();
384d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        if (catchAllHandler != -1) {
385d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            exceptionHandlerCount++;
386d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        }
387d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
388fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        AnalyzedInstruction[] exceptionHandlers = new AnalyzedInstruction[exceptionHandlerCount];
389d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        for (int i=0; i<tryItem.encodedCatchHandler.handlers.length; i++) {
390fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            exceptionHandlers[i] = instructions.get(tryItem.encodedCatchHandler.handlers[i].getHandlerAddress());
391d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        }
392d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
393d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        if (catchAllHandler != -1) {
394fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            exceptionHandlers[exceptionHandlers.length - 1] = instructions.get(catchAllHandler);
395d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        }
396d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
397d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        return exceptionHandlers;
398d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    }
399d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
400fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean setDestinationRegisterTypeForInstruction(AnalyzedInstruction analyzedInstruction) {
401fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        Instruction instruction = analyzedInstruction.instruction;
402fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
403fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        switch (instruction.opcode) {
404fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case NOP:
405fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return true;
406fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MOVE:
407fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MOVE_FROM16:
408fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MOVE_16:
409fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleMove(analyzedInstruction, Primitive32BitCategories);
410fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MOVE_WIDE:
411fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MOVE_WIDE_FROM16:
412fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MOVE_WIDE_16:
413fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleMoveWide(analyzedInstruction);
414fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MOVE_OBJECT:
415fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MOVE_OBJECT_FROM16:
416fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MOVE_OBJECT_16:
417fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleMove(analyzedInstruction, ReferenceCategories);
418fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MOVE_RESULT:
419fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleMoveResult(analyzedInstruction, Primitive32BitCategories);
420fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MOVE_RESULT_WIDE:
421fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleMoveResult(analyzedInstruction, WideLowCategories);
422fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MOVE_RESULT_OBJECT:
423fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleMoveResult(analyzedInstruction, ReferenceCategories);
424fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MOVE_EXCEPTION:
425fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleMoveException(analyzedInstruction);
426fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case RETURN_VOID:
427fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleReturnVoid(analyzedInstruction);
428fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case RETURN:
429fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleReturn(analyzedInstruction);
430fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case RETURN_WIDE:
431fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleReturnWide(analyzedInstruction);
432fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case RETURN_OBJECT:
433fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleReturnObject(analyzedInstruction);
434fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case CONST_4:
435fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case CONST_16:
436fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case CONST:
437fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleConst(analyzedInstruction);
438fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case CONST_HIGH16:
439fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleConstHigh16(analyzedInstruction);
440fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case CONST_WIDE_16:
441fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case CONST_WIDE_32:
442fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case CONST_WIDE:
443fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case CONST_WIDE_HIGH16:
444fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleWideConst(analyzedInstruction);
445fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case CONST_STRING:
446fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case CONST_STRING_JUMBO:
447fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleConstString(analyzedInstruction);
448fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case CONST_CLASS:
449fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleConstClass(analyzedInstruction);
450fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MONITOR_ENTER:
451fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case MONITOR_EXIT:
452fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleMonitor(analyzedInstruction);
453fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case CHECK_CAST:
454fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleCheckCast(analyzedInstruction);
455fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case INSTANCE_OF:
456fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleInstanceOf(analyzedInstruction);
457fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case ARRAY_LENGTH:
458fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleArrayLength(analyzedInstruction);
459fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case NEW_INSTANCE:
460fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleNewInstance(analyzedInstruction);
461fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            case NEW_ARRAY:
462fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return handleNewArray(analyzedInstruction);
4639e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com            case FILLED_NEW_ARRAY:
4649e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com                return handleFilledNewArray(analyzedInstruction);
465ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com            case FILLED_NEW_ARRAY_RANGE:
466ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                return handleFilledNewArrayRange(analyzedInstruction);
467472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            case FILL_ARRAY_DATA:
468472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                return handleFillArrayData(analyzedInstruction);
469ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com            case THROW:
470ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com                return handleThrow(analyzedInstruction);
471898edda7cea48c02687bb71804a98cfd6e260b89JesusFreke@JesusFreke.com            case GOTO:
472898edda7cea48c02687bb71804a98cfd6e260b89JesusFreke@JesusFreke.com            case GOTO_16:
473898edda7cea48c02687bb71804a98cfd6e260b89JesusFreke@JesusFreke.com            case GOTO_32:
474898edda7cea48c02687bb71804a98cfd6e260b89JesusFreke@JesusFreke.com                //nothing to do
475898edda7cea48c02687bb71804a98cfd6e260b89JesusFreke@JesusFreke.com                return true;
476cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com            case PACKED_SWITCH:
477cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com                return handleSwitch(analyzedInstruction, Format.PackedSwitchData);
478cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com            case SPARSE_SWITCH:
479cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com                return handleSwitch(analyzedInstruction, Format.SparseSwitchData);
480f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com            case CMPL_FLOAT:
481f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com            case CMPG_FLOAT:
482f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com                return handleFloatCmp(analyzedInstruction);
483f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com            case CMPL_DOUBLE:
484f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com            case CMPG_DOUBLE:
485f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com            case CMP_LONG:
486f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com                return handleWideCmp(analyzedInstruction);
487aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com            case IF_EQ:
488aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com            case IF_NE:
489aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com                return handleIfEqNe(analyzedInstruction);
490150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com            case IF_LT:
491150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com            case IF_GE:
492150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com            case IF_GT:
493150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com            case IF_LE:
494150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com                return handleIf(analyzedInstruction);
495cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com            case IF_EQZ:
496cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com            case IF_NEZ:
497cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com                return handleIfEqzNez(analyzedInstruction);
49816a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com            case IF_LTZ:
49916a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com            case IF_GEZ:
50016a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com            case IF_GTZ:
50116a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com            case IF_LEZ:
50216a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com                return handleIfz(analyzedInstruction);
503b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            case AGET:
504b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                return handle32BitPrimitiveAget(analyzedInstruction, RegisterType.Category.Integer);
505b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            case AGET_BOOLEAN:
506b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                return handle32BitPrimitiveAget(analyzedInstruction, RegisterType.Category.Boolean);
507b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            case AGET_BYTE:
508b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                return handle32BitPrimitiveAget(analyzedInstruction, RegisterType.Category.Byte);
509b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            case AGET_CHAR:
510b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                return handle32BitPrimitiveAget(analyzedInstruction, RegisterType.Category.Char);
511b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            case AGET_SHORT:
512b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                return handle32BitPrimitiveAget(analyzedInstruction, RegisterType.Category.Short);
513c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            case AGET_WIDE:
514c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com                return handleAgetWide(analyzedInstruction);
515461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            case AGET_OBJECT:
516461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com                return handleAgetObject(analyzedInstruction);
517c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            case APUT:
518c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                return handle32BitPrimitiveAput(analyzedInstruction, RegisterType.Category.Integer);
519c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            case APUT_BOOLEAN:
520c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                return handle32BitPrimitiveAput(analyzedInstruction, RegisterType.Category.Boolean);
521c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            case APUT_BYTE:
522c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                return handle32BitPrimitiveAput(analyzedInstruction, RegisterType.Category.Byte);
523c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            case APUT_CHAR:
524c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                return handle32BitPrimitiveAput(analyzedInstruction, RegisterType.Category.Char);
525c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            case APUT_SHORT:
526c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                return handle32BitPrimitiveAput(analyzedInstruction, RegisterType.Category.Short);
52755d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            case APUT_WIDE:
52855d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com                return handleAputWide(analyzedInstruction);
529fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
530b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com
531fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert false;
532fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return false;
533fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
534fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
535fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private static final EnumSet<RegisterType.Category> Primitive32BitCategories = EnumSet.of(
536fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType.Category.Null,
537fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType.Category.Boolean,
538fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType.Category.Byte,
539fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType.Category.Short,
540fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType.Category.Char,
541fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType.Category.Integer,
542fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType.Category.Float);
543fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
544fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private static final EnumSet<RegisterType.Category> WideLowCategories = EnumSet.of(
545fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType.Category.LongLo,
546fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType.Category.DoubleLo);
547fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
548fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private static final EnumSet<RegisterType.Category> WideHighCategories = EnumSet.of(
549fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType.Category.LongHi,
550fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType.Category.DoubleHi);
551fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
552fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private static final EnumSet<RegisterType.Category> ReferenceCategories = EnumSet.of(
553fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType.Category.Null,
554fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType.Category.Reference);
555fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
556fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleMove(AnalyzedInstruction analyzedInstruction,
557fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                               EnumSet<RegisterType.Category> allowedCategories) {
558fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        TwoRegisterInstruction instruction = (TwoRegisterInstruction)analyzedInstruction.instruction;
559fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
560fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //get the "pre-instruction" register type for the source register
561fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType sourceRegisterType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterB());
562fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert sourceRegisterType != null;
563fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
564fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (sourceRegisterType.category == RegisterType.Category.Unknown) {
565fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //we don't know the source register type yet, so we can't verify it. Return false, and we'll come back later
566fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            return false;
567fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
568d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
569fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        checkRegister(sourceRegisterType, allowedCategories);
570d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
571fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction, sourceRegisterType);
572fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
573fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
574fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
575fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleMoveWide(AnalyzedInstruction analyzedInstruction) {
576fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        TwoRegisterInstruction instruction = (TwoRegisterInstruction)analyzedInstruction.instruction;
577fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
578fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType sourceRegisterType = getAndCheckWideSourcePair(analyzedInstruction,
579fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                instruction.getRegisterB());
580fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert sourceRegisterType != null;
581fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
582fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (sourceRegisterType.category == RegisterType.Category.Unknown) {
583fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //we don't know the source register type yet, so we can't verify it. Return false, and we'll come back later
584fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            return false;
585fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
586fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
587fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        checkWideDestinationPair(analyzedInstruction);
588fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
589fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction, sourceRegisterType);
590fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
591fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
592fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
593fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleMoveResult(AnalyzedInstruction analyzedInstruction,
594fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                                     EnumSet<RegisterType.Category> allowedCategories) {
595fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
596fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //TODO: handle the case when the previous instruction is an odexed instruction
597fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
598fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (analyzedInstruction.instructionIndex == 0) {
599fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException(analyzedInstruction.instruction.opcode.name + " cannot be the first " +
600fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    "instruction in a method. It must occur after an invoke-*/fill-new-array instruction");
601fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
602fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
603fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        AnalyzedInstruction previousInstruction = instructions.valueAt(analyzedInstruction.instructionIndex-1);
604fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
605fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (!previousInstruction.instruction.opcode.setsResult()) {
606fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException(analyzedInstruction.instruction.opcode.name + " must occur after an " +
607fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    "invoke-*/fill-new-array instruction");
608fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
609fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
610fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (analyzedInstruction.instruction.opcode.setsWideRegister()) {
611fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            checkWideDestinationPair(analyzedInstruction);
612fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
613fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
614fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //TODO: does dalvik allow a move-result after an invoke with a void return type?
615fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType destinationRegisterType;
616fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
617fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        InstructionWithReference invokeInstruction = (InstructionWithReference)previousInstruction.instruction;
618fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        Item item = invokeInstruction.getReferencedItem();
619fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
620fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (item instanceof MethodIdItem) {
621fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            destinationRegisterType = RegisterType.getRegisterTypeForTypeIdItem(
622fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    ((MethodIdItem)item).getPrototype().getReturnType());
623fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        } else {
624fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            assert item instanceof TypeIdItem;
625fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            destinationRegisterType = RegisterType.getRegisterTypeForTypeIdItem((TypeIdItem)item);
626fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
627fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
628fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        checkRegister(destinationRegisterType, allowedCategories);
629fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction, destinationRegisterType);
630fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
631fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
632fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
633fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleMoveException(AnalyzedInstruction analyzedInstruction) {
634fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        CodeItem.TryItem[] tries = encodedMethod.codeItem.getTries();
635fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        int instructionAddress = getInstructionAddress(analyzedInstruction);
636fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
637fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (tries == null) {
638fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("move-exception must be the first instruction in an exception handler block");
639fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
640fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
641fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType exceptionType = null;
642fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
643fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        for (CodeItem.TryItem tryItem: encodedMethod.codeItem.getTries()) {
644fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            if (tryItem.encodedCatchHandler.getCatchAllHandlerAddress() == instructionAddress) {
645fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                exceptionType = RegisterType.getRegisterType(RegisterType.Category.Reference,
646fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                        ClassPath.getClassDef("Ljava/lang/Throwable;"));
647fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                break;
648fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
649fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            for (CodeItem.EncodedTypeAddrPair handler: tryItem.encodedCatchHandler.handlers) {
650fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                if (handler.getHandlerAddress() == instructionAddress) {
651fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    exceptionType = RegisterType.getRegisterTypeForTypeIdItem(handler.exceptionType)
652fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                            .merge(exceptionType);
653fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                }
654fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
655fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
656fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
657fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //TODO: check if the type is a throwable. Should we throw a ValidationException or print a warning? (does dalvik validate that it's a throwable? It doesn't in CodeVerify.c, but it might check in DexSwapVerify.c)
658fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        checkRegister(exceptionType, ReferenceCategories);
659fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction, exceptionType);
660fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
661fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
662fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
663fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean checkConstructorReturn(AnalyzedInstruction analyzedInstruction) {
664fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert this.isInstanceConstructor();
665fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
666fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //if we're in an instance constructor (an <init> method), then the superclass <init> must have been called.
667fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //When execution enters the method, the "this" register is set as an uninitialized reference to the containing
668fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //class. Once the superclass' <init> is called, the "this" register is upgraded to a full-blown reference type,
669fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //so we need to ensure that the "this" register isn't an uninitialized reference
670fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
671fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        int thisRegister = getThisRegister();
672fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType thisRegisterType = analyzedInstruction.postRegisterMap[thisRegister];
673fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
674fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (thisRegisterType.category == RegisterType.Category.Unknown) {
675fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //we don't have enough information yet, so return false. We'll come back later
676fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            return false;
677fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
678fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (thisRegisterType.category == RegisterType.Category.UninitRef) {
679fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("Returning from constructor without calling the superclass' <init>");
680fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
681fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert thisRegisterType.category == RegisterType.Category.Reference;
682fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert thisRegisterType.type == ClassPath.getClassDef(encodedMethod.method.getContainingClass());
683fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
684fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
685fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
686fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleReturnVoid(AnalyzedInstruction analyzedInstruction) {
687fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (this.isInstanceConstructor()) {
688fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            if (!checkConstructorReturn(analyzedInstruction)) {
689fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return false;
690fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
691fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
692fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
693fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        TypeIdItem returnType = encodedMethod.method.getPrototype().getReturnType();
694fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (returnType.getTypeDescriptor().charAt(0) != 'V') {
695fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //TODO: could add which return-* variation should be used instead
696fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("Cannot use return-void with a non-void return type (" +
697fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                returnType.getTypeDescriptor() + ")");
698fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
699fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
700fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
701fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
702fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleReturn(AnalyzedInstruction analyzedInstruction) {
703fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (this.isInstanceConstructor()) {
704fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            if (!checkConstructorReturn(analyzedInstruction)) {
705fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return false;
706fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
707fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
708fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
709fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        SingleRegisterInstruction instruction = (SingleRegisterInstruction)analyzedInstruction.instruction;
710fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType returnRegisterType = analyzedInstruction.postRegisterMap[instruction.getRegisterA()];
711fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
712fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (returnRegisterType.category == RegisterType.Category.Unknown) {
713fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            return false;
714fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
715fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
716fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        checkRegister(returnRegisterType, Primitive32BitCategories);
717fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
718fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        TypeIdItem returnType = encodedMethod.method.getPrototype().getReturnType();
719fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (returnType.getTypeDescriptor().charAt(0) == 'V') {
720fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("Cannot use return with a void return type. Use return-void instead");
721fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
722fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
723fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType registerType = RegisterType.getRegisterTypeForTypeIdItem(returnType);
724fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
725fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (!Primitive32BitCategories.contains(registerType.category)) {
726fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //TODO: could add which return-* variation should be used instead
727fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("Cannot use return with return type " + returnType.getTypeDescriptor());
728fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
729fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
730fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
731fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
732fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
733fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
734fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleReturnWide(AnalyzedInstruction analyzedInstruction) {
735fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (this.isInstanceConstructor()) {
736fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            if (!checkConstructorReturn(analyzedInstruction)) {
737fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return false;
738fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
739fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
740fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
741fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        SingleRegisterInstruction instruction = (SingleRegisterInstruction)analyzedInstruction.instruction;
742fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType returnType = getAndCheckWideSourcePair(analyzedInstruction, instruction.getRegisterA());
743fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
744fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (returnType.category == RegisterType.Category.Unknown) {
745fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            return false;
746fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
747fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
748fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
749fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        TypeIdItem returnTypeIdItem = encodedMethod.method.getPrototype().getReturnType();
750fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (returnTypeIdItem.getTypeDescriptor().charAt(0) == 'V') {
751fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("Cannot use return-wide with a void return type. Use return-void instead");
752fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
753fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
754fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        returnType = RegisterType.getRegisterTypeForTypeIdItem(returnTypeIdItem);
755fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (!WideLowCategories.contains(returnType.category)) {
756fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //TODO: could add which return-* variation should be used instead
757fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("Cannot use return-wide with return type " +
758fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    returnTypeIdItem.getTypeDescriptor());
759fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
760fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
761fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
762fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
763fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
764fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleReturnObject(AnalyzedInstruction analyzedInstruction) {
765fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (this.isInstanceConstructor()) {
766fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            if (!checkConstructorReturn(analyzedInstruction)) {
767fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return false;
768fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
769fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
770fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
771fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        SingleRegisterInstruction instruction = (SingleRegisterInstruction)analyzedInstruction.instruction;
772fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        int returnRegister = instruction.getRegisterA();
773fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType returnRegisterType = analyzedInstruction.postRegisterMap[returnRegister];
774fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
775fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (returnRegisterType.category == RegisterType.Category.Unknown) {
776fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            return false;
777fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
778fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
779fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        checkRegister(returnRegisterType, ReferenceCategories);
780fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
781fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
782fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        TypeIdItem returnTypeIdItem = encodedMethod.method.getPrototype().getReturnType();
783fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (returnTypeIdItem.getTypeDescriptor().charAt(0) == 'V') {
784fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("Cannot use return with a void return type. Use return-void instead");
785fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
786fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
787fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType returnType = RegisterType.getRegisterTypeForTypeIdItem(returnTypeIdItem);
788fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
789fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (!ReferenceCategories.contains(returnType.category)) {
790fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //TODO: could add which return-* variation should be used instead
791fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("Cannot use " + analyzedInstruction + " with return type " +
792fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    returnTypeIdItem.getTypeDescriptor());
793fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
794fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
795fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (returnType.type.isInterface()) {
796fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            if (!returnRegisterType.type.implementsInterface(returnType.type)) {
797fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                //TODO: how to handle warnings?
798fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
799fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        } else {
800fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            if (!returnRegisterType.type.extendsClass(returnType.type)) {
801fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                throw new ValidationException("The return value in register v" + Integer.toString(returnRegister) +
802fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                        "(" + returnRegisterType.type.getClassType() + ") is not compatible with the method's return " +
803fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                        "type (" + returnType.type.getClassType() + ")");
804fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
805fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
806fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
807fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
808fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
809fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
810fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleConst(AnalyzedInstruction analyzedInstruction) {
811fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        LiteralInstruction instruction = (LiteralInstruction)analyzedInstruction.instruction;
812fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
813fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType newDestinationRegisterType = RegisterType.getRegisterTypeForLiteral(instruction.getLiteral());
814fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
815fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //we assume that the literal value is a valid value for the given instruction type, because it's impossible
816fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //to store an invalid literal with the instruction. so we don't need to check the type of the literal
817fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction, newDestinationRegisterType);
818fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
819fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
820fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
821fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleConstHigh16(AnalyzedInstruction analyzedInstruction) {
822fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        LiteralInstruction instruction = (LiteralInstruction)analyzedInstruction.instruction;
823fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
824fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //TODO: test this
825fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        long literalValue = instruction.getLiteral() << 16;
826fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType newDestinationRegisterType = RegisterType.getRegisterTypeForLiteral(literalValue);
827fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
828fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //we assume that the literal value is a valid value for the given instruction type, because it's impossible
829fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //to store an invalid literal with the instruction. so we don't need to check the type of the literal
830fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction, newDestinationRegisterType);
831fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
832fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
833fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
834fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleWideConst(AnalyzedInstruction analyzedInstruction) {
835fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        setWideDestinationRegisterTypeAndPropagateChanges(analyzedInstruction,
836fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                RegisterType.getRegisterType(RegisterType.Category.LongLo, null));
837fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
838fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
839fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
840fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleConstString(AnalyzedInstruction analyzedInstruction) {
841fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        ClassPath.ClassDef stringClassDef = ClassPath.getClassDef("Ljava/lang/String;");
842fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType stringType = RegisterType.getRegisterType(RegisterType.Category.Reference, stringClassDef);
843fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction, stringType);
844fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
845fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
846fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
847fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleConstClass(AnalyzedInstruction analyzedInstruction) {
848fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        ClassPath.ClassDef classClassDef = ClassPath.getClassDef("Ljava/lang/Class;");
849fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType classType = RegisterType.getRegisterType(RegisterType.Category.Reference, classClassDef);
850fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
851fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        InstructionWithReference instruction = (InstructionWithReference)analyzedInstruction.instruction;
852fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        Item item = instruction.getReferencedItem();
853fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert item.getItemType() == ItemType.TYPE_TYPE_ID_ITEM;
854fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
855fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //make sure the referenced class is resolvable
856fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //TODO: need to check class access
857fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        ClassPath.ClassDef classDef = ClassPath.getClassDef((TypeIdItem)item);
858fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return false;
859fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
860fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
861fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleMonitor(AnalyzedInstruction analyzedInstruction) {
862fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        SingleRegisterInstruction instruction = (SingleRegisterInstruction)analyzedInstruction;
863fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
864fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType registerType = analyzedInstruction.postRegisterMap[instruction.getRegisterA()];
865fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert registerType != null;
866fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.Unknown) {
867fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            return false;
868fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
869fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
870fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        checkRegister(registerType, ReferenceCategories);
871fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
872fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
873fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
874fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleCheckCast(AnalyzedInstruction analyzedInstruction) {
875fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        {
876fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //ensure the "source" register is a reference type
877fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            SingleRegisterInstruction instruction = (SingleRegisterInstruction)analyzedInstruction.instruction;
878fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
879fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType registerType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterA());
880fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            assert registerType != null;
881fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            if (registerType.category == RegisterType.Category.Unknown) {
882fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return false;
883fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
884fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
885fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            checkRegister(registerType, ReferenceCategories);
886fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
887fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
888fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        {
889fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //resolve and verify the class that we're casting to
890fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            InstructionWithReference instruction = (InstructionWithReference)analyzedInstruction.instruction;
891fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
892fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            Item item = instruction.getReferencedItem();
893fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            assert item.getItemType() == ItemType.TYPE_TYPE_ID_ITEM;
894fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
895fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //TODO: need to check class access
896fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType newDestinationRegisterType = RegisterType.getRegisterTypeForTypeIdItem((TypeIdItem)item);
897fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            try {
898fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                checkRegister(newDestinationRegisterType, ReferenceCategories);
899fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            } catch (ValidationException ex) {
900fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                //TODO: verify that dalvik allows a non-reference type..
901fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                //TODO: print a warning, but don't re-throw the exception. dalvik allows a non-reference type during validation (but throws an exception at runtime)
902fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
903fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
904fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction, newDestinationRegisterType);
905fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            return true;
906fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
907fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
908fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
909fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleInstanceOf(AnalyzedInstruction analyzedInstruction) {
910fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        {
911fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //ensure the register that is being checks is a reference type
912fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            TwoRegisterInstruction instruction = (TwoRegisterInstruction)analyzedInstruction;
913fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
914fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType registerType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterB());
915fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            assert registerType != null;
916fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            if (registerType.category == RegisterType.Category.Unknown) {
917fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return false;
918fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
919fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
920fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            checkRegister(registerType, ReferenceCategories);
921fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
922fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
923fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        {
924fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //resolve and verify the class that we're checking against
925fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            InstructionWithReference instruction = (InstructionWithReference)analyzedInstruction.instruction;
926fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
927fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            Item item = instruction.getReferencedItem();
928fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            assert  item.getItemType() == ItemType.TYPE_TYPE_ID_ITEM;
929fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType registerType = RegisterType.getRegisterTypeForTypeIdItem((TypeIdItem)item);
930fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            checkRegister(registerType, ReferenceCategories);
931fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
932fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //TODO: is it valid to use an array type?
933fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
934fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //TODO: could probably do an even more sophisticated check, where we check the possible register types against the specified type. In some cases, we could determine that it always fails, and print a warning to that effect.
935fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction,
936fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    RegisterType.getRegisterType(RegisterType.Category.Boolean, null));
937fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            return true;
938fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
939fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
940fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
941fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleArrayLength(AnalyzedInstruction analyzedInstruction) {
942fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        TwoRegisterInstruction instruction = (TwoRegisterInstruction)analyzedInstruction;
943fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
944fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        int arrayRegisterNumber = instruction.getRegisterB();
945fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType arrayRegisterType = analyzedInstruction.getPreInstructionRegisterType(arrayRegisterNumber);
946fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert arrayRegisterType != null;
947fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (arrayRegisterType.category == RegisterType.Category.Unknown) {
948fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            return false;
949fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
950fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
951fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert arrayRegisterType.type instanceof ClassPath.ArrayClassDef;
952fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
953fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        checkRegister(arrayRegisterType, ReferenceCategories);
954fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (arrayRegisterType.type != null) {
955fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            if (arrayRegisterType.type.getClassType().charAt(0) != '[') {
956fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                throw new ValidationException("Cannot use array-length with non-array type " +
957fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                        arrayRegisterType.type.getClassType());
958d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com            }
959d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        }
960d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
961fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction,
962fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                RegisterType.getRegisterType(RegisterType.Category.Integer, null));
963fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
964fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
965fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
966fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleNewInstance(AnalyzedInstruction analyzedInstruction) {
967fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        InstructionWithReference instruction = (InstructionWithReference)analyzedInstruction.instruction;
968fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
969fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        Item item = instruction.getReferencedItem();
970fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert item.getItemType() == ItemType.TYPE_TYPE_ID_ITEM;
971fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
972fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        //TODO: need to check class access
973fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType classType = RegisterType.getRegisterTypeForTypeIdItem((TypeIdItem)item);
974fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        checkRegister(classType, ReferenceCategories);
975fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (((TypeIdItem)item).getTypeDescriptor().charAt(0) == '[') {
976fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("Cannot use array type \"" + ((TypeIdItem)item).getTypeDescriptor() +
977fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    "\" with new-instance. Use new-array instead.");
978d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com        }
979d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
980fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction,
981fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                RegisterType.getRegisterType(RegisterType.Category.UninitRef, classType.type));
982fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
983fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
984fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
985fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private boolean handleNewArray(AnalyzedInstruction analyzedInstruction) {
986fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        {
987fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            TwoRegisterInstruction instruction = (TwoRegisterInstruction)analyzedInstruction.instruction;
988fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
989fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            int sizeRegister = instruction.getRegisterB();
990fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            RegisterType registerType = analyzedInstruction.getPreInstructionRegisterType(sizeRegister);
991fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            assert registerType != null;
992fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
993fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            if (registerType.category == RegisterType.Category.Unknown) {
994fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                return false;
995fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            }
996fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
997fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            checkRegister(registerType, Primitive32BitCategories);
998fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
999fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
1000fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        InstructionWithReference instruction = (InstructionWithReference)analyzedInstruction.instruction;
1001fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
1002fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        Item item = instruction.getReferencedItem();
1003fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert item.getItemType() == ItemType.TYPE_TYPE_ID_ITEM;
1004fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
1005fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType arrayType = RegisterType.getRegisterTypeForTypeIdItem((TypeIdItem)item);
1006fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert arrayType.type instanceof ClassPath.ArrayClassDef;
1007d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
1008fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        checkRegister(arrayType, ReferenceCategories);
1009fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (arrayType.type.getClassType().charAt(0) != '[') {
1010fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("Cannot use non-array type \"" + arrayType.type.getClassType() +
1011fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    "\" with new-array. Use new-instance instead.");
1012fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
1013fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
1014fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction, arrayType);
1015fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return true;
1016fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
1017fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
1018ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com    private static interface RegisterIterator {
1019ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        int getRegister();
1020ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        boolean moveNext();
1021ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com    }
1022ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com
1023ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com    private boolean handleFilledNewArrayCommon(AnalyzedInstruction analyzedInstruction,
1024ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                                               RegisterIterator registerIterator) {
1025ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        InstructionWithReference instruction = (InstructionWithReference)analyzedInstruction.instruction;
1026ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com
10279e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com        RegisterType arrayType;
10289e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com        RegisterType arrayImmediateElementType;
10299e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com
1030ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        Item item = instruction.getReferencedItem();
1031ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        assert  item.getItemType() == ItemType.TYPE_TYPE_ID_ITEM;
10329e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com
1033ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        ClassPath.ClassDef classDef = ClassPath.getClassDef((TypeIdItem)item);
10349e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com
1035ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        if (classDef.getClassType().charAt(0) != '[') {
1036ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com            throw new ValidationException("Cannot use non-array type \"" + classDef.getClassType() +
1037ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                "\" with new-array. Use new-instance instead.");
10389e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com        }
10399e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com
1040ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        ClassPath.ArrayClassDef arrayClassDef = (ClassPath.ArrayClassDef)classDef;
1041ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        arrayType = RegisterType.getRegisterType(RegisterType.Category.Reference, classDef);
1042ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        arrayImmediateElementType = RegisterType.getRegisterTypeForType(
1043ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                arrayClassDef.getImmediateElementClass().getClassType());
1044ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        String baseElementType = arrayClassDef.getBaseElementClass().getClassType();
1045ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        if (baseElementType.charAt(0) == 'J' || baseElementType.charAt(0) == 'D') {
1046ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com            throw new ValidationException("Cannot use filled-new-array to create an array of wide values " +
1047ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    "(long or double)");
1048ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        }
10499e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com
1050ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        do {
1051ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com            int register = registerIterator.getRegister();
10529e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com            RegisterType elementType = analyzedInstruction.getPreInstructionRegisterType(register);
10539e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com            assert elementType != null;
10549e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com
10559e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com            if (elementType.category == RegisterType.Category.Unknown) {
10569e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com                return false;
10579e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com            }
10589e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com
10599e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com            if (!elementType.canBeAssignedTo(arrayImmediateElementType)) {
10609e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com                throw new ValidationException("Register v" + Integer.toString(register) + " is of type " +
10619e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com                        elementType.toString() + " and is incompatible with the array type " +
10629e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com                        arrayType.type.getClassType());
10639e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com            }
1064ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        } while (registerIterator.moveNext());
10659e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com
10669e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com        setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction, arrayType);
10679e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com        return true;
10689e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com    }
10699e5dd85d837501e84e18617fc136c8203ab1f183JesusFreke@JesusFreke.com
1070ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com    private boolean handleFilledNewArray(AnalyzedInstruction analyzedInstruction) {
1071ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        FiveRegisterInstruction instruction = (FiveRegisterInstruction)analyzedInstruction.instruction;
1072ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        final int registerCount = instruction.getRegCount();
1073ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        final int[] registers = new int[]{instruction.getRegisterD(), instruction.getRegisterE(),
1074ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                                          instruction.getRegisterF(), instruction.getRegisterG(),
1075ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                                          instruction.getRegisterA()};
1076ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com
1077ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        return handleFilledNewArrayCommon(analyzedInstruction,
1078ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                new RegisterIterator() {
1079ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    private int currentRegister = 0;
1080ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    public int getRegister() {
1081ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                        return registers[currentRegister];
1082ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    }
1083ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com
1084ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    public boolean moveNext() {
1085ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                        currentRegister++;
1086ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                        if (currentRegister >= registerCount) {
1087ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                            return false;
1088ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                        }
1089ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                        return true;
1090ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    }
1091ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                });
1092ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com    }
1093ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com
1094ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com    private boolean handleFilledNewArrayRange(AnalyzedInstruction analyzedInstruction) {
1095ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        final RegisterRangeInstruction instruction = (RegisterRangeInstruction)analyzedInstruction.instruction;
1096ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com
1097ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        //instruction.getStartRegister() and instruction.getRegCount() both return an int value, but are actually
1098ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        //unsigned 16 bit values, so we don't have to worry about overflowing an int when adding them together
1099ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        if (instruction.getStartRegister() + instruction.getRegCount() >= 1<<16) {
1100ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com            throw new ValidationException(String.format("Invalid register range {v%d .. v%d}. The ending register " +
1101472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                    "is larger than the largest allowed register of v65535.",
1102ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    instruction.getStartRegister(),
1103ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    instruction.getStartRegister() + instruction.getRegCount() - 1));
1104ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        }
1105ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com
1106ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com        return handleFilledNewArrayCommon(analyzedInstruction,
1107ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                new RegisterIterator() {
1108ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    private int currentRegister = 0;
1109ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    private final int startRegister = instruction.getStartRegister();
1110ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    private final int registerCount = instruction.getRegCount();
1111ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com
1112ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    public int getRegister() {
1113ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                        return startRegister + currentRegister;
1114ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    }
1115ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com
1116ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    public boolean moveNext() {
1117ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                        currentRegister++;
1118ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                        if (currentRegister >= registerCount) {
1119ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                            return false;
1120ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                        }
1121ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                        return true;
1122ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                    }
1123ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com                });
1124ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com    }
1125ac8785e5d550c2ec7c7d02dd2990f859a78c111cJesusFreke@JesusFreke.com
1126472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com    private boolean handleFillArrayData(AnalyzedInstruction analyzedInstruction) {
1127472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        SingleRegisterInstruction instruction = (SingleRegisterInstruction)analyzedInstruction.instruction;
1128472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com
1129472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        int register = instruction.getRegisterA();
1130472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        RegisterType registerType = analyzedInstruction.getPreInstructionRegisterType(register);
1131472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        assert registerType != null;
1132472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com
1133472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.Unknown ||
1134472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            registerType.category == RegisterType.Category.Null) {
1135472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            return false;
1136472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        }
1137472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com
1138472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        if (registerType.category != RegisterType.Category.Reference) {
1139472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            throw new ValidationException(String.format("Cannot use fill-array-data with non-array register v%d of " +
1140472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                    "type %s", register, registerType.toString()));
1141472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        }
1142472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com
1143472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        assert registerType.type instanceof ClassPath.ArrayClassDef;
1144472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        ClassPath.ArrayClassDef arrayClassDef = (ClassPath.ArrayClassDef)registerType.type;
1145472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com
1146472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        if (arrayClassDef.getArrayDimensions() != 1) {
1147472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            throw new ValidationException(String.format("Cannot use fill-array-data with array type %s. It can only " +
1148472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                    "be used with a one-dimensional array of primitives.", arrayClassDef.getClassType()));
1149472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        }
1150472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com
1151472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        int elementWidth;
1152472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        switch (arrayClassDef.getBaseElementClass().getClassType().charAt(0)) {
1153472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            case 'Z':
1154472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            case 'B':
1155472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                elementWidth = 1;
1156472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                break;
1157472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            case 'C':
1158472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            case 'S':
1159472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                elementWidth = 2;
1160472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                break;
1161472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            case 'I':
1162472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            case 'F':
1163472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                elementWidth = 4;
1164472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                break;
1165472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            case 'J':
1166472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            case 'D':
1167472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                elementWidth = 8;
1168472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                break;
1169472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            default:
1170472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use fill-array-data with array type %s. It can " +
1171472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                        "only be used with a one-dimensional array of primitives.", arrayClassDef.getClassType()));
1172472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        }
1173472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com
1174472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com
1175b7e78115277e30c71e6e991da3f31c5a1403c634JesusFreke@JesusFreke.com        int arrayDataAddressOffset = ((OffsetInstruction)analyzedInstruction.instruction).getTargetAddressOffset();
1176b7e78115277e30c71e6e991da3f31c5a1403c634JesusFreke@JesusFreke.com        int arrayDataCodeAddress = getInstructionAddress(analyzedInstruction) + arrayDataAddressOffset;
1177b7e78115277e30c71e6e991da3f31c5a1403c634JesusFreke@JesusFreke.com        AnalyzedInstruction arrayDataInstruction = this.instructions.get(arrayDataCodeAddress);
1178472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        if (arrayDataInstruction == null || arrayDataInstruction.instruction.getFormat() != Format.ArrayData) {
1179472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            throw new ValidationException(String.format("Could not find an array data structure at code address 0x%x",
1180b7e78115277e30c71e6e991da3f31c5a1403c634JesusFreke@JesusFreke.com                    arrayDataCodeAddress));
1181472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        }
1182472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com
1183472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        ArrayDataPseudoInstruction arrayDataPseudoInstruction =
1184472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                (ArrayDataPseudoInstruction)arrayDataInstruction.instruction;
1185472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com
1186472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        if (elementWidth != arrayDataPseudoInstruction.getElementWidth()) {
1187472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com            throw new ValidationException(String.format("The array data at code address 0x%x does not have the " +
1188472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                    "correct element width for array type %s. Expecting element width %d, got element width %d.",
1189b7e78115277e30c71e6e991da3f31c5a1403c634JesusFreke@JesusFreke.com                    arrayDataCodeAddress, arrayClassDef.getClassType(), elementWidth,
1190472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com                    arrayDataPseudoInstruction.getElementWidth()));
1191472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        }
1192472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com
1193472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com        return true;
1194472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com    }
1195472d3ea58455ebf43d21819b2701fad98b5a0f9cJesusFreke@JesusFreke.com
1196ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com    private boolean handleThrow(AnalyzedInstruction analyzedInstruction) {
1197ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com        int register = ((SingleRegisterInstruction)analyzedInstruction.instruction).getRegisterA();
1198ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com
1199ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com        RegisterType registerType = analyzedInstruction.getPreInstructionRegisterType(register);
1200ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com        assert registerType != null;
1201ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com
1202ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.Unknown) {
1203ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com            return false;
1204ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com        }
1205ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com
1206ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.Null) {
1207ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com            return true;
1208ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com        }
1209ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com
1210ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com        if (registerType.category != RegisterType.Category.Reference) {
1211ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com            throw new ValidationException(String.format("Cannot use throw with non-reference type %s in register v%d",
1212ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com                    registerType.toString(), register));
1213ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com        }
1214ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com
1215ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com        assert registerType.type != null;
1216ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com
1217ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com        if (!registerType.type.extendsClass(ClassPath.getClassDef("Ljava/lang/Throwable;"))) {
1218ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com            throw new ValidationException(String.format("Cannot use throw with non-throwable type %s in register v%d",
1219ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com                    registerType.type.getClassType(), register));
1220ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com        }
1221ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com
1222ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com        return true;
1223ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com    }
1224ed140ca3e4fa66a03970affb3415a9fe2a924312JesusFreke@JesusFreke.com
1225cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com    private boolean handleSwitch(AnalyzedInstruction analyzedInstruction, Format expectedSwitchDataFormat) {
1226cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com        int register = ((SingleRegisterInstruction)analyzedInstruction.instruction).getRegisterA();
1227cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com        int switchCodeAddressOffset = ((OffsetInstruction)analyzedInstruction.instruction).getTargetAddressOffset();
1228cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com
1229cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com        RegisterType registerType = analyzedInstruction.getPreInstructionRegisterType(register);
1230cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com        assert registerType != null;
1231cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com
1232cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.Unknown) {
1233cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com            return false;
1234cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com        }
1235cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com
1236cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com        checkRegister(registerType, Primitive32BitCategories);
1237cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com
1238cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com        int switchDataCodeAddress = this.getInstructionAddress(analyzedInstruction) + switchCodeAddressOffset;
1239cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com        AnalyzedInstruction switchDataAnalyzedInstruction = instructions.get(switchDataCodeAddress);
1240cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com
1241cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com        if (switchDataAnalyzedInstruction == null ||
1242cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com            switchDataAnalyzedInstruction.instruction.getFormat() != expectedSwitchDataFormat) {
1243cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com            throw new ValidationException(String.format("There is no %s structure at code address 0x%x",
1244cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com                    expectedSwitchDataFormat.name(), switchDataCodeAddress));
1245cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com        }
1246cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com
1247cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com        return true;
1248cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com    }
1249cda44f70cfebfae4875cd77455a171075aebac4dJesusFreke@JesusFreke.com
1250f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com    private boolean handleFloatCmp(AnalyzedInstruction analyzedInstruction) {
1251f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        ThreeRegisterInstruction instruction = (ThreeRegisterInstruction)analyzedInstruction.instruction;
1252f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com
1253f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        RegisterType registerType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterB());
1254f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        assert registerType != null;
1255f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com
1256f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.Unknown) {
1257f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com            return false;
1258f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        }
1259f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        checkRegister(registerType, Primitive32BitCategories);
1260f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com
1261f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        registerType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterC());
1262f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        assert registerType != null;
1263f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com
1264f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.Unknown) {
1265f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com            return false;
1266f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        }
1267f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        checkRegister(registerType, Primitive32BitCategories);
1268f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com
1269f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction,
1270f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com                RegisterType.getRegisterType(RegisterType.Category.Byte, null));
1271f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        return true;
1272f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com    }
1273f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com
1274f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com    private boolean handleWideCmp(AnalyzedInstruction analyzedInstruction) {
1275f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        ThreeRegisterInstruction instruction = (ThreeRegisterInstruction)analyzedInstruction.instruction;
1276f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com
1277f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        RegisterType registerType = getAndCheckWideSourcePair(analyzedInstruction, instruction.getRegisterB());
1278f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        assert registerType != null;
1279f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.Unknown) {
1280f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com            return false;
1281f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        }
1282f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com
1283f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        registerType = getAndCheckWideSourcePair(analyzedInstruction, instruction.getRegisterC());
1284f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        assert registerType != null;
1285f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.Unknown) {
1286f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com            return false;
1287f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        }
1288f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com
1289f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction,
1290f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com                RegisterType.getRegisterType(RegisterType.Category.Byte, null));
1291f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com        return true;
1292f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com    }
1293f1a74cea19f10e9059e05f1cee6ae45baf118108JesusFreke@JesusFreke.com
1294aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com    private boolean handleIfEqNe(AnalyzedInstruction analyzedInstruction) {
1295aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com        TwoRegisterInstruction instruction = (TwoRegisterInstruction)analyzedInstruction.instruction;
1296aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com
1297aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com        RegisterType registerType1 = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterA());
1298aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com        assert registerType1 != null;
1299aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com        if (registerType1.category == RegisterType.Category.Unknown) {
1300aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com            return false;
1301aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com        }
1302aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com
1303aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com        RegisterType registerType2 = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterB());
1304aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com        assert registerType2 != null;
1305aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com        if (registerType2.category == RegisterType.Category.Unknown) {
1306aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com            return false;
1307aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com        }
1308aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com
1309aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com        if (!(
1310aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com                (ReferenceCategories.contains(registerType1.category) &&
1311aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com                ReferenceCategories.contains(registerType2.category))
1312aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com                    ||
1313aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com                (Primitive32BitCategories.contains(registerType1.category) &&
1314aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com                Primitive32BitCategories.contains(registerType2.category))
1315aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com              )) {
1316aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com
1317aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com            throw new ValidationException(String.format("%s cannot be used on registers of dissimilar types %s and " +
1318aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com                    "%s. They must both be a reference type or a primitive 32 bit type.",
1319aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com                    analyzedInstruction.instruction.opcode.name, registerType1.toString(), registerType2.toString()));
1320aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com        }
1321aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com
1322aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com        return true;
1323aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com    }
1324aba6bb0bbd1537a6df9614ee579773e4a8af70ffJesusFreke@JesusFreke.com
1325150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com    private boolean handleIf(AnalyzedInstruction analyzedInstruction) {
1326150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com        TwoRegisterInstruction instruction = (TwoRegisterInstruction)analyzedInstruction.instruction;
1327150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com
1328150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com        RegisterType registerType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterA());
1329150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com        assert registerType != null;
1330150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com
1331150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.Unknown) {
1332150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com            return false;
1333150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com        }
1334150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com        checkRegister(registerType, Primitive32BitCategories);
1335150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com
1336150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com        registerType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterB());
1337150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com        assert registerType != null;
1338150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com
1339150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.Unknown) {
1340150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com            return false;
1341150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com        }
1342150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com        checkRegister(registerType, Primitive32BitCategories);
1343150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com
1344150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com        return true;
1345150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com    }
1346150acd9db94f9886f6fc32e89acc15a1a5c1466fJesusFreke@JesusFreke.com
1347cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com    private boolean handleIfEqzNez(AnalyzedInstruction analyzedInstruction) {
1348cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com        SingleRegisterInstruction instruction = (SingleRegisterInstruction)analyzedInstruction.instruction;
1349cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com
1350cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com        RegisterType registerType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterA());
1351cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com        assert registerType != null;
1352cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.Unknown) {
1353cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com            return false;
1354cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com        }
1355cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com
1356cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com        if (!ReferenceCategories.contains(registerType.category) &&
1357cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com            !Primitive32BitCategories.contains(registerType.category)) {
1358cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com            throw new ValidationException(String.format("%s cannot be used with register type %s. Expecting 32-bit " +
1359cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com                    "primitive type or reference type.", analyzedInstruction.instruction.opcode));
1360cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com        }
1361cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com
1362cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com        return true;
1363cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com    }
1364cb00252b6aed86cd3e7c426015cea83fcdbaa806JesusFreke@JesusFreke.com
136516a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com    private boolean handleIfz(AnalyzedInstruction analyzedInstruction) {
136616a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com        SingleRegisterInstruction instruction = (SingleRegisterInstruction)analyzedInstruction.instruction;
136716a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com
136816a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com        RegisterType registerType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterA());
136916a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com        assert registerType != null;
137016a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com
137116a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.Unknown) {
137216a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com            return false;
137316a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com        }
137416a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com        checkRegister(registerType, Primitive32BitCategories);
137516a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com
137616a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com        return true;
137716a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com    }
137816a709ba046343bfefc15a6cdb0be38282126223JesusFreke@JesusFreke.com
1379b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com    private boolean handle32BitPrimitiveAget(AnalyzedInstruction analyzedInstruction,
1380b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                                             RegisterType.Category instructionCategory) {
1381b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        ThreeRegisterInstruction instruction = (ThreeRegisterInstruction)analyzedInstruction.instruction;
1382b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com
1383b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        RegisterType indexRegisterType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterC());
1384b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        assert indexRegisterType != null;
1385b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        if (indexRegisterType.category == RegisterType.Category.Unknown) {
1386b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            return false;
1387b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        }
1388b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        checkRegister(indexRegisterType, Primitive32BitCategories);
1389b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com
1390b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        RegisterType arrayRegisterType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterB());
1391b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        assert arrayRegisterType != null;
1392b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        if (indexRegisterType.category == RegisterType.Category.Unknown) {
1393b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            return false;
1394b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        }
1395b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com
1396b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        if (arrayRegisterType.category != RegisterType.Category.Null) {
1397b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            if (arrayRegisterType.category != RegisterType.Category.Reference) {
1398b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use %s with non-array type %s",
1399b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                        analyzedInstruction.instruction.opcode.name, arrayRegisterType.category.toString()));
1400b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            }
1401b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com
1402b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            assert arrayRegisterType.type != null;
1403b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            if (arrayRegisterType.type.getClassType().charAt(0) != '[') {
1404b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use %s with non-array type %s",
1405b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                        analyzedInstruction.instruction.opcode.name, arrayRegisterType.type.getClassType()));
1406b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            }
1407b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com
1408b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            assert arrayRegisterType.type instanceof ClassPath.ArrayClassDef;
1409b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            ClassPath.ArrayClassDef arrayClassDef = (ClassPath.ArrayClassDef)arrayRegisterType.type;
1410b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com
1411b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            if (arrayClassDef.getArrayDimensions() != 1) {
1412b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use %s with multi-dimensional array type %s",
1413b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                        analyzedInstruction.instruction.opcode.name, arrayRegisterType.type.getClassType()));
1414b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            }
1415b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com
1416b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            RegisterType arrayBaseType =
1417b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                    RegisterType.getRegisterTypeForType(arrayClassDef.getBaseElementClass().getClassType());
1418b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            if (checkArrayFieldAssignment(arrayBaseType.category, instructionCategory)) {
1419b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use %s with array type %s. Incorrect array type " +
1420b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                        "for the instruction.", analyzedInstruction.instruction.opcode.name,
1421b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                        arrayRegisterType.type.getClassType()));
1422b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            }
1423b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        }
1424b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com
1425b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction,
1426b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                RegisterType.getRegisterType(instructionCategory, null));
1427b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com
1428b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        return true;
1429b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com    }
1430b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com
1431c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com    private boolean handleAgetWide(AnalyzedInstruction analyzedInstruction) {
1432c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com        ThreeRegisterInstruction instruction = (ThreeRegisterInstruction)analyzedInstruction.instruction;
1433c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com
1434c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com        RegisterType indexRegisterType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterC());
1435c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com        assert indexRegisterType != null;
1436c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com        if (indexRegisterType.category == RegisterType.Category.Unknown) {
1437c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            return false;
1438c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com        }
1439c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com        checkRegister(indexRegisterType, Primitive32BitCategories);
1440c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com
1441c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com        RegisterType arrayRegisterType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterB());
1442c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com        assert arrayRegisterType != null;
1443c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com        if (indexRegisterType.category == RegisterType.Category.Unknown) {
1444c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            return false;
1445c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com        }
1446c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com
1447c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com        if (arrayRegisterType.category != RegisterType.Category.Null) {
1448c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            if (arrayRegisterType.category != RegisterType.Category.Reference) {
1449c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use aget-wide with non-array type %s",
1450c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com                        arrayRegisterType.category.toString()));
1451c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            }
1452c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com
1453c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            assert arrayRegisterType.type != null;
1454c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            if (arrayRegisterType.type.getClassType().charAt(0) != '[') {
1455c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use aget-wide with non-array type %s",
1456c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com                        arrayRegisterType.type.getClassType()));
1457c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            }
1458c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com
1459c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            assert arrayRegisterType.type instanceof ClassPath.ArrayClassDef;
1460c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            ClassPath.ArrayClassDef arrayClassDef = (ClassPath.ArrayClassDef)arrayRegisterType.type;
1461c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com
1462c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            if (arrayClassDef.getArrayDimensions() != 1) {
1463c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use aget-wide with multi-dimensional array type %s",
1464c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com                        arrayRegisterType.type.getClassType()));
1465c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            }
1466c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com
1467c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            char arrayBaseType = arrayClassDef.getBaseElementClass().getClassType().charAt(0);
1468c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            if (arrayBaseType == 'J') {
1469c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com                setWideDestinationRegisterTypeAndPropagateChanges(analyzedInstruction,
1470c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com                        RegisterType.getRegisterType(RegisterType.Category.LongLo, null));
1471c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            } else if (arrayBaseType == 'D') {
1472c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com                setWideDestinationRegisterTypeAndPropagateChanges(analyzedInstruction,
1473c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com                        RegisterType.getRegisterType(RegisterType.Category.DoubleLo, null));
1474c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            } else {
1475c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use aget-wide with array type %s. Incorrect " +
1476c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com                        "array type for the instruction.", arrayRegisterType.type.getClassType()));
1477c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            }
1478c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com        } else {
1479c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com            setWideDestinationRegisterTypeAndPropagateChanges(analyzedInstruction,
1480c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com                        RegisterType.getRegisterType(RegisterType.Category.LongLo, null));
1481c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com        }
1482c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com
1483c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com        return true;
1484c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com    }
1485c308b24b6261ea81497a69e6d4d7ef6319943b10JesusFreke@JesusFreke.com
1486461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com    private boolean handleAgetObject(AnalyzedInstruction analyzedInstruction) {
1487461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com        ThreeRegisterInstruction instruction = (ThreeRegisterInstruction)analyzedInstruction.instruction;
1488461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com
1489461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com        RegisterType indexRegisterType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterC());
1490461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com        assert indexRegisterType != null;
1491461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com        if (indexRegisterType.category == RegisterType.Category.Unknown) {
1492461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            return false;
1493461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com        }
1494461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com        checkRegister(indexRegisterType, Primitive32BitCategories);
1495461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com
1496461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com        RegisterType arrayRegisterType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterB());
1497461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com        assert arrayRegisterType != null;
1498461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com        if (indexRegisterType.category == RegisterType.Category.Unknown) {
1499461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            return false;
1500461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com        }
1501461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com
1502461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com        if (arrayRegisterType.category != RegisterType.Category.Null) {
1503461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            if (arrayRegisterType.category != RegisterType.Category.Reference) {
1504461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use aget-object with non-array type %s",
1505461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com                        arrayRegisterType.category.toString()));
1506461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            }
1507461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com
1508461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            assert arrayRegisterType.type != null;
1509461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            if (arrayRegisterType.type.getClassType().charAt(0) != '[') {
1510461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use aget-object with non-array type %s",
1511461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com                        arrayRegisterType.type.getClassType()));
1512461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            }
1513461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com
1514461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            assert arrayRegisterType.type instanceof ClassPath.ArrayClassDef;
1515461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            ClassPath.ArrayClassDef arrayClassDef = (ClassPath.ArrayClassDef)arrayRegisterType.type;
1516461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com
1517461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            ClassPath.ClassDef elementClassDef = arrayClassDef.getImmediateElementClass();
1518461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            char elementTypePrefix = elementClassDef.getClassType().charAt(0);
1519461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            if (elementTypePrefix != 'L' && elementTypePrefix != '[') {
1520461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use aget-object with array type %s. Incorrect " +
1521461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com                        "array type for the instruction.", arrayRegisterType.type.getClassType()));
1522461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            }
1523461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com
1524461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction,
1525461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com                    RegisterType.getRegisterType(RegisterType.Category.Reference, elementClassDef));
1526461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com        } else {
1527461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com            setDestinationRegisterTypeAndPropagateChanges(analyzedInstruction,
1528461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com                    RegisterType.getRegisterType(RegisterType.Category.Null, null));
1529461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com        }
1530461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com
1531461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com        return true;
1532461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com    }
1533461a797324f0377db6cf06f680dec894b6f91204JesusFreke@JesusFreke.com
1534c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com    private boolean handle32BitPrimitiveAput(AnalyzedInstruction analyzedInstruction,
1535c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                                             RegisterType.Category instructionCategory) {
1536c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        ThreeRegisterInstruction instruction = (ThreeRegisterInstruction)analyzedInstruction.instruction;
1537c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com
1538c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        RegisterType indexRegisterType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterC());
1539c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        assert indexRegisterType != null;
1540c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        if (indexRegisterType.category == RegisterType.Category.Unknown) {
1541c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            return false;
1542c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        }
1543c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        checkRegister(indexRegisterType, Primitive32BitCategories);
1544c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com
1545c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com
1546c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        RegisterType sourceRegisterType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterA());
1547c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        assert sourceRegisterType != null;
1548c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        if (sourceRegisterType.category == RegisterType.Category.Unknown) {
1549c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            return false;
1550c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        }
1551c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        RegisterType instructionRegisterType = RegisterType.getRegisterType(instructionCategory, null);
1552c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        if (!sourceRegisterType.canBeAssignedTo(instructionRegisterType)) {
1553c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            throw new ValidationException(String.format("Cannot use %s with source register type %s.",
1554c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                    analyzedInstruction.instruction.opcode.name, sourceRegisterType.toString()));
1555c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        }
1556c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com
1557c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com
1558c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        RegisterType arrayRegisterType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterB());
1559c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        assert arrayRegisterType != null;
1560c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        if (indexRegisterType.category == RegisterType.Category.Unknown) {
1561c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            return false;
1562c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        }
1563c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com
1564c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        if (arrayRegisterType.category != RegisterType.Category.Null) {
1565c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            if (arrayRegisterType.category != RegisterType.Category.Reference) {
1566c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use %s with non-array type %s",
1567c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                        analyzedInstruction.instruction.opcode.name, arrayRegisterType.category.toString()));
1568c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            }
1569c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com
1570c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            assert arrayRegisterType.type != null;
1571c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            if (arrayRegisterType.type.getClassType().charAt(0) != '[') {
1572c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use %s with non-array type %s",
1573c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                        analyzedInstruction.instruction.opcode.name, arrayRegisterType.type.getClassType()));
1574c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            }
1575c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com
1576c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            assert arrayRegisterType.type instanceof ClassPath.ArrayClassDef;
1577c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            ClassPath.ArrayClassDef arrayClassDef = (ClassPath.ArrayClassDef)arrayRegisterType.type;
1578c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com
1579c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            if (arrayClassDef.getArrayDimensions() != 1) {
1580c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use %s with multi-dimensional array type %s",
1581c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                        analyzedInstruction.instruction.opcode.name, arrayRegisterType.type.getClassType()));
1582c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            }
1583c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com
1584c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            RegisterType arrayBaseType =
1585c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                    RegisterType.getRegisterTypeForType(arrayClassDef.getBaseElementClass().getClassType());
1586c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            if (checkArrayFieldAssignment(arrayBaseType.category, instructionCategory)) {
1587c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use %s with array type %s. Incorrect array type " +
1588c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                        "for the instruction.", analyzedInstruction.instruction.opcode.name,
1589c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com                        arrayRegisterType.type.getClassType()));
159055d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            }
159155d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        }
159255d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com
159355d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        return true;
159455d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com    }
159555d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com
159655d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com    private boolean handleAputWide(AnalyzedInstruction analyzedInstruction) {
159755d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        ThreeRegisterInstruction instruction = (ThreeRegisterInstruction)analyzedInstruction.instruction;
159855d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com
159955d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        RegisterType indexRegisterType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterC());
160055d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        assert indexRegisterType != null;
160155d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        if (indexRegisterType.category == RegisterType.Category.Unknown) {
160255d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            return false;
160355d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        }
160455d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        checkRegister(indexRegisterType, Primitive32BitCategories);
160555d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com
160655d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        RegisterType sourceRegisterType = getAndCheckWideSourcePair(analyzedInstruction, instruction.getRegisterA());
160755d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        if (sourceRegisterType.category == RegisterType.Category.Unknown) {
160855d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            return false;
160955d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        }
161055d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com
161155d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        RegisterType arrayRegisterType = analyzedInstruction.getPreInstructionRegisterType(instruction.getRegisterB());
161255d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        assert arrayRegisterType != null;
161355d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        if (indexRegisterType.category == RegisterType.Category.Unknown) {
161455d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            return false;
161555d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        }
161655d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com
161755d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com        if (arrayRegisterType.category != RegisterType.Category.Null) {
161855d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            if (arrayRegisterType.category != RegisterType.Category.Reference) {
161955d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use aput-wide with non-array type %s",
162055d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com                        arrayRegisterType.category.toString()));
162155d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            }
162255d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com
162355d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            assert arrayRegisterType.type != null;
162455d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            if (arrayRegisterType.type.getClassType().charAt(0) != '[') {
162555d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use aput-wide with non-array type %s",
162655d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com                        arrayRegisterType.type.getClassType()));
162755d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            }
162855d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com
162955d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            assert arrayRegisterType.type instanceof ClassPath.ArrayClassDef;
163055d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            ClassPath.ArrayClassDef arrayClassDef = (ClassPath.ArrayClassDef)arrayRegisterType.type;
163155d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com
163255d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            if (arrayClassDef.getArrayDimensions() != 1) {
163355d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use aput-wide with multi-dimensional array type %s",
163455d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com                        arrayRegisterType.type.getClassType()));
163555d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            }
163655d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com
163755d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            char arrayBaseType = arrayClassDef.getBaseElementClass().getClassType().charAt(0);
163855d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com            if (arrayBaseType != 'J' && arrayBaseType != 'D') {
163955d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com                throw new ValidationException(String.format("Cannot use aput-wide with array type %s. Incorrect " +
164055d43e36eb862bf86ceaf9c664789ce2c4d92af8JesusFreke@JesusFreke.com                        "array type for the instruction.", arrayRegisterType.type.getClassType()));
1641c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com            }
1642c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        }
1643c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com
1644c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com        return true;
1645c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com    }
1646c849236be2031b02d66eac4149617fd8a83572b4JesusFreke@JesusFreke.com
1647b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com    private static boolean checkArrayFieldAssignment(RegisterType.Category arrayFieldCategory,
1648b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com                                                  RegisterType.Category instructionCategory) {
1649b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        if (arrayFieldCategory == instructionCategory) {
1650b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            return true;
1651b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        }
1652b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com
1653b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        if ((arrayFieldCategory == RegisterType.Category.Integer &&
1654b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com             instructionCategory == RegisterType.Category.Float) ||
1655b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            (arrayFieldCategory == RegisterType.Category.Float &&
1656b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com             instructionCategory == RegisterType.Category.Integer)) {
1657b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com            return true;
1658b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        }
1659b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com        return false;
1660b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com    }
1661b2397452907c28b0743bbbcdf9fa6b2a8208aeabJesusFreke@JesusFreke.com
1662fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private static void checkRegister(RegisterType registerType, EnumSet validCategories) {
1663fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (!validCategories.contains(registerType.category)) {
1664fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            //TODO: add expected categories to error message
1665fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("Invalid register type. Expecting one of: " + " but got \"" +
1666fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    registerType.category + "\"");
1667fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
1668fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
1669fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
1670fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private static void checkWideDestinationPair(AnalyzedInstruction analyzedInstruction) {
1671fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        int register = analyzedInstruction.getDestinationRegister();
1672fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
1673fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (register == (analyzedInstruction.postRegisterMap.length - 1)) {
1674fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("v" + register + " is the last register and not a valid wide register " +
1675fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    "pair.");
1676fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
1677fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    }
1678fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
1679fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com    private static RegisterType getAndCheckWideSourcePair(AnalyzedInstruction analyzedInstruction, int firstRegister) {
1680fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert firstRegister >= 0 && firstRegister < analyzedInstruction.postRegisterMap.length;
1681fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
1682fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (firstRegister == analyzedInstruction.postRegisterMap.length - 1) {
1683fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("v" + firstRegister + " is the last register and not a valid wide register " +
1684fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    "pair.");
1685fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
1686fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
1687fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType registerType = analyzedInstruction.getPreInstructionRegisterType(firstRegister);
1688fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert registerType != null;
1689fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if (registerType.category == RegisterType.Category.Unknown) {
1690fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            return registerType;
1691fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
1692fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        checkRegister(registerType, WideLowCategories);
1693fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
1694fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        RegisterType secondRegisterType = analyzedInstruction.getPreInstructionRegisterType(firstRegister + 1);
1695fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        assert secondRegisterType != null;
1696fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        checkRegister(secondRegisterType, WideHighCategories);
1697fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com
1698fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        if ((       registerType.category == RegisterType.Category.LongLo &&
1699fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    secondRegisterType.category == RegisterType.Category.DoubleHi)
1700fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            ||  (   registerType.category == RegisterType.Category.DoubleLo &&
1701fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    secondRegisterType.category == RegisterType.Category.LongHi)) {
1702fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            assert false;
1703fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com            throw new ValidationException("The first register in the wide register pair isn't the same type (long " +
1704fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com                    "vs. double) as the second register in the pair");
1705fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        }
1706d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com
1707fffb29fd9d67ba1396bd2999de4f0d9a44b79837JesusFreke@JesusFreke.com        return registerType;
1708d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com    }
1709d27ca7f7a61cfbe60e1c490bf645257d7d59fd39JesusFreke@JesusFreke.com}
1710