blob: 16b73c681f72827bc5b1421675a2be398557c03c [file] [log] [blame]
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001/*
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 Chartierc7853442015-03-27 14:35:38 -070017#ifndef ART_RUNTIME_ART_FIELD_INL_H_
18#define ART_RUNTIME_ART_FIELD_INL_H_
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080019
Brian Carlstromea46f952013-07-30 01:26:50 -070020#include "art_field.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080021
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080022#include "base/logging.h"
Ian Rogers08f1f502014-12-02 15:04:37 -080023#include "class_linker.h"
Vladimir Marko3481ba22015-04-13 12:22:36 +010024#include "gc_root-inl.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070025#include "gc/accounting/card_table-inl.h"
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080026#include "jvalue.h"
Vladimir Marko05792b92015-08-03 11:56:49 +010027#include "mirror/dex_cache-inl.h"
Mathieu Chartierc7853442015-03-27 14:35:38 -070028#include "mirror/object-inl.h"
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080029#include "primitive.h"
Mathieu Chartier76433272014-09-26 14:32:37 -070030#include "thread-inl.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070031#include "scoped_thread_state_change-inl.h"
Mathieu Chartier76433272014-09-26 14:32:37 -070032#include "well_known_classes.h"
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080033
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080034namespace art {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080035
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -070036template<ReadBarrierOption kReadBarrierOption>
Mathieu Chartier3398c782016-09-30 10:27:43 -070037inline ObjPtr<mirror::Class> ArtField::GetDeclaringClass() {
Hiroshi Yamauchi3f64f252015-06-12 18:35:06 -070038 GcRootSource gc_root_source(this);
Mathieu Chartier3398c782016-09-30 10:27:43 -070039 ObjPtr<mirror::Class> result = declaring_class_.Read<kReadBarrierOption>(&gc_root_source);
Mathieu Chartierc7853442015-03-27 14:35:38 -070040 DCHECK(result != nullptr);
Mathieu Chartierfbc31082016-01-24 11:59:56 -080041 DCHECK(result->IsLoaded() || result->IsErroneous()) << result->GetStatus();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080042 return result;
43}
44
Mathieu Chartier3398c782016-09-30 10:27:43 -070045inline void ArtField::SetDeclaringClass(ObjPtr<mirror::Class> new_declaring_class) {
Mathieu Chartierc7853442015-03-27 14:35:38 -070046 declaring_class_ = GcRoot<mirror::Class>(new_declaring_class);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080047}
48
Ian Rogersef7d42f2014-01-06 12:55:46 -080049inline uint32_t ArtField::GetAccessFlags() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080050 DCHECK(GetDeclaringClass()->IsLoaded() || GetDeclaringClass()->IsErroneous());
Mathieu Chartierc7853442015-03-27 14:35:38 -070051 return access_flags_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080052}
53
Ian Rogersef7d42f2014-01-06 12:55:46 -080054inline MemberOffset ArtField::GetOffset() {
Vladimir Marko72ab6842017-01-20 19:32:50 +000055 DCHECK(GetDeclaringClass()->IsResolved());
Mathieu Chartierc7853442015-03-27 14:35:38 -070056 return MemberOffset(offset_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080057}
58
Ian Rogersef7d42f2014-01-06 12:55:46 -080059inline MemberOffset ArtField::GetOffsetDuringLinking() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080060 DCHECK(GetDeclaringClass()->IsLoaded() || GetDeclaringClass()->IsErroneous());
Mathieu Chartierc7853442015-03-27 14:35:38 -070061 return MemberOffset(offset_);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080062}
63
Mathieu Chartier3398c782016-09-30 10:27:43 -070064inline uint32_t ArtField::Get32(ObjPtr<mirror::Object> object) {
David Sehr709b0702016-10-13 09:12:37 -070065 DCHECK(object != nullptr) << PrettyField();
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080066 DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted());
Ian Rogersb0fa5dc2014-04-28 16:47:08 -070067 if (UNLIKELY(IsVolatile())) {
68 return object->GetField32Volatile(GetOffset());
69 }
70 return object->GetField32(GetOffset());
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080071}
72
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +010073template<bool kTransactionActive>
Mathieu Chartier3398c782016-09-30 10:27:43 -070074inline void ArtField::Set32(ObjPtr<mirror::Object> object, uint32_t new_value) {
David Sehr709b0702016-10-13 09:12:37 -070075 DCHECK(object != nullptr) << PrettyField();
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080076 DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted());
Ian Rogersb0fa5dc2014-04-28 16:47:08 -070077 if (UNLIKELY(IsVolatile())) {
78 object->SetField32Volatile<kTransactionActive>(GetOffset(), new_value);
79 } else {
80 object->SetField32<kTransactionActive>(GetOffset(), new_value);
81 }
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080082}
83
Mathieu Chartier3398c782016-09-30 10:27:43 -070084inline uint64_t ArtField::Get64(ObjPtr<mirror::Object> object) {
David Sehr709b0702016-10-13 09:12:37 -070085 DCHECK(object != nullptr) << PrettyField();
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080086 DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted());
Ian Rogersb0fa5dc2014-04-28 16:47:08 -070087 if (UNLIKELY(IsVolatile())) {
88 return object->GetField64Volatile(GetOffset());
89 }
90 return object->GetField64(GetOffset());
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080091}
92
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +010093template<bool kTransactionActive>
Mathieu Chartier3398c782016-09-30 10:27:43 -070094inline void ArtField::Set64(ObjPtr<mirror::Object> object, uint64_t new_value) {
David Sehr709b0702016-10-13 09:12:37 -070095 DCHECK(object != nullptr) << PrettyField();
Ian Rogersc0fa3ad2013-02-05 00:11:55 -080096 DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted());
Ian Rogersb0fa5dc2014-04-28 16:47:08 -070097 if (UNLIKELY(IsVolatile())) {
98 object->SetField64Volatile<kTransactionActive>(GetOffset(), new_value);
99 } else {
100 object->SetField64<kTransactionActive>(GetOffset(), new_value);
101 }
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800102}
103
Mathieu Chartier3398c782016-09-30 10:27:43 -0700104template<class MirrorType>
105inline ObjPtr<MirrorType> ArtField::GetObj(ObjPtr<mirror::Object> object) {
David Sehr709b0702016-10-13 09:12:37 -0700106 DCHECK(object != nullptr) << PrettyField();
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800107 DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted());
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700108 if (UNLIKELY(IsVolatile())) {
Mathieu Chartier3398c782016-09-30 10:27:43 -0700109 return object->GetFieldObjectVolatile<MirrorType>(GetOffset());
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700110 }
Mathieu Chartier3398c782016-09-30 10:27:43 -0700111 return object->GetFieldObject<MirrorType>(GetOffset());
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800112}
113
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100114template<bool kTransactionActive>
Mathieu Chartier3398c782016-09-30 10:27:43 -0700115inline void ArtField::SetObj(ObjPtr<mirror::Object> object, ObjPtr<mirror::Object> new_value) {
David Sehr709b0702016-10-13 09:12:37 -0700116 DCHECK(object != nullptr) << PrettyField();
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800117 DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted());
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700118 if (UNLIKELY(IsVolatile())) {
Mathieu Chartier1a5337f2016-10-13 13:48:23 -0700119 object->SetFieldObjectVolatile<kTransactionActive>(GetOffset(), new_value);
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700120 } else {
Mathieu Chartier1a5337f2016-10-13 13:48:23 -0700121 object->SetFieldObject<kTransactionActive>(GetOffset(), new_value);
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700122 }
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800123}
124
Fred Shih37f05ef2014-07-16 18:38:08 -0700125#define FIELD_GET(object, type) \
David Sehr709b0702016-10-13 09:12:37 -0700126 DCHECK_EQ(Primitive::kPrim ## type, GetTypeAsPrimitiveType()) << PrettyField(); \
127 DCHECK((object) != nullptr) << PrettyField(); \
Chih-Hung Hsiehfba39972016-05-11 11:26:48 -0700128 DCHECK(!IsStatic() || ((object) == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); \
Fred Shih37f05ef2014-07-16 18:38:08 -0700129 if (UNLIKELY(IsVolatile())) { \
Chih-Hung Hsiehfba39972016-05-11 11:26:48 -0700130 return (object)->GetField ## type ## Volatile(GetOffset()); \
Fred Shih37f05ef2014-07-16 18:38:08 -0700131 } \
Chih-Hung Hsiehfba39972016-05-11 11:26:48 -0700132 return (object)->GetField ## type(GetOffset());
Fred Shih37f05ef2014-07-16 18:38:08 -0700133
134#define FIELD_SET(object, type, value) \
David Sehr709b0702016-10-13 09:12:37 -0700135 DCHECK((object) != nullptr) << PrettyField(); \
Chih-Hung Hsiehfba39972016-05-11 11:26:48 -0700136 DCHECK(!IsStatic() || ((object) == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); \
Fred Shih37f05ef2014-07-16 18:38:08 -0700137 if (UNLIKELY(IsVolatile())) { \
Chih-Hung Hsiehfba39972016-05-11 11:26:48 -0700138 (object)->SetField ## type ## Volatile<kTransactionActive>(GetOffset(), value); \
Fred Shih37f05ef2014-07-16 18:38:08 -0700139 } else { \
Chih-Hung Hsiehfba39972016-05-11 11:26:48 -0700140 (object)->SetField ## type<kTransactionActive>(GetOffset(), value); \
Fred Shih37f05ef2014-07-16 18:38:08 -0700141 }
142
Mathieu Chartier3398c782016-09-30 10:27:43 -0700143inline uint8_t ArtField::GetBoolean(ObjPtr<mirror::Object> object) {
Fred Shih37f05ef2014-07-16 18:38:08 -0700144 FIELD_GET(object, Boolean);
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800145}
146
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100147template<bool kTransactionActive>
Mathieu Chartier3398c782016-09-30 10:27:43 -0700148inline void ArtField::SetBoolean(ObjPtr<mirror::Object> object, uint8_t z) {
Nicolas Geoffray5b3c6c02017-01-19 14:22:26 +0000149 if (kIsDebugBuild) {
150 // For simplicity, this method is being called by the compiler entrypoint for
151 // both boolean and byte fields.
152 Primitive::Type type = GetTypeAsPrimitiveType();
153 DCHECK(type == Primitive::kPrimBoolean || type == Primitive::kPrimByte) << PrettyField();
154 }
Fred Shih37f05ef2014-07-16 18:38:08 -0700155 FIELD_SET(object, Boolean, z);
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800156}
157
Mathieu Chartier3398c782016-09-30 10:27:43 -0700158inline int8_t ArtField::GetByte(ObjPtr<mirror::Object> object) {
Fred Shih37f05ef2014-07-16 18:38:08 -0700159 FIELD_GET(object, Byte);
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800160}
161
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100162template<bool kTransactionActive>
Mathieu Chartier3398c782016-09-30 10:27:43 -0700163inline void ArtField::SetByte(ObjPtr<mirror::Object> object, int8_t b) {
Nicolas Geoffray5b3c6c02017-01-19 14:22:26 +0000164 DCHECK_EQ(Primitive::kPrimByte, GetTypeAsPrimitiveType()) << PrettyField();
Fred Shih37f05ef2014-07-16 18:38:08 -0700165 FIELD_SET(object, Byte, b);
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800166}
167
Mathieu Chartier3398c782016-09-30 10:27:43 -0700168inline uint16_t ArtField::GetChar(ObjPtr<mirror::Object> object) {
Fred Shih37f05ef2014-07-16 18:38:08 -0700169 FIELD_GET(object, Char);
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800170}
171
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100172template<bool kTransactionActive>
Mathieu Chartier3398c782016-09-30 10:27:43 -0700173inline void ArtField::SetChar(ObjPtr<mirror::Object> object, uint16_t c) {
Nicolas Geoffray5b3c6c02017-01-19 14:22:26 +0000174 if (kIsDebugBuild) {
175 // For simplicity, this method is being called by the compiler entrypoint for
176 // both char and short fields.
177 Primitive::Type type = GetTypeAsPrimitiveType();
178 DCHECK(type == Primitive::kPrimChar || type == Primitive::kPrimShort) << PrettyField();
179 }
Fred Shih37f05ef2014-07-16 18:38:08 -0700180 FIELD_SET(object, Char, c);
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800181}
182
Mathieu Chartier3398c782016-09-30 10:27:43 -0700183inline int16_t ArtField::GetShort(ObjPtr<mirror::Object> object) {
Fred Shih37f05ef2014-07-16 18:38:08 -0700184 FIELD_GET(object, Short);
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800185}
186
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100187template<bool kTransactionActive>
Mathieu Chartier3398c782016-09-30 10:27:43 -0700188inline void ArtField::SetShort(ObjPtr<mirror::Object> object, int16_t s) {
Nicolas Geoffray5b3c6c02017-01-19 14:22:26 +0000189 DCHECK_EQ(Primitive::kPrimShort, GetTypeAsPrimitiveType()) << PrettyField();
Fred Shih37f05ef2014-07-16 18:38:08 -0700190 FIELD_SET(object, Short, s);
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800191}
192
Fred Shih37f05ef2014-07-16 18:38:08 -0700193#undef FIELD_GET
194#undef FIELD_SET
195
Mathieu Chartier3398c782016-09-30 10:27:43 -0700196inline int32_t ArtField::GetInt(ObjPtr<mirror::Object> object) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100197 if (kIsDebugBuild) {
Nicolas Geoffray5b3c6c02017-01-19 14:22:26 +0000198 // For simplicity, this method is being called by the compiler entrypoint for
199 // both int and float fields.
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700200 Primitive::Type type = GetTypeAsPrimitiveType();
David Sehr709b0702016-10-13 09:12:37 -0700201 CHECK(type == Primitive::kPrimInt || type == Primitive::kPrimFloat) << PrettyField();
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100202 }
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800203 return Get32(object);
204}
205
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100206template<bool kTransactionActive>
Mathieu Chartier3398c782016-09-30 10:27:43 -0700207inline void ArtField::SetInt(ObjPtr<mirror::Object> object, int32_t i) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100208 if (kIsDebugBuild) {
Nicolas Geoffray5b3c6c02017-01-19 14:22:26 +0000209 // For simplicity, this method is being called by the compiler entrypoint for
210 // both int and float fields.
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700211 Primitive::Type type = GetTypeAsPrimitiveType();
David Sehr709b0702016-10-13 09:12:37 -0700212 CHECK(type == Primitive::kPrimInt || type == Primitive::kPrimFloat) << PrettyField();
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100213 }
214 Set32<kTransactionActive>(object, i);
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800215}
216
Mathieu Chartier3398c782016-09-30 10:27:43 -0700217inline int64_t ArtField::GetLong(ObjPtr<mirror::Object> object) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100218 if (kIsDebugBuild) {
Nicolas Geoffray5b3c6c02017-01-19 14:22:26 +0000219 // For simplicity, this method is being called by the compiler entrypoint for
220 // both long and double fields.
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700221 Primitive::Type type = GetTypeAsPrimitiveType();
David Sehr709b0702016-10-13 09:12:37 -0700222 CHECK(type == Primitive::kPrimLong || type == Primitive::kPrimDouble) << PrettyField();
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100223 }
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800224 return Get64(object);
225}
226
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100227template<bool kTransactionActive>
Mathieu Chartier3398c782016-09-30 10:27:43 -0700228inline void ArtField::SetLong(ObjPtr<mirror::Object> object, int64_t j) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100229 if (kIsDebugBuild) {
Nicolas Geoffray5b3c6c02017-01-19 14:22:26 +0000230 // For simplicity, this method is being called by the compiler entrypoint for
231 // both long and double fields.
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700232 Primitive::Type type = GetTypeAsPrimitiveType();
David Sehr709b0702016-10-13 09:12:37 -0700233 CHECK(type == Primitive::kPrimLong || type == Primitive::kPrimDouble) << PrettyField();
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100234 }
235 Set64<kTransactionActive>(object, j);
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800236}
237
Mathieu Chartier3398c782016-09-30 10:27:43 -0700238inline float ArtField::GetFloat(ObjPtr<mirror::Object> object) {
David Sehr709b0702016-10-13 09:12:37 -0700239 DCHECK_EQ(Primitive::kPrimFloat, GetTypeAsPrimitiveType()) << PrettyField();
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800240 JValue bits;
241 bits.SetI(Get32(object));
242 return bits.GetF();
243}
244
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100245template<bool kTransactionActive>
Mathieu Chartier3398c782016-09-30 10:27:43 -0700246inline void ArtField::SetFloat(ObjPtr<mirror::Object> object, float f) {
David Sehr709b0702016-10-13 09:12:37 -0700247 DCHECK_EQ(Primitive::kPrimFloat, GetTypeAsPrimitiveType()) << PrettyField();
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800248 JValue bits;
249 bits.SetF(f);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100250 Set32<kTransactionActive>(object, bits.GetI());
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800251}
252
Mathieu Chartier3398c782016-09-30 10:27:43 -0700253inline double ArtField::GetDouble(ObjPtr<mirror::Object> object) {
David Sehr709b0702016-10-13 09:12:37 -0700254 DCHECK_EQ(Primitive::kPrimDouble, GetTypeAsPrimitiveType()) << PrettyField();
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800255 JValue bits;
256 bits.SetJ(Get64(object));
257 return bits.GetD();
258}
259
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100260template<bool kTransactionActive>
Mathieu Chartier3398c782016-09-30 10:27:43 -0700261inline void ArtField::SetDouble(ObjPtr<mirror::Object> object, double d) {
David Sehr709b0702016-10-13 09:12:37 -0700262 DCHECK_EQ(Primitive::kPrimDouble, GetTypeAsPrimitiveType()) << PrettyField();
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800263 JValue bits;
264 bits.SetD(d);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100265 Set64<kTransactionActive>(object, bits.GetJ());
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800266}
267
Mathieu Chartier3398c782016-09-30 10:27:43 -0700268inline ObjPtr<mirror::Object> ArtField::GetObject(ObjPtr<mirror::Object> object) {
David Sehr709b0702016-10-13 09:12:37 -0700269 DCHECK_EQ(Primitive::kPrimNot, GetTypeAsPrimitiveType()) << PrettyField();
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800270 return GetObj(object);
271}
272
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100273template<bool kTransactionActive>
Mathieu Chartier3398c782016-09-30 10:27:43 -0700274inline void ArtField::SetObject(ObjPtr<mirror::Object> object, ObjPtr<mirror::Object> l) {
David Sehr709b0702016-10-13 09:12:37 -0700275 DCHECK_EQ(Primitive::kPrimNot, GetTypeAsPrimitiveType()) << PrettyField();
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100276 SetObj<kTransactionActive>(object, l);
Ian Rogersc0fa3ad2013-02-05 00:11:55 -0800277}
278
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700279inline const char* ArtField::GetName() REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700280 uint32_t field_index = GetDexFieldIndex();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000281 if (UNLIKELY(GetDeclaringClass()->IsProxyClass())) {
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700282 DCHECK(IsStatic());
283 DCHECK_LT(field_index, 2U);
284 return field_index == 0 ? "interfaces" : "throws";
285 }
286 const DexFile* dex_file = GetDexFile();
287 return dex_file->GetFieldName(dex_file->GetFieldId(field_index));
288}
289
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700290inline const char* ArtField::GetTypeDescriptor() REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700291 uint32_t field_index = GetDexFieldIndex();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000292 if (UNLIKELY(GetDeclaringClass()->IsProxyClass())) {
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700293 DCHECK(IsStatic());
294 DCHECK_LT(field_index, 2U);
295 // 0 == Class[] interfaces; 1 == Class[][] throws;
296 return field_index == 0 ? "[Ljava/lang/Class;" : "[[Ljava/lang/Class;";
297 }
298 const DexFile* dex_file = GetDexFile();
299 const DexFile::FieldId& field_id = dex_file->GetFieldId(field_index);
300 return dex_file->GetFieldTypeDescriptor(field_id);
301}
302
303inline Primitive::Type ArtField::GetTypeAsPrimitiveType()
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700304 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700305 return Primitive::GetType(GetTypeDescriptor()[0]);
306}
307
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700308inline bool ArtField::IsPrimitiveType() REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700309 return GetTypeAsPrimitiveType() != Primitive::kPrimNot;
310}
311
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700312template <bool kResolve>
Mathieu Chartier3398c782016-09-30 10:27:43 -0700313inline ObjPtr<mirror::Class> ArtField::GetType() {
Vladimir Marko8d6768d2017-03-14 10:13:21 +0000314 // TODO: Refactor this function into two functions, ResolveType() and LookupType()
315 // so that we can properly annotate it with no-suspension possible / suspension possible.
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700316 const uint32_t field_index = GetDexFieldIndex();
Mathieu Chartier3398c782016-09-30 10:27:43 -0700317 ObjPtr<mirror::Class> declaring_class = GetDeclaringClass();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000318 if (UNLIKELY(declaring_class->IsProxyClass())) {
319 return ProxyFindSystemClass(GetTypeDescriptor());
Ian Rogers08f1f502014-12-02 15:04:37 -0800320 }
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700321 auto* dex_cache = declaring_class->GetDexCache();
322 const DexFile* const dex_file = dex_cache->GetDexFile();
Ian Rogers08f1f502014-12-02 15:04:37 -0800323 const DexFile::FieldId& field_id = dex_file->GetFieldId(field_index);
Mathieu Chartier3398c782016-09-30 10:27:43 -0700324 ObjPtr<mirror::Class> type = dex_cache->GetResolvedType(field_id.type_idx_);
Vladimir Marko8d6768d2017-03-14 10:13:21 +0000325 if (UNLIKELY(type == nullptr)) {
326 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
327 if (kResolve) {
328 type = class_linker->ResolveType(*dex_file, field_id.type_idx_, declaring_class);
329 CHECK(type != nullptr || Thread::Current()->IsExceptionPending());
330 } else {
331 type = class_linker->LookupResolvedType(
332 *dex_file, field_id.type_idx_, dex_cache, declaring_class->GetClassLoader());
333 DCHECK(!Thread::Current()->IsExceptionPending());
334 }
Ian Rogers08f1f502014-12-02 15:04:37 -0800335 }
336 return type;
337}
338
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700339inline size_t ArtField::FieldSize() REQUIRES_SHARED(Locks::mutator_lock_) {
Fred Shih37f05ef2014-07-16 18:38:08 -0700340 return Primitive::ComponentSize(GetTypeAsPrimitiveType());
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700341}
342
Mathieu Chartier3398c782016-09-30 10:27:43 -0700343inline ObjPtr<mirror::DexCache> ArtField::GetDexCache() REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700344 return GetDeclaringClass()->GetDexCache();
345}
346
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700347inline const DexFile* ArtField::GetDexFile() REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700348 return GetDexCache()->GetDexFile();
349}
350
Mathieu Chartier3398c782016-09-30 10:27:43 -0700351inline ObjPtr<mirror::String> ArtField::GetStringName(Thread* self, bool resolve) {
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700352 auto dex_field_index = GetDexFieldIndex();
353 CHECK_NE(dex_field_index, DexFile::kDexNoIndex);
Mathieu Chartier3398c782016-09-30 10:27:43 -0700354 ObjPtr<mirror::DexCache> dex_cache = GetDexCache();
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700355 const auto* dex_file = dex_cache->GetDexFile();
356 const auto& field_id = dex_file->GetFieldId(dex_field_index);
Mathieu Chartier3398c782016-09-30 10:27:43 -0700357 ObjPtr<mirror::String> name = dex_cache->GetResolvedString(field_id.name_idx_);
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700358 if (resolve && name == nullptr) {
Vladimir Marko3481ba22015-04-13 12:22:36 +0100359 name = ResolveGetStringName(self, *dex_file, field_id.name_idx_, dex_cache);
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700360 }
361 return name;
Mathieu Chartier76433272014-09-26 14:32:37 -0700362}
363
Mathieu Chartiere401d142015-04-22 13:56:20 -0700364template<typename RootVisitorType>
365inline void ArtField::VisitRoots(RootVisitorType& visitor) {
366 visitor.VisitRoot(declaring_class_.AddressWithoutBarrier());
367}
368
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800369template <typename Visitor>
370inline void ArtField::UpdateObjects(const Visitor& visitor) {
Mathieu Chartier3398c782016-09-30 10:27:43 -0700371 ObjPtr<mirror::Class> old_class = DeclaringClassRoot().Read<kWithoutReadBarrier>();
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700372 ObjPtr<mirror::Class> new_class = visitor(old_class.Ptr());
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800373 if (old_class != new_class) {
374 SetDeclaringClass(new_class);
375 }
376}
377
Mathieu Chartiercb044bc2016-04-01 13:56:41 -0700378// If kExactOffset is true then we only find the matching offset, not the field containing the
379// offset.
380template <bool kExactOffset>
381static inline ArtField* FindFieldWithOffset(
382 const IterationRange<StrideIterator<ArtField>>& fields,
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700383 uint32_t field_offset) REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiercb044bc2016-04-01 13:56:41 -0700384 for (ArtField& field : fields) {
385 if (kExactOffset) {
386 if (field.GetOffset().Uint32Value() == field_offset) {
387 return &field;
388 }
389 } else {
390 const uint32_t offset = field.GetOffset().Uint32Value();
391 Primitive::Type type = field.GetTypeAsPrimitiveType();
392 const size_t field_size = Primitive::ComponentSize(type);
393 DCHECK_GT(field_size, 0u);
394 if (offset <= field_offset && field_offset < offset + field_size) {
395 return &field;
396 }
397 }
398 }
399 return nullptr;
400}
401
402template <bool kExactOffset>
Mathieu Chartier3398c782016-09-30 10:27:43 -0700403inline ArtField* ArtField::FindInstanceFieldWithOffset(ObjPtr<mirror::Class> klass,
Mathieu Chartiercb044bc2016-04-01 13:56:41 -0700404 uint32_t field_offset) {
405 DCHECK(klass != nullptr);
406 ArtField* field = FindFieldWithOffset<kExactOffset>(klass->GetIFields(), field_offset);
407 if (field != nullptr) {
408 return field;
409 }
410 // We did not find field in the class: look into superclass.
411 return (klass->GetSuperClass() != nullptr) ?
412 FindInstanceFieldWithOffset<kExactOffset>(klass->GetSuperClass(), field_offset) : nullptr;
413}
414
415template <bool kExactOffset>
Mathieu Chartier3398c782016-09-30 10:27:43 -0700416inline ArtField* ArtField::FindStaticFieldWithOffset(ObjPtr<mirror::Class> klass,
417 uint32_t field_offset) {
Mathieu Chartiercb044bc2016-04-01 13:56:41 -0700418 DCHECK(klass != nullptr);
419 return FindFieldWithOffset<kExactOffset>(klass->GetSFields(), field_offset);
420}
421
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800422} // namespace art
423
Mathieu Chartierc7853442015-03-27 14:35:38 -0700424#endif // ART_RUNTIME_ART_FIELD_INL_H_