xref: /aosp_15_r20/art/libdexfile/dex/primitive.h (revision 795d594fd825385562da6b089ea9b2033f3abf5a)
1*795d594fSAndroid Build Coastguard Worker /*
2*795d594fSAndroid Build Coastguard Worker  * Copyright (C) 2011 The Android Open Source Project
3*795d594fSAndroid Build Coastguard Worker  *
4*795d594fSAndroid Build Coastguard Worker  * Licensed under the Apache License, Version 2.0 (the "License");
5*795d594fSAndroid Build Coastguard Worker  * you may not use this file except in compliance with the License.
6*795d594fSAndroid Build Coastguard Worker  * You may obtain a copy of the License at
7*795d594fSAndroid Build Coastguard Worker  *
8*795d594fSAndroid Build Coastguard Worker  *      http://www.apache.org/licenses/LICENSE-2.0
9*795d594fSAndroid Build Coastguard Worker  *
10*795d594fSAndroid Build Coastguard Worker  * Unless required by applicable law or agreed to in writing, software
11*795d594fSAndroid Build Coastguard Worker  * distributed under the License is distributed on an "AS IS" BASIS,
12*795d594fSAndroid Build Coastguard Worker  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13*795d594fSAndroid Build Coastguard Worker  * See the License for the specific language governing permissions and
14*795d594fSAndroid Build Coastguard Worker  * limitations under the License.
15*795d594fSAndroid Build Coastguard Worker  */
16*795d594fSAndroid Build Coastguard Worker 
17*795d594fSAndroid Build Coastguard Worker #ifndef ART_LIBDEXFILE_DEX_PRIMITIVE_H_
18*795d594fSAndroid Build Coastguard Worker #define ART_LIBDEXFILE_DEX_PRIMITIVE_H_
19*795d594fSAndroid Build Coastguard Worker 
20*795d594fSAndroid Build Coastguard Worker #include <sys/types.h>
21*795d594fSAndroid Build Coastguard Worker 
22*795d594fSAndroid Build Coastguard Worker #include <android-base/logging.h>
23*795d594fSAndroid Build Coastguard Worker 
24*795d594fSAndroid Build Coastguard Worker #include "base/macros.h"
25*795d594fSAndroid Build Coastguard Worker 
26*795d594fSAndroid Build Coastguard Worker namespace art {
27*795d594fSAndroid Build Coastguard Worker 
28*795d594fSAndroid Build Coastguard Worker static constexpr size_t kObjectReferenceSize = 4;
29*795d594fSAndroid Build Coastguard Worker 
ComponentSizeShiftWidth(size_t component_size)30*795d594fSAndroid Build Coastguard Worker constexpr size_t ComponentSizeShiftWidth(size_t component_size) {
31*795d594fSAndroid Build Coastguard Worker   return component_size == 1u ? 0u :
32*795d594fSAndroid Build Coastguard Worker       component_size == 2u ? 1u :
33*795d594fSAndroid Build Coastguard Worker           component_size == 4u ? 2u :
34*795d594fSAndroid Build Coastguard Worker               component_size == 8u ? 3u : 0u;
35*795d594fSAndroid Build Coastguard Worker }
36*795d594fSAndroid Build Coastguard Worker 
37*795d594fSAndroid Build Coastguard Worker class Primitive {
38*795d594fSAndroid Build Coastguard Worker  public:
39*795d594fSAndroid Build Coastguard Worker   enum Type {
40*795d594fSAndroid Build Coastguard Worker     kPrimNot = 0,
41*795d594fSAndroid Build Coastguard Worker     kPrimBoolean,
42*795d594fSAndroid Build Coastguard Worker     kPrimByte,
43*795d594fSAndroid Build Coastguard Worker     kPrimChar,
44*795d594fSAndroid Build Coastguard Worker     kPrimShort,
45*795d594fSAndroid Build Coastguard Worker     kPrimInt,
46*795d594fSAndroid Build Coastguard Worker     kPrimLong,
47*795d594fSAndroid Build Coastguard Worker     kPrimFloat,
48*795d594fSAndroid Build Coastguard Worker     kPrimDouble,
49*795d594fSAndroid Build Coastguard Worker     kPrimVoid,
50*795d594fSAndroid Build Coastguard Worker     kPrimLast = kPrimVoid
51*795d594fSAndroid Build Coastguard Worker   };
52*795d594fSAndroid Build Coastguard Worker 
GetType(char type)53*795d594fSAndroid Build Coastguard Worker   static constexpr Type GetType(char type) {
54*795d594fSAndroid Build Coastguard Worker     switch (type) {
55*795d594fSAndroid Build Coastguard Worker       case 'B':
56*795d594fSAndroid Build Coastguard Worker         return kPrimByte;
57*795d594fSAndroid Build Coastguard Worker       case 'C':
58*795d594fSAndroid Build Coastguard Worker         return kPrimChar;
59*795d594fSAndroid Build Coastguard Worker       case 'D':
60*795d594fSAndroid Build Coastguard Worker         return kPrimDouble;
61*795d594fSAndroid Build Coastguard Worker       case 'F':
62*795d594fSAndroid Build Coastguard Worker         return kPrimFloat;
63*795d594fSAndroid Build Coastguard Worker       case 'I':
64*795d594fSAndroid Build Coastguard Worker         return kPrimInt;
65*795d594fSAndroid Build Coastguard Worker       case 'J':
66*795d594fSAndroid Build Coastguard Worker         return kPrimLong;
67*795d594fSAndroid Build Coastguard Worker       case 'S':
68*795d594fSAndroid Build Coastguard Worker         return kPrimShort;
69*795d594fSAndroid Build Coastguard Worker       case 'Z':
70*795d594fSAndroid Build Coastguard Worker         return kPrimBoolean;
71*795d594fSAndroid Build Coastguard Worker       case 'V':
72*795d594fSAndroid Build Coastguard Worker         return kPrimVoid;
73*795d594fSAndroid Build Coastguard Worker       default:
74*795d594fSAndroid Build Coastguard Worker         return kPrimNot;
75*795d594fSAndroid Build Coastguard Worker     }
76*795d594fSAndroid Build Coastguard Worker   }
77*795d594fSAndroid Build Coastguard Worker 
ComponentSizeShift(Type type)78*795d594fSAndroid Build Coastguard Worker   static constexpr size_t ComponentSizeShift(Type type) {
79*795d594fSAndroid Build Coastguard Worker     switch (type) {
80*795d594fSAndroid Build Coastguard Worker       case kPrimVoid:
81*795d594fSAndroid Build Coastguard Worker       case kPrimBoolean:
82*795d594fSAndroid Build Coastguard Worker       case kPrimByte:    return 0;
83*795d594fSAndroid Build Coastguard Worker       case kPrimChar:
84*795d594fSAndroid Build Coastguard Worker       case kPrimShort:   return 1;
85*795d594fSAndroid Build Coastguard Worker       case kPrimInt:
86*795d594fSAndroid Build Coastguard Worker       case kPrimFloat:   return 2;
87*795d594fSAndroid Build Coastguard Worker       case kPrimLong:
88*795d594fSAndroid Build Coastguard Worker       case kPrimDouble:  return 3;
89*795d594fSAndroid Build Coastguard Worker       case kPrimNot:     return ComponentSizeShiftWidth(kObjectReferenceSize);
90*795d594fSAndroid Build Coastguard Worker     }
91*795d594fSAndroid Build Coastguard Worker     LOG(FATAL) << "Invalid type " << static_cast<int>(type);
92*795d594fSAndroid Build Coastguard Worker     UNREACHABLE();
93*795d594fSAndroid Build Coastguard Worker   }
94*795d594fSAndroid Build Coastguard Worker 
ComponentSize(Type type)95*795d594fSAndroid Build Coastguard Worker   static constexpr size_t ComponentSize(Type type) {
96*795d594fSAndroid Build Coastguard Worker     switch (type) {
97*795d594fSAndroid Build Coastguard Worker       case kPrimVoid:    return 0;
98*795d594fSAndroid Build Coastguard Worker       case kPrimBoolean:
99*795d594fSAndroid Build Coastguard Worker       case kPrimByte:    return 1;
100*795d594fSAndroid Build Coastguard Worker       case kPrimChar:
101*795d594fSAndroid Build Coastguard Worker       case kPrimShort:   return 2;
102*795d594fSAndroid Build Coastguard Worker       case kPrimInt:
103*795d594fSAndroid Build Coastguard Worker       case kPrimFloat:   return 4;
104*795d594fSAndroid Build Coastguard Worker       case kPrimLong:
105*795d594fSAndroid Build Coastguard Worker       case kPrimDouble:  return 8;
106*795d594fSAndroid Build Coastguard Worker       case kPrimNot:     return kObjectReferenceSize;
107*795d594fSAndroid Build Coastguard Worker     }
108*795d594fSAndroid Build Coastguard Worker     LOG(FATAL) << "Invalid type " << static_cast<int>(type);
109*795d594fSAndroid Build Coastguard Worker     UNREACHABLE();
110*795d594fSAndroid Build Coastguard Worker   }
111*795d594fSAndroid Build Coastguard Worker 
Descriptor(Type type)112*795d594fSAndroid Build Coastguard Worker   static const char* Descriptor(Type type) {
113*795d594fSAndroid Build Coastguard Worker     switch (type) {
114*795d594fSAndroid Build Coastguard Worker       case kPrimBoolean:
115*795d594fSAndroid Build Coastguard Worker         return "Z";
116*795d594fSAndroid Build Coastguard Worker       case kPrimByte:
117*795d594fSAndroid Build Coastguard Worker         return "B";
118*795d594fSAndroid Build Coastguard Worker       case kPrimChar:
119*795d594fSAndroid Build Coastguard Worker         return "C";
120*795d594fSAndroid Build Coastguard Worker       case kPrimShort:
121*795d594fSAndroid Build Coastguard Worker         return "S";
122*795d594fSAndroid Build Coastguard Worker       case kPrimInt:
123*795d594fSAndroid Build Coastguard Worker         return "I";
124*795d594fSAndroid Build Coastguard Worker       case kPrimFloat:
125*795d594fSAndroid Build Coastguard Worker         return "F";
126*795d594fSAndroid Build Coastguard Worker       case kPrimLong:
127*795d594fSAndroid Build Coastguard Worker         return "J";
128*795d594fSAndroid Build Coastguard Worker       case kPrimDouble:
129*795d594fSAndroid Build Coastguard Worker         return "D";
130*795d594fSAndroid Build Coastguard Worker       case kPrimVoid:
131*795d594fSAndroid Build Coastguard Worker         return "V";
132*795d594fSAndroid Build Coastguard Worker       default:
133*795d594fSAndroid Build Coastguard Worker         LOG(FATAL) << "Primitive char conversion on invalid type " << static_cast<int>(type);
134*795d594fSAndroid Build Coastguard Worker         return nullptr;
135*795d594fSAndroid Build Coastguard Worker     }
136*795d594fSAndroid Build Coastguard Worker   }
137*795d594fSAndroid Build Coastguard Worker 
138*795d594fSAndroid Build Coastguard Worker   static const char* PrettyDescriptor(Type type);
139*795d594fSAndroid Build Coastguard Worker 
140*795d594fSAndroid Build Coastguard Worker   // Returns the descriptor corresponding to the boxed type of |type|.
141*795d594fSAndroid Build Coastguard Worker   static const char* BoxedDescriptor(Type type);
142*795d594fSAndroid Build Coastguard Worker 
143*795d594fSAndroid Build Coastguard Worker   // Returns true if |type| is an numeric type.
IsNumericType(Type type)144*795d594fSAndroid Build Coastguard Worker   static constexpr bool IsNumericType(Type type) {
145*795d594fSAndroid Build Coastguard Worker     switch (type) {
146*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimNot: return false;
147*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimBoolean: return false;
148*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimByte: return true;
149*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimChar: return true;
150*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimShort: return true;
151*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimInt: return true;
152*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimLong: return true;
153*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimFloat: return true;
154*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimDouble: return true;
155*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimVoid: return false;
156*795d594fSAndroid Build Coastguard Worker     }
157*795d594fSAndroid Build Coastguard Worker     LOG(FATAL) << "Invalid type " << static_cast<int>(type);
158*795d594fSAndroid Build Coastguard Worker     UNREACHABLE();
159*795d594fSAndroid Build Coastguard Worker   }
160*795d594fSAndroid Build Coastguard Worker 
161*795d594fSAndroid Build Coastguard Worker   // Return trues if |type| is a signed numeric type.
IsSignedNumericType(Type type)162*795d594fSAndroid Build Coastguard Worker   static constexpr bool IsSignedNumericType(Type type) {
163*795d594fSAndroid Build Coastguard Worker     switch (type) {
164*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimNot: return false;
165*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimBoolean: return false;
166*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimByte: return true;
167*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimChar: return false;
168*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimShort: return true;
169*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimInt: return true;
170*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimLong: return true;
171*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimFloat: return true;
172*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimDouble: return true;
173*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimVoid: return false;
174*795d594fSAndroid Build Coastguard Worker     }
175*795d594fSAndroid Build Coastguard Worker     LOG(FATAL) << "Invalid type " << static_cast<int>(type);
176*795d594fSAndroid Build Coastguard Worker     UNREACHABLE();
177*795d594fSAndroid Build Coastguard Worker   }
178*795d594fSAndroid Build Coastguard Worker 
179*795d594fSAndroid Build Coastguard Worker   // Returns the number of bits required to hold the largest
180*795d594fSAndroid Build Coastguard Worker   // positive number that can be represented by |type|.
BitsRequiredForLargestValue(Type type)181*795d594fSAndroid Build Coastguard Worker   static constexpr size_t BitsRequiredForLargestValue(Type type) {
182*795d594fSAndroid Build Coastguard Worker     switch (type) {
183*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimNot: return 0u;
184*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimBoolean: return 1u;
185*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimByte: return 7u;
186*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimChar: return 16u;
187*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimShort: return 15u;
188*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimInt: return 31u;
189*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimLong: return 63u;
190*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimFloat: return 128u;
191*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimDouble: return 1024u;
192*795d594fSAndroid Build Coastguard Worker       case Primitive::Type::kPrimVoid: return 0u;
193*795d594fSAndroid Build Coastguard Worker     }
194*795d594fSAndroid Build Coastguard Worker   }
195*795d594fSAndroid Build Coastguard Worker 
196*795d594fSAndroid Build Coastguard Worker   // Returns true if it is possible to widen type |from| to type |to|. Both |from| and
197*795d594fSAndroid Build Coastguard Worker   // |to| should be numeric primitive types.
IsWidenable(Type from,Type to)198*795d594fSAndroid Build Coastguard Worker   static bool IsWidenable(Type from, Type to) {
199*795d594fSAndroid Build Coastguard Worker     if (!IsNumericType(from) || !IsNumericType(to)) {
200*795d594fSAndroid Build Coastguard Worker       // Widening is only applicable between numeric types.
201*795d594fSAndroid Build Coastguard Worker       return false;
202*795d594fSAndroid Build Coastguard Worker     }
203*795d594fSAndroid Build Coastguard Worker     if (IsSignedNumericType(from) && !IsSignedNumericType(to)) {
204*795d594fSAndroid Build Coastguard Worker       // Nowhere to store the sign bit in |to|.
205*795d594fSAndroid Build Coastguard Worker       return false;
206*795d594fSAndroid Build Coastguard Worker     }
207*795d594fSAndroid Build Coastguard Worker     if (BitsRequiredForLargestValue(from) > BitsRequiredForLargestValue(to)) {
208*795d594fSAndroid Build Coastguard Worker       // The from,to pair corresponds to a narrowing.
209*795d594fSAndroid Build Coastguard Worker       return false;
210*795d594fSAndroid Build Coastguard Worker     }
211*795d594fSAndroid Build Coastguard Worker     return true;
212*795d594fSAndroid Build Coastguard Worker   }
213*795d594fSAndroid Build Coastguard Worker 
Is64BitType(Type type)214*795d594fSAndroid Build Coastguard Worker   static bool Is64BitType(Type type) {
215*795d594fSAndroid Build Coastguard Worker     return type == kPrimLong || type == kPrimDouble;
216*795d594fSAndroid Build Coastguard Worker   }
217*795d594fSAndroid Build Coastguard Worker 
218*795d594fSAndroid Build Coastguard Worker  private:
219*795d594fSAndroid Build Coastguard Worker   DISALLOW_IMPLICIT_CONSTRUCTORS(Primitive);
220*795d594fSAndroid Build Coastguard Worker };
221*795d594fSAndroid Build Coastguard Worker 
222*795d594fSAndroid Build Coastguard Worker std::ostream& operator<<(std::ostream& os, Primitive::Type state);
223*795d594fSAndroid Build Coastguard Worker 
224*795d594fSAndroid Build Coastguard Worker }  // namespace art
225*795d594fSAndroid Build Coastguard Worker 
226*795d594fSAndroid Build Coastguard Worker #endif  // ART_LIBDEXFILE_DEX_PRIMITIVE_H_
227