blob: a429914d5c5d1210c7e579e0078b24854d109868 [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
Vladimir Marko0ebe0d82017-09-21 22:50:39 +010052 static constexpr Type GetType(char type) {
Brian Carlstrom6b4ef022011-10-23 14:59:04 -070053 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
Vladimir Marko0ebe0d82017-09-21 22:50:39 +010077 static constexpr size_t ComponentSizeShift(Type type) {
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -070078 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 }
Vladimir Marko0ebe0d82017-09-21 22:50:39 +010090 LOG(FATAL) << "Invalid type " << static_cast<int>(type);
91 UNREACHABLE();
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -070092 }
93
Vladimir Marko0ebe0d82017-09-21 22:50:39 +010094 static constexpr size_t ComponentSize(Type type) {
Brian Carlstrom6b4ef022011-10-23 14:59:04 -070095 switch (type) {
Ian Rogers169c9a72011-11-13 20:13:17 -080096 case kPrimVoid: return 0;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -070097 case kPrimBoolean:
98 case kPrimByte: return 1;
99 case kPrimChar:
100 case kPrimShort: return 2;
101 case kPrimInt:
102 case kPrimFloat: return 4;
103 case kPrimLong:
104 case kPrimDouble: return 8;
Ian Rogers68d8b422014-07-17 11:09:10 -0700105 case kPrimNot: return kObjectReferenceSize;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700106 }
Vladimir Marko0ebe0d82017-09-21 22:50:39 +0100107 LOG(FATAL) << "Invalid type " << static_cast<int>(type);
108 UNREACHABLE();
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700109 }
110
Elliott Hughes91250e02011-12-13 22:30:35 -0800111 static const char* Descriptor(Type type) {
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700112 switch (type) {
113 case kPrimBoolean:
Elliott Hughes91250e02011-12-13 22:30:35 -0800114 return "Z";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700115 case kPrimByte:
Elliott Hughes91250e02011-12-13 22:30:35 -0800116 return "B";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700117 case kPrimChar:
Elliott Hughes91250e02011-12-13 22:30:35 -0800118 return "C";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700119 case kPrimShort:
Elliott Hughes91250e02011-12-13 22:30:35 -0800120 return "S";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700121 case kPrimInt:
Elliott Hughes91250e02011-12-13 22:30:35 -0800122 return "I";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700123 case kPrimFloat:
Elliott Hughes91250e02011-12-13 22:30:35 -0800124 return "F";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700125 case kPrimLong:
Elliott Hughes91250e02011-12-13 22:30:35 -0800126 return "J";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700127 case kPrimDouble:
Elliott Hughes91250e02011-12-13 22:30:35 -0800128 return "D";
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800129 case kPrimVoid:
Elliott Hughes91250e02011-12-13 22:30:35 -0800130 return "V";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700131 default:
132 LOG(FATAL) << "Primitive char conversion on invalid type " << static_cast<int>(type);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700133 return nullptr;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700134 }
135 }
136
Roland Levillain5c4405e2015-01-21 11:39:58 +0000137 static const char* PrettyDescriptor(Type type);
138
Orion Hodson1a06f9f2016-11-09 08:32:42 +0000139 // Returns the descriptor corresponding to the boxed type of |type|.
140 static const char* BoxedDescriptor(Type type);
141
Orion Hodson1a06f9f2016-11-09 08:32:42 +0000142 // Return true if |type| is an numeric type.
Orion Hodsonf1412b42016-11-11 12:03:29 +0000143 static constexpr bool IsNumericType(Type type) {
Orion Hodson1a06f9f2016-11-09 08:32:42 +0000144 switch (type) {
145 case Primitive::Type::kPrimNot: return false;
146 case Primitive::Type::kPrimBoolean: return false;
147 case Primitive::Type::kPrimByte: return true;
148 case Primitive::Type::kPrimChar: return false;
149 case Primitive::Type::kPrimShort: return true;
150 case Primitive::Type::kPrimInt: return true;
151 case Primitive::Type::kPrimLong: return true;
152 case Primitive::Type::kPrimFloat: return true;
153 case Primitive::Type::kPrimDouble: return true;
154 case Primitive::Type::kPrimVoid: return false;
155 }
Vladimir Marko0ebe0d82017-09-21 22:50:39 +0100156 LOG(FATAL) << "Invalid type " << static_cast<int>(type);
157 UNREACHABLE();
Orion Hodson1a06f9f2016-11-09 08:32:42 +0000158 }
159
Orion Hodsonf1412b42016-11-11 12:03:29 +0000160 // Returns true if it is possible to widen type |from| to type |to|. Both |from| and
161 // |to| should be numeric primitive types.
Orion Hodson1a06f9f2016-11-09 08:32:42 +0000162 static bool IsWidenable(Type from, Type to) {
163 static_assert(Primitive::Type::kPrimByte < Primitive::Type::kPrimShort, "Bad ordering");
164 static_assert(Primitive::Type::kPrimShort < Primitive::Type::kPrimInt, "Bad ordering");
165 static_assert(Primitive::Type::kPrimInt < Primitive::Type::kPrimLong, "Bad ordering");
166 static_assert(Primitive::Type::kPrimLong < Primitive::Type::kPrimFloat, "Bad ordering");
167 static_assert(Primitive::Type::kPrimFloat < Primitive::Type::kPrimDouble, "Bad ordering");
Orion Hodsonf1412b42016-11-11 12:03:29 +0000168 // Widening is only applicable between numeric types, like byte
169 // and int. Non-numeric types, such as boolean, cannot be widened.
Orion Hodson1a06f9f2016-11-09 08:32:42 +0000170 return IsNumericType(from) && IsNumericType(to) && from <= to;
171 }
172
Alexandre Rames542361f2015-01-29 16:57:31 +0000173 static bool Is64BitType(Type type) {
174 return type == kPrimLong || type == kPrimDouble;
175 }
176
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700177 private:
178 DISALLOW_IMPLICIT_CONSTRUCTORS(Primitive);
179};
180
Vladimir Marko0ebe0d82017-09-21 22:50:39 +0100181std::ostream& operator<<(std::ostream& os, Primitive::Type state);
Brian Carlstromae826982011-11-09 01:33:42 -0800182
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700183} // namespace art
184
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700185#endif // ART_RUNTIME_PRIMITIVE_H_