• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * Copyright (C) 2009 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 
17 #ifndef DALVIK_VM_DATAFLOW_H_
18 #define DALVIK_VM_DATAFLOW_H_
19 
20 #include "Dalvik.h"
21 #include "CompilerInternals.h"
22 
23 typedef enum DataFlowAttributePos {
24     kUA = 0,
25     kUB,
26     kUC,
27     kUAWide,
28     kUBWide,
29     kUCWide,
30     kDA,
31     kDAWide,
32     kIsMove,
33     kIsLinear,
34     kSetsConst,
35     kFormat35c,
36     kFormat3rc,
37     kPhi,
38     kNullNRangeCheck0,
39     kNullNRangeCheck1,
40     kNullNRangeCheck2,
41     kFPA,
42     kFPB,
43     kFPC,
44     kGetter,
45     kSetter,
46 } DataFlowAttributes;
47 
48 #define DF_NOP                  0
49 #define DF_UA                   (1 << kUA)
50 #define DF_UB                   (1 << kUB)
51 #define DF_UC                   (1 << kUC)
52 #define DF_UA_WIDE              (1 << kUAWide)
53 #define DF_UB_WIDE              (1 << kUBWide)
54 #define DF_UC_WIDE              (1 << kUCWide)
55 #define DF_DA                   (1 << kDA)
56 #define DF_DA_WIDE              (1 << kDAWide)
57 #define DF_IS_MOVE              (1 << kIsMove)
58 #define DF_IS_LINEAR            (1 << kIsLinear)
59 #define DF_SETS_CONST           (1 << kSetsConst)
60 #define DF_FORMAT_35C           (1 << kFormat35c)
61 #define DF_FORMAT_3RC           (1 << kFormat3rc)
62 #define DF_PHI                  (1 << kPhi)
63 #define DF_NULL_N_RANGE_CHECK_0 (1 << kNullNRangeCheck0)
64 #define DF_NULL_N_RANGE_CHECK_1 (1 << kNullNRangeCheck1)
65 #define DF_NULL_N_RANGE_CHECK_2 (1 << kNullNRangeCheck2)
66 #define DF_FP_A                 (1 << kFPA)
67 #define DF_FP_B                 (1 << kFPB)
68 #define DF_FP_C                 (1 << kFPC)
69 #define DF_IS_GETTER            (1 << kGetter)
70 #define DF_IS_SETTER            (1 << kSetter)
71 
72 #define DF_HAS_USES             (DF_UA | DF_UB | DF_UC | DF_UA_WIDE | \
73                                  DF_UB_WIDE | DF_UC_WIDE)
74 
75 #define DF_HAS_DEFS             (DF_DA | DF_DA_WIDE)
76 
77 #define DF_HAS_NR_CHECKS        (DF_NULL_N_RANGE_CHECK_0 | \
78                                  DF_NULL_N_RANGE_CHECK_1 | \
79                                  DF_NULL_N_RANGE_CHECK_2)
80 
81 #define DF_A_IS_REG             (DF_UA | DF_UA_WIDE | DF_DA | DF_DA_WIDE)
82 #define DF_B_IS_REG             (DF_UB | DF_UB_WIDE)
83 #define DF_C_IS_REG             (DF_UC | DF_UC_WIDE)
84 #define DF_IS_GETTER_OR_SETTER  (DF_IS_GETTER | DF_IS_SETTER)
85 
86 extern int dvmCompilerDataFlowAttributes[kMirOpLast];
87 
88 typedef struct BasicBlockDataFlow {
89     BitVector *useV;
90     BitVector *defV;
91     BitVector *liveInV;
92     BitVector *phiV;
93     int *dalvikToSSAMap;
94 } BasicBlockDataFlow;
95 
96 typedef struct SSARepresentation {
97     int numUses;
98     int *uses;
99     bool *fpUse;
100     int numDefs;
101     int *defs;
102     bool *fpDef;
103 } SSARepresentation;
104 
105 /*
106  * An induction variable is represented by "m*i + c", where i is a basic
107  * induction variable.
108  */
109 typedef struct InductionVariableInfo {
110     int ssaReg;
111     int basicSSAReg;
112     int m;      // multiplier
113     int c;      // constant
114     int inc;    // loop incriment
115 } InductionVariableInfo;
116 
117 typedef struct ArrayAccessInfo {
118     int arrayReg;
119     int ivReg;
120     int maxC;                   // For DIV - will affect upper bound checking
121     int minC;                   // For DIV - will affect lower bound checking
122 } ArrayAccessInfo;
123 
124 #define ENCODE_REG_SUB(r,s)             ((s<<16) | r)
125 #define DECODE_REG(v)                   (v & 0xffff)
126 #define DECODE_SUB(v)                   (((unsigned int) v) >> 16)
127 
128 #endif  // DALVIK_VM_DATAFLOW_H_
129