blob: a6f56aee428fafde6dc0f289ec301eb6295c6ea8 [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -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 */
Carl Shapiro894d0fa2011-06-30 14:48:49 -070016
Elliott Hughes90a33692011-08-30 13:27:07 -070017#include "object.h"
18
19#include <stdint.h>
20#include <stdio.h>
Ian Rogers700a4022014-05-19 16:49:03 -070021#include <memory>
Elliott Hughes90a33692011-08-30 13:27:07 -070022
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080023#include "array-inl.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070024#include "art_field-inl.h"
Ian Rogers1ff3c982014-08-12 02:30:58 -070025#include "art_method-inl.h"
Ian Rogers1f539342012-10-03 21:09:42 -070026#include "asm_support.h"
Andreas Gampe542451c2016-07-26 09:02:02 -070027#include "base/enums.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080028#include "class-inl.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070029#include "class_linker.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080030#include "class_linker-inl.h"
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080031#include "common_runtime_test.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070032#include "dex_file.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070033#include "entrypoints/entrypoint_utils-inl.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070034#include "gc/accounting/card_table-inl.h"
35#include "gc/heap.h"
Ian Rogers1ff3c982014-08-12 02:30:58 -070036#include "handle_scope-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080037#include "iftable-inl.h"
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070038#include "obj_ptr.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080039#include "object-inl.h"
40#include "object_array-inl.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070041#include "scoped_thread_state_change-inl.h"
Ian Rogersb0fa5dc2014-04-28 16:47:08 -070042#include "string-inl.h"
Carl Shapiro894d0fa2011-06-30 14:48:49 -070043
44namespace art {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080045namespace mirror {
Carl Shapiro894d0fa2011-06-30 14:48:49 -070046
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080047class ObjectTest : public CommonRuntimeTest {
Brian Carlstrom0b138b22011-07-27 15:19:17 -070048 protected:
Brian Carlstrom0a02d122013-09-06 15:42:40 -070049 void AssertString(int32_t expected_utf16_length,
Brian Carlstrom0b138b22011-07-27 15:19:17 -070050 const char* utf8_in,
51 const char* utf16_expected_le,
Ian Rogers00f7d0e2012-07-19 15:28:27 -070052 int32_t expected_hash)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070053 REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogers700a4022014-05-19 16:49:03 -070054 std::unique_ptr<uint16_t[]> utf16_expected(new uint16_t[expected_utf16_length]);
Brian Carlstrom0a02d122013-09-06 15:42:40 -070055 for (int32_t i = 0; i < expected_utf16_length; i++) {
Brian Carlstrom0b138b22011-07-27 15:19:17 -070056 uint16_t ch = (((utf16_expected_le[i*2 + 0] & 0xff) << 8) |
57 ((utf16_expected_le[i*2 + 1] & 0xff) << 0));
58 utf16_expected[i] = ch;
59 }
60
Ian Rogers50b35e22012-10-04 10:09:15 -070061 Thread* self = Thread::Current();
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070062 StackHandleScope<1> hs(self);
63 Handle<String> string(
64 hs.NewHandle(String::AllocFromModifiedUtf8(self, expected_utf16_length, utf8_in)));
Brian Carlstrom0a02d122013-09-06 15:42:40 -070065 ASSERT_EQ(expected_utf16_length, string->GetLength());
jessicahandojo3aaa37b2016-07-29 14:46:37 -070066 ASSERT_EQ(string->IsValueNull(), false);
Brian Carlstrom0a02d122013-09-06 15:42:40 -070067 // strlen is necessary because the 1-character string "\x00\x00" is interpreted as ""
68 ASSERT_TRUE(string->Equals(utf8_in) || (expected_utf16_length == 1 && strlen(utf8_in) == 0));
Mathieu Chartier2cebb242015-04-21 16:50:40 -070069 ASSERT_TRUE(string->Equals(StringPiece(utf8_in)) ||
70 (expected_utf16_length == 1 && strlen(utf8_in) == 0));
Brian Carlstrom0a02d122013-09-06 15:42:40 -070071 for (int32_t i = 0; i < expected_utf16_length; i++) {
Jeff Hao848f70a2014-01-15 13:49:50 -080072 EXPECT_EQ(utf16_expected[i], string->CharAt(i));
Brian Carlstrom0b138b22011-07-27 15:19:17 -070073 }
Ian Rogers0cfe1fb2011-08-26 03:29:44 -070074 EXPECT_EQ(expected_hash, string->GetHashCode());
Brian Carlstrom0b138b22011-07-27 15:19:17 -070075 }
76};
Brian Carlstroma331b3c2011-07-18 17:47:56 -070077
Ian Rogers68d8b422014-07-17 11:09:10 -070078// Keep constants in sync.
79TEST_F(ObjectTest, Constants) {
Ian Rogerscdc1aaf2014-10-09 13:21:38 -070080 EXPECT_EQ(kObjectReferenceSize, sizeof(HeapReference<Object>));
81 EXPECT_EQ(kObjectHeaderSize, sizeof(Object));
Mathieu Chartiere401d142015-04-22 13:56:20 -070082 EXPECT_EQ(ART_METHOD_QUICK_CODE_OFFSET_32,
Andreas Gampe542451c2016-07-26 09:02:02 -070083 ArtMethod::EntryPointFromQuickCompiledCodeOffset(PointerSize::k32).
84 Int32Value());
Mathieu Chartiere401d142015-04-22 13:56:20 -070085 EXPECT_EQ(ART_METHOD_QUICK_CODE_OFFSET_64,
Andreas Gampe542451c2016-07-26 09:02:02 -070086 ArtMethod::EntryPointFromQuickCompiledCodeOffset(PointerSize::k64).
87 Int32Value());
Ian Rogers68d8b422014-07-17 11:09:10 -070088}
89
Brian Carlstroma331b3c2011-07-18 17:47:56 -070090TEST_F(ObjectTest, IsInSamePackage) {
Carl Shapiro894d0fa2011-06-30 14:48:49 -070091 // Matches
Ian Rogers6d4d9fc2011-11-30 16:24:48 -080092 EXPECT_TRUE(Class::IsInSamePackage("Ljava/lang/Object;", "Ljava/lang/Class;"));
93 EXPECT_TRUE(Class::IsInSamePackage("LFoo;", "LBar;"));
Carl Shapiro894d0fa2011-06-30 14:48:49 -070094
95 // Mismatches
Ian Rogers6d4d9fc2011-11-30 16:24:48 -080096 EXPECT_FALSE(Class::IsInSamePackage("Ljava/lang/Object;", "Ljava/io/File;"));
97 EXPECT_FALSE(Class::IsInSamePackage("Ljava/lang/Object;", "Ljava/lang/reflect/Method;"));
Carl Shapiro894d0fa2011-06-30 14:48:49 -070098}
99
Elliott Hughes081be7f2011-09-18 16:50:26 -0700100TEST_F(ObjectTest, Clone) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700101 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartierf8322842014-05-16 10:59:25 -0700102 StackHandleScope<2> hs(soa.Self());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700103 Handle<ObjectArray<Object>> a1(
104 hs.NewHandle(class_linker_->AllocObjectArray<Object>(soa.Self(), 256)));
Elliott Hughes081be7f2011-09-18 16:50:26 -0700105 size_t s1 = a1->SizeOf();
Ian Rogers50b35e22012-10-04 10:09:15 -0700106 Object* clone = a1->Clone(soa.Self());
Elliott Hughes081be7f2011-09-18 16:50:26 -0700107 EXPECT_EQ(s1, clone->SizeOf());
108 EXPECT_TRUE(clone->GetClass() == a1->GetClass());
109}
110
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700111TEST_F(ObjectTest, AllocObjectArray) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700112 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartierf8322842014-05-16 10:59:25 -0700113 StackHandleScope<2> hs(soa.Self());
Ian Rogers700a4022014-05-19 16:49:03 -0700114 Handle<ObjectArray<Object>> oa(
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700115 hs.NewHandle(class_linker_->AllocObjectArray<Object>(soa.Self(), 2)));
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700116 EXPECT_EQ(2, oa->GetLength());
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700117 EXPECT_TRUE(oa->Get(0) == nullptr);
118 EXPECT_TRUE(oa->Get(1) == nullptr);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700119 oa->Set<false>(0, oa.Get());
120 EXPECT_TRUE(oa->Get(0) == oa.Get());
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700121 EXPECT_TRUE(oa->Get(1) == nullptr);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700122 oa->Set<false>(1, oa.Get());
123 EXPECT_TRUE(oa->Get(0) == oa.Get());
124 EXPECT_TRUE(oa->Get(1) == oa.Get());
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700125
Ian Rogers98379392014-02-24 16:53:16 -0800126 Class* aioobe = class_linker_->FindSystemClass(soa.Self(),
127 "Ljava/lang/ArrayIndexOutOfBoundsException;");
Elliott Hughes710a0cb2011-08-16 14:32:37 -0700128
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700129 EXPECT_TRUE(oa->Get(-1) == nullptr);
Ian Rogers1f539342012-10-03 21:09:42 -0700130 EXPECT_TRUE(soa.Self()->IsExceptionPending());
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000131 EXPECT_EQ(aioobe, soa.Self()->GetException()->GetClass());
Ian Rogers1f539342012-10-03 21:09:42 -0700132 soa.Self()->ClearException();
Elliott Hughes710a0cb2011-08-16 14:32:37 -0700133
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700134 EXPECT_TRUE(oa->Get(2) == nullptr);
Ian Rogers1f539342012-10-03 21:09:42 -0700135 EXPECT_TRUE(soa.Self()->IsExceptionPending());
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000136 EXPECT_EQ(aioobe, soa.Self()->GetException()->GetClass());
Ian Rogers1f539342012-10-03 21:09:42 -0700137 soa.Self()->ClearException();
Elliott Hughes710a0cb2011-08-16 14:32:37 -0700138
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700139 ASSERT_TRUE(oa->GetClass() != nullptr);
Mathieu Chartierf8322842014-05-16 10:59:25 -0700140 Handle<mirror::Class> klass(hs.NewHandle(oa->GetClass()));
141 ASSERT_EQ(2U, klass->NumDirectInterfaces());
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700142 EXPECT_OBJ_PTR_EQ(class_linker_->FindSystemClass(soa.Self(), "Ljava/lang/Cloneable;"),
Vladimir Marko19a4d372016-12-08 14:41:46 +0000143 mirror::Class::GetDirectInterface(soa.Self(), klass.Get(), 0));
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700144 EXPECT_OBJ_PTR_EQ(class_linker_->FindSystemClass(soa.Self(), "Ljava/io/Serializable;"),
Vladimir Marko19a4d372016-12-08 14:41:46 +0000145 mirror::Class::GetDirectInterface(soa.Self(), klass.Get(), 1));
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700146}
147
Elliott Hughes68f4fa02011-08-21 10:46:59 -0700148TEST_F(ObjectTest, AllocArray) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700149 ScopedObjectAccess soa(Thread::Current());
Ian Rogers98379392014-02-24 16:53:16 -0800150 Class* c = class_linker_->FindSystemClass(soa.Self(), "[I");
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700151 StackHandleScope<1> hs(soa.Self());
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700152 MutableHandle<Array> a(
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700153 hs.NewHandle(Array::Alloc<true>(soa.Self(), c, 1, c->GetComponentSizeShift(),
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700154 Runtime::Current()->GetHeap()->GetCurrentAllocator())));
Ian Rogers6fac4472014-02-25 17:01:10 -0800155 EXPECT_TRUE(c == a->GetClass());
156 EXPECT_EQ(1, a->GetLength());
Elliott Hughes68f4fa02011-08-21 10:46:59 -0700157
Ian Rogers98379392014-02-24 16:53:16 -0800158 c = class_linker_->FindSystemClass(soa.Self(), "[Ljava/lang/Object;");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700159 a.Assign(Array::Alloc<true>(soa.Self(), c, 1, c->GetComponentSizeShift(),
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700160 Runtime::Current()->GetHeap()->GetCurrentAllocator()));
Ian Rogers6fac4472014-02-25 17:01:10 -0800161 EXPECT_TRUE(c == a->GetClass());
162 EXPECT_EQ(1, a->GetLength());
Elliott Hughes68f4fa02011-08-21 10:46:59 -0700163
Ian Rogers98379392014-02-24 16:53:16 -0800164 c = class_linker_->FindSystemClass(soa.Self(), "[[Ljava/lang/Object;");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700165 a.Assign(Array::Alloc<true>(soa.Self(), c, 1, c->GetComponentSizeShift(),
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700166 Runtime::Current()->GetHeap()->GetCurrentAllocator()));
Ian Rogers6fac4472014-02-25 17:01:10 -0800167 EXPECT_TRUE(c == a->GetClass());
168 EXPECT_EQ(1, a->GetLength());
169}
170
171TEST_F(ObjectTest, AllocArray_FillUsable) {
172 ScopedObjectAccess soa(Thread::Current());
173 Class* c = class_linker_->FindSystemClass(soa.Self(), "[B");
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700174 StackHandleScope<1> hs(soa.Self());
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700175 MutableHandle<Array> a(
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700176 hs.NewHandle(Array::Alloc<true, true>(soa.Self(), c, 1, c->GetComponentSizeShift(),
177 Runtime::Current()->GetHeap()->GetCurrentAllocator())));
Ian Rogers6fac4472014-02-25 17:01:10 -0800178 EXPECT_TRUE(c == a->GetClass());
179 EXPECT_LE(1, a->GetLength());
180
181 c = class_linker_->FindSystemClass(soa.Self(), "[I");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700182 a.Assign(Array::Alloc<true, true>(soa.Self(), c, 2, c->GetComponentSizeShift(),
183 Runtime::Current()->GetHeap()->GetCurrentAllocator()));
Ian Rogers6fac4472014-02-25 17:01:10 -0800184 EXPECT_TRUE(c == a->GetClass());
185 EXPECT_LE(2, a->GetLength());
186
187 c = class_linker_->FindSystemClass(soa.Self(), "[Ljava/lang/Object;");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700188 a.Assign(Array::Alloc<true, true>(soa.Self(), c, 2, c->GetComponentSizeShift(),
189 Runtime::Current()->GetHeap()->GetCurrentAllocator()));
Ian Rogers6fac4472014-02-25 17:01:10 -0800190 EXPECT_TRUE(c == a->GetClass());
191 EXPECT_LE(2, a->GetLength());
192
193 c = class_linker_->FindSystemClass(soa.Self(), "[[Ljava/lang/Object;");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700194 a.Assign(Array::Alloc<true, true>(soa.Self(), c, 2, c->GetComponentSizeShift(),
195 Runtime::Current()->GetHeap()->GetCurrentAllocator()));
Ian Rogers6fac4472014-02-25 17:01:10 -0800196 EXPECT_TRUE(c == a->GetClass());
197 EXPECT_LE(2, a->GetLength());
Elliott Hughes68f4fa02011-08-21 10:46:59 -0700198}
199
Elliott Hughes710a0cb2011-08-16 14:32:37 -0700200template<typename ArrayT>
201void TestPrimitiveArray(ClassLinker* cl) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700202 ScopedObjectAccess soa(Thread::Current());
Elliott Hughes710a0cb2011-08-16 14:32:37 -0700203 typedef typename ArrayT::ElementType T;
204
Ian Rogers50b35e22012-10-04 10:09:15 -0700205 ArrayT* a = ArrayT::Alloc(soa.Self(), 2);
Elliott Hughes710a0cb2011-08-16 14:32:37 -0700206 EXPECT_EQ(2, a->GetLength());
207 EXPECT_EQ(0, a->Get(0));
208 EXPECT_EQ(0, a->Get(1));
209 a->Set(0, T(123));
210 EXPECT_EQ(T(123), a->Get(0));
211 EXPECT_EQ(0, a->Get(1));
212 a->Set(1, T(321));
213 EXPECT_EQ(T(123), a->Get(0));
214 EXPECT_EQ(T(321), a->Get(1));
215
Ian Rogers98379392014-02-24 16:53:16 -0800216 Class* aioobe = cl->FindSystemClass(soa.Self(), "Ljava/lang/ArrayIndexOutOfBoundsException;");
Elliott Hughes710a0cb2011-08-16 14:32:37 -0700217
218 EXPECT_EQ(0, a->Get(-1));
Ian Rogers1f539342012-10-03 21:09:42 -0700219 EXPECT_TRUE(soa.Self()->IsExceptionPending());
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000220 EXPECT_EQ(aioobe, soa.Self()->GetException()->GetClass());
Ian Rogers1f539342012-10-03 21:09:42 -0700221 soa.Self()->ClearException();
Elliott Hughes710a0cb2011-08-16 14:32:37 -0700222
223 EXPECT_EQ(0, a->Get(2));
Ian Rogers1f539342012-10-03 21:09:42 -0700224 EXPECT_TRUE(soa.Self()->IsExceptionPending());
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000225 EXPECT_EQ(aioobe, soa.Self()->GetException()->GetClass());
Ian Rogers1f539342012-10-03 21:09:42 -0700226 soa.Self()->ClearException();
Elliott Hughes710a0cb2011-08-16 14:32:37 -0700227}
228
229TEST_F(ObjectTest, PrimitiveArray_Boolean_Alloc) {
230 TestPrimitiveArray<BooleanArray>(class_linker_);
231}
232TEST_F(ObjectTest, PrimitiveArray_Byte_Alloc) {
233 TestPrimitiveArray<ByteArray>(class_linker_);
234}
235TEST_F(ObjectTest, PrimitiveArray_Char_Alloc) {
236 TestPrimitiveArray<CharArray>(class_linker_);
237}
Elliott Hughes710a0cb2011-08-16 14:32:37 -0700238TEST_F(ObjectTest, PrimitiveArray_Int_Alloc) {
239 TestPrimitiveArray<IntArray>(class_linker_);
240}
241TEST_F(ObjectTest, PrimitiveArray_Long_Alloc) {
242 TestPrimitiveArray<LongArray>(class_linker_);
243}
244TEST_F(ObjectTest, PrimitiveArray_Short_Alloc) {
245 TestPrimitiveArray<ShortArray>(class_linker_);
246}
247
Ian Rogers647b1a82014-10-10 11:02:11 -0700248TEST_F(ObjectTest, PrimitiveArray_Double_Alloc) {
249 typedef DoubleArray ArrayT;
250 ScopedObjectAccess soa(Thread::Current());
251 typedef typename ArrayT::ElementType T;
252
253 ArrayT* a = ArrayT::Alloc(soa.Self(), 2);
254 EXPECT_EQ(2, a->GetLength());
255 EXPECT_DOUBLE_EQ(0, a->Get(0));
256 EXPECT_DOUBLE_EQ(0, a->Get(1));
257 a->Set(0, T(123));
258 EXPECT_DOUBLE_EQ(T(123), a->Get(0));
259 EXPECT_DOUBLE_EQ(0, a->Get(1));
260 a->Set(1, T(321));
261 EXPECT_DOUBLE_EQ(T(123), a->Get(0));
262 EXPECT_DOUBLE_EQ(T(321), a->Get(1));
263
264 Class* aioobe = class_linker_->FindSystemClass(soa.Self(),
265 "Ljava/lang/ArrayIndexOutOfBoundsException;");
266
267 EXPECT_DOUBLE_EQ(0, a->Get(-1));
268 EXPECT_TRUE(soa.Self()->IsExceptionPending());
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000269 EXPECT_EQ(aioobe, soa.Self()->GetException()->GetClass());
Ian Rogers647b1a82014-10-10 11:02:11 -0700270 soa.Self()->ClearException();
271
272 EXPECT_DOUBLE_EQ(0, a->Get(2));
273 EXPECT_TRUE(soa.Self()->IsExceptionPending());
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000274 EXPECT_EQ(aioobe, soa.Self()->GetException()->GetClass());
Ian Rogers647b1a82014-10-10 11:02:11 -0700275 soa.Self()->ClearException();
276}
277
278TEST_F(ObjectTest, PrimitiveArray_Float_Alloc) {
279 typedef FloatArray ArrayT;
280 ScopedObjectAccess soa(Thread::Current());
281 typedef typename ArrayT::ElementType T;
282
283 ArrayT* a = ArrayT::Alloc(soa.Self(), 2);
284 EXPECT_FLOAT_EQ(2, a->GetLength());
285 EXPECT_FLOAT_EQ(0, a->Get(0));
286 EXPECT_FLOAT_EQ(0, a->Get(1));
287 a->Set(0, T(123));
288 EXPECT_FLOAT_EQ(T(123), a->Get(0));
289 EXPECT_FLOAT_EQ(0, a->Get(1));
290 a->Set(1, T(321));
291 EXPECT_FLOAT_EQ(T(123), a->Get(0));
292 EXPECT_FLOAT_EQ(T(321), a->Get(1));
293
294 Class* aioobe = class_linker_->FindSystemClass(soa.Self(),
295 "Ljava/lang/ArrayIndexOutOfBoundsException;");
296
297 EXPECT_FLOAT_EQ(0, a->Get(-1));
298 EXPECT_TRUE(soa.Self()->IsExceptionPending());
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000299 EXPECT_EQ(aioobe, soa.Self()->GetException()->GetClass());
Ian Rogers647b1a82014-10-10 11:02:11 -0700300 soa.Self()->ClearException();
301
302 EXPECT_FLOAT_EQ(0, a->Get(2));
303 EXPECT_TRUE(soa.Self()->IsExceptionPending());
Nicolas Geoffray14691c52015-03-05 10:40:17 +0000304 EXPECT_EQ(aioobe, soa.Self()->GetException()->GetClass());
Ian Rogers647b1a82014-10-10 11:02:11 -0700305 soa.Self()->ClearException();
306}
307
308
Elliott Hughesb408de72011-10-04 14:35:05 -0700309TEST_F(ObjectTest, CheckAndAllocArrayFromCode) {
Ian Rogersb886da82011-09-23 16:27:54 -0700310 // pretend we are trying to call 'new char[3]' from String.toCharArray
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700311 ScopedObjectAccess soa(Thread::Current());
Ian Rogers98379392014-02-24 16:53:16 -0800312 Class* java_util_Arrays = class_linker_->FindSystemClass(soa.Self(), "Ljava/util/Arrays;");
Andreas Gampe542451c2016-07-26 09:02:02 -0700313 ArtMethod* sort = java_util_Arrays->FindDirectMethod("sort", "([I)V", kRuntimePointerSize);
Mathieu Chartier9507fa22015-10-29 15:08:57 -0700314 const DexFile::TypeId* type_id = java_lang_dex_file_->FindTypeId("[I");
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700315 ASSERT_TRUE(type_id != nullptr);
Andreas Gampea5b09a62016-11-17 15:21:22 -0800316 dex::TypeIndex type_idx = java_lang_dex_file_->GetIndexForTypeId(*type_id);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700317 Object* array = CheckAndAllocArrayFromCodeInstrumented(
318 type_idx, 3, sort, Thread::Current(), false,
319 Runtime::Current()->GetHeap()->GetCurrentAllocator());
Brian Carlstromb63ec392011-08-27 17:38:27 -0700320 EXPECT_TRUE(array->IsArrayInstance());
321 EXPECT_EQ(3, array->AsArray()->GetLength());
322 EXPECT_TRUE(array->GetClass()->IsArrayClass());
323 EXPECT_TRUE(array->GetClass()->GetComponentType()->IsPrimitive());
324}
325
Ian Rogers64b6d142012-10-29 16:34:15 -0700326TEST_F(ObjectTest, CreateMultiArray) {
327 ScopedObjectAccess soa(Thread::Current());
328
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700329 StackHandleScope<2> hs(soa.Self());
330 Handle<Class> c(hs.NewHandle(class_linker_->FindSystemClass(soa.Self(), "I")));
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700331 MutableHandle<IntArray> dims(hs.NewHandle(IntArray::Alloc(soa.Self(), 1)));
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100332 dims->Set<false>(0, 1);
Mathieu Chartier5bb99032014-02-08 16:20:58 -0800333 Array* multi = Array::CreateMultiArray(soa.Self(), c, dims);
Ian Rogers98379392014-02-24 16:53:16 -0800334 EXPECT_TRUE(multi->GetClass() == class_linker_->FindSystemClass(soa.Self(), "[I"));
Ian Rogers64b6d142012-10-29 16:34:15 -0700335 EXPECT_EQ(1, multi->GetLength());
336
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100337 dims->Set<false>(0, -1);
Mathieu Chartier5bb99032014-02-08 16:20:58 -0800338 multi = Array::CreateMultiArray(soa.Self(), c, dims);
Ian Rogers64b6d142012-10-29 16:34:15 -0700339 EXPECT_TRUE(soa.Self()->IsExceptionPending());
David Sehr709b0702016-10-13 09:12:37 -0700340 EXPECT_EQ(mirror::Class::PrettyDescriptor(soa.Self()->GetException()->GetClass()),
Ian Rogers64b6d142012-10-29 16:34:15 -0700341 "java.lang.NegativeArraySizeException");
342 soa.Self()->ClearException();
343
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700344 dims.Assign(IntArray::Alloc(soa.Self(), 2));
Ian Rogers64b6d142012-10-29 16:34:15 -0700345 for (int i = 1; i < 20; ++i) {
346 for (int j = 0; j < 20; ++j) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100347 dims->Set<false>(0, i);
348 dims->Set<false>(1, j);
Mathieu Chartier5bb99032014-02-08 16:20:58 -0800349 multi = Array::CreateMultiArray(soa.Self(), c, dims);
Ian Rogers98379392014-02-24 16:53:16 -0800350 EXPECT_TRUE(multi->GetClass() == class_linker_->FindSystemClass(soa.Self(), "[[I"));
Ian Rogers64b6d142012-10-29 16:34:15 -0700351 EXPECT_EQ(i, multi->GetLength());
352 for (int k = 0; k < i; ++k) {
353 Array* outer = multi->AsObjectArray<Array>()->Get(k);
Ian Rogers98379392014-02-24 16:53:16 -0800354 EXPECT_TRUE(outer->GetClass() == class_linker_->FindSystemClass(soa.Self(), "[I"));
Ian Rogers64b6d142012-10-29 16:34:15 -0700355 EXPECT_EQ(j, outer->GetLength());
356 }
357 }
358 }
359}
360
Brian Carlstromb9edb842011-08-28 16:31:06 -0700361TEST_F(ObjectTest, StaticFieldFromCode) {
jeffhaoabcfde32011-09-29 15:05:18 -0700362 // pretend we are trying to access 'Static.s0' from StaticsFromCode.<clinit>
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700363 ScopedObjectAccess soa(Thread::Current());
364 jobject class_loader = LoadDex("StaticsFromCode");
Andreas Gampe81c6f8d2015-03-25 17:19:53 -0700365 const DexFile* dex_file = GetFirstDexFile(class_loader);
Brian Carlstrom848a4b32011-09-04 11:29:27 -0700366
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700367 StackHandleScope<2> hs(soa.Self());
Mathieu Chartier0795f232016-09-27 18:43:30 -0700368 Handle<mirror::ClassLoader> loader(hs.NewHandle(soa.Decode<ClassLoader>(class_loader)));
Ian Rogers98379392014-02-24 16:53:16 -0800369 Class* klass = class_linker_->FindClass(soa.Self(), "LStaticsFromCode;", loader);
Andreas Gampe542451c2016-07-26 09:02:02 -0700370 ArtMethod* clinit = klass->FindClassInitializer(kRuntimePointerSize);
Mathieu Chartier9507fa22015-10-29 15:08:57 -0700371 const DexFile::TypeId* klass_type_id = dex_file->FindTypeId("LStaticsFromCode;");
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700372 ASSERT_TRUE(klass_type_id != nullptr);
Ian Rogers9b1a4f42011-11-14 18:35:10 -0800373
Mathieu Chartier9507fa22015-10-29 15:08:57 -0700374 const DexFile::TypeId* type_type_id = dex_file->FindTypeId("Ljava/lang/Object;");
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700375 ASSERT_TRUE(type_type_id != nullptr);
Ian Rogers9b1a4f42011-11-14 18:35:10 -0800376
377 const DexFile::StringId* name_str_id = dex_file->FindStringId("s0");
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700378 ASSERT_TRUE(name_str_id != nullptr);
Ian Rogers9b1a4f42011-11-14 18:35:10 -0800379
380 const DexFile::FieldId* field_id = dex_file->FindFieldId(
381 *klass_type_id, *name_str_id, *type_type_id);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700382 ASSERT_TRUE(field_id != nullptr);
Ian Rogers9b1a4f42011-11-14 18:35:10 -0800383 uint32_t field_idx = dex_file->GetIndexForFieldId(*field_id);
384
Sebastien Hertzd4beb6b2013-10-02 17:07:20 +0200385 ArtField* field = FindFieldFromCode<StaticObjectRead, true>(field_idx, clinit, Thread::Current(),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800386 sizeof(HeapReference<Object>));
Mathieu Chartier3398c782016-09-30 10:27:43 -0700387 ObjPtr<Object> s0 = field->GetObj(klass);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700388 EXPECT_TRUE(s0 != nullptr);
Brian Carlstromb9edb842011-08-28 16:31:06 -0700389
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700390 Handle<CharArray> char_array(hs.NewHandle(CharArray::Alloc(soa.Self(), 0)));
391 field->SetObj<false>(field->GetDeclaringClass(), char_array.Get());
Mathieu Chartier3398c782016-09-30 10:27:43 -0700392 EXPECT_OBJ_PTR_EQ(char_array.Get(), field->GetObj(klass));
Brian Carlstromb9edb842011-08-28 16:31:06 -0700393
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700394 field->SetObj<false>(field->GetDeclaringClass(), nullptr);
395 EXPECT_EQ(nullptr, field->GetObj(klass));
Brian Carlstrom9f30b382011-08-28 22:41:38 -0700396
Brian Carlstromea46f952013-07-30 01:26:50 -0700397 // TODO: more exhaustive tests of all 6 cases of ArtField::*FromCode
Brian Carlstromb9edb842011-08-28 16:31:06 -0700398}
399
Brian Carlstrom0b138b22011-07-27 15:19:17 -0700400TEST_F(ObjectTest, String) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700401 ScopedObjectAccess soa(Thread::Current());
Brian Carlstrom0b138b22011-07-27 15:19:17 -0700402 // Test the empty string.
403 AssertString(0, "", "", 0);
404
405 // Test one-byte characters.
406 AssertString(1, " ", "\x00\x20", 0x20);
407 AssertString(1, "", "\x00\x00", 0);
408 AssertString(1, "\x7f", "\x00\x7f", 0x7f);
409 AssertString(2, "hi", "\x00\x68\x00\x69", (31 * 0x68) + 0x69);
410
411 // Test two-byte characters.
412 AssertString(1, "\xc2\x80", "\x00\x80", 0x80);
413 AssertString(1, "\xd9\xa6", "\x06\x66", 0x0666);
414 AssertString(1, "\xdf\xbf", "\x07\xff", 0x07ff);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700415 AssertString(3, "h\xd9\xa6i", "\x00\x68\x06\x66\x00\x69",
416 (31 * ((31 * 0x68) + 0x0666)) + 0x69);
Brian Carlstrom0b138b22011-07-27 15:19:17 -0700417
418 // Test three-byte characters.
419 AssertString(1, "\xe0\xa0\x80", "\x08\x00", 0x0800);
420 AssertString(1, "\xe1\x88\xb4", "\x12\x34", 0x1234);
421 AssertString(1, "\xef\xbf\xbf", "\xff\xff", 0xffff);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700422 AssertString(3, "h\xe1\x88\xb4i", "\x00\x68\x12\x34\x00\x69",
423 (31 * ((31 * 0x68) + 0x1234)) + 0x69);
Narayan Kamatha5afcfc2015-01-29 20:06:46 +0000424
425 // Test four-byte characters.
426 AssertString(2, "\xf0\x9f\x8f\xa0", "\xd8\x3c\xdf\xe0", (31 * 0xd83c) + 0xdfe0);
427 AssertString(2, "\xf0\x9f\x9a\x80", "\xd8\x3d\xde\x80", (31 * 0xd83d) + 0xde80);
428 AssertString(4, "h\xf0\x9f\x9a\x80i", "\x00\x68\xd8\x3d\xde\x80\x00\x69",
429 (31 * (31 * (31 * 0x68 + 0xd83d) + 0xde80) + 0x69));
Brian Carlstrom0b138b22011-07-27 15:19:17 -0700430}
Jesse Wilsoncbe9fc02011-07-29 18:59:50 -0400431
Jesse Wilsonf7e85a52011-08-01 18:45:58 -0700432TEST_F(ObjectTest, StringEqualsUtf8) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700433 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700434 StackHandleScope<2> hs(soa.Self());
435 Handle<String> string(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "android")));
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700436 EXPECT_TRUE(string->Equals("android"));
437 EXPECT_FALSE(string->Equals("Android"));
438 EXPECT_FALSE(string->Equals("ANDROID"));
439 EXPECT_FALSE(string->Equals(""));
440 EXPECT_FALSE(string->Equals("and"));
441 EXPECT_FALSE(string->Equals("androids"));
Jesse Wilsonf7e85a52011-08-01 18:45:58 -0700442
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700443 Handle<String> empty(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "")));
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700444 EXPECT_TRUE(empty->Equals(""));
445 EXPECT_FALSE(empty->Equals("a"));
Jesse Wilsoncbe9fc02011-07-29 18:59:50 -0400446}
447
448TEST_F(ObjectTest, StringEquals) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700449 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700450 StackHandleScope<3> hs(soa.Self());
451 Handle<String> string(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "android")));
452 Handle<String> string_2(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "android")));
453 EXPECT_TRUE(string->Equals(string_2.Get()));
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700454 EXPECT_FALSE(string->Equals("Android"));
455 EXPECT_FALSE(string->Equals("ANDROID"));
456 EXPECT_FALSE(string->Equals(""));
457 EXPECT_FALSE(string->Equals("and"));
458 EXPECT_FALSE(string->Equals("androids"));
Jesse Wilsoncbe9fc02011-07-29 18:59:50 -0400459
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700460 Handle<String> empty(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "")));
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700461 EXPECT_TRUE(empty->Equals(""));
462 EXPECT_FALSE(empty->Equals("a"));
463}
464
Ian Rogers64b6d142012-10-29 16:34:15 -0700465TEST_F(ObjectTest, StringCompareTo) {
466 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700467 StackHandleScope<5> hs(soa.Self());
468 Handle<String> string(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "android")));
469 Handle<String> string_2(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "android")));
470 Handle<String> string_3(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "Android")));
471 Handle<String> string_4(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "and")));
472 Handle<String> string_5(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "")));
473 EXPECT_EQ(0, string->CompareTo(string_2.Get()));
474 EXPECT_LT(0, string->CompareTo(string_3.Get()));
475 EXPECT_GT(0, string_3->CompareTo(string.Get()));
476 EXPECT_LT(0, string->CompareTo(string_4.Get()));
477 EXPECT_GT(0, string_4->CompareTo(string.Get()));
478 EXPECT_LT(0, string->CompareTo(string_5.Get()));
479 EXPECT_GT(0, string_5->CompareTo(string.Get()));
Ian Rogers64b6d142012-10-29 16:34:15 -0700480}
481
jeffhao0ce13152012-03-27 19:45:50 -0700482TEST_F(ObjectTest, StringLength) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700483 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700484 StackHandleScope<1> hs(soa.Self());
485 Handle<String> string(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "android")));
jeffhao0ce13152012-03-27 19:45:50 -0700486 EXPECT_EQ(string->GetLength(), 7);
487 EXPECT_EQ(string->GetUtfLength(), 7);
jeffhao0ce13152012-03-27 19:45:50 -0700488}
489
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700490TEST_F(ObjectTest, DescriptorCompare) {
Mathieu Chartier590fee92013-09-13 13:46:47 -0700491 // Two classloaders conflicts in compile_time_class_paths_.
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700492 ScopedObjectAccess soa(Thread::Current());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700493 ClassLinker* linker = class_linker_;
494
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700495 jobject jclass_loader_1 = LoadDex("ProtoCompare");
496 jobject jclass_loader_2 = LoadDex("ProtoCompare2");
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700497 StackHandleScope<4> hs(soa.Self());
Mathieu Chartier0795f232016-09-27 18:43:30 -0700498 Handle<ClassLoader> class_loader_1(hs.NewHandle(soa.Decode<ClassLoader>(jclass_loader_1)));
499 Handle<ClassLoader> class_loader_2(hs.NewHandle(soa.Decode<ClassLoader>(jclass_loader_2)));
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700500
Ian Rogers98379392014-02-24 16:53:16 -0800501 Class* klass1 = linker->FindClass(soa.Self(), "LProtoCompare;", class_loader_1);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700502 ASSERT_TRUE(klass1 != nullptr);
Ian Rogers98379392014-02-24 16:53:16 -0800503 Class* klass2 = linker->FindClass(soa.Self(), "LProtoCompare2;", class_loader_2);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700504 ASSERT_TRUE(klass2 != nullptr);
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700505
Andreas Gampe542451c2016-07-26 09:02:02 -0700506 ArtMethod* m1_1 = klass1->GetVirtualMethod(0, kRuntimePointerSize);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700507 EXPECT_STREQ(m1_1->GetName(), "m1");
Andreas Gampe542451c2016-07-26 09:02:02 -0700508 ArtMethod* m2_1 = klass1->GetVirtualMethod(1, kRuntimePointerSize);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700509 EXPECT_STREQ(m2_1->GetName(), "m2");
Andreas Gampe542451c2016-07-26 09:02:02 -0700510 ArtMethod* m3_1 = klass1->GetVirtualMethod(2, kRuntimePointerSize);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700511 EXPECT_STREQ(m3_1->GetName(), "m3");
Andreas Gampe542451c2016-07-26 09:02:02 -0700512 ArtMethod* m4_1 = klass1->GetVirtualMethod(3, kRuntimePointerSize);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700513 EXPECT_STREQ(m4_1->GetName(), "m4");
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700514
Andreas Gampe542451c2016-07-26 09:02:02 -0700515 ArtMethod* m1_2 = klass2->GetVirtualMethod(0, kRuntimePointerSize);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700516 EXPECT_STREQ(m1_2->GetName(), "m1");
Andreas Gampe542451c2016-07-26 09:02:02 -0700517 ArtMethod* m2_2 = klass2->GetVirtualMethod(1, kRuntimePointerSize);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700518 EXPECT_STREQ(m2_2->GetName(), "m2");
Andreas Gampe542451c2016-07-26 09:02:02 -0700519 ArtMethod* m3_2 = klass2->GetVirtualMethod(2, kRuntimePointerSize);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700520 EXPECT_STREQ(m3_2->GetName(), "m3");
Andreas Gampe542451c2016-07-26 09:02:02 -0700521 ArtMethod* m4_2 = klass2->GetVirtualMethod(3, kRuntimePointerSize);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700522 EXPECT_STREQ(m4_2->GetName(), "m4");
Jesse Wilsoncbe9fc02011-07-29 18:59:50 -0400523}
524
Jesse Wilsonfd687c52011-08-04 19:27:35 -0700525TEST_F(ObjectTest, StringHashCode) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700526 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700527 StackHandleScope<3> hs(soa.Self());
528 Handle<String> empty(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "")));
529 Handle<String> A(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "A")));
530 Handle<String> ABC(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "ABC")));
Brian Carlstrom40381fb2011-10-19 14:13:40 -0700531
532 EXPECT_EQ(0, empty->GetHashCode());
533 EXPECT_EQ(65, A->GetHashCode());
534 EXPECT_EQ(64578, ABC->GetHashCode());
Jesse Wilsonfd687c52011-08-04 19:27:35 -0700535}
536
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700537TEST_F(ObjectTest, InstanceOf) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700538 ScopedObjectAccess soa(Thread::Current());
539 jobject jclass_loader = LoadDex("XandY");
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700540 StackHandleScope<3> hs(soa.Self());
Mathieu Chartier0795f232016-09-27 18:43:30 -0700541 Handle<ClassLoader> class_loader(hs.NewHandle(soa.Decode<ClassLoader>(jclass_loader)));
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700542
Ian Rogers98379392014-02-24 16:53:16 -0800543 Class* X = class_linker_->FindClass(soa.Self(), "LX;", class_loader);
544 Class* Y = class_linker_->FindClass(soa.Self(), "LY;", class_loader);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700545 ASSERT_TRUE(X != nullptr);
546 ASSERT_TRUE(Y != nullptr);
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700547
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700548 Handle<Object> x(hs.NewHandle(X->AllocObject(soa.Self())));
549 Handle<Object> y(hs.NewHandle(Y->AllocObject(soa.Self())));
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700550 ASSERT_TRUE(x.Get() != nullptr);
551 ASSERT_TRUE(y.Get() != nullptr);
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700552
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700553 EXPECT_TRUE(x->InstanceOf(X));
554 EXPECT_FALSE(x->InstanceOf(Y));
555 EXPECT_TRUE(y->InstanceOf(X));
556 EXPECT_TRUE(y->InstanceOf(Y));
Brian Carlstrom5b8e4c82011-09-18 01:38:59 -0700557
Ian Rogers98379392014-02-24 16:53:16 -0800558 Class* java_lang_Class = class_linker_->FindSystemClass(soa.Self(), "Ljava/lang/Class;");
559 Class* Object_array_class = class_linker_->FindSystemClass(soa.Self(), "[Ljava/lang/Object;");
Elliott Hughes92f14b22011-10-06 12:29:54 -0700560
561 EXPECT_FALSE(java_lang_Class->InstanceOf(Object_array_class));
562 EXPECT_TRUE(Object_array_class->InstanceOf(java_lang_Class));
563
564 // All array classes implement Cloneable and Serializable.
Ian Rogers50b35e22012-10-04 10:09:15 -0700565 Object* array = ObjectArray<Object>::Alloc(soa.Self(), Object_array_class, 1);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700566 Class* java_lang_Cloneable =
567 class_linker_->FindSystemClass(soa.Self(), "Ljava/lang/Cloneable;");
568 Class* java_io_Serializable =
569 class_linker_->FindSystemClass(soa.Self(), "Ljava/io/Serializable;");
Elliott Hughes92f14b22011-10-06 12:29:54 -0700570 EXPECT_TRUE(array->InstanceOf(java_lang_Cloneable));
571 EXPECT_TRUE(array->InstanceOf(java_io_Serializable));
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700572}
573
574TEST_F(ObjectTest, IsAssignableFrom) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700575 ScopedObjectAccess soa(Thread::Current());
576 jobject jclass_loader = LoadDex("XandY");
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700577 StackHandleScope<1> hs(soa.Self());
Mathieu Chartier0795f232016-09-27 18:43:30 -0700578 Handle<ClassLoader> class_loader(hs.NewHandle(soa.Decode<ClassLoader>(jclass_loader)));
Ian Rogers98379392014-02-24 16:53:16 -0800579 Class* X = class_linker_->FindClass(soa.Self(), "LX;", class_loader);
580 Class* Y = class_linker_->FindClass(soa.Self(), "LY;", class_loader);
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700581
582 EXPECT_TRUE(X->IsAssignableFrom(X));
583 EXPECT_TRUE(X->IsAssignableFrom(Y));
584 EXPECT_FALSE(Y->IsAssignableFrom(X));
585 EXPECT_TRUE(Y->IsAssignableFrom(Y));
Ian Rogersd81871c2011-10-03 13:57:23 -0700586
587 // class final String implements CharSequence, ..
Ian Rogers98379392014-02-24 16:53:16 -0800588 Class* string = class_linker_->FindSystemClass(soa.Self(), "Ljava/lang/String;");
589 Class* charseq = class_linker_->FindSystemClass(soa.Self(), "Ljava/lang/CharSequence;");
Ian Rogersd81871c2011-10-03 13:57:23 -0700590 // Can String be assigned to CharSequence without a cast?
591 EXPECT_TRUE(charseq->IsAssignableFrom(string));
592 // Can CharSequence be assigned to String without a cast?
593 EXPECT_FALSE(string->IsAssignableFrom(charseq));
594
595 // Primitive types are only assignable to themselves
596 const char* prims = "ZBCSIJFD";
597 Class* prim_types[strlen(prims)];
598 for (size_t i = 0; i < strlen(prims); i++) {
599 prim_types[i] = class_linker_->FindPrimitiveClass(prims[i]);
600 }
601 for (size_t i = 0; i < strlen(prims); i++) {
602 for (size_t j = 0; i < strlen(prims); i++) {
603 if (i == j) {
604 EXPECT_TRUE(prim_types[i]->IsAssignableFrom(prim_types[j]));
605 } else {
606 EXPECT_FALSE(prim_types[i]->IsAssignableFrom(prim_types[j]));
607 }
608 }
609 }
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700610}
611
612TEST_F(ObjectTest, IsAssignableFromArray) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700613 ScopedObjectAccess soa(Thread::Current());
614 jobject jclass_loader = LoadDex("XandY");
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700615 StackHandleScope<1> hs(soa.Self());
Mathieu Chartier0795f232016-09-27 18:43:30 -0700616 Handle<ClassLoader> class_loader(hs.NewHandle(soa.Decode<ClassLoader>(jclass_loader)));
Ian Rogers98379392014-02-24 16:53:16 -0800617 Class* X = class_linker_->FindClass(soa.Self(), "LX;", class_loader);
618 Class* Y = class_linker_->FindClass(soa.Self(), "LY;", class_loader);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700619 ASSERT_TRUE(X != nullptr);
620 ASSERT_TRUE(Y != nullptr);
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700621
Ian Rogers98379392014-02-24 16:53:16 -0800622 Class* YA = class_linker_->FindClass(soa.Self(), "[LY;", class_loader);
623 Class* YAA = class_linker_->FindClass(soa.Self(), "[[LY;", class_loader);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700624 ASSERT_TRUE(YA != nullptr);
625 ASSERT_TRUE(YAA != nullptr);
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700626
Ian Rogers98379392014-02-24 16:53:16 -0800627 Class* XAA = class_linker_->FindClass(soa.Self(), "[[LX;", class_loader);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700628 ASSERT_TRUE(XAA != nullptr);
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700629
Ian Rogers98379392014-02-24 16:53:16 -0800630 Class* O = class_linker_->FindSystemClass(soa.Self(), "Ljava/lang/Object;");
631 Class* OA = class_linker_->FindSystemClass(soa.Self(), "[Ljava/lang/Object;");
632 Class* OAA = class_linker_->FindSystemClass(soa.Self(), "[[Ljava/lang/Object;");
633 Class* OAAA = class_linker_->FindSystemClass(soa.Self(), "[[[Ljava/lang/Object;");
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700634 ASSERT_TRUE(O != nullptr);
635 ASSERT_TRUE(OA != nullptr);
636 ASSERT_TRUE(OAA != nullptr);
637 ASSERT_TRUE(OAAA != nullptr);
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700638
Ian Rogers98379392014-02-24 16:53:16 -0800639 Class* S = class_linker_->FindSystemClass(soa.Self(), "Ljava/io/Serializable;");
640 Class* SA = class_linker_->FindSystemClass(soa.Self(), "[Ljava/io/Serializable;");
641 Class* SAA = class_linker_->FindSystemClass(soa.Self(), "[[Ljava/io/Serializable;");
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700642 ASSERT_TRUE(S != nullptr);
643 ASSERT_TRUE(SA != nullptr);
644 ASSERT_TRUE(SAA != nullptr);
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700645
Ian Rogers98379392014-02-24 16:53:16 -0800646 Class* IA = class_linker_->FindSystemClass(soa.Self(), "[I");
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700647 ASSERT_TRUE(IA != nullptr);
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700648
649 EXPECT_TRUE(YAA->IsAssignableFrom(YAA)); // identity
650 EXPECT_TRUE(XAA->IsAssignableFrom(YAA)); // element superclass
651 EXPECT_FALSE(YAA->IsAssignableFrom(XAA));
652 EXPECT_FALSE(Y->IsAssignableFrom(YAA));
653 EXPECT_FALSE(YA->IsAssignableFrom(YAA));
654 EXPECT_TRUE(O->IsAssignableFrom(YAA)); // everything is an Object
655 EXPECT_TRUE(OA->IsAssignableFrom(YAA));
656 EXPECT_TRUE(OAA->IsAssignableFrom(YAA));
657 EXPECT_TRUE(S->IsAssignableFrom(YAA)); // all arrays are Serializable
658 EXPECT_TRUE(SA->IsAssignableFrom(YAA));
659 EXPECT_FALSE(SAA->IsAssignableFrom(YAA)); // unless Y was Serializable
660
661 EXPECT_FALSE(IA->IsAssignableFrom(OA));
662 EXPECT_FALSE(OA->IsAssignableFrom(IA));
663 EXPECT_TRUE(O->IsAssignableFrom(IA));
664}
665
Elliott Hughescdf53122011-08-19 15:46:09 -0700666TEST_F(ObjectTest, FindInstanceField) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700667 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700668 StackHandleScope<1> hs(soa.Self());
669 Handle<String> s(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "ABC")));
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700670 ASSERT_TRUE(s.Get() != nullptr);
Elliott Hughescdf53122011-08-19 15:46:09 -0700671 Class* c = s->GetClass();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700672 ASSERT_TRUE(c != nullptr);
Elliott Hughescdf53122011-08-19 15:46:09 -0700673
674 // Wrong type.
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700675 EXPECT_TRUE(c->FindDeclaredInstanceField("count", "J") == nullptr);
676 EXPECT_TRUE(c->FindInstanceField("count", "J") == nullptr);
Elliott Hughescdf53122011-08-19 15:46:09 -0700677
678 // Wrong name.
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700679 EXPECT_TRUE(c->FindDeclaredInstanceField("Count", "I") == nullptr);
680 EXPECT_TRUE(c->FindInstanceField("Count", "I") == nullptr);
Elliott Hughescdf53122011-08-19 15:46:09 -0700681
682 // Right name and type.
Brian Carlstromea46f952013-07-30 01:26:50 -0700683 ArtField* f1 = c->FindDeclaredInstanceField("count", "I");
684 ArtField* f2 = c->FindInstanceField("count", "I");
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700685 EXPECT_TRUE(f1 != nullptr);
686 EXPECT_TRUE(f2 != nullptr);
Elliott Hughescdf53122011-08-19 15:46:09 -0700687 EXPECT_EQ(f1, f2);
688
689 // TODO: check that s.count == 3.
690
691 // Ensure that we handle superclass fields correctly...
Ian Rogers98379392014-02-24 16:53:16 -0800692 c = class_linker_->FindSystemClass(soa.Self(), "Ljava/lang/StringBuilder;");
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700693 ASSERT_TRUE(c != nullptr);
Elliott Hughescdf53122011-08-19 15:46:09 -0700694 // No StringBuilder.count...
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700695 EXPECT_TRUE(c->FindDeclaredInstanceField("count", "I") == nullptr);
Elliott Hughescdf53122011-08-19 15:46:09 -0700696 // ...but there is an AbstractStringBuilder.count.
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700697 EXPECT_TRUE(c->FindInstanceField("count", "I") != nullptr);
Elliott Hughescdf53122011-08-19 15:46:09 -0700698}
699
700TEST_F(ObjectTest, FindStaticField) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700701 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartierf8322842014-05-16 10:59:25 -0700702 StackHandleScope<4> hs(soa.Self());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700703 Handle<String> s(hs.NewHandle(String::AllocFromModifiedUtf8(soa.Self(), "ABC")));
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700704 ASSERT_TRUE(s.Get() != nullptr);
Mathieu Chartierf8322842014-05-16 10:59:25 -0700705 Handle<Class> c(hs.NewHandle(s->GetClass()));
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700706 ASSERT_TRUE(c.Get() != nullptr);
Elliott Hughescdf53122011-08-19 15:46:09 -0700707
708 // Wrong type.
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700709 EXPECT_TRUE(c->FindDeclaredStaticField("CASE_INSENSITIVE_ORDER", "I") == nullptr);
710 EXPECT_TRUE(mirror::Class::FindStaticField(
Vladimir Marko19a4d372016-12-08 14:41:46 +0000711 soa.Self(), c.Get(), "CASE_INSENSITIVE_ORDER", "I") == nullptr);
Elliott Hughescdf53122011-08-19 15:46:09 -0700712
713 // Wrong name.
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700714 EXPECT_TRUE(c->FindDeclaredStaticField(
715 "cASE_INSENSITIVE_ORDER", "Ljava/util/Comparator;") == nullptr);
Mathieu Chartierf8322842014-05-16 10:59:25 -0700716 EXPECT_TRUE(
Vladimir Marko19a4d372016-12-08 14:41:46 +0000717 mirror::Class::FindStaticField(
718 soa.Self(), c.Get(), "cASE_INSENSITIVE_ORDER", "Ljava/util/Comparator;") == nullptr);
Elliott Hughescdf53122011-08-19 15:46:09 -0700719
720 // Right name and type.
Mathieu Chartierc7853442015-03-27 14:35:38 -0700721 ArtField* f1 = c->FindDeclaredStaticField("CASE_INSENSITIVE_ORDER", "Ljava/util/Comparator;");
Vladimir Marko19a4d372016-12-08 14:41:46 +0000722 ArtField* f2 = mirror::Class::FindStaticField(
723 soa.Self(), c.Get(), "CASE_INSENSITIVE_ORDER", "Ljava/util/Comparator;");
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700724 EXPECT_TRUE(f1 != nullptr);
725 EXPECT_TRUE(f2 != nullptr);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700726 EXPECT_EQ(f1, f2);
Elliott Hughescdf53122011-08-19 15:46:09 -0700727
728 // TODO: test static fields via superclasses.
729 // TODO: test static fields via interfaces.
730 // TODO: test that interfaces trump superclasses.
731}
732
tony.ys_liu7380c312015-01-16 19:16:45 +0800733TEST_F(ObjectTest, IdentityHashCode) {
734 // Regression test for b/19046417 which had an infinite loop if the
735 // (seed & LockWord::kHashMask) == 0. seed 0 triggered the infinite loop since we did the check
736 // before the CAS which resulted in the same seed the next loop iteration.
737 mirror::Object::SetHashCodeSeed(0);
738 int32_t hash_code = mirror::Object::GenerateIdentityHashCode();
739 EXPECT_NE(hash_code, 0);
740}
741
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700742TEST_F(ObjectTest, ObjectPointer) {
743 ScopedObjectAccess soa(Thread::Current());
744 jobject jclass_loader = LoadDex("XandY");
745 StackHandleScope<2> hs(soa.Self());
746 ObjPtr<mirror::Object, /*kPoison*/ true> null_ptr;
747 EXPECT_TRUE(null_ptr.IsNull());
748 EXPECT_TRUE(null_ptr.IsValid());
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700749 EXPECT_TRUE(null_ptr.Ptr() == nullptr);
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700750 EXPECT_TRUE(null_ptr == nullptr);
751 EXPECT_TRUE(null_ptr == null_ptr);
752 EXPECT_FALSE(null_ptr != null_ptr);
753 EXPECT_FALSE(null_ptr != nullptr);
754 null_ptr.AssertValid();
Mathieu Chartier0795f232016-09-27 18:43:30 -0700755 Handle<ClassLoader> class_loader(hs.NewHandle(soa.Decode<ClassLoader>(jclass_loader)));
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700756 Handle<mirror::Class> h_X(
757 hs.NewHandle(class_linker_->FindClass(soa.Self(), "LX;", class_loader)));
758 ObjPtr<Class, /*kPoison*/ true> X(h_X.Get());
759 EXPECT_TRUE(!X.IsNull());
760 EXPECT_TRUE(X.IsValid());
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700761 EXPECT_TRUE(X.Ptr() != nullptr);
Mathieu Chartier3398c782016-09-30 10:27:43 -0700762 EXPECT_OBJ_PTR_EQ(h_X.Get(), X);
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700763 // FindClass may cause thread suspension, it should invalidate X.
764 ObjPtr<Class, /*kPoison*/ true> Y(class_linker_->FindClass(soa.Self(), "LY;", class_loader));
765 EXPECT_TRUE(!Y.IsNull());
766 EXPECT_TRUE(Y.IsValid());
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700767 EXPECT_TRUE(Y.Ptr() != nullptr);
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700768
769 // Should IsNull be safe to call on null ObjPtr? I'll allow it for now.
770 EXPECT_TRUE(!X.IsNull());
771 EXPECT_TRUE(!X.IsValid());
772 // Make X valid again by copying out of handle.
773 X.Assign(h_X.Get());
774 EXPECT_TRUE(!X.IsNull());
775 EXPECT_TRUE(X.IsValid());
Mathieu Chartier3398c782016-09-30 10:27:43 -0700776 EXPECT_OBJ_PTR_EQ(h_X.Get(), X);
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700777
778 // Allow thread suspension to invalidate Y.
779 soa.Self()->AllowThreadSuspension();
780 EXPECT_TRUE(!Y.IsNull());
781 EXPECT_TRUE(!Y.IsValid());
782
783 // Test unpoisoned.
784 ObjPtr<mirror::Object, /*kPoison*/ false> unpoisoned;
785 EXPECT_TRUE(unpoisoned.IsNull());
786 EXPECT_TRUE(unpoisoned.IsValid());
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700787 EXPECT_TRUE(unpoisoned.Ptr() == nullptr);
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700788 EXPECT_TRUE(unpoisoned == nullptr);
789 EXPECT_TRUE(unpoisoned == unpoisoned);
790 EXPECT_FALSE(unpoisoned != unpoisoned);
791 EXPECT_FALSE(unpoisoned != nullptr);
792
793 unpoisoned = h_X.Get();
794 EXPECT_FALSE(unpoisoned.IsNull());
795 EXPECT_TRUE(unpoisoned == h_X.Get());
Mathieu Chartier3398c782016-09-30 10:27:43 -0700796 EXPECT_OBJ_PTR_EQ(unpoisoned, h_X.Get());
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700797}
798
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800799} // namespace mirror
Carl Shapiro894d0fa2011-06-30 14:48:49 -0700800} // namespace art