Gitiles
Code Review Sign In
review.blissroms.org / platform_art / aad94383fc41e8f8770f0b2144f766a2ffa772e7 / . / src / compiler / dataflow.cc
blob: 35de6e764fc1702507aa020c00fe4f2f342a3381 [file] [log] [blame]
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1/*
2 * Copyright (C) 2011 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
buzbeeeaf09bc2012-11-15 14:51:41 -0800[diff] [blame]17#include "compiler_internals.h"
buzbeeefc63692012-11-14 16:31:52 -0800[diff] [blame]18#include "dataflow.h"
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]19
Elliott Hughes11d1b0c2012-01-23 16:57:47 -0800[diff] [blame]20namespace art {
21
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]22/*
23 * Main table containing data flow attributes for each bytecode. The
24 * first kNumPackedOpcodes entries are for Dalvik bytecode
25 * instructions, where extended opcode at the MIR level are appended
26 * afterwards.
27 *
28 * TODO - many optimization flags are incomplete - they will only limit the
29 * scope of optimizations but will not cause mis-optimizations.
30 */
buzbeeba938cb2012-02-03 14:47:55 -0800[diff] [blame]31const int oatDataFlowAttributes[kMirOpLast] = {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]32 // 00 NOP
33 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]34
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]35 // 01 MOVE vA, vB
36 DF_DA | DF_UB | DF_IS_MOVE,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]37
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]38 // 02 MOVE_FROM16 vAA, vBBBB
39 DF_DA | DF_UB | DF_IS_MOVE,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]40
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]41 // 03 MOVE_16 vAAAA, vBBBB
42 DF_DA | DF_UB | DF_IS_MOVE,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]43
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]44 // 04 MOVE_WIDE vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]45 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_IS_MOVE,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]46
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]47 // 05 MOVE_WIDE_FROM16 vAA, vBBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]48 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_IS_MOVE,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]49
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]50 // 06 MOVE_WIDE_16 vAAAA, vBBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]51 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_IS_MOVE,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]52
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]53 // 07 MOVE_OBJECT vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]54 DF_DA | DF_UB | DF_NULL_TRANSFER_0 | DF_IS_MOVE | DF_REF_A | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]55
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]56 // 08 MOVE_OBJECT_FROM16 vAA, vBBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]57 DF_DA | DF_UB | DF_NULL_TRANSFER_0 | DF_IS_MOVE | DF_REF_A | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]58
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]59 // 09 MOVE_OBJECT_16 vAAAA, vBBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]60 DF_DA | DF_UB | DF_NULL_TRANSFER_0 | DF_IS_MOVE | DF_REF_A | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]61
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]62 // 0A MOVE_RESULT vAA
63 DF_DA,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]64
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]65 // 0B MOVE_RESULT_WIDE vAA
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]66 DF_DA | DF_A_WIDE,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]67
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]68 // 0C MOVE_RESULT_OBJECT vAA
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]69 DF_DA | DF_REF_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]70
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]71 // 0D MOVE_EXCEPTION vAA
buzbee2a83e8f2012-07-13 16:42:30 -0700[diff] [blame]72 DF_DA | DF_REF_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]73
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]74 // 0E RETURN_VOID
75 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]76
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]77 // 0F RETURN vAA
78 DF_UA,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]79
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]80 // 10 RETURN_WIDE vAA
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]81 DF_UA | DF_A_WIDE,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]82
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]83 // 11 RETURN_OBJECT vAA
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]84 DF_UA | DF_REF_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]85
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]86 // 12 CONST_4 vA, #+B
87 DF_DA | DF_SETS_CONST,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]88
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]89 // 13 CONST_16 vAA, #+BBBB
90 DF_DA | DF_SETS_CONST,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]91
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]92 // 14 CONST vAA, #+BBBBBBBB
93 DF_DA | DF_SETS_CONST,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]94
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]95 // 15 CONST_HIGH16 VAA, #+BBBB0000
96 DF_DA | DF_SETS_CONST,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]97
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]98 // 16 CONST_WIDE_16 vAA, #+BBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]99 DF_DA | DF_A_WIDE | DF_SETS_CONST,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]100
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]101 // 17 CONST_WIDE_32 vAA, #+BBBBBBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]102 DF_DA | DF_A_WIDE | DF_SETS_CONST,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]103
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]104 // 18 CONST_WIDE vAA, #+BBBBBBBBBBBBBBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]105 DF_DA | DF_A_WIDE | DF_SETS_CONST,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]106
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]107 // 19 CONST_WIDE_HIGH16 vAA, #+BBBB000000000000
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]108 DF_DA | DF_A_WIDE | DF_SETS_CONST,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]109
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]110 // 1A CONST_STRING vAA, string@BBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]111 DF_DA | DF_REF_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]112
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]113 // 1B CONST_STRING_JUMBO vAA, string@BBBBBBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]114 DF_DA | DF_REF_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]115
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]116 // 1C CONST_CLASS vAA, type@BBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]117 DF_DA | DF_REF_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]118
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]119 // 1D MONITOR_ENTER vAA
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]120 DF_UA | DF_NULL_CHK_0 | DF_REF_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]121
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]122 // 1E MONITOR_EXIT vAA
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]123 DF_UA | DF_NULL_CHK_0 | DF_REF_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]124
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]125 // 1F CHK_CAST vAA, type@BBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]126 DF_UA | DF_REF_A | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]127
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]128 // 20 INSTANCE_OF vA, vB, type@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]129 DF_DA | DF_UB | DF_CORE_A | DF_REF_B | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]130
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]131 // 21 ARRAY_LENGTH vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]132 DF_DA | DF_UB | DF_NULL_CHK_0 | DF_CORE_A | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]133
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]134 // 22 NEW_INSTANCE vAA, type@BBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]135 DF_DA | DF_NON_NULL_DST | DF_REF_A | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]136
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]137 // 23 NEW_ARRAY vA, vB, type@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]138 DF_DA | DF_UB | DF_NON_NULL_DST | DF_REF_A | DF_CORE_B | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]139
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]140 // 24 FILLED_NEW_ARRAY {vD, vE, vF, vG, vA}
141 DF_FORMAT_35C | DF_NON_NULL_RET | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]142
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]143 // 25 FILLED_NEW_ARRAY_RANGE {vCCCC .. vNNNN}, type@BBBB
144 DF_FORMAT_3RC | DF_NON_NULL_RET | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]145
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]146 // 26 FILL_ARRAY_DATA vAA, +BBBBBBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]147 DF_UA | DF_REF_A | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]148
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]149 // 27 THROW vAA
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]150 DF_UA | DF_REF_A | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]151
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]152 // 28 GOTO
153 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]154
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]155 // 29 GOTO_16
156 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]157
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]158 // 2A GOTO_32
159 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]160
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]161 // 2B PACKED_SWITCH vAA, +BBBBBBBB
162 DF_UA,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]163
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]164 // 2C SPARSE_SWITCH vAA, +BBBBBBBB
165 DF_UA,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]166
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]167 // 2D CMPL_FLOAT vAA, vBB, vCC
168 DF_DA | DF_UB | DF_UC | DF_FP_B | DF_FP_C | DF_CORE_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]169
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]170 // 2E CMPG_FLOAT vAA, vBB, vCC
171 DF_DA | DF_UB | DF_UC | DF_FP_B | DF_FP_C | DF_CORE_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]172
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]173 // 2F CMPL_DOUBLE vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]174 DF_DA | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_FP_B | DF_FP_C | DF_CORE_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]175
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]176 // 30 CMPG_DOUBLE vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]177 DF_DA | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_FP_B | DF_FP_C | DF_CORE_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]178
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]179 // 31 CMP_LONG vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]180 DF_DA | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]181
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]182 // 32 IF_EQ vA, vB, +CCCC
buzbee2a83e8f2012-07-13 16:42:30 -0700[diff] [blame]183 DF_UA | DF_UB,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]184
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]185 // 33 IF_NE vA, vB, +CCCC
buzbee2a83e8f2012-07-13 16:42:30 -0700[diff] [blame]186 DF_UA | DF_UB,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]187
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]188 // 34 IF_LT vA, vB, +CCCC
buzbee2a83e8f2012-07-13 16:42:30 -0700[diff] [blame]189 DF_UA | DF_UB,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]190
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]191 // 35 IF_GE vA, vB, +CCCC
buzbee2a83e8f2012-07-13 16:42:30 -0700[diff] [blame]192 DF_UA | DF_UB,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]193
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]194 // 36 IF_GT vA, vB, +CCCC
buzbee2a83e8f2012-07-13 16:42:30 -0700[diff] [blame]195 DF_UA | DF_UB,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]196
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]197 // 37 IF_LE vA, vB, +CCCC
buzbee2a83e8f2012-07-13 16:42:30 -0700[diff] [blame]198 DF_UA | DF_UB,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]199
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]200 // 38 IF_EQZ vAA, +BBBB
buzbee2a83e8f2012-07-13 16:42:30 -0700[diff] [blame]201 DF_UA,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]202
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]203 // 39 IF_NEZ vAA, +BBBB
buzbee2a83e8f2012-07-13 16:42:30 -0700[diff] [blame]204 DF_UA,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]205
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]206 // 3A IF_LTZ vAA, +BBBB
buzbee2a83e8f2012-07-13 16:42:30 -0700[diff] [blame]207 DF_UA,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]208
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]209 // 3B IF_GEZ vAA, +BBBB
buzbee2a83e8f2012-07-13 16:42:30 -0700[diff] [blame]210 DF_UA,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]211
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]212 // 3C IF_GTZ vAA, +BBBB
buzbee2a83e8f2012-07-13 16:42:30 -0700[diff] [blame]213 DF_UA,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]214
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]215 // 3D IF_LEZ vAA, +BBBB
buzbee2a83e8f2012-07-13 16:42:30 -0700[diff] [blame]216 DF_UA,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]217
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]218 // 3E UNUSED_3E
219 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]220
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]221 // 3F UNUSED_3F
222 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]223
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]224 // 40 UNUSED_40
225 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]226
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]227 // 41 UNUSED_41
228 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]229
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]230 // 42 UNUSED_42
231 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]232
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]233 // 43 UNUSED_43
234 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]235
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]236 // 44 AGET vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]237 DF_DA | DF_UB | DF_UC | DF_NULL_CHK_0 | DF_RANGE_CHK_1 | DF_REF_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]238
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]239 // 45 AGET_WIDE vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]240 DF_DA | DF_A_WIDE | DF_UB | DF_UC | DF_NULL_CHK_0 | DF_RANGE_CHK_1 | DF_REF_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]241
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]242 // 46 AGET_OBJECT vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]243 DF_DA | DF_UB | DF_UC | DF_NULL_CHK_0 | DF_RANGE_CHK_1 | DF_REF_A | DF_REF_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]244
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]245 // 47 AGET_BOOLEAN vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]246 DF_DA | DF_UB | DF_UC | DF_NULL_CHK_0 | DF_RANGE_CHK_1 | DF_REF_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]247
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]248 // 48 AGET_BYTE vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]249 DF_DA | DF_UB | DF_UC | DF_NULL_CHK_0 | DF_RANGE_CHK_1 | DF_REF_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]250
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]251 // 49 AGET_CHAR vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]252 DF_DA | DF_UB | DF_UC | DF_NULL_CHK_0 | DF_RANGE_CHK_1 | DF_REF_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]253
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]254 // 4A AGET_SHORT vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]255 DF_DA | DF_UB | DF_UC | DF_NULL_CHK_0 | DF_RANGE_CHK_1 | DF_REF_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]256
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]257 // 4B APUT vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]258 DF_UA | DF_UB | DF_UC | DF_NULL_CHK_1 | DF_RANGE_CHK_2 | DF_REF_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]259
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]260 // 4C APUT_WIDE vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]261 DF_UA | DF_A_WIDE | DF_UB | DF_UC | DF_NULL_CHK_2 | DF_RANGE_CHK_3 | DF_REF_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]262
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]263 // 4D APUT_OBJECT vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]264 DF_UA | DF_UB | DF_UC | DF_NULL_CHK_1 | DF_RANGE_CHK_2 | DF_REF_A | DF_REF_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]265
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]266 // 4E APUT_BOOLEAN vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]267 DF_UA | DF_UB | DF_UC | DF_NULL_CHK_1 | DF_RANGE_CHK_2 | DF_REF_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]268
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]269 // 4F APUT_BYTE vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]270 DF_UA | DF_UB | DF_UC | DF_NULL_CHK_1 | DF_RANGE_CHK_2 | DF_REF_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]271
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]272 // 50 APUT_CHAR vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]273 DF_UA | DF_UB | DF_UC | DF_NULL_CHK_1 | DF_RANGE_CHK_2 | DF_REF_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]274
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]275 // 51 APUT_SHORT vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]276 DF_UA | DF_UB | DF_UC | DF_NULL_CHK_1 | DF_RANGE_CHK_2 | DF_REF_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]277
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]278 // 52 IGET vA, vB, field@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]279 DF_DA | DF_UB | DF_NULL_CHK_0 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]280
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]281 // 53 IGET_WIDE vA, vB, field@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]282 DF_DA | DF_A_WIDE | DF_UB | DF_NULL_CHK_0 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]283
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]284 // 54 IGET_OBJECT vA, vB, field@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]285 DF_DA | DF_UB | DF_NULL_CHK_0 | DF_REF_A | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]286
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]287 // 55 IGET_BOOLEAN vA, vB, field@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]288 DF_DA | DF_UB | DF_NULL_CHK_0 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]289
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]290 // 56 IGET_BYTE vA, vB, field@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]291 DF_DA | DF_UB | DF_NULL_CHK_0 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]292
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]293 // 57 IGET_CHAR vA, vB, field@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]294 DF_DA | DF_UB | DF_NULL_CHK_0 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]295
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]296 // 58 IGET_SHORT vA, vB, field@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]297 DF_DA | DF_UB | DF_NULL_CHK_0 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]298
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]299 // 59 IPUT vA, vB, field@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]300 DF_UA | DF_UB | DF_NULL_CHK_1 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]301
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]302 // 5A IPUT_WIDE vA, vB, field@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]303 DF_UA | DF_A_WIDE | DF_UB | DF_NULL_CHK_2 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]304
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]305 // 5B IPUT_OBJECT vA, vB, field@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]306 DF_UA | DF_UB | DF_NULL_CHK_1 | DF_REF_A | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]307
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]308 // 5C IPUT_BOOLEAN vA, vB, field@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]309 DF_UA | DF_UB | DF_NULL_CHK_1 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]310
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]311 // 5D IPUT_BYTE vA, vB, field@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]312 DF_UA | DF_UB | DF_NULL_CHK_1 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]313
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]314 // 5E IPUT_CHAR vA, vB, field@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]315 DF_UA | DF_UB | DF_NULL_CHK_1 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]316
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]317 // 5F IPUT_SHORT vA, vB, field@CCCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]318 DF_UA | DF_UB | DF_NULL_CHK_1 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]319
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]320 // 60 SGET vAA, field@BBBB
321 DF_DA | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]322
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]323 // 61 SGET_WIDE vAA, field@BBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]324 DF_DA | DF_A_WIDE | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]325
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]326 // 62 SGET_OBJECT vAA, field@BBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]327 DF_DA | DF_REF_A | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]328
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]329 // 63 SGET_BOOLEAN vAA, field@BBBB
330 DF_DA | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]331
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]332 // 64 SGET_BYTE vAA, field@BBBB
333 DF_DA | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]334
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]335 // 65 SGET_CHAR vAA, field@BBBB
336 DF_DA | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]337
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]338 // 66 SGET_SHORT vAA, field@BBBB
339 DF_DA | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]340
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]341 // 67 SPUT vAA, field@BBBB
342 DF_UA | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]343
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]344 // 68 SPUT_WIDE vAA, field@BBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]345 DF_UA | DF_A_WIDE | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]346
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]347 // 69 SPUT_OBJECT vAA, field@BBBB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]348 DF_UA | DF_REF_A | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]349
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]350 // 6A SPUT_BOOLEAN vAA, field@BBBB
351 DF_UA | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]352
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]353 // 6B SPUT_BYTE vAA, field@BBBB
354 DF_UA | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]355
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]356 // 6C SPUT_CHAR vAA, field@BBBB
357 DF_UA | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]358
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]359 // 6D SPUT_SHORT vAA, field@BBBB
360 DF_UA | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]361
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]362 // 6E INVOKE_VIRTUAL {vD, vE, vF, vG, vA}
363 DF_FORMAT_35C | DF_NULL_CHK_OUT0 | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]364
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]365 // 6F INVOKE_SUPER {vD, vE, vF, vG, vA}
366 DF_FORMAT_35C | DF_NULL_CHK_OUT0 | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]367
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]368 // 70 INVOKE_DIRECT {vD, vE, vF, vG, vA}
369 DF_FORMAT_35C | DF_NULL_CHK_OUT0 | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]370
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]371 // 71 INVOKE_STATIC {vD, vE, vF, vG, vA}
372 DF_FORMAT_35C | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]373
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]374 // 72 INVOKE_INTERFACE {vD, vE, vF, vG, vA}
375 DF_FORMAT_35C | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]376
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]377 // 73 UNUSED_73
378 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]379
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]380 // 74 INVOKE_VIRTUAL_RANGE {vCCCC .. vNNNN}
381 DF_FORMAT_3RC | DF_NULL_CHK_OUT0 | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]382
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]383 // 75 INVOKE_SUPER_RANGE {vCCCC .. vNNNN}
384 DF_FORMAT_3RC | DF_NULL_CHK_OUT0 | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]385
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]386 // 76 INVOKE_DIRECT_RANGE {vCCCC .. vNNNN}
387 DF_FORMAT_3RC | DF_NULL_CHK_OUT0 | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]388
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]389 // 77 INVOKE_STATIC_RANGE {vCCCC .. vNNNN}
390 DF_FORMAT_3RC | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]391
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]392 // 78 INVOKE_INTERFACE_RANGE {vCCCC .. vNNNN}
393 DF_FORMAT_3RC | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]394
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]395 // 79 UNUSED_79
396 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]397
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]398 // 7A UNUSED_7A
399 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]400
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]401 // 7B NEG_INT vA, vB
402 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]403
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]404 // 7C NOT_INT vA, vB
405 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]406
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]407 // 7D NEG_LONG vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]408 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]409
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]410 // 7E NOT_LONG vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]411 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]412
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]413 // 7F NEG_FLOAT vA, vB
414 DF_DA | DF_UB | DF_FP_A | DF_FP_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]415
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]416 // 80 NEG_DOUBLE vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]417 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_FP_A | DF_FP_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]418
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]419 // 81 INT_TO_LONG vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]420 DF_DA | DF_A_WIDE | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]421
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]422 // 82 INT_TO_FLOAT vA, vB
423 DF_DA | DF_UB | DF_FP_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]424
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]425 // 83 INT_TO_DOUBLE vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]426 DF_DA | DF_A_WIDE | DF_UB | DF_FP_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]427
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]428 // 84 LONG_TO_INT vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]429 DF_DA | DF_UB | DF_B_WIDE | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]430
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]431 // 85 LONG_TO_FLOAT vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]432 DF_DA | DF_UB | DF_B_WIDE | DF_FP_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]433
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]434 // 86 LONG_TO_DOUBLE vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]435 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_FP_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]436
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]437 // 87 FLOAT_TO_INT vA, vB
438 DF_DA | DF_UB | DF_FP_B | DF_CORE_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]439
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]440 // 88 FLOAT_TO_LONG vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]441 DF_DA | DF_A_WIDE | DF_UB | DF_FP_B | DF_CORE_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]442
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]443 // 89 FLOAT_TO_DOUBLE vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]444 DF_DA | DF_A_WIDE | DF_UB | DF_FP_A | DF_FP_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]445
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]446 // 8A DOUBLE_TO_INT vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]447 DF_DA | DF_UB | DF_B_WIDE | DF_FP_B | DF_CORE_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]448
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]449 // 8B DOUBLE_TO_LONG vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]450 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_FP_B | DF_CORE_A,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]451
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]452 // 8C DOUBLE_TO_FLOAT vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]453 DF_DA | DF_UB | DF_B_WIDE | DF_FP_A | DF_FP_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]454
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]455 // 8D INT_TO_BYTE vA, vB
456 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]457
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]458 // 8E INT_TO_CHAR vA, vB
459 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]460
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]461 // 8F INT_TO_SHORT vA, vB
462 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]463
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]464 // 90 ADD_INT vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]465 DF_DA | DF_UB | DF_UC | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]466
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]467 // 91 SUB_INT vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]468 DF_DA | DF_UB | DF_UC | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]469
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]470 // 92 MUL_INT vAA, vBB, vCC
471 DF_DA | DF_UB | DF_UC | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]472
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]473 // 93 DIV_INT vAA, vBB, vCC
474 DF_DA | DF_UB | DF_UC | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]475
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]476 // 94 REM_INT vAA, vBB, vCC
477 DF_DA | DF_UB | DF_UC | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]478
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]479 // 95 AND_INT vAA, vBB, vCC
480 DF_DA | DF_UB | DF_UC | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]481
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]482 // 96 OR_INT vAA, vBB, vCC
483 DF_DA | DF_UB | DF_UC | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]484
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]485 // 97 XOR_INT vAA, vBB, vCC
486 DF_DA | DF_UB | DF_UC | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]487
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]488 // 98 SHL_INT vAA, vBB, vCC
489 DF_DA | DF_UB | DF_UC | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]490
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]491 // 99 SHR_INT vAA, vBB, vCC
492 DF_DA | DF_UB | DF_UC | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]493
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]494 // 9A USHR_INT vAA, vBB, vCC
495 DF_DA | DF_UB | DF_UC | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]496
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]497 // 9B ADD_LONG vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]498 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]499
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]500 // 9C SUB_LONG vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]501 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]502
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]503 // 9D MUL_LONG vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]504 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]505
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]506 // 9E DIV_LONG vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]507 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]508
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]509 // 9F REM_LONG vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]510 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]511
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]512 // A0 AND_LONG vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]513 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]514
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]515 // A1 OR_LONG vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]516 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]517
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]518 // A2 XOR_LONG vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]519 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]520
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]521 // A3 SHL_LONG vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]522 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]523
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]524 // A4 SHR_LONG vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]525 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]526
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]527 // A5 USHR_LONG vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]528 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_CORE_A | DF_CORE_B | DF_CORE_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]529
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]530 // A6 ADD_FLOAT vAA, vBB, vCC
531 DF_DA | DF_UB | DF_UC | DF_FP_A | DF_FP_B | DF_FP_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]532
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]533 // A7 SUB_FLOAT vAA, vBB, vCC
534 DF_DA | DF_UB | DF_UC | DF_FP_A | DF_FP_B | DF_FP_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]535
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]536 // A8 MUL_FLOAT vAA, vBB, vCC
537 DF_DA | DF_UB | DF_UC | DF_FP_A | DF_FP_B | DF_FP_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]538
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]539 // A9 DIV_FLOAT vAA, vBB, vCC
540 DF_DA | DF_UB | DF_UC | DF_FP_A | DF_FP_B | DF_FP_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]541
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]542 // AA REM_FLOAT vAA, vBB, vCC
543 DF_DA | DF_UB | DF_UC | DF_FP_A | DF_FP_B | DF_FP_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]544
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]545 // AB ADD_DOUBLE vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]546 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_FP_A | DF_FP_B | DF_FP_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]547
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]548 // AC SUB_DOUBLE vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]549 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_FP_A | DF_FP_B | DF_FP_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]550
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]551 // AD MUL_DOUBLE vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]552 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_FP_A | DF_FP_B | DF_FP_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]553
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]554 // AE DIV_DOUBLE vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]555 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_FP_A | DF_FP_B | DF_FP_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]556
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]557 // AF REM_DOUBLE vAA, vBB, vCC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]558 DF_DA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_UC | DF_C_WIDE | DF_FP_A | DF_FP_B | DF_FP_C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]559
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]560 // B0 ADD_INT_2ADDR vA, vB
561 DF_DA | DF_UA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]562
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]563 // B1 SUB_INT_2ADDR vA, vB
564 DF_DA | DF_UA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]565
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]566 // B2 MUL_INT_2ADDR vA, vB
567 DF_DA | DF_UA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]568
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]569 // B3 DIV_INT_2ADDR vA, vB
570 DF_DA | DF_UA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]571
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]572 // B4 REM_INT_2ADDR vA, vB
573 DF_DA | DF_UA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]574
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]575 // B5 AND_INT_2ADDR vA, vB
576 DF_DA | DF_UA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]577
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]578 // B6 OR_INT_2ADDR vA, vB
579 DF_DA | DF_UA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]580
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]581 // B7 XOR_INT_2ADDR vA, vB
582 DF_DA | DF_UA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]583
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]584 // B8 SHL_INT_2ADDR vA, vB
585 DF_DA | DF_UA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]586
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]587 // B9 SHR_INT_2ADDR vA, vB
588 DF_DA | DF_UA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]589
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]590 // BA USHR_INT_2ADDR vA, vB
591 DF_DA | DF_UA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]592
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]593 // BB ADD_LONG_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]594 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_B_WIDE | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]595
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]596 // BC SUB_LONG_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]597 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_B_WIDE | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]598
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]599 // BD MUL_LONG_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]600 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_B_WIDE | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]601
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]602 // BE DIV_LONG_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]603 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_B_WIDE | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]604
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]605 // BF REM_LONG_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]606 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_B_WIDE | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]607
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]608 // C0 AND_LONG_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]609 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_B_WIDE | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]610
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]611 // C1 OR_LONG_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]612 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_B_WIDE | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]613
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]614 // C2 XOR_LONG_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]615 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_B_WIDE | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]616
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]617 // C3 SHL_LONG_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]618 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]619
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]620 // C4 SHR_LONG_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]621 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]622
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]623 // C5 USHR_LONG_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]624 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]625
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]626 // C6 ADD_FLOAT_2ADDR vA, vB
627 DF_DA | DF_UA | DF_UB | DF_FP_A | DF_FP_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]628
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]629 // C7 SUB_FLOAT_2ADDR vA, vB
630 DF_DA | DF_UA | DF_UB | DF_FP_A | DF_FP_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]631
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]632 // C8 MUL_FLOAT_2ADDR vA, vB
633 DF_DA | DF_UA | DF_UB | DF_FP_A | DF_FP_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]634
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]635 // C9 DIV_FLOAT_2ADDR vA, vB
636 DF_DA | DF_UA | DF_UB | DF_FP_A | DF_FP_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]637
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]638 // CA REM_FLOAT_2ADDR vA, vB
639 DF_DA | DF_UA | DF_UB | DF_FP_A | DF_FP_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]640
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]641 // CB ADD_DOUBLE_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]642 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_B_WIDE | DF_FP_A | DF_FP_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]643
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]644 // CC SUB_DOUBLE_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]645 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_B_WIDE | DF_FP_A | DF_FP_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]646
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]647 // CD MUL_DOUBLE_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]648 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_B_WIDE | DF_FP_A | DF_FP_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]649
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]650 // CE DIV_DOUBLE_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]651 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_B_WIDE | DF_FP_A | DF_FP_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]652
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]653 // CF REM_DOUBLE_2ADDR vA, vB
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]654 DF_DA | DF_A_WIDE | DF_UA | DF_UB | DF_B_WIDE | DF_FP_A | DF_FP_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]655
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]656 // D0 ADD_INT_LIT16 vA, vB, #+CCCC
657 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]658
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]659 // D1 RSUB_INT vA, vB, #+CCCC
660 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]661
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]662 // D2 MUL_INT_LIT16 vA, vB, #+CCCC
663 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]664
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]665 // D3 DIV_INT_LIT16 vA, vB, #+CCCC
666 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]667
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]668 // D4 REM_INT_LIT16 vA, vB, #+CCCC
669 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]670
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]671 // D5 AND_INT_LIT16 vA, vB, #+CCCC
672 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]673
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]674 // D6 OR_INT_LIT16 vA, vB, #+CCCC
675 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]676
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]677 // D7 XOR_INT_LIT16 vA, vB, #+CCCC
678 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]679
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]680 // D8 ADD_INT_LIT8 vAA, vBB, #+CC
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]681 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]682
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]683 // D9 RSUB_INT_LIT8 vAA, vBB, #+CC
684 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]685
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]686 // DA MUL_INT_LIT8 vAA, vBB, #+CC
687 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]688
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]689 // DB DIV_INT_LIT8 vAA, vBB, #+CC
690 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]691
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]692 // DC REM_INT_LIT8 vAA, vBB, #+CC
693 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]694
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]695 // DD AND_INT_LIT8 vAA, vBB, #+CC
696 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]697
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]698 // DE OR_INT_LIT8 vAA, vBB, #+CC
699 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]700
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]701 // DF XOR_INT_LIT8 vAA, vBB, #+CC
702 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]703
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]704 // E0 SHL_INT_LIT8 vAA, vBB, #+CC
705 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]706
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]707 // E1 SHR_INT_LIT8 vAA, vBB, #+CC
708 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]709
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]710 // E2 USHR_INT_LIT8 vAA, vBB, #+CC
711 DF_DA | DF_UB | DF_CORE_A | DF_CORE_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]712
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]713 // E3 IGET_VOLATILE
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]714 DF_DA | DF_UB | DF_NULL_CHK_0 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]715
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]716 // E4 IPUT_VOLATILE
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]717 DF_UA | DF_UB | DF_NULL_CHK_1 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]718
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]719 // E5 SGET_VOLATILE
720 DF_DA | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]721
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]722 // E6 SPUT_VOLATILE
723 DF_UA | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]724
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]725 // E7 IGET_OBJECT_VOLATILE
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]726 DF_DA | DF_UB | DF_NULL_CHK_0 | DF_REF_A | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]727
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]728 // E8 IGET_WIDE_VOLATILE
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]729 DF_DA | DF_A_WIDE | DF_UB | DF_NULL_CHK_0 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]730
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]731 // E9 IPUT_WIDE_VOLATILE
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]732 DF_UA | DF_A_WIDE | DF_UB | DF_NULL_CHK_2 | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]733
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]734 // EA SGET_WIDE_VOLATILE
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]735 DF_DA | DF_A_WIDE | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]736
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]737 // EB SPUT_WIDE_VOLATILE
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]738 DF_UA | DF_A_WIDE | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]739
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]740 // EC BREAKPOINT
741 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]742
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]743 // ED THROW_VERIFICATION_ERROR
744 DF_NOP | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]745
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]746 // EE EXECUTE_INLINE
747 DF_FORMAT_35C,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]748
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]749 // EF EXECUTE_INLINE_RANGE
750 DF_FORMAT_3RC,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]751
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]752 // F0 INVOKE_OBJECT_INIT_RANGE
753 DF_NOP | DF_NULL_CHK_0,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]754
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]755 // F1 RETURN_VOID_BARRIER
756 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]757
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]758 // F2 IGET_QUICK
759 DF_DA | DF_UB | DF_NULL_CHK_0,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]760
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]761 // F3 IGET_WIDE_QUICK
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]762 DF_DA | DF_A_WIDE | DF_UB | DF_NULL_CHK_0,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]763
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]764 // F4 IGET_OBJECT_QUICK
765 DF_DA | DF_UB | DF_NULL_CHK_0,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]766
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]767 // F5 IPUT_QUICK
768 DF_UA | DF_UB | DF_NULL_CHK_1,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]769
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]770 // F6 IPUT_WIDE_QUICK
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]771 DF_UA | DF_A_WIDE | DF_UB | DF_NULL_CHK_2,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]772
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]773 // F7 IPUT_OBJECT_QUICK
774 DF_UA | DF_UB | DF_NULL_CHK_1,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]775
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]776 // F8 INVOKE_VIRTUAL_QUICK
777 DF_FORMAT_35C | DF_NULL_CHK_OUT0 | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]778
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]779 // F9 INVOKE_VIRTUAL_QUICK_RANGE
780 DF_FORMAT_3RC | DF_NULL_CHK_OUT0 | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]781
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]782 // FA INVOKE_SUPER_QUICK
783 DF_FORMAT_35C | DF_NULL_CHK_OUT0 | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]784
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]785 // FB INVOKE_SUPER_QUICK_RANGE
786 DF_FORMAT_3RC | DF_NULL_CHK_OUT0 | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]787
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]788 // FC IPUT_OBJECT_VOLATILE
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]789 DF_UA | DF_UB | DF_NULL_CHK_1 | DF_REF_A | DF_REF_B,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]790
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]791 // FD SGET_OBJECT_VOLATILE
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]792 DF_DA | DF_REF_A | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]793
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]794 // FE SPUT_OBJECT_VOLATILE
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]795 DF_UA | DF_REF_A | DF_UMS,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]796
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]797 // FF UNUSED_FF
798 DF_NOP,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]799
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]800 // Beginning of extended MIR opcodes
801 // 100 MIR_PHI
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]802 DF_DA | DF_NULL_TRANSFER_N,
buzbee84fd6932012-03-29 16:44:16 -0700[diff] [blame]803
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]804 // 101 MIR_COPY
805 DF_DA | DF_UB | DF_IS_MOVE,
buzbee84fd6932012-03-29 16:44:16 -0700[diff] [blame]806
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]807 // 102 MIR_FUSED_CMPL_FLOAT
808 DF_UA | DF_UB | DF_FP_A | DF_FP_B,
buzbee84fd6932012-03-29 16:44:16 -0700[diff] [blame]809
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]810 // 103 MIR_FUSED_CMPG_FLOAT
811 DF_UA | DF_UB | DF_FP_A | DF_FP_B,
buzbee84fd6932012-03-29 16:44:16 -0700[diff] [blame]812
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]813 // 104 MIR_FUSED_CMPL_DOUBLE
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]814 DF_UA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_FP_A | DF_FP_B,
buzbee84fd6932012-03-29 16:44:16 -0700[diff] [blame]815
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]816 // 105 MIR_FUSED_CMPG_DOUBLE
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]817 DF_UA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_FP_A | DF_FP_B,
buzbee84fd6932012-03-29 16:44:16 -0700[diff] [blame]818
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]819 // 106 MIR_FUSED_CMP_LONG
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]820 DF_UA | DF_A_WIDE | DF_UB | DF_B_WIDE | DF_CORE_A | DF_CORE_B,
buzbee84fd6932012-03-29 16:44:16 -0700[diff] [blame]821
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]822 // 107 MIR_NOP
823 DF_NOP,
buzbee84fd6932012-03-29 16:44:16 -0700[diff] [blame]824
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]825 // 108 MIR_NULL_CHECK
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]826 0,
buzbee84fd6932012-03-29 16:44:16 -0700[diff] [blame]827
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]828 // 109 MIR_RANGE_CHECK
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]829 0,
buzbee84fd6932012-03-29 16:44:16 -0700[diff] [blame]830
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]831 // 110 MIR_DIV_ZERO_CHECK
832 0,
833
834 // 111 MIR_CHECK
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]835 0,
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]836};
837
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]838/* Return the base virtual register for a SSA name */
839int SRegToVReg(const CompilationUnit* cUnit, int ssaReg)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]840{
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]841 DCHECK_LT(ssaReg, static_cast<int>(cUnit->ssaBaseVRegs->numUsed));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]842 return GET_ELEM_N(cUnit->ssaBaseVRegs, int, ssaReg);
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]843}
844
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]845int SRegToSubscript(const CompilationUnit* cUnit, int ssaReg)
846{
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]847 DCHECK(ssaReg < static_cast<int>(cUnit->ssaSubscripts->numUsed));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]848 return GET_ELEM_N(cUnit->ssaSubscripts, int, ssaReg);
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]849}
850
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]851static int GetSSAUseCount(CompilationUnit* cUnit, int sReg)
buzbee84fd6932012-03-29 16:44:16 -0700[diff] [blame]852{
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]853 DCHECK(sReg < static_cast<int>(cUnit->rawUseCounts.numUsed));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]854 return cUnit->rawUseCounts.elemList[sReg];
buzbee84fd6932012-03-29 16:44:16 -0700[diff] [blame]855}
856
857
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]858char* GetDalvikDisassembly(CompilationUnit* cUnit,
Elliott Hughesadb8c672012-03-06 16:49:32 -0800[diff] [blame]859 const DecodedInstruction& insn, const char* note)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]860{
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]861 std::string str;
862 int opcode = insn.opcode;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]863 int dfAttributes = oatDataFlowAttributes[opcode];
864 int flags;
865 char* ret;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]866
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]867 if (opcode >= kMirOpFirst) {
868 if (opcode == kMirOpPhi) {
869 str.append("PHI");
870 } else if (opcode == kMirOpCheck) {
871 str.append("Check");
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]872 } else {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]873 str.append(StringPrintf("Opcode %#x", opcode));
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]874 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]875 flags = 0;
876 } else {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]877 str.append(Instruction::Name(insn.opcode));
Ian Rogersa75a0132012-09-28 11:41:42 -0700[diff] [blame]878 flags = Instruction::FlagsOf(insn.opcode);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]879 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]880
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]881 if (note) {
882 str.append(note);
883 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]884
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]885 /* For branches, decode the instructions to print out the branch targets */
886 if (flags & Instruction::kBranch) {
887 Instruction::Format dalvikFormat = Instruction::FormatOf(insn.opcode);
888 int offset = 0;
889 switch (dalvikFormat) {
890 case Instruction::k21t:
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]891 str.append(StringPrintf(" v%d,", insn.vA));
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]892 offset = insn.vB;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]893 break;
894 case Instruction::k22t:
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]895 str.append(StringPrintf(" v%d, v%d,", insn.vA, insn.vB));
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]896 offset = insn.vC;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]897 break;
898 case Instruction::k10t:
899 case Instruction::k20t:
900 case Instruction::k30t:
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]901 offset = insn.vA;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]902 break;
903 default:
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]904 LOG(FATAL) << "Unexpected branch format " << dalvikFormat << " from " << insn.opcode;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]905 }
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]906 str.append(StringPrintf(" (%c%x)",
907 offset > 0 ? '+' : '-',
908 offset > 0 ? offset : -offset));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]909 } else if (dfAttributes & DF_FORMAT_35C) {
910 unsigned int i;
911 for (i = 0; i < insn.vA; i++) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]912 if (i != 0) str.append(",");
913 str.append(StringPrintf(" v%d", insn.arg[i]));
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]914 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]915 }
916 else if (dfAttributes & DF_FORMAT_3RC) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]917 str.append(StringPrintf(" v%d..v%d", insn.vC, insn.vC + insn.vA - 1));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]918 } else {
919 if (dfAttributes & DF_A_IS_REG) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]920 str.append(StringPrintf(" v%d", insn.vA));
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]921 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]922 if (dfAttributes & DF_B_IS_REG) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]923 str.append(StringPrintf(", v%d", insn.vB));
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]924 } else if (static_cast<int>(opcode) < static_cast<int>(kMirOpFirst)) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]925 str.append(StringPrintf(", (#%d)", insn.vB));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]926 }
927 if (dfAttributes & DF_C_IS_REG) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]928 str.append(StringPrintf(", v%d", insn.vC));
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]929 } else if (static_cast<int>(opcode) < static_cast<int>(kMirOpFirst)) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]930 str.append(StringPrintf(", (#%d)", insn.vC));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]931 }
932 }
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]933 int length = str.length() + 1;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]934 ret = static_cast<char*>(NewMem(cUnit, length, false, kAllocDFInfo));
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]935 strncpy(ret, str.c_str(), length);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]936 return ret;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]937}
938
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]939static std::string GetSSAName(const CompilationUnit* cUnit, int ssaReg)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]940{
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]941 return StringPrintf("v%d_%d", SRegToVReg(cUnit, ssaReg),
942 SRegToSubscript(cUnit, ssaReg));
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]943}
944
945/*
946 * Dalvik instruction disassembler with optional SSA printing.
947 */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]948char* FullDisassembler(CompilationUnit* cUnit, const MIR* mir)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]949{
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]950 std::string str;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]951 const DecodedInstruction* insn = &mir->dalvikInsn;
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]952 int opcode = insn->opcode;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]953 int dfAttributes = oatDataFlowAttributes[opcode];
954 char* ret;
955 int length;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]956
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]957 if (opcode >= kMirOpFirst) {
958 if (opcode == kMirOpPhi) {
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]959 int* incoming = reinterpret_cast<int*>(mir->dalvikInsn.vB);
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]960 str.append(StringPrintf("PHI %s = (%s",
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]961 GetSSAName(cUnit, mir->ssaRep->defs[0]).c_str(),
962 GetSSAName(cUnit, mir->ssaRep->uses[0]).c_str()));
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]963 str.append(StringPrintf(":%d",incoming[0]));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]964 int i;
965 for (i = 1; i < mir->ssaRep->numUses; i++) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]966 str.append(StringPrintf(", %s:%d",
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]967 GetSSAName(cUnit, mir->ssaRep->uses[i]).c_str(),
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]968 incoming[i]));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]969 }
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]970 str.append(")");
971 } else if (opcode == kMirOpCheck) {
972 str.append("Check ");
973 str.append(Instruction::Name(mir->meta.throwInsn->dalvikInsn.opcode));
974 } else if (opcode == kMirOpNop) {
975 str.append("MirNop");
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]976 } else {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]977 str.append(StringPrintf("Opcode %#x", opcode));
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]978 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]979 goto done;
980 } else {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]981 str.append(Instruction::Name(insn->opcode));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]982 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]983
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]984 /* For branches, decode the instructions to print out the branch targets */
Ian Rogersa75a0132012-09-28 11:41:42 -0700[diff] [blame]985 if (Instruction::FlagsOf(insn->opcode) & Instruction::kBranch) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]986 Instruction::Format dalvikFormat = Instruction::FormatOf(insn->opcode);
987 int delta = 0;
988 switch (dalvikFormat) {
989 case Instruction::k21t:
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]990 str.append(StringPrintf(" %s, ",
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]991 GetSSAName(cUnit, mir->ssaRep->uses[0]).c_str()));
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]992 delta = insn->vB;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]993 break;
994 case Instruction::k22t:
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]995 str.append(StringPrintf(" %s, %s, ",
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]996 GetSSAName(cUnit, mir->ssaRep->uses[0]).c_str(),
997 GetSSAName(cUnit, mir->ssaRep->uses[1]).c_str()));
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]998 delta = insn->vC;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]999 break;
1000 case Instruction::k10t:
1001 case Instruction::k20t:
1002 case Instruction::k30t:
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1003 delta = insn->vA;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1004 break;
1005 default:
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1006 LOG(FATAL) << "Unexpected branch format: " << dalvikFormat;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1007 }
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1008 str.append(StringPrintf(" %04x", mir->offset + delta));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1009 } else if (dfAttributes & (DF_FORMAT_35C | DF_FORMAT_3RC)) {
1010 unsigned int i;
1011 for (i = 0; i < insn->vA; i++) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1012 if (i != 0) str.append(",");
1013 str.append(" ");
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1014 str.append(GetSSAName(cUnit, mir->ssaRep->uses[i]));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1015 }
1016 } else {
1017 int udIdx;
1018 if (mir->ssaRep->numDefs) {
1019
1020 for (udIdx = 0; udIdx < mir->ssaRep->numDefs; udIdx++) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1021 str.append(" ");
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1022 str.append(GetSSAName(cUnit, mir->ssaRep->defs[udIdx]));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1023 }
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1024 str.append(",");
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1025 }
1026 if (mir->ssaRep->numUses) {
1027 /* No leading ',' for the first use */
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1028 str.append(" ");
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1029 str.append(GetSSAName(cUnit, mir->ssaRep->uses[0]));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1030 for (udIdx = 1; udIdx < mir->ssaRep->numUses; udIdx++) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1031 str.append(", ");
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1032 str.append(GetSSAName(cUnit, mir->ssaRep->uses[udIdx]));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1033 }
1034 }
1035 if (static_cast<int>(opcode) < static_cast<int>(kMirOpFirst)) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1036 Instruction::Format dalvikFormat = Instruction::FormatOf(insn->opcode);
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1037 switch (dalvikFormat) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1038 case Instruction::k11n: // op vA, #+B
1039 case Instruction::k21s: // op vAA, #+BBBB
1040 case Instruction::k21h: // op vAA, #+BBBB00000[00000000]
1041 case Instruction::k31i: // op vAA, #+BBBBBBBB
1042 case Instruction::k51l: // op vAA, #+BBBBBBBBBBBBBBBB
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1043 str.append(StringPrintf(" #%#x", insn->vB));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1044 break;
1045 case Instruction::k21c: // op vAA, thing@BBBB
1046 case Instruction::k31c: // op vAA, thing@BBBBBBBB
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1047 str.append(StringPrintf(" @%#x", insn->vB));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1048 break;
1049 case Instruction::k22b: // op vAA, vBB, #+CC
1050 case Instruction::k22s: // op vA, vB, #+CCCC
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1051 str.append(StringPrintf(" #%#x", insn->vC));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1052 break;
1053 case Instruction::k22c: // op vA, vB, thing@CCCC
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1054 str.append(StringPrintf(" @%#x", insn->vC));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1055 break;
1056 /* No need for special printing */
1057 default:
1058 break;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1059 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1060 }
1061 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1062
1063done:
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1064 length = str.length() + 1;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1065 ret = static_cast<char*>(NewMem(cUnit, length, false, kAllocDFInfo));
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1066 strncpy(ret, str.c_str(), length);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1067 return ret;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1068}
1069
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1070char* GetSSAString(CompilationUnit* cUnit, SSARepresentation* ssaRep)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1071{
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1072 std::string str;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1073 char* ret;
1074 int i;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1075
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1076 for (i = 0; i < ssaRep->numDefs; i++) {
1077 int ssaReg = ssaRep->defs[i];
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1078 str.append(StringPrintf("s%d(v%d_%d) ", ssaReg,
1079 SRegToVReg(cUnit, ssaReg),
1080 SRegToSubscript(cUnit, ssaReg)));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1081 }
1082
1083 if (ssaRep->numDefs) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1084 str.append("<- ");
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1085 }
1086
1087 for (i = 0; i < ssaRep->numUses; i++) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1088 int ssaReg = ssaRep->uses[i];
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1089 str.append(StringPrintf("s%d(v%d_%d) ", ssaReg, SRegToVReg(cUnit, ssaReg),
1090 SRegToSubscript(cUnit, ssaReg)));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1091 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1092
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1093 int length = str.length() + 1;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1094 ret = static_cast<char*>(NewMem(cUnit, length, false, kAllocDFInfo));
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1095 strncpy(ret, str.c_str(), length);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1096 return ret;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1097}
1098
1099/* Any register that is used before being defined is considered live-in */
buzbeeaad94382012-11-21 07:40:50 -0800[diff] [blame^]1100static void HandleLiveInUse(CompilationUnit* cUnit, ArenaBitVector* useV, ArenaBitVector* defV,
1101 ArenaBitVector* liveInV, int dalvikRegId)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1102{
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1103 SetBit(cUnit, useV, dalvikRegId);
1104 if (!IsBitSet(defV, dalvikRegId)) {
1105 SetBit(cUnit, liveInV, dalvikRegId);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1106 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1107}
1108
1109/* Mark a reg as being defined */
buzbeeaad94382012-11-21 07:40:50 -0800[diff] [blame^]1110static void HandleDef(CompilationUnit* cUnit, ArenaBitVector* defV, int dalvikRegId)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1111{
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1112 SetBit(cUnit, defV, dalvikRegId);
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1113}
1114
1115/*
1116 * Find out live-in variables for natural loops. Variables that are live-in in
1117 * the main loop body are considered to be defined in the entry block.
1118 */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1119bool FindLocalLiveIn(CompilationUnit* cUnit, BasicBlock* bb)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1120{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1121 MIR* mir;
1122 ArenaBitVector *useV, *defV, *liveInV;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1123
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1124 if (bb->dataFlowInfo == NULL) return false;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1125
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1126 useV = bb->dataFlowInfo->useV =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1127 AllocBitVector(cUnit, cUnit->numDalvikRegisters, false, kBitMapUse);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1128 defV = bb->dataFlowInfo->defV =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1129 AllocBitVector(cUnit, cUnit->numDalvikRegisters, false, kBitMapDef);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1130 liveInV = bb->dataFlowInfo->liveInV =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1131 AllocBitVector(cUnit, cUnit->numDalvikRegisters, false,
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1132 kBitMapLiveIn);
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1133
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1134 for (mir = bb->firstMIRInsn; mir; mir = mir->next) {
1135 int dfAttributes = oatDataFlowAttributes[mir->dalvikInsn.opcode];
1136 DecodedInstruction *dInsn = &mir->dalvikInsn;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1137
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1138 if (dfAttributes & DF_HAS_USES) {
1139 if (dfAttributes & DF_UA) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1140 HandleLiveInUse(cUnit, useV, defV, liveInV, dInsn->vA);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1141 if (dfAttributes & DF_A_WIDE) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1142 HandleLiveInUse(cUnit, useV, defV, liveInV, dInsn->vA+1);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1143 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1144 }
1145 if (dfAttributes & DF_UB) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1146 HandleLiveInUse(cUnit, useV, defV, liveInV, dInsn->vB);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1147 if (dfAttributes & DF_B_WIDE) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1148 HandleLiveInUse(cUnit, useV, defV, liveInV, dInsn->vB+1);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1149 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1150 }
1151 if (dfAttributes & DF_UC) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1152 HandleLiveInUse(cUnit, useV, defV, liveInV, dInsn->vC);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1153 if (dfAttributes & DF_C_WIDE) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1154 HandleLiveInUse(cUnit, useV, defV, liveInV, dInsn->vC+1);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1155 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1156 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1157 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1158 if (dfAttributes & DF_FORMAT_35C) {
1159 for (unsigned int i = 0; i < dInsn->vA; i++) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1160 HandleLiveInUse(cUnit, useV, defV, liveInV, dInsn->arg[i]);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1161 }
1162 }
1163 if (dfAttributes & DF_FORMAT_3RC) {
1164 for (unsigned int i = 0; i < dInsn->vA; i++) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1165 HandleLiveInUse(cUnit, useV, defV, liveInV, dInsn->vC+i);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1166 }
1167 }
1168 if (dfAttributes & DF_HAS_DEFS) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1169 HandleDef(cUnit, defV, dInsn->vA);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1170 if (dfAttributes & DF_A_WIDE) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1171 HandleDef(cUnit, defV, dInsn->vA+1);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1172 }
1173 }
1174 }
1175 return true;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1176}
1177
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1178static int AddNewSReg(CompilationUnit* cUnit, int vReg)
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]1179{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1180 // Compiler temps always have a subscript of 0
1181 int subscript = (vReg < 0) ? 0 : ++cUnit->SSALastDefs[vReg];
1182 int ssaReg = cUnit->numSSARegs++;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1183 InsertGrowableList(cUnit, cUnit->ssaBaseVRegs, vReg);
1184 InsertGrowableList(cUnit, cUnit->ssaSubscripts, subscript);
1185 std::string ssaName = GetSSAName(cUnit, ssaReg);
1186 char* name = static_cast<char*>(NewMem(cUnit, ssaName.length() + 1, false, kAllocDFInfo));
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1187 strncpy(name, ssaName.c_str(), ssaName.length() + 1);
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1188 InsertGrowableList(cUnit, cUnit->ssaStrings, reinterpret_cast<uintptr_t>(name));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1189 DCHECK_EQ(cUnit->ssaBaseVRegs->numUsed, cUnit->ssaSubscripts->numUsed);
1190 return ssaReg;
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]1191}
1192
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1193/* Find out the latest SSA register for a given Dalvik register */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1194static void HandleSSAUse(CompilationUnit* cUnit, int* uses, int dalvikReg, int regIndex)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1195{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1196 DCHECK((dalvikReg >= 0) && (dalvikReg < cUnit->numDalvikRegisters));
1197 uses[regIndex] = cUnit->vRegToSSAMap[dalvikReg];
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1198}
1199
1200/* Setup a new SSA register for a given Dalvik register */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1201static void HandleSSADef(CompilationUnit* cUnit, int* defs, int dalvikReg, int regIndex)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1202{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1203 DCHECK((dalvikReg >= 0) && (dalvikReg < cUnit->numDalvikRegisters));
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1204 int ssaReg = AddNewSReg(cUnit, dalvikReg);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1205 cUnit->vRegToSSAMap[dalvikReg] = ssaReg;
1206 defs[regIndex] = ssaReg;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1207}
1208
buzbeeec5adf32011-09-11 15:25:43 -0700[diff] [blame]1209/* Look up new SSA names for format_35c instructions */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1210static void DataFlowSSAFormat35C(CompilationUnit* cUnit, MIR* mir)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1211{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1212 DecodedInstruction *dInsn = &mir->dalvikInsn;
1213 int numUses = dInsn->vA;
1214 int i;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1215
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1216 mir->ssaRep->numUses = numUses;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1217 mir->ssaRep->uses = static_cast<int*>(NewMem(cUnit, sizeof(int) * numUses, true, kAllocDFInfo));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1218 // NOTE: will be filled in during type & size inference pass
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1219 mir->ssaRep->fpUse = static_cast<bool*>(NewMem(cUnit, sizeof(bool) * numUses, true,
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1220 kAllocDFInfo));
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1221
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1222 for (i = 0; i < numUses; i++) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1223 HandleSSAUse(cUnit, mir->ssaRep->uses, dInsn->arg[i], i);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1224 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1225}
1226
buzbeeec5adf32011-09-11 15:25:43 -0700[diff] [blame]1227/* Look up new SSA names for format_3rc instructions */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1228static void DataFlowSSAFormat3RC(CompilationUnit* cUnit, MIR* mir)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1229{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1230 DecodedInstruction *dInsn = &mir->dalvikInsn;
1231 int numUses = dInsn->vA;
1232 int i;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1233
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1234 mir->ssaRep->numUses = numUses;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1235 mir->ssaRep->uses = static_cast<int*>(NewMem(cUnit, sizeof(int) * numUses, true, kAllocDFInfo));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1236 // NOTE: will be filled in during type & size inference pass
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1237 mir->ssaRep->fpUse = static_cast<bool*>(NewMem(cUnit, sizeof(bool) * numUses, true,
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1238 kAllocDFInfo));
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1239
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1240 for (i = 0; i < numUses; i++) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1241 HandleSSAUse(cUnit, mir->ssaRep->uses, dInsn->vC+i, i);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1242 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1243}
1244
1245/* Entry function to convert a block into SSA representation */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1246bool DoSSAConversion(CompilationUnit* cUnit, BasicBlock* bb)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1247{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1248 MIR* mir;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1249
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1250 if (bb->dataFlowInfo == NULL) return false;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1251
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1252 for (mir = bb->firstMIRInsn; mir; mir = mir->next) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1253 mir->ssaRep = static_cast<struct SSARepresentation *>(NewMem(cUnit, sizeof(SSARepresentation),
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1254 true, kAllocDFInfo));
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1255
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1256 int dfAttributes = oatDataFlowAttributes[mir->dalvikInsn.opcode];
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1257
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1258 // If not a pseudo-op, note non-leaf or can throw
1259 if (static_cast<int>(mir->dalvikInsn.opcode) <
1260 static_cast<int>(kNumPackedOpcodes)) {
Ian Rogersa75a0132012-09-28 11:41:42 -0700[diff] [blame]1261 int flags = Instruction::FlagsOf(mir->dalvikInsn.opcode);
buzbeecefd1872011-09-09 09:59:52 -0700[diff] [blame]1262
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1263 if (flags & Instruction::kThrow) {
1264 cUnit->attrs &= ~METHOD_IS_THROW_FREE;
1265 }
buzbeecefd1872011-09-09 09:59:52 -0700[diff] [blame]1266
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1267 if (flags & Instruction::kInvoke) {
1268 cUnit->attrs &= ~METHOD_IS_LEAF;
1269 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1270 }
1271
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1272 int numUses = 0;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1273
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1274 if (dfAttributes & DF_FORMAT_35C) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1275 DataFlowSSAFormat35C(cUnit, mir);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1276 continue;
buzbee5abfa3e2012-01-31 17:01:43 -0800[diff] [blame]1277 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1278
1279 if (dfAttributes & DF_FORMAT_3RC) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1280 DataFlowSSAFormat3RC(cUnit, mir);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1281 continue;
1282 }
1283
1284 if (dfAttributes & DF_HAS_USES) {
1285 if (dfAttributes & DF_UA) {
1286 numUses++;
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1287 if (dfAttributes & DF_A_WIDE) {
1288 numUses ++;
1289 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1290 }
1291 if (dfAttributes & DF_UB) {
1292 numUses++;
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1293 if (dfAttributes & DF_B_WIDE) {
1294 numUses ++;
1295 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1296 }
1297 if (dfAttributes & DF_UC) {
1298 numUses++;
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1299 if (dfAttributes & DF_C_WIDE) {
1300 numUses ++;
1301 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1302 }
1303 }
1304
1305 if (numUses) {
1306 mir->ssaRep->numUses = numUses;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1307 mir->ssaRep->uses = static_cast<int*>(NewMem(cUnit, sizeof(int) * numUses, false,
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1308 kAllocDFInfo));
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1309 mir->ssaRep->fpUse = static_cast<bool*>(NewMem(cUnit, sizeof(bool) * numUses, false,
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1310 kAllocDFInfo));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1311 }
1312
1313 int numDefs = 0;
1314
1315 if (dfAttributes & DF_HAS_DEFS) {
1316 numDefs++;
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1317 if (dfAttributes & DF_A_WIDE) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1318 numDefs++;
1319 }
1320 }
1321
1322 if (numDefs) {
1323 mir->ssaRep->numDefs = numDefs;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1324 mir->ssaRep->defs = static_cast<int*>(NewMem(cUnit, sizeof(int) * numDefs, false,
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1325 kAllocDFInfo));
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1326 mir->ssaRep->fpDef = static_cast<bool*>(NewMem(cUnit, sizeof(bool) * numDefs, false,
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1327 kAllocDFInfo));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1328 }
1329
1330 DecodedInstruction *dInsn = &mir->dalvikInsn;
1331
1332 if (dfAttributes & DF_HAS_USES) {
1333 numUses = 0;
1334 if (dfAttributes & DF_UA) {
1335 mir->ssaRep->fpUse[numUses] = dfAttributes & DF_FP_A;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1336 HandleSSAUse(cUnit, mir->ssaRep->uses, dInsn->vA, numUses++);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1337 if (dfAttributes & DF_A_WIDE) {
1338 mir->ssaRep->fpUse[numUses] = dfAttributes & DF_FP_A;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1339 HandleSSAUse(cUnit, mir->ssaRep->uses, dInsn->vA+1, numUses++);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1340 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1341 }
1342 if (dfAttributes & DF_UB) {
1343 mir->ssaRep->fpUse[numUses] = dfAttributes & DF_FP_B;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1344 HandleSSAUse(cUnit, mir->ssaRep->uses, dInsn->vB, numUses++);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1345 if (dfAttributes & DF_B_WIDE) {
1346 mir->ssaRep->fpUse[numUses] = dfAttributes & DF_FP_B;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1347 HandleSSAUse(cUnit, mir->ssaRep->uses, dInsn->vB+1, numUses++);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1348 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1349 }
1350 if (dfAttributes & DF_UC) {
1351 mir->ssaRep->fpUse[numUses] = dfAttributes & DF_FP_C;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1352 HandleSSAUse(cUnit, mir->ssaRep->uses, dInsn->vC, numUses++);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1353 if (dfAttributes & DF_C_WIDE) {
1354 mir->ssaRep->fpUse[numUses] = dfAttributes & DF_FP_C;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1355 HandleSSAUse(cUnit, mir->ssaRep->uses, dInsn->vC+1, numUses++);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1356 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1357 }
1358 }
1359 if (dfAttributes & DF_HAS_DEFS) {
1360 mir->ssaRep->fpDef[0] = dfAttributes & DF_FP_A;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1361 HandleSSADef(cUnit, mir->ssaRep->defs, dInsn->vA, 0);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1362 if (dfAttributes & DF_A_WIDE) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1363 mir->ssaRep->fpDef[1] = dfAttributes & DF_FP_A;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1364 HandleSSADef(cUnit, mir->ssaRep->defs, dInsn->vA+1, 1);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1365 }
1366 }
1367 }
1368
1369 if (!cUnit->disableDataflow) {
1370 /*
1371 * Take a snapshot of Dalvik->SSA mapping at the end of each block. The
1372 * input to PHI nodes can be derived from the snapshot of all
1373 * predecessor blocks.
1374 */
1375 bb->dataFlowInfo->vRegToSSAMap =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1376 static_cast<int*>(NewMem(cUnit, sizeof(int) * cUnit->numDalvikRegisters, false,
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1377 kAllocDFInfo));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1378
1379 memcpy(bb->dataFlowInfo->vRegToSSAMap, cUnit->vRegToSSAMap,
1380 sizeof(int) * cUnit->numDalvikRegisters);
1381 }
1382 return true;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1383}
1384
1385/* Setup a constant value for opcodes thare have the DF_SETS_CONST attribute */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1386static void SetConstant(CompilationUnit* cUnit, int ssaReg, int value)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1387{
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1388 SetBit(cUnit, cUnit->isConstantV, ssaReg);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1389 cUnit->constantValues[ssaReg] = value;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1390}
1391
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1392bool DoConstantPropogation(CompilationUnit* cUnit, BasicBlock* bb)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1393{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1394 MIR* mir;
1395 ArenaBitVector *isConstantV = cUnit->isConstantV;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1396
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1397 for (mir = bb->firstMIRInsn; mir; mir = mir->next) {
1398 int dfAttributes = oatDataFlowAttributes[mir->dalvikInsn.opcode];
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1399
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1400 DecodedInstruction *dInsn = &mir->dalvikInsn;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1401
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1402 if (!(dfAttributes & DF_HAS_DEFS)) continue;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1403
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1404 /* Handle instructions that set up constants directly */
1405 if (dfAttributes & DF_SETS_CONST) {
1406 if (dfAttributes & DF_DA) {
1407 switch (dInsn->opcode) {
1408 case Instruction::CONST_4:
1409 case Instruction::CONST_16:
1410 case Instruction::CONST:
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1411 SetConstant(cUnit, mir->ssaRep->defs[0], dInsn->vB);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1412 break;
1413 case Instruction::CONST_HIGH16:
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1414 SetConstant(cUnit, mir->ssaRep->defs[0], dInsn->vB << 16);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1415 break;
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1416 case Instruction::CONST_WIDE_16:
1417 case Instruction::CONST_WIDE_32:
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1418 SetConstant(cUnit, mir->ssaRep->defs[0], dInsn->vB);
1419 SetConstant(cUnit, mir->ssaRep->defs[1], 0);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1420 break;
1421 case Instruction::CONST_WIDE:
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1422 SetConstant(cUnit, mir->ssaRep->defs[0], static_cast<int>(dInsn->vB_wide));
1423 SetConstant(cUnit, mir->ssaRep->defs[1], static_cast<int>(dInsn->vB_wide >> 32));
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1424 break;
1425 case Instruction::CONST_WIDE_HIGH16:
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1426 SetConstant(cUnit, mir->ssaRep->defs[0], 0);
1427 SetConstant(cUnit, mir->ssaRep->defs[1], dInsn->vB << 16);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1428 break;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1429 default:
1430 break;
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1431 }
buzbee2cfc6392012-05-07 14:51:40 -0700[diff] [blame]1432 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1433 /* Handle instructions that set up constants directly */
buzbee2cfc6392012-05-07 14:51:40 -0700[diff] [blame]1434 } else if (dfAttributes & DF_IS_MOVE) {
1435 int i;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1436
buzbee2cfc6392012-05-07 14:51:40 -0700[diff] [blame]1437 for (i = 0; i < mir->ssaRep->numUses; i++) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1438 if (!IsBitSet(isConstantV, mir->ssaRep->uses[i])) break;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1439 }
1440 /* Move a register holding a constant to another register */
1441 if (i == mir->ssaRep->numUses) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1442 SetConstant(cUnit, mir->ssaRep->defs[0],
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1443 cUnit->constantValues[mir->ssaRep->uses[0]]);
buzbeebff24652012-05-06 16:22:05 -0700[diff] [blame]1444 if (dfAttributes & DF_A_WIDE) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1445 SetConstant(cUnit, mir->ssaRep->defs[1],
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1446 cUnit->constantValues[mir->ssaRep->uses[1]]);
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1447 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1448 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1449 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1450 }
1451 /* TODO: implement code to handle arithmetic operations */
1452 return true;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1453}
1454
1455/* Setup the basic data structures for SSA conversion */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1456void CompilerInitializeSSAConversion(CompilationUnit* cUnit)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1457{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1458 int i;
1459 int numDalvikReg = cUnit->numDalvikRegisters;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1460
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1461 cUnit->ssaBaseVRegs =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1462 static_cast<GrowableList*>(NewMem(cUnit, sizeof(GrowableList), false, kAllocDFInfo));
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1463 cUnit->ssaSubscripts =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1464 static_cast<GrowableList*>(NewMem(cUnit, sizeof(GrowableList), false, kAllocDFInfo));
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1465 cUnit->ssaStrings =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1466 static_cast<GrowableList*>(NewMem(cUnit, sizeof(GrowableList), false, kAllocDFInfo));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1467 // Create the ssa mappings, estimating the max size
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1468 CompilerInitGrowableList(cUnit, cUnit->ssaBaseVRegs,
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1469 numDalvikReg + cUnit->defCount + 128,
1470 kListSSAtoDalvikMap);
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1471 CompilerInitGrowableList(cUnit, cUnit->ssaSubscripts,
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1472 numDalvikReg + cUnit->defCount + 128,
1473 kListSSAtoDalvikMap);
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1474 CompilerInitGrowableList(cUnit, cUnit->ssaStrings,
buzbee2cfc6392012-05-07 14:51:40 -0700[diff] [blame]1475 numDalvikReg + cUnit->defCount + 128,
1476 kListSSAtoDalvikMap);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1477 /*
1478 * Initial number of SSA registers is equal to the number of Dalvik
1479 * registers.
1480 */
1481 cUnit->numSSARegs = numDalvikReg;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1482
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1483 /*
1484 * Initialize the SSA2Dalvik map list. For the first numDalvikReg elements,
1485 * the subscript is 0 so we use the ENCODE_REG_SUB macro to encode the value
1486 * into "(0 << 16) | i"
1487 */
1488 for (i = 0; i < numDalvikReg; i++) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1489 InsertGrowableList(cUnit, cUnit->ssaBaseVRegs, i);
1490 InsertGrowableList(cUnit, cUnit->ssaSubscripts, 0);
1491 std::string ssaName = GetSSAName(cUnit, i);
1492 char* name = static_cast<char*>(NewMem(cUnit, ssaName.length() + 1, true, kAllocDFInfo));
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1493 strncpy(name, ssaName.c_str(), ssaName.length() + 1);
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1494 InsertGrowableList(cUnit, cUnit->ssaStrings, reinterpret_cast<uintptr_t>(name));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1495 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1496
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1497 /*
1498 * Initialize the DalvikToSSAMap map. There is one entry for each
1499 * Dalvik register, and the SSA names for those are the same.
1500 */
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1501 cUnit->vRegToSSAMap =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1502 static_cast<int*>(NewMem(cUnit, sizeof(int) * numDalvikReg, false, kAllocDFInfo));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1503 /* Keep track of the higest def for each dalvik reg */
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1504 cUnit->SSALastDefs =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1505 static_cast<int*>(NewMem(cUnit, sizeof(int) * numDalvikReg, false, kAllocDFInfo));
buzbeef0cde542011-09-13 14:55:02 -0700[diff] [blame]1506
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1507 for (i = 0; i < numDalvikReg; i++) {
1508 cUnit->vRegToSSAMap[i] = i;
1509 cUnit->SSALastDefs[i] = 0;
1510 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1511
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1512 /* Add ssa reg for Method* */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1513 cUnit->methodSReg = AddNewSReg(cUnit, SSA_METHOD_BASEREG);
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]1514
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1515 /*
1516 * Allocate the BasicBlockDataFlow structure for the entry and code blocks
1517 */
1518 GrowableListIterator iterator;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1519
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1520 GrowableListIteratorInit(&cUnit->blockList, &iterator);
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1521
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1522 while (true) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1523 BasicBlock* bb = reinterpret_cast<BasicBlock*>(GrowableListIteratorNext(&iterator));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1524 if (bb == NULL) break;
1525 if (bb->hidden == true) continue;
1526 if (bb->blockType == kDalvikByteCode ||
1527 bb->blockType == kEntryBlock ||
1528 bb->blockType == kExitBlock) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1529 bb->dataFlowInfo = static_cast<BasicBlockDataFlow*>(NewMem(cUnit, sizeof(BasicBlockDataFlow),
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1530 true, kAllocDFInfo));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1531 }
1532 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1533}
1534
1535/* Clear the visited flag for each BB */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1536bool ClearVisitedFlag(struct CompilationUnit* cUnit, struct BasicBlock* bb)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1537{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1538 bb->visited = false;
1539 return true;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1540}
1541
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1542void DataFlowAnalysisDispatcher(CompilationUnit* cUnit,
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1543 bool (*func)(CompilationUnit*, BasicBlock*),
1544 DataFlowAnalysisMode dfaMode,
1545 bool isIterative)
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1546{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1547 bool change = true;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1548
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1549 while (change) {
1550 change = false;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1551
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1552 switch (dfaMode) {
1553 /* Scan all blocks and perform the operations specified in func */
1554 case kAllNodes:
1555 {
1556 GrowableListIterator iterator;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1557 GrowableListIteratorInit(&cUnit->blockList, &iterator);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1558 while (true) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1559 BasicBlock* bb = reinterpret_cast<BasicBlock*>(GrowableListIteratorNext(&iterator));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1560 if (bb == NULL) break;
1561 if (bb->hidden == true) continue;
1562 change |= (*func)(cUnit, bb);
1563 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1564 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1565 break;
1566 /* Scan reachable blocks and perform the ops specified in func. */
1567 case kReachableNodes:
1568 {
1569 int numReachableBlocks = cUnit->numReachableBlocks;
1570 int idx;
1571 const GrowableList *blockList = &cUnit->blockList;
1572
1573 for (idx = 0; idx < numReachableBlocks; idx++) {
1574 int blockIdx = cUnit->dfsOrder.elemList[idx];
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1575 BasicBlock* bb =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1576 reinterpret_cast<BasicBlock*>( GrowableListGetElement(blockList, blockIdx));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1577 change |= (*func)(cUnit, bb);
1578 }
1579 }
1580 break;
1581
1582 /* Scan reachable blocks by pre-order dfs and invoke func on each. */
1583 case kPreOrderDFSTraversal:
1584 {
1585 int numReachableBlocks = cUnit->numReachableBlocks;
1586 int idx;
1587 const GrowableList *blockList = &cUnit->blockList;
1588
1589 for (idx = 0; idx < numReachableBlocks; idx++) {
1590 int dfsIdx = cUnit->dfsOrder.elemList[idx];
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1591 BasicBlock* bb =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1592 reinterpret_cast<BasicBlock*>(GrowableListGetElement(blockList, dfsIdx));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1593 change |= (*func)(cUnit, bb);
1594 }
1595 }
1596 break;
1597 /* Scan reachable blocks post-order dfs and invoke func on each. */
1598 case kPostOrderDFSTraversal:
1599 {
1600 int numReachableBlocks = cUnit->numReachableBlocks;
1601 int idx;
1602 const GrowableList *blockList = &cUnit->blockList;
1603
1604 for (idx = numReachableBlocks - 1; idx >= 0; idx--) {
1605 int dfsIdx = cUnit->dfsOrder.elemList[idx];
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1606 BasicBlock* bb =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1607 reinterpret_cast<BasicBlock *>( GrowableListGetElement(blockList, dfsIdx));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1608 change |= (*func)(cUnit, bb);
1609 }
1610 }
1611 break;
1612 /* Scan reachable post-order dom tree and invoke func on each. */
1613 case kPostOrderDOMTraversal:
1614 {
1615 int numReachableBlocks = cUnit->numReachableBlocks;
1616 int idx;
1617 const GrowableList *blockList = &cUnit->blockList;
1618
1619 for (idx = 0; idx < numReachableBlocks; idx++) {
1620 int domIdx = cUnit->domPostOrderTraversal.elemList[idx];
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1621 BasicBlock* bb =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1622 reinterpret_cast<BasicBlock*>( GrowableListGetElement(blockList, domIdx));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1623 change |= (*func)(cUnit, bb);
1624 }
1625 }
1626 break;
1627 /* Scan reachable blocks reverse post-order dfs, invoke func on each */
1628 case kReversePostOrderTraversal:
1629 {
1630 int numReachableBlocks = cUnit->numReachableBlocks;
1631 int idx;
1632 const GrowableList *blockList = &cUnit->blockList;
1633
1634 for (idx = numReachableBlocks - 1; idx >= 0; idx--) {
1635 int revIdx = cUnit->dfsPostOrder.elemList[idx];
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1636 BasicBlock* bb =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1637 reinterpret_cast<BasicBlock*>(GrowableListGetElement(blockList, revIdx));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1638 change |= (*func)(cUnit, bb);
1639 }
1640 }
1641 break;
1642 default:
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1643 LOG(FATAL) << "Unknown traversal mode: " << dfaMode;
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1644 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1645 /* If isIterative is false, exit the loop after the first iteration */
1646 change &= isIterative;
1647 }
buzbee67bf8852011-08-17 17:51:35 -0700[diff] [blame]1648}
buzbee43a36422011-09-14 14:00:13 -0700[diff] [blame]1649
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]1650/* Advance to next strictly dominated MIR node in an extended basic block */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1651static MIR* AdvanceMIR(CompilationUnit* cUnit, BasicBlock** pBb, MIR* mir,
1652 ArenaBitVector* bv, bool clearMark) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1653 BasicBlock* bb = *pBb;
1654 if (mir != NULL) {
1655 mir = mir->next;
1656 if (mir == NULL) {
1657 bb = bb->fallThrough;
1658 if ((bb == NULL) || bb->predecessors->numUsed != 1) {
1659 mir = NULL;
1660 } else {
1661 if (bv) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1662 SetBit(cUnit, bv, bb->id);
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]1663 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1664 *pBb = bb;
1665 mir = bb->firstMIRInsn;
1666 }
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]1667 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1668 }
1669 if (mir && clearMark) {
1670 mir->optimizationFlags &= ~MIR_MARK;
1671 }
1672 return mir;
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]1673}
1674
buzbeefc9e6fa2012-03-23 15:14:29 -0700[diff] [blame]1675/*
1676 * To be used at an invoke mir. If the logically next mir node represents
1677 * a move-result, return it. Else, return NULL. If a move-result exists,
1678 * it is required to immediately follow the invoke with no intervening
1679 * opcodes or incoming arcs. However, if the result of the invoke is not
1680 * used, a move-result may not be present.
1681 */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1682MIR* FindMoveResult(CompilationUnit* cUnit, BasicBlock* bb, MIR* mir)
buzbeefc9e6fa2012-03-23 15:14:29 -0700[diff] [blame]1683{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1684 BasicBlock* tbb = bb;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1685 mir = AdvanceMIR(cUnit, &tbb, mir, NULL, false);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1686 while (mir != NULL) {
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1687 int opcode = mir->dalvikInsn.opcode;
buzbee15bf9802012-06-12 17:49:27 -0700[diff] [blame]1688 if ((mir->dalvikInsn.opcode == Instruction::MOVE_RESULT) ||
buzbee52ed7762012-06-13 23:43:14 -0700[diff] [blame]1689 (mir->dalvikInsn.opcode == Instruction::MOVE_RESULT_OBJECT) ||
buzbee15bf9802012-06-12 17:49:27 -0700[diff] [blame]1690 (mir->dalvikInsn.opcode == Instruction::MOVE_RESULT_WIDE)) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1691 break;
1692 }
1693 // Keep going if pseudo op, otherwise terminate
Bill Buzbeec9f40dd2012-08-15 11:35:25 -0700[diff] [blame]1694 if (opcode < kNumPackedOpcodes) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1695 mir = NULL;
1696 } else {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1697 mir = AdvanceMIR(cUnit, &tbb, mir, NULL, false);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1698 }
1699 }
1700 return mir;
buzbeefc9e6fa2012-03-23 15:14:29 -0700[diff] [blame]1701}
1702
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1703static void SquashDupRangeChecks(CompilationUnit* cUnit, BasicBlock** pBp, MIR* mir,
1704 int arraySreg, int indexSreg)
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]1705{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1706 while (true) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1707 mir = AdvanceMIR(cUnit, pBp, mir, NULL, false);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1708 if (!mir) {
1709 break;
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]1710 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1711 if ((mir->ssaRep == NULL) ||
1712 (mir->optimizationFlags & MIR_IGNORE_RANGE_CHECK)) {
1713 continue;
1714 }
1715 int checkArray = INVALID_SREG;
1716 int checkIndex = INVALID_SREG;
1717 switch (mir->dalvikInsn.opcode) {
1718 case Instruction::AGET:
1719 case Instruction::AGET_OBJECT:
1720 case Instruction::AGET_BOOLEAN:
1721 case Instruction::AGET_BYTE:
1722 case Instruction::AGET_CHAR:
1723 case Instruction::AGET_SHORT:
1724 case Instruction::AGET_WIDE:
1725 checkArray = mir->ssaRep->uses[0];
1726 checkIndex = mir->ssaRep->uses[1];
1727 break;
1728 case Instruction::APUT:
1729 case Instruction::APUT_OBJECT:
1730 case Instruction::APUT_SHORT:
1731 case Instruction::APUT_CHAR:
1732 case Instruction::APUT_BYTE:
1733 case Instruction::APUT_BOOLEAN:
1734 checkArray = mir->ssaRep->uses[1];
1735 checkIndex = mir->ssaRep->uses[2];
1736 break;
1737 case Instruction::APUT_WIDE:
1738 checkArray = mir->ssaRep->uses[2];
1739 checkIndex = mir->ssaRep->uses[3];
1740 default:
1741 break;
1742 }
1743 if (checkArray == INVALID_SREG) {
1744 continue;
1745 }
1746 if ((arraySreg == checkArray) && (indexSreg == checkIndex)) {
1747 if (cUnit->printMe) {
1748 LOG(INFO) << "Squashing range check @ 0x" << std::hex << mir->offset;
1749 }
1750 mir->optimizationFlags |= MIR_IGNORE_RANGE_CHECK;
1751 }
1752 }
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]1753}
1754
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]1755/* Do some MIR-level basic block optimizations */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1756static bool BasicBlockOpt(CompilationUnit* cUnit, BasicBlock* bb)
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]1757{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1758 int numTemps = 0;
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]1759
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1760 for (MIR* mir = bb->firstMIRInsn; mir; mir = mir->next) {
1761 // Look for interesting opcodes, skip otherwise
1762 Instruction::Code opcode = mir->dalvikInsn.opcode;
1763 switch (opcode) {
1764 case Instruction::AGET:
1765 case Instruction::AGET_OBJECT:
1766 case Instruction::AGET_BOOLEAN:
1767 case Instruction::AGET_BYTE:
1768 case Instruction::AGET_CHAR:
1769 case Instruction::AGET_SHORT:
1770 case Instruction::AGET_WIDE:
1771 if (!(mir->optimizationFlags & MIR_IGNORE_RANGE_CHECK)) {
1772 int arrSreg = mir->ssaRep->uses[0];
1773 int idxSreg = mir->ssaRep->uses[1];
1774 BasicBlock* tbb = bb;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1775 SquashDupRangeChecks(cUnit, &tbb, mir, arrSreg, idxSreg);
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]1776 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1777 break;
1778 case Instruction::APUT:
1779 case Instruction::APUT_OBJECT:
1780 case Instruction::APUT_SHORT:
1781 case Instruction::APUT_CHAR:
1782 case Instruction::APUT_BYTE:
1783 case Instruction::APUT_BOOLEAN:
1784 case Instruction::APUT_WIDE:
1785 if (!(mir->optimizationFlags & MIR_IGNORE_RANGE_CHECK)) {
1786 int start = (opcode == Instruction::APUT_WIDE) ? 2 : 1;
1787 int arrSreg = mir->ssaRep->uses[start];
1788 int idxSreg = mir->ssaRep->uses[start + 1];
1789 BasicBlock* tbb = bb;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1790 SquashDupRangeChecks(cUnit, &tbb, mir, arrSreg, idxSreg);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1791 }
1792 break;
1793 case Instruction::CMPL_FLOAT:
1794 case Instruction::CMPL_DOUBLE:
1795 case Instruction::CMPG_FLOAT:
1796 case Instruction::CMPG_DOUBLE:
1797 case Instruction::CMP_LONG:
buzbeeca7a5e42012-08-20 11:12:18 -0700[diff] [blame]1798 if (cUnit->genBitcode) {
1799 // Bitcode doesn't allow this optimization.
1800 break;
1801 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1802 if (mir->next != NULL) {
1803 MIR* mirNext = mir->next;
1804 Instruction::Code brOpcode = mirNext->dalvikInsn.opcode;
1805 ConditionCode ccode = kCondNv;
1806 switch(brOpcode) {
1807 case Instruction::IF_EQZ:
1808 ccode = kCondEq;
1809 break;
1810 case Instruction::IF_NEZ:
1811 ccode = kCondNe;
1812 break;
1813 case Instruction::IF_LTZ:
1814 ccode = kCondLt;
1815 break;
1816 case Instruction::IF_GEZ:
1817 ccode = kCondGe;
1818 break;
1819 case Instruction::IF_GTZ:
1820 ccode = kCondGt;
1821 break;
1822 case Instruction::IF_LEZ:
1823 ccode = kCondLe;
1824 break;
1825 default:
1826 break;
1827 }
1828 // Make sure result of cmp is used by next insn and nowhere else
1829 if ((ccode != kCondNv) &&
1830 (mir->ssaRep->defs[0] == mirNext->ssaRep->uses[0]) &&
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1831 (GetSSAUseCount(cUnit, mir->ssaRep->defs[0]) == 1)) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1832 mirNext->dalvikInsn.arg[0] = ccode;
1833 switch(opcode) {
1834 case Instruction::CMPL_FLOAT:
1835 mirNext->dalvikInsn.opcode =
1836 static_cast<Instruction::Code>(kMirOpFusedCmplFloat);
1837 break;
1838 case Instruction::CMPL_DOUBLE:
1839 mirNext->dalvikInsn.opcode =
1840 static_cast<Instruction::Code>(kMirOpFusedCmplDouble);
1841 break;
1842 case Instruction::CMPG_FLOAT:
1843 mirNext->dalvikInsn.opcode =
1844 static_cast<Instruction::Code>(kMirOpFusedCmpgFloat);
1845 break;
1846 case Instruction::CMPG_DOUBLE:
1847 mirNext->dalvikInsn.opcode =
1848 static_cast<Instruction::Code>(kMirOpFusedCmpgDouble);
1849 break;
1850 case Instruction::CMP_LONG:
1851 mirNext->dalvikInsn.opcode =
1852 static_cast<Instruction::Code>(kMirOpFusedCmpLong);
1853 break;
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1854 default: LOG(ERROR) << "Unexpected opcode: " << opcode;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1855 }
1856 mir->dalvikInsn.opcode = static_cast<Instruction::Code>(kMirOpNop);
1857 mirNext->ssaRep->numUses = mir->ssaRep->numUses;
1858 mirNext->ssaRep->uses = mir->ssaRep->uses;
1859 mirNext->ssaRep->fpUse = mir->ssaRep->fpUse;
1860 mirNext->ssaRep->numDefs = 0;
1861 mir->ssaRep->numUses = 0;
1862 mir->ssaRep->numDefs = 0;
1863 }
1864 }
1865 break;
1866 default:
1867 break;
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]1868 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1869 }
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]1870
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1871 if (numTemps > cUnit->numCompilerTemps) {
1872 cUnit->numCompilerTemps = numTemps;
1873 }
1874 return true;
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]1875}
1876
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1877static bool NullCheckEliminationInit(struct CompilationUnit* cUnit, struct BasicBlock* bb)
buzbee43a36422011-09-14 14:00:13 -0700[diff] [blame]1878{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1879 if (bb->dataFlowInfo == NULL) return false;
1880 bb->dataFlowInfo->endingNullCheckV =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1881 AllocBitVector(cUnit, cUnit->numSSARegs, false, kBitMapNullCheck);
1882 ClearAllBits(bb->dataFlowInfo->endingNullCheckV);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]1883 return true;
buzbee43a36422011-09-14 14:00:13 -0700[diff] [blame]1884}
1885
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]1886/* Collect stats on number of checks removed */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1887static bool CountChecks( struct CompilationUnit* cUnit, struct BasicBlock* bb)
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]1888{
1889 if (bb->dataFlowInfo == NULL) return false;
1890 for (MIR* mir = bb->firstMIRInsn; mir; mir = mir->next) {
1891 if (mir->ssaRep == NULL) {
1892 continue;
1893 }
1894 int dfAttributes = oatDataFlowAttributes[mir->dalvikInsn.opcode];
1895 if (dfAttributes & DF_HAS_NULL_CHKS) {
1896 cUnit->checkstats->nullChecks++;
1897 if (mir->optimizationFlags & MIR_IGNORE_NULL_CHECK) {
1898 cUnit->checkstats->nullChecksEliminated++;
1899 }
1900 }
1901 if (dfAttributes & DF_HAS_RANGE_CHKS) {
1902 cUnit->checkstats->rangeChecks++;
1903 if (mir->optimizationFlags & MIR_IGNORE_RANGE_CHECK) {
1904 cUnit->checkstats->rangeChecksEliminated++;
1905 }
1906 }
1907 }
1908 return false;
1909}
1910
buzbee0967a252012-09-14 10:43:54 -0700[diff] [blame]1911/* Try to make common case the fallthrough path */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1912static bool LayoutBlocks(struct CompilationUnit* cUnit, struct BasicBlock* bb)
buzbee0967a252012-09-14 10:43:54 -0700[diff] [blame]1913{
1914 // TODO: For now, just looking for direct throws. Consider generalizing for profile feedback
1915 if (!bb->explicitThrow) {
1916 return false;
1917 }
1918 BasicBlock* walker = bb;
1919 while (true) {
1920 // Check termination conditions
1921 if ((walker->blockType == kEntryBlock) || (walker->predecessors->numUsed != 1)) {
1922 break;
1923 }
1924 BasicBlock* prev = GET_ELEM_N(walker->predecessors, BasicBlock*, 0);
1925 if (prev->conditionalBranch) {
1926 if (prev->fallThrough == walker) {
1927 // Already done - return
1928 break;
1929 }
1930 DCHECK_EQ(walker, prev->taken);
1931 // Got one. Flip it and exit
1932 Instruction::Code opcode = prev->lastMIRInsn->dalvikInsn.opcode;
1933 switch (opcode) {
1934 case Instruction::IF_EQ: opcode = Instruction::IF_NE; break;
1935 case Instruction::IF_NE: opcode = Instruction::IF_EQ; break;
1936 case Instruction::IF_LT: opcode = Instruction::IF_GE; break;
1937 case Instruction::IF_GE: opcode = Instruction::IF_LT; break;
1938 case Instruction::IF_GT: opcode = Instruction::IF_LE; break;
1939 case Instruction::IF_LE: opcode = Instruction::IF_GT; break;
1940 case Instruction::IF_EQZ: opcode = Instruction::IF_NEZ; break;
1941 case Instruction::IF_NEZ: opcode = Instruction::IF_EQZ; break;
1942 case Instruction::IF_LTZ: opcode = Instruction::IF_GEZ; break;
1943 case Instruction::IF_GEZ: opcode = Instruction::IF_LTZ; break;
1944 case Instruction::IF_GTZ: opcode = Instruction::IF_LEZ; break;
1945 case Instruction::IF_LEZ: opcode = Instruction::IF_GTZ; break;
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1946 default: LOG(FATAL) << "Unexpected opcode " << opcode;
buzbee0967a252012-09-14 10:43:54 -0700[diff] [blame]1947 }
1948 prev->lastMIRInsn->dalvikInsn.opcode = opcode;
1949 BasicBlock* tBB = prev->taken;
1950 prev->taken = prev->fallThrough;
1951 prev->fallThrough = tBB;
1952 break;
1953 }
1954 walker = prev;
1955 }
1956 return false;
1957}
1958
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]1959/* Combine any basic blocks terminated by instructions that we now know can't throw */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]1960static bool CombineBlocks(struct CompilationUnit* cUnit, struct BasicBlock* bb)
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]1961{
1962 // Loop here to allow combining a sequence of blocks
1963 while (true) {
1964 // Check termination conditions
1965 if ((bb->firstMIRInsn == NULL)
1966 || (bb->dataFlowInfo == NULL)
1967 || (bb->blockType == kExceptionHandling)
1968 || (bb->blockType == kExitBlock)
1969 || (bb->blockType == kDead)
1970 || ((bb->taken == NULL) || (bb->taken->blockType != kExceptionHandling))
1971 || (bb->successorBlockList.blockListType != kNotUsed)
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]1972 || (static_cast<int>(bb->lastMIRInsn->dalvikInsn.opcode) != kMirOpCheck)) {
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]1973 break;
1974 }
1975
1976 // Test the kMirOpCheck instruction
1977 MIR* mir = bb->lastMIRInsn;
1978 // Grab the attributes from the paired opcode
1979 MIR* throwInsn = mir->meta.throwInsn;
1980 int dfAttributes = oatDataFlowAttributes[throwInsn->dalvikInsn.opcode];
buzbee0967a252012-09-14 10:43:54 -0700[diff] [blame]1981 bool canCombine = true;
1982 if (dfAttributes & DF_HAS_NULL_CHKS) {
1983 canCombine &= ((throwInsn->optimizationFlags & MIR_IGNORE_NULL_CHECK) != 0);
1984 }
1985 if (dfAttributes & DF_HAS_RANGE_CHKS) {
1986 canCombine &= ((throwInsn->optimizationFlags & MIR_IGNORE_RANGE_CHECK) != 0);
1987 }
1988 if (!canCombine) {
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]1989 break;
1990 }
1991 // OK - got one. Combine
1992 BasicBlock* bbNext = bb->fallThrough;
1993 DCHECK(!bbNext->catchEntry);
1994 DCHECK_EQ(bbNext->predecessors->numUsed, 1U);
1995 MIR* tMir = bb->lastMIRInsn->prev;
1996 // Overwrite the kOpCheck insn with the paired opcode
1997 DCHECK_EQ(bbNext->firstMIRInsn, throwInsn);
1998 *bb->lastMIRInsn = *throwInsn;
1999 bb->lastMIRInsn->prev = tMir;
2000 // Use the successor info from the next block
2001 bb->successorBlockList = bbNext->successorBlockList;
2002 // Use the ending block linkage from the next block
2003 bb->fallThrough = bbNext->fallThrough;
2004 bb->taken->blockType = kDead; // Kill the unused exception block
2005 bb->taken = bbNext->taken;
2006 // Include the rest of the instructions
2007 bb->lastMIRInsn = bbNext->lastMIRInsn;
2008
2009 /*
2010 * NOTE: we aren't updating all dataflow info here. Should either make sure this pass
2011 * happens after uses of iDominated, domFrontier or update the dataflow info here.
2012 */
2013
2014 // Kill bbNext and remap now-dead id to parent
2015 bbNext->blockType = kDead;
2016 cUnit->blockIdMap.Overwrite(bbNext->id, bb->id);
2017
2018 // Now, loop back and see if we can keep going
2019 }
2020 return false;
2021}
2022
buzbee43a36422011-09-14 14:00:13 -0700[diff] [blame]2023/* Eliminate unnecessary null checks for a basic block. */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2024static bool EliminateNullChecks( struct CompilationUnit* cUnit, struct BasicBlock* bb)
buzbee43a36422011-09-14 14:00:13 -0700[diff] [blame]2025{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2026 if (bb->dataFlowInfo == NULL) return false;
2027
2028 /*
2029 * Set initial state. Be conservative with catch
2030 * blocks and start with no assumptions about null check
2031 * status (except for "this").
2032 */
2033 if ((bb->blockType == kEntryBlock) | bb->catchEntry) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2034 ClearAllBits(cUnit->tempSSARegisterV);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2035 if ((cUnit->access_flags & kAccStatic) == 0) {
2036 // If non-static method, mark "this" as non-null
2037 int thisReg = cUnit->numDalvikRegisters - cUnit->numIns;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2038 SetBit(cUnit, cUnit->tempSSARegisterV, thisReg);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2039 }
2040 } else {
2041 // Starting state is intesection of all incoming arcs
2042 GrowableListIterator iter;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2043 GrowableListIteratorInit(bb->predecessors, &iter);
2044 BasicBlock* predBB = reinterpret_cast<BasicBlock*>(GrowableListIteratorNext(&iter));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2045 DCHECK(predBB != NULL);
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2046 CopyBitVector(cUnit->tempSSARegisterV,
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2047 predBB->dataFlowInfo->endingNullCheckV);
2048 while (true) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2049 predBB = reinterpret_cast<BasicBlock*>(GrowableListIteratorNext(&iter));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2050 if (!predBB) break;
2051 if ((predBB->dataFlowInfo == NULL) ||
2052 (predBB->dataFlowInfo->endingNullCheckV == NULL)) {
2053 continue;
2054 }
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2055 IntersectBitVectors(cUnit->tempSSARegisterV,
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2056 cUnit->tempSSARegisterV,
2057 predBB->dataFlowInfo->endingNullCheckV);
2058 }
2059 }
2060
2061 // Walk through the instruction in the block, updating as necessary
2062 for (MIR* mir = bb->firstMIRInsn; mir; mir = mir->next) {
2063 if (mir->ssaRep == NULL) {
2064 continue;
2065 }
2066 int dfAttributes = oatDataFlowAttributes[mir->dalvikInsn.opcode];
2067
2068 // Mark target of NEW* as non-null
2069 if (dfAttributes & DF_NON_NULL_DST) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2070 SetBit(cUnit, cUnit->tempSSARegisterV, mir->ssaRep->defs[0]);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2071 }
2072
2073 // Mark non-null returns from invoke-style NEW*
2074 if (dfAttributes & DF_NON_NULL_RET) {
2075 MIR* nextMir = mir->next;
2076 // Next should be an MOVE_RESULT_OBJECT
2077 if (nextMir &&
2078 nextMir->dalvikInsn.opcode == Instruction::MOVE_RESULT_OBJECT) {
2079 // Mark as null checked
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2080 SetBit(cUnit, cUnit->tempSSARegisterV, nextMir->ssaRep->defs[0]);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2081 } else {
2082 if (nextMir) {
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]2083 LOG(WARNING) << "Unexpected opcode following new: " << nextMir->dalvikInsn.opcode;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2084 } else if (bb->fallThrough) {
2085 // Look in next basic block
2086 struct BasicBlock* nextBB = bb->fallThrough;
2087 for (MIR* tmir = nextBB->firstMIRInsn; tmir;
2088 tmir =tmir->next) {
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]2089 if (static_cast<int>(tmir->dalvikInsn.opcode) >= static_cast<int>(kMirOpFirst)) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2090 continue;
2091 }
2092 // First non-pseudo should be MOVE_RESULT_OBJECT
2093 if (tmir->dalvikInsn.opcode == Instruction::MOVE_RESULT_OBJECT) {
2094 // Mark as null checked
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2095 SetBit(cUnit, cUnit->tempSSARegisterV, tmir->ssaRep->defs[0]);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2096 } else {
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]2097 LOG(WARNING) << "Unexpected op after new: " << tmir->dalvikInsn.opcode;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2098 }
2099 break;
2100 }
2101 }
2102 }
2103 }
buzbee5abfa3e2012-01-31 17:01:43 -0800[diff] [blame]2104
buzbee43a36422011-09-14 14:00:13 -0700[diff] [blame]2105 /*
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2106 * Propagate nullcheck state on register copies (including
2107 * Phi pseudo copies. For the latter, nullcheck state is
2108 * the "and" of all the Phi's operands.
buzbee43a36422011-09-14 14:00:13 -0700[diff] [blame]2109 */
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2110 if (dfAttributes & (DF_NULL_TRANSFER_0 | DF_NULL_TRANSFER_N)) {
2111 int tgtSreg = mir->ssaRep->defs[0];
2112 int operands = (dfAttributes & DF_NULL_TRANSFER_0) ? 1 :
2113 mir->ssaRep->numUses;
2114 bool nullChecked = true;
2115 for (int i = 0; i < operands; i++) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2116 nullChecked &= IsBitSet(cUnit->tempSSARegisterV,
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2117 mir->ssaRep->uses[i]);
2118 }
2119 if (nullChecked) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2120 SetBit(cUnit, cUnit->tempSSARegisterV, tgtSreg);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2121 }
buzbee43a36422011-09-14 14:00:13 -0700[diff] [blame]2122 }
2123
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2124 // Already nullchecked?
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]2125 if ((dfAttributes & DF_HAS_NULL_CHKS) && !(mir->optimizationFlags & MIR_IGNORE_NULL_CHECK)) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2126 int srcIdx;
2127 if (dfAttributes & DF_NULL_CHK_1) {
2128 srcIdx = 1;
2129 } else if (dfAttributes & DF_NULL_CHK_2) {
2130 srcIdx = 2;
2131 } else {
2132 srcIdx = 0;
2133 }
2134 int srcSreg = mir->ssaRep->uses[srcIdx];
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2135 if (IsBitSet(cUnit->tempSSARegisterV, srcSreg)) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2136 // Eliminate the null check
2137 mir->optimizationFlags |= MIR_IGNORE_NULL_CHECK;
2138 } else {
2139 // Mark sReg as null-checked
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2140 SetBit(cUnit, cUnit->tempSSARegisterV, srcSreg);
buzbee43a36422011-09-14 14:00:13 -0700[diff] [blame]2141 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2142 }
2143 }
buzbee43a36422011-09-14 14:00:13 -0700[diff] [blame]2144
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2145 // Did anything change?
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2146 bool res = CompareBitVectors(bb->dataFlowInfo->endingNullCheckV,
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2147 cUnit->tempSSARegisterV);
2148 if (res) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2149 CopyBitVector(bb->dataFlowInfo->endingNullCheckV,
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2150 cUnit->tempSSARegisterV);
2151 }
2152 return res;
buzbee43a36422011-09-14 14:00:13 -0700[diff] [blame]2153}
2154
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2155void NullCheckElimination(CompilationUnit *cUnit)
buzbee43a36422011-09-14 14:00:13 -0700[diff] [blame]2156{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2157 if (!(cUnit->disableOpt & (1 << kNullCheckElimination))) {
2158 DCHECK(cUnit->tempSSARegisterV != NULL);
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2159 DataFlowAnalysisDispatcher(cUnit, NullCheckEliminationInit, kAllNodes,
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2160 false /* isIterative */);
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2161 DataFlowAnalysisDispatcher(cUnit, EliminateNullChecks,
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2162 kPreOrderDFSTraversal,
2163 true /* isIterative */);
2164 }
buzbee43a36422011-09-14 14:00:13 -0700[diff] [blame]2165}
Elliott Hughes11d1b0c2012-01-23 16:57:47 -0800[diff] [blame]2166
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2167void BasicBlockCombine(CompilationUnit* cUnit)
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]2168{
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2169 DataFlowAnalysisDispatcher(cUnit, CombineBlocks, kPreOrderDFSTraversal, false);
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]2170}
2171
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2172void CodeLayout(CompilationUnit* cUnit)
buzbee0967a252012-09-14 10:43:54 -0700[diff] [blame]2173{
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2174 DataFlowAnalysisDispatcher(cUnit, LayoutBlocks, kAllNodes, false);
buzbee0967a252012-09-14 10:43:54 -0700[diff] [blame]2175}
2176
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2177void DumpCheckStats(CompilationUnit *cUnit)
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]2178{
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]2179 Checkstats* stats =
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2180 static_cast<Checkstats*>(NewMem(cUnit, sizeof(Checkstats), true, kAllocDFInfo));
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]2181 cUnit->checkstats = stats;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2182 DataFlowAnalysisDispatcher(cUnit, CountChecks, kAllNodes, false /* isIterative */);
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]2183 if (stats->nullChecks > 0) {
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]2184 float eliminated = static_cast<float>(stats->nullChecksEliminated);
2185 float checks = static_cast<float>(stats->nullChecks);
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]2186 LOG(INFO) << "Null Checks: " << PrettyMethod(cUnit->method_idx, *cUnit->dex_file) << " "
2187 << stats->nullChecksEliminated << " of " << stats->nullChecks << " -> "
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]2188 << (eliminated/checks) * 100.0 << "%";
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]2189 }
2190 if (stats->rangeChecks > 0) {
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]2191 float eliminated = static_cast<float>(stats->rangeChecksEliminated);
2192 float checks = static_cast<float>(stats->rangeChecks);
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]2193 LOG(INFO) << "Range Checks: " << PrettyMethod(cUnit->method_idx, *cUnit->dex_file) << " "
2194 << stats->rangeChecksEliminated << " of " << stats->rangeChecks << " -> "
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]2195 << (eliminated/checks) * 100.0 << "%";
buzbeed1643e42012-09-05 14:06:51 -0700[diff] [blame]2196 }
2197}
2198
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2199void BasicBlockOptimization(CompilationUnit *cUnit)
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]2200{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2201 if (!(cUnit->disableOpt & (1 << kBBOpt))) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2202 CompilerInitGrowableList(cUnit, &cUnit->compilerTemps, 6, kListMisc);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2203 DCHECK_EQ(cUnit->numCompilerTemps, 0);
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2204 DataFlowAnalysisDispatcher(cUnit, BasicBlockOpt,
buzbeeca7a5e42012-08-20 11:12:18 -0700[diff] [blame]2205 kAllNodes, false /* isIterative */);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2206 }
buzbeee1965672012-03-11 18:39:19 -0700[diff] [blame]2207}
2208
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2209static void AddLoopHeader(CompilationUnit* cUnit, BasicBlock* header,
2210 BasicBlock* backEdge)
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2211{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2212 GrowableListIterator iter;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2213 GrowableListIteratorInit(&cUnit->loopHeaders, &iter);
2214 for (LoopInfo* loop = reinterpret_cast<LoopInfo*>(GrowableListIteratorNext(&iter));
2215 (loop != NULL); loop = reinterpret_cast<LoopInfo*>(GrowableListIteratorNext(&iter))) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2216 if (loop->header == header) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2217 InsertGrowableList(cUnit, &loop->incomingBackEdges,
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]2218 reinterpret_cast<uintptr_t>(backEdge));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2219 return;
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2220 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2221 }
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2222 LoopInfo* info = static_cast<LoopInfo*>(NewMem(cUnit, sizeof(LoopInfo), true, kAllocDFInfo));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2223 info->header = header;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2224 CompilerInitGrowableList(cUnit, &info->incomingBackEdges, 2, kListMisc);
2225 InsertGrowableList(cUnit, &info->incomingBackEdges, reinterpret_cast<uintptr_t>(backEdge));
2226 InsertGrowableList(cUnit, &cUnit->loopHeaders, reinterpret_cast<uintptr_t>(info));
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2227}
2228
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2229static bool FindBackEdges(struct CompilationUnit* cUnit, struct BasicBlock* bb)
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2230{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2231 if ((bb->dataFlowInfo == NULL) || (bb->lastMIRInsn == NULL)) {
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2232 return false;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2233 }
2234 Instruction::Code opcode = bb->lastMIRInsn->dalvikInsn.opcode;
Ian Rogersa75a0132012-09-28 11:41:42 -0700[diff] [blame]2235 if (Instruction::FlagsOf(opcode) & Instruction::kBranch) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2236 if (bb->taken && (bb->taken->startOffset <= bb->startOffset)) {
2237 DCHECK(bb->dominators != NULL);
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2238 if (IsBitSet(bb->dominators, bb->taken->id)) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2239 if (cUnit->printMe) {
2240 LOG(INFO) << "Loop backedge from 0x"
2241 << std::hex << bb->lastMIRInsn->offset
2242 << " to 0x" << std::hex << bb->taken->startOffset;
2243 }
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2244 AddLoopHeader(cUnit, bb->taken, bb);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2245 }
2246 }
2247 }
2248 return false;
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2249}
2250
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2251static void AddBlocksToLoop(CompilationUnit* cUnit, ArenaBitVector* blocks,
2252 BasicBlock* bb, int headId)
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2253{
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2254 if (!IsBitSet(bb->dominators, headId) ||
2255 IsBitSet(blocks, bb->id)) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2256 return;
2257 }
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2258 SetBit(cUnit, blocks, bb->id);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2259 GrowableListIterator iter;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2260 GrowableListIteratorInit(bb->predecessors, &iter);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2261 BasicBlock* predBB;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2262 for (predBB = reinterpret_cast<BasicBlock*>(GrowableListIteratorNext(&iter)); predBB;
2263 predBB = reinterpret_cast<BasicBlock*>(GrowableListIteratorNext(&iter))) {
2264 AddBlocksToLoop(cUnit, blocks, predBB, headId);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2265 }
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2266}
2267
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2268static void DumpLoops(CompilationUnit *cUnit)
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2269{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2270 GrowableListIterator iter;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2271 GrowableListIteratorInit(&cUnit->loopHeaders, &iter);
2272 for (LoopInfo* loop = reinterpret_cast<LoopInfo*>(GrowableListIteratorNext(&iter));
2273 (loop != NULL); loop = reinterpret_cast<LoopInfo*>(GrowableListIteratorNext(&iter))) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2274 LOG(INFO) << "Loop head block id " << loop->header->id
2275 << ", offset 0x" << std::hex << loop->header->startOffset
2276 << ", Depth: " << loop->header->nestingDepth;
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2277 GrowableListIterator iter;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2278 GrowableListIteratorInit(&loop->incomingBackEdges, &iter);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2279 BasicBlock* edgeBB;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2280 for (edgeBB = reinterpret_cast<BasicBlock*>(GrowableListIteratorNext(&iter)); edgeBB;
2281 edgeBB = reinterpret_cast<BasicBlock*>(GrowableListIteratorNext(&iter))) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2282 LOG(INFO) << " Backedge block id " << edgeBB->id
2283 << ", offset 0x" << std::hex << edgeBB->startOffset;
2284 ArenaBitVectorIterator bIter;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2285 BitVectorIteratorInit(loop->blocks, &bIter);
2286 for (int bbId = BitVectorIteratorNext(&bIter); bbId != -1;
2287 bbId = BitVectorIteratorNext(&bIter)) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2288 BasicBlock *bb;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2289 bb = reinterpret_cast<BasicBlock*>(GrowableListGetElement(&cUnit->blockList, bbId));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2290 LOG(INFO) << " (" << bb->id << ", 0x" << std::hex
2291 << bb->startOffset << ")";
2292 }
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2293 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2294 }
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2295}
2296
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2297void LoopDetection(CompilationUnit *cUnit)
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2298{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2299 if (cUnit->disableOpt & (1 << kPromoteRegs)) {
2300 return;
2301 }
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2302 CompilerInitGrowableList(cUnit, &cUnit->loopHeaders, 6, kListMisc);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2303 // Find the loop headers
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2304 DataFlowAnalysisDispatcher(cUnit, FindBackEdges, kAllNodes, false /* isIterative */);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2305 GrowableListIterator iter;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2306 GrowableListIteratorInit(&cUnit->loopHeaders, &iter);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2307 // Add blocks to each header
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2308 for (LoopInfo* loop = reinterpret_cast<LoopInfo*>(GrowableListIteratorNext(&iter));
2309 loop; loop = reinterpret_cast<LoopInfo*>(GrowableListIteratorNext(&iter))) {
2310 loop->blocks = AllocBitVector(cUnit, cUnit->numBlocks, true,
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2311 kBitMapMisc);
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2312 SetBit(cUnit, loop->blocks, loop->header->id);
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2313 GrowableListIterator iter;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2314 GrowableListIteratorInit(&loop->incomingBackEdges, &iter);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2315 BasicBlock* edgeBB;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2316 for (edgeBB = reinterpret_cast<BasicBlock*>(GrowableListIteratorNext(&iter)); edgeBB;
2317 edgeBB = reinterpret_cast<BasicBlock*>(GrowableListIteratorNext(&iter))) {
2318 AddBlocksToLoop(cUnit, loop->blocks, edgeBB, loop->header->id);
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2319 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2320 }
2321 // Compute the nesting depth of each header
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2322 GrowableListIteratorInit(&cUnit->loopHeaders, &iter);
2323 for (LoopInfo* loop = reinterpret_cast<LoopInfo*>(GrowableListIteratorNext(&iter));
2324 loop; loop = reinterpret_cast<LoopInfo*>(GrowableListIteratorNext(&iter))) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2325 GrowableListIterator iter2;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2326 GrowableListIteratorInit(&cUnit->loopHeaders, &iter2);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2327 LoopInfo* loop2;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2328 for (loop2 = reinterpret_cast<LoopInfo*>(GrowableListIteratorNext(&iter2));
2329 loop2; loop2 = reinterpret_cast<LoopInfo*>(GrowableListIteratorNext(&iter2))) {
2330 if (IsBitSet(loop2->blocks, loop->header->id)) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2331 loop->header->nestingDepth++;
2332 }
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2333 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2334 }
2335 // Assign nesting depth to each block in all loops
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2336 GrowableListIteratorInit(&cUnit->loopHeaders, &iter);
2337 for (LoopInfo* loop = reinterpret_cast<LoopInfo*>(GrowableListIteratorNext(&iter));
2338 (loop != NULL); loop = reinterpret_cast<LoopInfo*>(GrowableListIteratorNext(&iter))) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2339 ArenaBitVectorIterator bIter;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2340 BitVectorIteratorInit(loop->blocks, &bIter);
2341 for (int bbId = BitVectorIteratorNext(&bIter); bbId != -1;
2342 bbId = BitVectorIteratorNext(&bIter)) {
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2343 BasicBlock *bb;
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2344 bb = reinterpret_cast<BasicBlock*>(GrowableListGetElement(&cUnit->blockList, bbId));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2345 bb->nestingDepth = std::max(bb->nestingDepth,
2346 loop->header->nestingDepth);
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2347 }
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2348 }
2349 if (cUnit->printMe) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2350 DumpLoops(cUnit);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2351 }
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2352}
2353
2354/*
buzbee9c044ce2012-03-18 13:24:07 -0700[diff] [blame]2355 * This function will make a best guess at whether the invoke will
2356 * end up using Method*. It isn't critical to get it exactly right,
2357 * and attempting to do would involve more complexity than it's
2358 * worth.
2359 */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2360static bool InvokeUsesMethodStar(CompilationUnit* cUnit, MIR* mir)
buzbee9c044ce2012-03-18 13:24:07 -0700[diff] [blame]2361{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2362 InvokeType type;
2363 Instruction::Code opcode = mir->dalvikInsn.opcode;
2364 switch (opcode) {
2365 case Instruction::INVOKE_STATIC:
2366 case Instruction::INVOKE_STATIC_RANGE:
2367 type = kStatic;
2368 break;
2369 case Instruction::INVOKE_DIRECT:
2370 case Instruction::INVOKE_DIRECT_RANGE:
2371 type = kDirect;
2372 break;
2373 case Instruction::INVOKE_VIRTUAL:
2374 case Instruction::INVOKE_VIRTUAL_RANGE:
2375 type = kVirtual;
2376 break;
2377 case Instruction::INVOKE_INTERFACE:
2378 case Instruction::INVOKE_INTERFACE_RANGE:
2379 return false;
2380 case Instruction::INVOKE_SUPER_RANGE:
2381 case Instruction::INVOKE_SUPER:
2382 type = kSuper;
2383 break;
2384 default:
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]2385 LOG(WARNING) << "Unexpected invoke op: " << opcode;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2386 return false;
2387 }
2388 OatCompilationUnit mUnit(cUnit->class_loader, cUnit->class_linker,
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700[diff] [blame]2389 *cUnit->dex_file,
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2390 cUnit->code_item, cUnit->method_idx,
2391 cUnit->access_flags);
2392 // TODO: add a flag so we don't counts the stats for this twice
2393 uint32_t dexMethodIdx = mir->dalvikInsn.vB;
2394 int vtableIdx;
2395 uintptr_t directCode;
2396 uintptr_t directMethod;
2397 bool fastPath =
2398 cUnit->compiler->ComputeInvokeInfo(dexMethodIdx, &mUnit, type,
2399 vtableIdx, directCode,
2400 directMethod) &&
2401 !SLOW_INVOKE_PATH;
2402 return (((type == kDirect) || (type == kStatic)) &&
2403 fastPath && ((directCode == 0) || (directMethod == 0)));
buzbee9c044ce2012-03-18 13:24:07 -0700[diff] [blame]2404}
2405
2406/*
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2407 * Count uses, weighting by loop nesting depth. This code only
2408 * counts explicitly used sRegs. A later phase will add implicit
2409 * counts for things such as Method*, null-checked references, etc.
2410 */
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2411static bool CountUses(struct CompilationUnit* cUnit, struct BasicBlock* bb)
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2412{
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2413 if (bb->blockType != kDalvikByteCode) {
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2414 return false;
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2415 }
2416 for (MIR* mir = bb->firstMIRInsn; (mir != NULL); mir = mir->next) {
2417 if (mir->ssaRep == NULL) {
2418 continue;
2419 }
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]2420 uint32_t weight = std::min(16U, static_cast<uint32_t>(bb->nestingDepth));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2421 for (int i = 0; i < mir->ssaRep->numUses; i++) {
2422 int sReg = mir->ssaRep->uses[i];
buzbeecbd6d442012-11-17 14:11:25 -0800[diff] [blame]2423 DCHECK_LT(sReg, static_cast<int>(cUnit->useCounts.numUsed));
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2424 cUnit->rawUseCounts.elemList[sReg]++;
2425 cUnit->useCounts.elemList[sReg] += (1 << weight);
2426 }
2427 if (!(cUnit->disableOpt & (1 << kPromoteCompilerTemps))) {
2428 int dfAttributes = oatDataFlowAttributes[mir->dalvikInsn.opcode];
2429 // Implicit use of Method* ? */
2430 if (dfAttributes & DF_UMS) {
2431 /*
2432 * Some invokes will not use Method* - need to perform test similar
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2433 * to that found in GenInvoke() to decide whether to count refs
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2434 * for Method* on invoke-class opcodes.
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2435 * TODO: refactor for common test here, save results for GenInvoke
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2436 */
2437 int usesMethodStar = true;
2438 if ((dfAttributes & (DF_FORMAT_35C | DF_FORMAT_3RC)) &&
2439 !(dfAttributes & DF_NON_NULL_RET)) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2440 usesMethodStar &= InvokeUsesMethodStar(cUnit, mir);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2441 }
2442 if (usesMethodStar) {
2443 cUnit->rawUseCounts.elemList[cUnit->methodSReg]++;
2444 cUnit->useCounts.elemList[cUnit->methodSReg] += (1 << weight);
2445 }
2446 }
2447 }
2448 }
2449 return false;
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2450}
2451
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2452void MethodUseCount(CompilationUnit *cUnit)
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2453{
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2454 CompilerInitGrowableList(cUnit, &cUnit->useCounts, cUnit->numSSARegs + 32, kListMisc);
2455 CompilerInitGrowableList(cUnit, &cUnit->rawUseCounts, cUnit->numSSARegs + 32, kListMisc);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2456 // Initialize list
2457 for (int i = 0; i < cUnit->numSSARegs; i++) {
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2458 InsertGrowableList(cUnit, &cUnit->useCounts, 0);
2459 InsertGrowableList(cUnit, &cUnit->rawUseCounts, 0);
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2460 }
2461 if (cUnit->disableOpt & (1 << kPromoteRegs)) {
2462 return;
2463 }
buzbee52a77fc2012-11-20 19:50:46 -0800[diff] [blame]2464 DataFlowAnalysisDispatcher(cUnit, CountUses,
Bill Buzbeea114add2012-05-03 15:00:40 -0700[diff] [blame]2465 kAllNodes, false /* isIterative */);
buzbee239c4e72012-03-16 08:42:29 -0700[diff] [blame]2466}
2467
Elliott Hughes11d1b0c2012-01-23 16:57:47 -0800[diff] [blame]2468} // namespace art