blob: 18f45ffe9d96a83640aa3d1b12cb6306df190eef [file] [log] [blame]
Brian Carlstrom6b4ef022011-10-23 14:59:04 -07001/*
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
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_PRIMITIVE_H_
18#define ART_RUNTIME_PRIMITIVE_H_
Brian Carlstrom6b4ef022011-10-23 14:59:04 -070019
20#include <sys/types.h>
21
Elliott Hughes07ed66b2012-12-12 18:34:25 -080022#include "base/logging.h"
Elliott Hughes76160052012-12-12 16:31:20 -080023#include "base/macros.h"
Brian Carlstrom6b4ef022011-10-23 14:59:04 -070024
25namespace art {
Ian Rogers68d8b422014-07-17 11:09:10 -070026
27static constexpr size_t kObjectReferenceSize = 4;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -070028
Mathieu Chartierc7853442015-03-27 14:35:38 -070029constexpr size_t ComponentSizeShiftWidth(size_t component_size) {
30 return component_size == 1u ? 0u :
31 component_size == 2u ? 1u :
32 component_size == 4u ? 2u :
33 component_size == 8u ? 3u : 0u;
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -070034}
35
Brian Carlstrom6b4ef022011-10-23 14:59:04 -070036class Primitive {
37 public:
38 enum Type {
39 kPrimNot = 0,
40 kPrimBoolean,
41 kPrimByte,
42 kPrimChar,
43 kPrimShort,
44 kPrimInt,
45 kPrimLong,
46 kPrimFloat,
47 kPrimDouble,
48 kPrimVoid,
Vladimir Markoa1de9182016-02-25 11:37:38 +000049 kPrimLast = kPrimVoid
Brian Carlstrom6b4ef022011-10-23 14:59:04 -070050 };
51
52 static Type GetType(char type) {
53 switch (type) {
54 case 'B':
55 return kPrimByte;
56 case 'C':
57 return kPrimChar;
58 case 'D':
59 return kPrimDouble;
60 case 'F':
61 return kPrimFloat;
62 case 'I':
63 return kPrimInt;
64 case 'J':
65 return kPrimLong;
66 case 'S':
67 return kPrimShort;
68 case 'Z':
69 return kPrimBoolean;
70 case 'V':
71 return kPrimVoid;
72 default:
73 return kPrimNot;
74 }
75 }
76
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -070077 static size_t ComponentSizeShift(Type type) {
78 switch (type) {
79 case kPrimVoid:
80 case kPrimBoolean:
81 case kPrimByte: return 0;
82 case kPrimChar:
83 case kPrimShort: return 1;
84 case kPrimInt:
85 case kPrimFloat: return 2;
86 case kPrimLong:
87 case kPrimDouble: return 3;
Mathieu Chartierc7853442015-03-27 14:35:38 -070088 case kPrimNot: return ComponentSizeShiftWidth(kObjectReferenceSize);
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -070089 default:
90 LOG(FATAL) << "Invalid type " << static_cast<int>(type);
91 return 0;
92 }
93 }
94
Brian Carlstrom6b4ef022011-10-23 14:59:04 -070095 static size_t ComponentSize(Type type) {
96 switch (type) {
Ian Rogers169c9a72011-11-13 20:13:17 -080097 case kPrimVoid: return 0;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -070098 case kPrimBoolean:
99 case kPrimByte: return 1;
100 case kPrimChar:
101 case kPrimShort: return 2;
102 case kPrimInt:
103 case kPrimFloat: return 4;
104 case kPrimLong:
105 case kPrimDouble: return 8;
Ian Rogers68d8b422014-07-17 11:09:10 -0700106 case kPrimNot: return kObjectReferenceSize;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700107 default:
108 LOG(FATAL) << "Invalid type " << static_cast<int>(type);
109 return 0;
110 }
111 }
112
Elliott Hughes91250e02011-12-13 22:30:35 -0800113 static const char* Descriptor(Type type) {
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700114 switch (type) {
115 case kPrimBoolean:
Elliott Hughes91250e02011-12-13 22:30:35 -0800116 return "Z";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700117 case kPrimByte:
Elliott Hughes91250e02011-12-13 22:30:35 -0800118 return "B";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700119 case kPrimChar:
Elliott Hughes91250e02011-12-13 22:30:35 -0800120 return "C";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700121 case kPrimShort:
Elliott Hughes91250e02011-12-13 22:30:35 -0800122 return "S";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700123 case kPrimInt:
Elliott Hughes91250e02011-12-13 22:30:35 -0800124 return "I";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700125 case kPrimFloat:
Elliott Hughes91250e02011-12-13 22:30:35 -0800126 return "F";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700127 case kPrimLong:
Elliott Hughes91250e02011-12-13 22:30:35 -0800128 return "J";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700129 case kPrimDouble:
Elliott Hughes91250e02011-12-13 22:30:35 -0800130 return "D";
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800131 case kPrimVoid:
Elliott Hughes91250e02011-12-13 22:30:35 -0800132 return "V";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700133 default:
134 LOG(FATAL) << "Primitive char conversion on invalid type " << static_cast<int>(type);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700135 return nullptr;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700136 }
137 }
138
Roland Levillain5c4405e2015-01-21 11:39:58 +0000139 static const char* PrettyDescriptor(Type type);
140
Alexandre Rames542361f2015-01-29 16:57:31 +0000141 static bool IsFloatingPointType(Type type) {
142 return type == kPrimFloat || type == kPrimDouble;
143 }
144
145 static bool IsIntegralType(Type type) {
David Brazdilb2bd1c52015-03-25 11:17:37 +0000146 // The Java language does not allow treating boolean as an integral type but
147 // our bit representation makes it safe.
Alexandre Rames542361f2015-01-29 16:57:31 +0000148 switch (type) {
David Brazdil46e2a392015-03-16 17:31:52 +0000149 case kPrimBoolean:
Alexandre Rames542361f2015-01-29 16:57:31 +0000150 case kPrimByte:
151 case kPrimChar:
152 case kPrimShort:
153 case kPrimInt:
154 case kPrimLong:
155 return true;
156 default:
157 return false;
158 }
159 }
160
Alexandre Ramesb2fd7bc2015-03-11 16:48:16 +0000161 static bool IsIntOrLongType(Type type) {
162 return type == kPrimInt || type == kPrimLong;
163 }
164
Alexandre Rames542361f2015-01-29 16:57:31 +0000165 static bool Is64BitType(Type type) {
166 return type == kPrimLong || type == kPrimDouble;
167 }
168
Roland Levillaina5c4a402016-03-15 15:02:50 +0000169 // Return the general kind of `type`, fusing integer-like types as kPrimInt.
170 static Type PrimitiveKind(Type type) {
171 switch (type) {
172 case kPrimBoolean:
173 case kPrimByte:
174 case kPrimShort:
175 case kPrimChar:
176 case kPrimInt:
177 return kPrimInt;
178 default:
179 return type;
180 }
181 }
182
Aart Bik0d345cf2016-03-16 10:49:38 -0700183 static int64_t MinValueOfIntegralType(Type type) {
184 switch (type) {
185 case kPrimBoolean:
186 return std::numeric_limits<bool>::min();
187 case kPrimByte:
188 return std::numeric_limits<int8_t>::min();
189 case kPrimChar:
190 return std::numeric_limits<uint16_t>::min();
191 case kPrimShort:
192 return std::numeric_limits<int16_t>::min();
193 case kPrimInt:
194 return std::numeric_limits<int32_t>::min();
195 case kPrimLong:
196 return std::numeric_limits<int64_t>::min();
197 default:
198 LOG(FATAL) << "non integral type";
199 }
200 return 0;
201 }
202
203 static int64_t MaxValueOfIntegralType(Type type) {
204 switch (type) {
205 case kPrimBoolean:
206 return std::numeric_limits<bool>::max();
207 case kPrimByte:
208 return std::numeric_limits<int8_t>::max();
209 case kPrimChar:
210 return std::numeric_limits<uint16_t>::max();
211 case kPrimShort:
212 return std::numeric_limits<int16_t>::max();
213 case kPrimInt:
214 return std::numeric_limits<int32_t>::max();
215 case kPrimLong:
216 return std::numeric_limits<int64_t>::max();
217 default:
218 LOG(FATAL) << "non integral type";
219 }
220 return 0;
221 }
222
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700223 private:
224 DISALLOW_IMPLICIT_CONSTRUCTORS(Primitive);
225};
226
Brian Carlstromae826982011-11-09 01:33:42 -0800227std::ostream& operator<<(std::ostream& os, const Primitive::Type& state);
228
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700229} // namespace art
230
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700231#endif // ART_RUNTIME_PRIMITIVE_H_