blob: 9c76a1480f585fe22b6b1f83346088c2d9c39183 [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 */
Shih-wei Liao2fb97532011-08-11 16:17:23 -070016
Shih-wei Liao2fb97532011-08-11 16:17:23 -070017#include "class_linker.h"
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080018#include "common_runtime_test.h"
Shih-wei Liao2fb97532011-08-11 16:17:23 -070019#include "dex_file.h"
Elliott Hughes90a33692011-08-30 13:27:07 -070020#include "gtest/gtest.h"
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080021#include "leb128.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070022#include "mirror/class-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080023#include "mirror/object_array-inl.h"
Ian Rogers04d7aa92013-03-16 14:29:17 -070024#include "mirror/object-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080025#include "mirror/stack_trace_element.h"
Shih-wei Liao2fb97532011-08-11 16:17:23 -070026#include "runtime.h"
Ian Rogers00f7d0e2012-07-19 15:28:27 -070027#include "scoped_thread_state_change.h"
Ian Rogers1f539342012-10-03 21:09:42 -070028#include "sirt_ref.h"
Shih-wei Liao2fb97532011-08-11 16:17:23 -070029#include "thread.h"
Elliott Hughesa168c832012-06-12 15:34:20 -070030#include "UniquePtr.h"
Vladimir Marko2e589aa2014-02-25 17:53:53 +000031#include "vmap_table.h"
Shih-wei Liao2fb97532011-08-11 16:17:23 -070032
33namespace art {
34
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080035class ExceptionTest : public CommonRuntimeTest {
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -070036 protected:
37 virtual void SetUp() {
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080038 CommonRuntimeTest::SetUp();
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -070039
Ian Rogers00f7d0e2012-07-19 15:28:27 -070040 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartierc528dba2013-11-26 12:00:11 -080041 SirtRef<mirror::ClassLoader> class_loader(
42 soa.Self(), soa.Decode<mirror::ClassLoader*>(LoadDex("ExceptionHandle")));
Ian Rogers98379392014-02-24 16:53:16 -080043 my_klass_ = class_linker_->FindClass(soa.Self(), "LExceptionHandle;", class_loader);
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -070044 ASSERT_TRUE(my_klass_ != NULL);
Mathieu Chartierc528dba2013-11-26 12:00:11 -080045 SirtRef<mirror::Class> sirt_klass(soa.Self(), my_klass_);
46 class_linker_->EnsureInitialized(sirt_klass, true, true);
47 my_klass_ = sirt_klass.get();
Brian Carlstrom33f741e2011-10-03 11:24:05 -070048
Ian Rogers4445a7e2012-10-05 17:19:13 -070049 dex_ = my_klass_->GetDexCache()->GetDexFile();
Brian Carlstrom33f741e2011-10-03 11:24:05 -070050
Brian Carlstromf8bbb842012-03-14 03:01:42 -070051 uint32_t code_size = 12;
52 fake_code_.push_back((code_size >> 24) & 0xFF);
53 fake_code_.push_back((code_size >> 16) & 0xFF);
54 fake_code_.push_back((code_size >> 8) & 0xFF);
55 fake_code_.push_back((code_size >> 0) & 0xFF);
56 for (size_t i = 0 ; i < code_size; i++) {
57 fake_code_.push_back(0x70 | i);
Brian Carlstrom3320cf42011-10-04 14:58:28 -070058 }
59
Vladimir Marko1e6cb632013-11-28 16:27:29 +000060 fake_mapping_data_.PushBackUnsigned(4); // first element is count
61 fake_mapping_data_.PushBackUnsigned(4); // total (non-length) elements
62 fake_mapping_data_.PushBackUnsigned(2); // count of pc to dex elements
Bill Buzbeea5b30242012-09-28 07:19:44 -070063 // --- pc to dex table
Vladimir Marko1e6cb632013-11-28 16:27:29 +000064 fake_mapping_data_.PushBackUnsigned(3 - 0); // offset 3
65 fake_mapping_data_.PushBackSigned(3 - 0); // maps to dex offset 3
Bill Buzbeea5b30242012-09-28 07:19:44 -070066 // --- dex to pc table
Vladimir Marko1e6cb632013-11-28 16:27:29 +000067 fake_mapping_data_.PushBackUnsigned(3 - 0); // offset 3
68 fake_mapping_data_.PushBackSigned(3 - 0); // maps to dex offset 3
Brian Carlstrom33f741e2011-10-03 11:24:05 -070069
Vladimir Marko2e589aa2014-02-25 17:53:53 +000070 fake_vmap_table_data_.PushBackUnsigned(0 + VmapTable::kEntryAdjustment);
Mathieu Chartier342a2622012-06-28 12:04:52 -070071
Ian Rogers5a6220c2012-09-24 10:52:10 -070072 fake_gc_map_.push_back(0); // 0 bytes to encode references and native pc offsets.
73 fake_gc_map_.push_back(0);
74 fake_gc_map_.push_back(0); // 0 entries.
75 fake_gc_map_.push_back(0);
76
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -070077 method_f_ = my_klass_->FindVirtualMethod("f", "()I");
78 ASSERT_TRUE(method_f_ != NULL);
Andreas Gampecfa5c482014-03-12 14:11:40 -070079 method_f_->SetFrameSizeInBytes(4 * kPointerSize);
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080080 method_f_->SetEntryPointFromQuickCompiledCode(&fake_code_[sizeof(code_size)]);
Ian Rogers1809a722013-08-09 22:05:32 -070081 method_f_->SetMappingTable(&fake_mapping_data_.GetData()[0]);
82 method_f_->SetVmapTable(&fake_vmap_table_data_.GetData()[0]);
Ian Rogers5a6220c2012-09-24 10:52:10 -070083 method_f_->SetNativeGcMap(&fake_gc_map_[0]);
Brian Carlstrom33f741e2011-10-03 11:24:05 -070084
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -070085 method_g_ = my_klass_->FindVirtualMethod("g", "(I)V");
86 ASSERT_TRUE(method_g_ != NULL);
Andreas Gampecfa5c482014-03-12 14:11:40 -070087 method_g_->SetFrameSizeInBytes(4 * kPointerSize);
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080088 method_g_->SetEntryPointFromQuickCompiledCode(&fake_code_[sizeof(code_size)]);
Ian Rogers1809a722013-08-09 22:05:32 -070089 method_g_->SetMappingTable(&fake_mapping_data_.GetData()[0]);
90 method_g_->SetVmapTable(&fake_vmap_table_data_.GetData()[0]);
Ian Rogers5a6220c2012-09-24 10:52:10 -070091 method_g_->SetNativeGcMap(&fake_gc_map_[0]);
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -070092 }
93
Brian Carlstrom33f741e2011-10-03 11:24:05 -070094 const DexFile* dex_;
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -070095
Brian Carlstrom3320cf42011-10-04 14:58:28 -070096 std::vector<uint8_t> fake_code_;
Vladimir Marko1e6cb632013-11-28 16:27:29 +000097 Leb128EncodingVector fake_mapping_data_;
98 Leb128EncodingVector fake_vmap_table_data_;
Ian Rogers5a6220c2012-09-24 10:52:10 -070099 std::vector<uint8_t> fake_gc_map_;
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700100
Brian Carlstromea46f952013-07-30 01:26:50 -0700101 mirror::ArtMethod* method_f_;
102 mirror::ArtMethod* method_g_;
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -0700103
104 private:
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800105 mirror::Class* my_klass_;
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700106};
107
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -0700108TEST_F(ExceptionTest, FindCatchHandler) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800109 ScopedObjectAccess soa(Thread::Current());
Brian Carlstrom33f741e2011-10-03 11:24:05 -0700110 const DexFile::CodeItem* code_item = dex_->GetCodeItem(method_f_->GetCodeItemOffset());
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700111
112 ASSERT_TRUE(code_item != NULL);
113
114 ASSERT_EQ(2u, code_item->tries_size_);
Ian Rogersd81871c2011-10-03 13:57:23 -0700115 ASSERT_NE(0u, code_item->insns_size_in_code_units_);
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700116
Elliott Hughes7b9d9962012-04-20 18:48:18 -0700117 const DexFile::TryItem *t0, *t1;
Ian Rogers0571d352011-11-03 19:51:38 -0700118 t0 = dex_->GetTryItems(*code_item, 0);
119 t1 = dex_->GetTryItems(*code_item, 1);
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700120 EXPECT_LE(t0->start_addr_, t1->start_addr_);
Ian Rogers0571d352011-11-03 19:51:38 -0700121 {
122 CatchHandlerIterator iter(*code_item, 4 /* Dex PC in the first try block */);
123 EXPECT_STREQ("Ljava/io/IOException;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex()));
124 ASSERT_TRUE(iter.HasNext());
125 iter.Next();
126 EXPECT_STREQ("Ljava/lang/Exception;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex()));
127 ASSERT_TRUE(iter.HasNext());
128 iter.Next();
129 EXPECT_FALSE(iter.HasNext());
130 }
131 {
132 CatchHandlerIterator iter(*code_item, 8 /* Dex PC in the second try block */);
133 EXPECT_STREQ("Ljava/io/IOException;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex()));
134 ASSERT_TRUE(iter.HasNext());
135 iter.Next();
136 EXPECT_FALSE(iter.HasNext());
137 }
138 {
139 CatchHandlerIterator iter(*code_item, 11 /* Dex PC not in any try block */);
140 EXPECT_FALSE(iter.HasNext());
141 }
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700142}
143
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700144TEST_F(ExceptionTest, StackTraceElement) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700145 Thread* thread = Thread::Current();
Ian Rogers0fb6bb52012-08-14 15:10:19 -0700146 thread->TransitionFromSuspendedToRunnable();
Brian Carlstrombd86bcc2013-03-10 20:26:16 -0700147 bool started = runtime_->Start();
148 CHECK(started);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700149 JNIEnv* env = thread->GetJniEnv();
150 ScopedObjectAccess soa(env);
Brian Carlstrom25c33252011-09-18 15:58:35 -0700151
Elliott Hughes3b6baaa2011-10-14 19:13:56 -0700152 std::vector<uintptr_t> fake_stack;
Brian Carlstromba150c32013-08-27 17:31:03 -0700153 ASSERT_EQ(kStackAlignment, 16U);
Andreas Gampecfa5c482014-03-12 14:11:40 -0700154 // ASSERT_EQ(sizeof(uintptr_t), sizeof(uint32_t));
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700155
Ian Rogersef7d42f2014-01-06 12:55:46 -0800156 if (!kUsePortableCompiler) {
157 // Create two fake stack frames with mapping data created in SetUp. We map offset 3 in the code
158 // to dex pc 3.
159 const uint32_t dex_pc = 3;
Ian Rogersf57c47c2011-10-06 00:06:17 -0700160
Ian Rogersef7d42f2014-01-06 12:55:46 -0800161 // Create/push fake 16byte stack frame for method g
162 fake_stack.push_back(reinterpret_cast<uintptr_t>(method_g_));
163 fake_stack.push_back(0);
164 fake_stack.push_back(0);
165 fake_stack.push_back(method_f_->ToNativePc(dex_pc)); // return pc
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700166
Ian Rogersef7d42f2014-01-06 12:55:46 -0800167 // Create/push fake 16byte stack frame for method f
168 fake_stack.push_back(reinterpret_cast<uintptr_t>(method_f_));
169 fake_stack.push_back(0);
170 fake_stack.push_back(0);
171 fake_stack.push_back(0xEBAD6070); // return pc
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700172
Ian Rogersef7d42f2014-01-06 12:55:46 -0800173 // Pull Method* of NULL to terminate the trace
174 fake_stack.push_back(0);
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700175
Ian Rogersef7d42f2014-01-06 12:55:46 -0800176 // Push null values which will become null incoming arguments.
177 fake_stack.push_back(0);
178 fake_stack.push_back(0);
179 fake_stack.push_back(0);
Mathieu Chartier342a2622012-06-28 12:04:52 -0700180
Ian Rogersef7d42f2014-01-06 12:55:46 -0800181 // Set up thread to appear as if we called out of method_g_ at pc dex 3
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800182 thread->SetTopOfStack(reinterpret_cast<mirror::ArtMethod**>(&fake_stack[0]), method_g_->ToNativePc(dex_pc)); // return pc
Ian Rogersef7d42f2014-01-06 12:55:46 -0800183 } else {
184 // Create/push fake 20-byte shadow frame for method g
185 fake_stack.push_back(0);
186 fake_stack.push_back(0);
187 fake_stack.push_back(reinterpret_cast<uintptr_t>(method_g_));
188 fake_stack.push_back(3);
189 fake_stack.push_back(0);
Shih-wei Liao02f01fe2012-03-26 12:58:11 -0700190
Ian Rogersef7d42f2014-01-06 12:55:46 -0800191 // Create/push fake 20-byte shadow frame for method f
192 fake_stack.push_back(0);
193 fake_stack.push_back(0);
194 fake_stack.push_back(reinterpret_cast<uintptr_t>(method_f_));
195 fake_stack.push_back(3);
196 fake_stack.push_back(0);
Shih-wei Liao02f01fe2012-03-26 12:58:11 -0700197
Ian Rogersef7d42f2014-01-06 12:55:46 -0800198 thread->PushShadowFrame(reinterpret_cast<ShadowFrame*>(&fake_stack[5]));
199 thread->PushShadowFrame(reinterpret_cast<ShadowFrame*>(&fake_stack[0]));
200 }
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700201
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700202 jobject internal = thread->CreateInternalStackTrace(soa);
Brian Carlstrom26736442012-02-16 18:24:26 -0800203 ASSERT_TRUE(internal != NULL);
Ian Rogers53b8b092014-03-13 23:45:53 -0700204 jobjectArray ste_array = Thread::InternalStackTraceToStackTraceElementArray(soa, internal);
Brian Carlstrom26736442012-02-16 18:24:26 -0800205 ASSERT_TRUE(ste_array != NULL);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800206 mirror::ObjectArray<mirror::StackTraceElement>* trace_array =
207 soa.Decode<mirror::ObjectArray<mirror::StackTraceElement>*>(ste_array);
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700208
Brian Carlstrom26736442012-02-16 18:24:26 -0800209 ASSERT_TRUE(trace_array != NULL);
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700210 ASSERT_TRUE(trace_array->Get(0) != NULL);
Brian Carlstrom33f741e2011-10-03 11:24:05 -0700211 EXPECT_STREQ("ExceptionHandle",
Shih-wei Liao44175362011-08-28 16:59:17 -0700212 trace_array->Get(0)->GetDeclaringClass()->ToModifiedUtf8().c_str());
Brian Carlstrom33f741e2011-10-03 11:24:05 -0700213 EXPECT_STREQ("ExceptionHandle.java", trace_array->Get(0)->GetFileName()->ToModifiedUtf8().c_str());
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700214 EXPECT_STREQ("g", trace_array->Get(0)->GetMethodName()->ToModifiedUtf8().c_str());
Brian Carlstrom06ed7392012-01-31 01:25:48 -0800215 EXPECT_EQ(37, trace_array->Get(0)->GetLineNumber());
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700216
217 ASSERT_TRUE(trace_array->Get(1) != NULL);
Brian Carlstrom33f741e2011-10-03 11:24:05 -0700218 EXPECT_STREQ("ExceptionHandle",
Shih-wei Liao44175362011-08-28 16:59:17 -0700219 trace_array->Get(1)->GetDeclaringClass()->ToModifiedUtf8().c_str());
Brian Carlstrom33f741e2011-10-03 11:24:05 -0700220 EXPECT_STREQ("ExceptionHandle.java", trace_array->Get(1)->GetFileName()->ToModifiedUtf8().c_str());
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700221 EXPECT_STREQ("f", trace_array->Get(1)->GetMethodName()->ToModifiedUtf8().c_str());
Brian Carlstrom06ed7392012-01-31 01:25:48 -0800222 EXPECT_EQ(22, trace_array->Get(1)->GetLineNumber());
Elliott Hughesa43e0932012-03-27 18:35:33 -0700223
Ian Rogersc928de92013-02-27 14:30:44 -0800224#if !defined(ART_USE_PORTABLE_COMPILER)
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700225 thread->SetTopOfStack(NULL, 0); // Disarm the assertion that no code is running when we detach.
Ian Rogers0399dde2012-06-06 17:09:28 -0700226#else
227 thread->PopShadowFrame();
228 thread->PopShadowFrame();
Elliott Hughesa43e0932012-03-27 18:35:33 -0700229#endif
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700230}
231
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700232} // namespace art