Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [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 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 17 | #ifndef ART_RUNTIME_ART_FIELD_INL_H_ |
| 18 | #define ART_RUNTIME_ART_FIELD_INL_H_ |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 19 | |
Brian Carlstrom | ea46f95 | 2013-07-30 01:26:50 -0700 | [diff] [blame] | 20 | #include "art_field.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 21 | |
Andreas Gampe | 5794381 | 2017-12-06 21:39:13 -0800 | [diff] [blame^] | 22 | #include <android-base/logging.h> |
| 23 | |
Ian Rogers | 08f1f50 | 2014-12-02 15:04:37 -0800 | [diff] [blame] | 24 | #include "class_linker.h" |
Andreas Gampe | c6ea7d0 | 2017-02-01 16:46:28 -0800 | [diff] [blame] | 25 | #include "dex_file-inl.h" |
Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 26 | #include "gc/accounting/card_table-inl.h" |
Andreas Gampe | 8cf9cb3 | 2017-07-19 09:28:38 -0700 | [diff] [blame] | 27 | #include "gc_root-inl.h" |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 28 | #include "jvalue.h" |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 29 | #include "mirror/dex_cache-inl.h" |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 30 | #include "mirror/object-inl.h" |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 31 | #include "primitive.h" |
Mathieu Chartier | 0795f23 | 2016-09-27 18:43:30 -0700 | [diff] [blame] | 32 | #include "scoped_thread_state_change-inl.h" |
Andreas Gampe | 8cf9cb3 | 2017-07-19 09:28:38 -0700 | [diff] [blame] | 33 | #include "thread-current-inl.h" |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 34 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 35 | namespace art { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 36 | |
Hiroshi Yamauchi | 7a62e67 | 2016-06-10 17:22:48 -0700 | [diff] [blame] | 37 | template<ReadBarrierOption kReadBarrierOption> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 38 | inline ObjPtr<mirror::Class> ArtField::GetDeclaringClass() { |
Hiroshi Yamauchi | 3f64f25 | 2015-06-12 18:35:06 -0700 | [diff] [blame] | 39 | GcRootSource gc_root_source(this); |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 40 | ObjPtr<mirror::Class> result = declaring_class_.Read<kReadBarrierOption>(&gc_root_source); |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 41 | DCHECK(result != nullptr); |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 42 | DCHECK(result->IsLoaded() || result->IsErroneous()) << result->GetStatus(); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 43 | return result; |
| 44 | } |
| 45 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 46 | inline void ArtField::SetDeclaringClass(ObjPtr<mirror::Class> new_declaring_class) { |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 47 | declaring_class_ = GcRoot<mirror::Class>(new_declaring_class); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 48 | } |
| 49 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 50 | inline MemberOffset ArtField::GetOffsetDuringLinking() { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 51 | DCHECK(GetDeclaringClass()->IsLoaded() || GetDeclaringClass()->IsErroneous()); |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 52 | return MemberOffset(offset_); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 53 | } |
| 54 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 55 | inline uint32_t ArtField::Get32(ObjPtr<mirror::Object> object) { |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 56 | DCHECK(object != nullptr) << PrettyField(); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 57 | DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 58 | if (UNLIKELY(IsVolatile())) { |
| 59 | return object->GetField32Volatile(GetOffset()); |
| 60 | } |
| 61 | return object->GetField32(GetOffset()); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 62 | } |
| 63 | |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 64 | template<bool kTransactionActive> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 65 | inline void ArtField::Set32(ObjPtr<mirror::Object> object, uint32_t new_value) { |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 66 | DCHECK(object != nullptr) << PrettyField(); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 67 | DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 68 | if (UNLIKELY(IsVolatile())) { |
| 69 | object->SetField32Volatile<kTransactionActive>(GetOffset(), new_value); |
| 70 | } else { |
| 71 | object->SetField32<kTransactionActive>(GetOffset(), new_value); |
| 72 | } |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 73 | } |
| 74 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 75 | inline uint64_t ArtField::Get64(ObjPtr<mirror::Object> object) { |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 76 | DCHECK(object != nullptr) << PrettyField(); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 77 | DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 78 | if (UNLIKELY(IsVolatile())) { |
| 79 | return object->GetField64Volatile(GetOffset()); |
| 80 | } |
| 81 | return object->GetField64(GetOffset()); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 82 | } |
| 83 | |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 84 | template<bool kTransactionActive> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 85 | inline void ArtField::Set64(ObjPtr<mirror::Object> object, uint64_t new_value) { |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 86 | DCHECK(object != nullptr) << PrettyField(); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 87 | DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 88 | if (UNLIKELY(IsVolatile())) { |
| 89 | object->SetField64Volatile<kTransactionActive>(GetOffset(), new_value); |
| 90 | } else { |
| 91 | object->SetField64<kTransactionActive>(GetOffset(), new_value); |
| 92 | } |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 93 | } |
| 94 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 95 | template<class MirrorType> |
| 96 | inline ObjPtr<MirrorType> ArtField::GetObj(ObjPtr<mirror::Object> object) { |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 97 | DCHECK(object != nullptr) << PrettyField(); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 98 | DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 99 | if (UNLIKELY(IsVolatile())) { |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 100 | return object->GetFieldObjectVolatile<MirrorType>(GetOffset()); |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 101 | } |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 102 | return object->GetFieldObject<MirrorType>(GetOffset()); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 103 | } |
| 104 | |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 105 | template<bool kTransactionActive> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 106 | inline void ArtField::SetObj(ObjPtr<mirror::Object> object, ObjPtr<mirror::Object> new_value) { |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 107 | DCHECK(object != nullptr) << PrettyField(); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 108 | DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 109 | if (UNLIKELY(IsVolatile())) { |
Mathieu Chartier | 1a5337f | 2016-10-13 13:48:23 -0700 | [diff] [blame] | 110 | object->SetFieldObjectVolatile<kTransactionActive>(GetOffset(), new_value); |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 111 | } else { |
Mathieu Chartier | 1a5337f | 2016-10-13 13:48:23 -0700 | [diff] [blame] | 112 | object->SetFieldObject<kTransactionActive>(GetOffset(), new_value); |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 113 | } |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 114 | } |
| 115 | |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 116 | #define FIELD_GET(object, type) \ |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 117 | DCHECK_EQ(Primitive::kPrim ## type, GetTypeAsPrimitiveType()) << PrettyField(); \ |
| 118 | DCHECK((object) != nullptr) << PrettyField(); \ |
Chih-Hung Hsieh | fba3997 | 2016-05-11 11:26:48 -0700 | [diff] [blame] | 119 | DCHECK(!IsStatic() || ((object) == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); \ |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 120 | if (UNLIKELY(IsVolatile())) { \ |
Chih-Hung Hsieh | fba3997 | 2016-05-11 11:26:48 -0700 | [diff] [blame] | 121 | return (object)->GetField ## type ## Volatile(GetOffset()); \ |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 122 | } \ |
Chih-Hung Hsieh | fba3997 | 2016-05-11 11:26:48 -0700 | [diff] [blame] | 123 | return (object)->GetField ## type(GetOffset()); |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 124 | |
| 125 | #define FIELD_SET(object, type, value) \ |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 126 | DCHECK((object) != nullptr) << PrettyField(); \ |
Chih-Hung Hsieh | fba3997 | 2016-05-11 11:26:48 -0700 | [diff] [blame] | 127 | DCHECK(!IsStatic() || ((object) == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); \ |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 128 | if (UNLIKELY(IsVolatile())) { \ |
Chih-Hung Hsieh | fba3997 | 2016-05-11 11:26:48 -0700 | [diff] [blame] | 129 | (object)->SetField ## type ## Volatile<kTransactionActive>(GetOffset(), value); \ |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 130 | } else { \ |
Chih-Hung Hsieh | fba3997 | 2016-05-11 11:26:48 -0700 | [diff] [blame] | 131 | (object)->SetField ## type<kTransactionActive>(GetOffset(), value); \ |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 132 | } |
| 133 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 134 | inline uint8_t ArtField::GetBoolean(ObjPtr<mirror::Object> object) { |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 135 | FIELD_GET(object, Boolean); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 136 | } |
| 137 | |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 138 | template<bool kTransactionActive> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 139 | inline void ArtField::SetBoolean(ObjPtr<mirror::Object> object, uint8_t z) { |
Nicolas Geoffray | 5b3c6c0 | 2017-01-19 14:22:26 +0000 | [diff] [blame] | 140 | if (kIsDebugBuild) { |
| 141 | // For simplicity, this method is being called by the compiler entrypoint for |
| 142 | // both boolean and byte fields. |
| 143 | Primitive::Type type = GetTypeAsPrimitiveType(); |
| 144 | DCHECK(type == Primitive::kPrimBoolean || type == Primitive::kPrimByte) << PrettyField(); |
| 145 | } |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 146 | FIELD_SET(object, Boolean, z); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 147 | } |
| 148 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 149 | inline int8_t ArtField::GetByte(ObjPtr<mirror::Object> object) { |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 150 | FIELD_GET(object, Byte); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 151 | } |
| 152 | |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 153 | template<bool kTransactionActive> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 154 | inline void ArtField::SetByte(ObjPtr<mirror::Object> object, int8_t b) { |
Nicolas Geoffray | 5b3c6c0 | 2017-01-19 14:22:26 +0000 | [diff] [blame] | 155 | DCHECK_EQ(Primitive::kPrimByte, GetTypeAsPrimitiveType()) << PrettyField(); |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 156 | FIELD_SET(object, Byte, b); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 157 | } |
| 158 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 159 | inline uint16_t ArtField::GetChar(ObjPtr<mirror::Object> object) { |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 160 | FIELD_GET(object, Char); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 161 | } |
| 162 | |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 163 | template<bool kTransactionActive> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 164 | inline void ArtField::SetChar(ObjPtr<mirror::Object> object, uint16_t c) { |
Nicolas Geoffray | 5b3c6c0 | 2017-01-19 14:22:26 +0000 | [diff] [blame] | 165 | if (kIsDebugBuild) { |
| 166 | // For simplicity, this method is being called by the compiler entrypoint for |
| 167 | // both char and short fields. |
| 168 | Primitive::Type type = GetTypeAsPrimitiveType(); |
| 169 | DCHECK(type == Primitive::kPrimChar || type == Primitive::kPrimShort) << PrettyField(); |
| 170 | } |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 171 | FIELD_SET(object, Char, c); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 172 | } |
| 173 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 174 | inline int16_t ArtField::GetShort(ObjPtr<mirror::Object> object) { |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 175 | FIELD_GET(object, Short); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 176 | } |
| 177 | |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 178 | template<bool kTransactionActive> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 179 | inline void ArtField::SetShort(ObjPtr<mirror::Object> object, int16_t s) { |
Nicolas Geoffray | 5b3c6c0 | 2017-01-19 14:22:26 +0000 | [diff] [blame] | 180 | DCHECK_EQ(Primitive::kPrimShort, GetTypeAsPrimitiveType()) << PrettyField(); |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 181 | FIELD_SET(object, Short, s); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 182 | } |
| 183 | |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 184 | #undef FIELD_GET |
| 185 | #undef FIELD_SET |
| 186 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 187 | inline int32_t ArtField::GetInt(ObjPtr<mirror::Object> object) { |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 188 | if (kIsDebugBuild) { |
Nicolas Geoffray | 5b3c6c0 | 2017-01-19 14:22:26 +0000 | [diff] [blame] | 189 | // For simplicity, this method is being called by the compiler entrypoint for |
| 190 | // both int and float fields. |
Mathieu Chartier | 61c5ebc | 2014-06-05 17:42:53 -0700 | [diff] [blame] | 191 | Primitive::Type type = GetTypeAsPrimitiveType(); |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 192 | CHECK(type == Primitive::kPrimInt || type == Primitive::kPrimFloat) << PrettyField(); |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 193 | } |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 194 | return Get32(object); |
| 195 | } |
| 196 | |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 197 | template<bool kTransactionActive> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 198 | inline void ArtField::SetInt(ObjPtr<mirror::Object> object, int32_t i) { |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 199 | if (kIsDebugBuild) { |
Nicolas Geoffray | 5b3c6c0 | 2017-01-19 14:22:26 +0000 | [diff] [blame] | 200 | // For simplicity, this method is being called by the compiler entrypoint for |
| 201 | // both int and float fields. |
Mathieu Chartier | 61c5ebc | 2014-06-05 17:42:53 -0700 | [diff] [blame] | 202 | Primitive::Type type = GetTypeAsPrimitiveType(); |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 203 | CHECK(type == Primitive::kPrimInt || type == Primitive::kPrimFloat) << PrettyField(); |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 204 | } |
| 205 | Set32<kTransactionActive>(object, i); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 206 | } |
| 207 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 208 | inline int64_t ArtField::GetLong(ObjPtr<mirror::Object> object) { |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 209 | if (kIsDebugBuild) { |
Nicolas Geoffray | 5b3c6c0 | 2017-01-19 14:22:26 +0000 | [diff] [blame] | 210 | // For simplicity, this method is being called by the compiler entrypoint for |
| 211 | // both long and double fields. |
Mathieu Chartier | 61c5ebc | 2014-06-05 17:42:53 -0700 | [diff] [blame] | 212 | Primitive::Type type = GetTypeAsPrimitiveType(); |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 213 | CHECK(type == Primitive::kPrimLong || type == Primitive::kPrimDouble) << PrettyField(); |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 214 | } |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 215 | return Get64(object); |
| 216 | } |
| 217 | |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 218 | template<bool kTransactionActive> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 219 | inline void ArtField::SetLong(ObjPtr<mirror::Object> object, int64_t j) { |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 220 | if (kIsDebugBuild) { |
Nicolas Geoffray | 5b3c6c0 | 2017-01-19 14:22:26 +0000 | [diff] [blame] | 221 | // For simplicity, this method is being called by the compiler entrypoint for |
| 222 | // both long and double fields. |
Mathieu Chartier | 61c5ebc | 2014-06-05 17:42:53 -0700 | [diff] [blame] | 223 | Primitive::Type type = GetTypeAsPrimitiveType(); |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 224 | CHECK(type == Primitive::kPrimLong || type == Primitive::kPrimDouble) << PrettyField(); |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 225 | } |
| 226 | Set64<kTransactionActive>(object, j); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 227 | } |
| 228 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 229 | inline float ArtField::GetFloat(ObjPtr<mirror::Object> object) { |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 230 | DCHECK_EQ(Primitive::kPrimFloat, GetTypeAsPrimitiveType()) << PrettyField(); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 231 | JValue bits; |
| 232 | bits.SetI(Get32(object)); |
| 233 | return bits.GetF(); |
| 234 | } |
| 235 | |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 236 | template<bool kTransactionActive> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 237 | inline void ArtField::SetFloat(ObjPtr<mirror::Object> object, float f) { |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 238 | DCHECK_EQ(Primitive::kPrimFloat, GetTypeAsPrimitiveType()) << PrettyField(); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 239 | JValue bits; |
| 240 | bits.SetF(f); |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 241 | Set32<kTransactionActive>(object, bits.GetI()); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 242 | } |
| 243 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 244 | inline double ArtField::GetDouble(ObjPtr<mirror::Object> object) { |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 245 | DCHECK_EQ(Primitive::kPrimDouble, GetTypeAsPrimitiveType()) << PrettyField(); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 246 | JValue bits; |
| 247 | bits.SetJ(Get64(object)); |
| 248 | return bits.GetD(); |
| 249 | } |
| 250 | |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 251 | template<bool kTransactionActive> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 252 | inline void ArtField::SetDouble(ObjPtr<mirror::Object> object, double d) { |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 253 | DCHECK_EQ(Primitive::kPrimDouble, GetTypeAsPrimitiveType()) << PrettyField(); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 254 | JValue bits; |
| 255 | bits.SetD(d); |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 256 | Set64<kTransactionActive>(object, bits.GetJ()); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 257 | } |
| 258 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 259 | inline ObjPtr<mirror::Object> ArtField::GetObject(ObjPtr<mirror::Object> object) { |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 260 | DCHECK_EQ(Primitive::kPrimNot, GetTypeAsPrimitiveType()) << PrettyField(); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 261 | return GetObj(object); |
| 262 | } |
| 263 | |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 264 | template<bool kTransactionActive> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 265 | inline void ArtField::SetObject(ObjPtr<mirror::Object> object, ObjPtr<mirror::Object> l) { |
David Sehr | 709b070 | 2016-10-13 09:12:37 -0700 | [diff] [blame] | 266 | DCHECK_EQ(Primitive::kPrimNot, GetTypeAsPrimitiveType()) << PrettyField(); |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 267 | SetObj<kTransactionActive>(object, l); |
Ian Rogers | c0fa3ad | 2013-02-05 00:11:55 -0800 | [diff] [blame] | 268 | } |
| 269 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 270 | inline const char* ArtField::GetName() REQUIRES_SHARED(Locks::mutator_lock_) { |
Mathieu Chartier | 61c5ebc | 2014-06-05 17:42:53 -0700 | [diff] [blame] | 271 | uint32_t field_index = GetDexFieldIndex(); |
Nicolas Geoffray | 3a09092 | 2015-11-24 09:17:30 +0000 | [diff] [blame] | 272 | if (UNLIKELY(GetDeclaringClass()->IsProxyClass())) { |
Mathieu Chartier | 61c5ebc | 2014-06-05 17:42:53 -0700 | [diff] [blame] | 273 | DCHECK(IsStatic()); |
| 274 | DCHECK_LT(field_index, 2U); |
| 275 | return field_index == 0 ? "interfaces" : "throws"; |
| 276 | } |
| 277 | const DexFile* dex_file = GetDexFile(); |
| 278 | return dex_file->GetFieldName(dex_file->GetFieldId(field_index)); |
| 279 | } |
| 280 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 281 | inline const char* ArtField::GetTypeDescriptor() REQUIRES_SHARED(Locks::mutator_lock_) { |
Mathieu Chartier | 61c5ebc | 2014-06-05 17:42:53 -0700 | [diff] [blame] | 282 | uint32_t field_index = GetDexFieldIndex(); |
Nicolas Geoffray | 3a09092 | 2015-11-24 09:17:30 +0000 | [diff] [blame] | 283 | if (UNLIKELY(GetDeclaringClass()->IsProxyClass())) { |
Mathieu Chartier | 61c5ebc | 2014-06-05 17:42:53 -0700 | [diff] [blame] | 284 | DCHECK(IsStatic()); |
| 285 | DCHECK_LT(field_index, 2U); |
| 286 | // 0 == Class[] interfaces; 1 == Class[][] throws; |
| 287 | return field_index == 0 ? "[Ljava/lang/Class;" : "[[Ljava/lang/Class;"; |
| 288 | } |
| 289 | const DexFile* dex_file = GetDexFile(); |
| 290 | const DexFile::FieldId& field_id = dex_file->GetFieldId(field_index); |
| 291 | return dex_file->GetFieldTypeDescriptor(field_id); |
| 292 | } |
| 293 | |
| 294 | inline Primitive::Type ArtField::GetTypeAsPrimitiveType() |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 295 | REQUIRES_SHARED(Locks::mutator_lock_) { |
Mathieu Chartier | 61c5ebc | 2014-06-05 17:42:53 -0700 | [diff] [blame] | 296 | return Primitive::GetType(GetTypeDescriptor()[0]); |
| 297 | } |
| 298 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 299 | inline bool ArtField::IsPrimitiveType() REQUIRES_SHARED(Locks::mutator_lock_) { |
Mathieu Chartier | 61c5ebc | 2014-06-05 17:42:53 -0700 | [diff] [blame] | 300 | return GetTypeAsPrimitiveType() != Primitive::kPrimNot; |
| 301 | } |
| 302 | |
Vladimir Marko | 4098a7a | 2017-11-06 16:00:51 +0000 | [diff] [blame] | 303 | inline ObjPtr<mirror::Class> ArtField::LookupType() { |
| 304 | ScopedAssertNoThreadSuspension ants(__FUNCTION__); |
| 305 | const uint32_t field_index = GetDexFieldIndex(); |
| 306 | ObjPtr<mirror::Class> declaring_class = GetDeclaringClass(); |
| 307 | if (UNLIKELY(declaring_class->IsProxyClass())) { |
| 308 | return ProxyFindSystemClass(GetTypeDescriptor()); |
| 309 | } |
| 310 | ObjPtr<mirror::DexCache> dex_cache = declaring_class->GetDexCache(); |
| 311 | const DexFile* const dex_file = dex_cache->GetDexFile(); |
| 312 | dex::TypeIndex type_idx = dex_file->GetFieldId(field_index).type_idx_; |
| 313 | ObjPtr<mirror::Class> type = dex_cache->GetResolvedType(type_idx); |
| 314 | if (UNLIKELY(type == nullptr)) { |
| 315 | type = Runtime::Current()->GetClassLinker()->LookupResolvedType( |
| 316 | *dex_file, type_idx, dex_cache, declaring_class->GetClassLoader()); |
| 317 | DCHECK(!Thread::Current()->IsExceptionPending()); |
| 318 | } |
| 319 | return type.Ptr(); |
| 320 | } |
| 321 | |
| 322 | inline ObjPtr<mirror::Class> ArtField::ResolveType() { |
Mathieu Chartier | daaf326 | 2015-03-24 13:30:28 -0700 | [diff] [blame] | 323 | const uint32_t field_index = GetDexFieldIndex(); |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 324 | ObjPtr<mirror::Class> declaring_class = GetDeclaringClass(); |
Nicolas Geoffray | 3a09092 | 2015-11-24 09:17:30 +0000 | [diff] [blame] | 325 | if (UNLIKELY(declaring_class->IsProxyClass())) { |
| 326 | return ProxyFindSystemClass(GetTypeDescriptor()); |
Ian Rogers | 08f1f50 | 2014-12-02 15:04:37 -0800 | [diff] [blame] | 327 | } |
Mathieu Chartier | daaf326 | 2015-03-24 13:30:28 -0700 | [diff] [blame] | 328 | auto* dex_cache = declaring_class->GetDexCache(); |
| 329 | const DexFile* const dex_file = dex_cache->GetDexFile(); |
Vladimir Marko | 4098a7a | 2017-11-06 16:00:51 +0000 | [diff] [blame] | 330 | dex::TypeIndex type_idx = dex_file->GetFieldId(field_index).type_idx_; |
| 331 | ObjPtr<mirror::Class> type = dex_cache->GetResolvedType(type_idx); |
Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 332 | if (UNLIKELY(type == nullptr)) { |
| 333 | ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); |
Vladimir Marko | 4098a7a | 2017-11-06 16:00:51 +0000 | [diff] [blame] | 334 | type = class_linker->ResolveType(*dex_file, type_idx, declaring_class); |
| 335 | DCHECK_EQ(type == nullptr, Thread::Current()->IsExceptionPending()); |
Ian Rogers | 08f1f50 | 2014-12-02 15:04:37 -0800 | [diff] [blame] | 336 | } |
| 337 | return type; |
| 338 | } |
| 339 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 340 | inline size_t ArtField::FieldSize() REQUIRES_SHARED(Locks::mutator_lock_) { |
Fred Shih | 37f05ef | 2014-07-16 18:38:08 -0700 | [diff] [blame] | 341 | return Primitive::ComponentSize(GetTypeAsPrimitiveType()); |
Mathieu Chartier | 61c5ebc | 2014-06-05 17:42:53 -0700 | [diff] [blame] | 342 | } |
| 343 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 344 | inline ObjPtr<mirror::DexCache> ArtField::GetDexCache() REQUIRES_SHARED(Locks::mutator_lock_) { |
Mathieu Chartier | 61c5ebc | 2014-06-05 17:42:53 -0700 | [diff] [blame] | 345 | return GetDeclaringClass()->GetDexCache(); |
| 346 | } |
| 347 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 348 | inline const DexFile* ArtField::GetDexFile() REQUIRES_SHARED(Locks::mutator_lock_) { |
Mathieu Chartier | 61c5ebc | 2014-06-05 17:42:53 -0700 | [diff] [blame] | 349 | return GetDexCache()->GetDexFile(); |
| 350 | } |
| 351 | |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 352 | inline ObjPtr<mirror::String> ArtField::GetStringName(Thread* self, bool resolve) { |
Mathieu Chartier | daaf326 | 2015-03-24 13:30:28 -0700 | [diff] [blame] | 353 | auto dex_field_index = GetDexFieldIndex(); |
Andreas Gampe | e2abbc6 | 2017-09-15 11:59:26 -0700 | [diff] [blame] | 354 | CHECK_NE(dex_field_index, dex::kDexNoIndex); |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 355 | ObjPtr<mirror::DexCache> dex_cache = GetDexCache(); |
Mathieu Chartier | daaf326 | 2015-03-24 13:30:28 -0700 | [diff] [blame] | 356 | const auto* dex_file = dex_cache->GetDexFile(); |
| 357 | const auto& field_id = dex_file->GetFieldId(dex_field_index); |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 358 | ObjPtr<mirror::String> name = dex_cache->GetResolvedString(field_id.name_idx_); |
Mathieu Chartier | daaf326 | 2015-03-24 13:30:28 -0700 | [diff] [blame] | 359 | if (resolve && name == nullptr) { |
Vladimir Marko | 3481ba2 | 2015-04-13 12:22:36 +0100 | [diff] [blame] | 360 | name = ResolveGetStringName(self, *dex_file, field_id.name_idx_, dex_cache); |
Mathieu Chartier | daaf326 | 2015-03-24 13:30:28 -0700 | [diff] [blame] | 361 | } |
| 362 | return name; |
Mathieu Chartier | 7643327 | 2014-09-26 14:32:37 -0700 | [diff] [blame] | 363 | } |
| 364 | |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 365 | template <typename Visitor> |
| 366 | inline void ArtField::UpdateObjects(const Visitor& visitor) { |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 367 | ObjPtr<mirror::Class> old_class = DeclaringClassRoot().Read<kWithoutReadBarrier>(); |
Mathieu Chartier | 1cc62e4 | 2016-10-03 18:01:28 -0700 | [diff] [blame] | 368 | ObjPtr<mirror::Class> new_class = visitor(old_class.Ptr()); |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 369 | if (old_class != new_class) { |
| 370 | SetDeclaringClass(new_class); |
| 371 | } |
| 372 | } |
| 373 | |
Mathieu Chartier | cb044bc | 2016-04-01 13:56:41 -0700 | [diff] [blame] | 374 | // If kExactOffset is true then we only find the matching offset, not the field containing the |
| 375 | // offset. |
| 376 | template <bool kExactOffset> |
| 377 | static inline ArtField* FindFieldWithOffset( |
| 378 | const IterationRange<StrideIterator<ArtField>>& fields, |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 379 | uint32_t field_offset) REQUIRES_SHARED(Locks::mutator_lock_) { |
Mathieu Chartier | cb044bc | 2016-04-01 13:56:41 -0700 | [diff] [blame] | 380 | for (ArtField& field : fields) { |
| 381 | if (kExactOffset) { |
| 382 | if (field.GetOffset().Uint32Value() == field_offset) { |
| 383 | return &field; |
| 384 | } |
| 385 | } else { |
| 386 | const uint32_t offset = field.GetOffset().Uint32Value(); |
| 387 | Primitive::Type type = field.GetTypeAsPrimitiveType(); |
| 388 | const size_t field_size = Primitive::ComponentSize(type); |
| 389 | DCHECK_GT(field_size, 0u); |
| 390 | if (offset <= field_offset && field_offset < offset + field_size) { |
| 391 | return &field; |
| 392 | } |
| 393 | } |
| 394 | } |
| 395 | return nullptr; |
| 396 | } |
| 397 | |
| 398 | template <bool kExactOffset> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 399 | inline ArtField* ArtField::FindInstanceFieldWithOffset(ObjPtr<mirror::Class> klass, |
Mathieu Chartier | cb044bc | 2016-04-01 13:56:41 -0700 | [diff] [blame] | 400 | uint32_t field_offset) { |
| 401 | DCHECK(klass != nullptr); |
| 402 | ArtField* field = FindFieldWithOffset<kExactOffset>(klass->GetIFields(), field_offset); |
| 403 | if (field != nullptr) { |
| 404 | return field; |
| 405 | } |
| 406 | // We did not find field in the class: look into superclass. |
| 407 | return (klass->GetSuperClass() != nullptr) ? |
| 408 | FindInstanceFieldWithOffset<kExactOffset>(klass->GetSuperClass(), field_offset) : nullptr; |
| 409 | } |
| 410 | |
| 411 | template <bool kExactOffset> |
Mathieu Chartier | 3398c78 | 2016-09-30 10:27:43 -0700 | [diff] [blame] | 412 | inline ArtField* ArtField::FindStaticFieldWithOffset(ObjPtr<mirror::Class> klass, |
| 413 | uint32_t field_offset) { |
Mathieu Chartier | cb044bc | 2016-04-01 13:56:41 -0700 | [diff] [blame] | 414 | DCHECK(klass != nullptr); |
| 415 | return FindFieldWithOffset<kExactOffset>(klass->GetSFields(), field_offset); |
| 416 | } |
| 417 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 418 | } // namespace art |
| 419 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 420 | #endif // ART_RUNTIME_ART_FIELD_INL_H_ |