blob: 6808000e5ea77a69a78ad91ebd90211aa03dc175 [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
Ian Rogers700a4022014-05-19 16:49:03 -070017#include <memory>
18
Shih-wei Liao2fb97532011-08-11 16:17:23 -070019#include "class_linker.h"
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080020#include "common_runtime_test.h"
Shih-wei Liao2fb97532011-08-11 16:17:23 -070021#include "dex_file.h"
Elliott Hughes956af0f2014-12-11 14:34:28 -080022#include "dex_file-inl.h"
Elliott Hughes90a33692011-08-30 13:27:07 -070023#include "gtest/gtest.h"
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080024#include "leb128.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070025#include "mirror/class-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080026#include "mirror/object_array-inl.h"
Ian Rogers04d7aa92013-03-16 14:29:17 -070027#include "mirror/object-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080028#include "mirror/stack_trace_element.h"
Shih-wei Liao2fb97532011-08-11 16:17:23 -070029#include "runtime.h"
Ian Rogers00f7d0e2012-07-19 15:28:27 -070030#include "scoped_thread_state_change.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070031#include "handle_scope-inl.h"
Shih-wei Liao2fb97532011-08-11 16:17:23 -070032#include "thread.h"
Vladimir Marko2e589aa2014-02-25 17:53:53 +000033#include "vmap_table.h"
Shih-wei Liao2fb97532011-08-11 16:17:23 -070034
35namespace art {
36
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080037class ExceptionTest : public CommonRuntimeTest {
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -070038 protected:
39 virtual void SetUp() {
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080040 CommonRuntimeTest::SetUp();
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -070041
Ian Rogers00f7d0e2012-07-19 15:28:27 -070042 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070043 StackHandleScope<2> hs(soa.Self());
44 Handle<mirror::ClassLoader> class_loader(
45 hs.NewHandle(soa.Decode<mirror::ClassLoader*>(LoadDex("ExceptionHandle"))));
Ian Rogers98379392014-02-24 16:53:16 -080046 my_klass_ = class_linker_->FindClass(soa.Self(), "LExceptionHandle;", class_loader);
Ian Rogers1d8cdbc2014-09-22 22:51:09 -070047 ASSERT_TRUE(my_klass_ != nullptr);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070048 Handle<mirror::Class> klass(hs.NewHandle(my_klass_));
Ian Rogers7b078e82014-09-10 14:44:24 -070049 class_linker_->EnsureInitialized(soa.Self(), klass, true, true);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070050 my_klass_ = klass.Get();
Brian Carlstrom33f741e2011-10-03 11:24:05 -070051
Ian Rogers4445a7e2012-10-05 17:19:13 -070052 dex_ = my_klass_->GetDexCache()->GetDexFile();
Brian Carlstrom33f741e2011-10-03 11:24:05 -070053
Brian Carlstromf8bbb842012-03-14 03:01:42 -070054 uint32_t code_size = 12;
Brian Carlstromf8bbb842012-03-14 03:01:42 -070055 for (size_t i = 0 ; i < code_size; i++) {
56 fake_code_.push_back(0x70 | i);
Brian Carlstrom3320cf42011-10-04 14:58:28 -070057 }
58
Vladimir Marko1e6cb632013-11-28 16:27:29 +000059 fake_mapping_data_.PushBackUnsigned(4); // first element is count
60 fake_mapping_data_.PushBackUnsigned(4); // total (non-length) elements
61 fake_mapping_data_.PushBackUnsigned(2); // count of pc to dex elements
Bill Buzbeea5b30242012-09-28 07:19:44 -070062 // --- pc to dex table
Vladimir Marko1e6cb632013-11-28 16:27:29 +000063 fake_mapping_data_.PushBackUnsigned(3 - 0); // offset 3
64 fake_mapping_data_.PushBackSigned(3 - 0); // maps to dex offset 3
Bill Buzbeea5b30242012-09-28 07:19:44 -070065 // --- dex to pc table
Vladimir Marko1e6cb632013-11-28 16:27:29 +000066 fake_mapping_data_.PushBackUnsigned(3 - 0); // offset 3
67 fake_mapping_data_.PushBackSigned(3 - 0); // maps to dex offset 3
Brian Carlstrom33f741e2011-10-03 11:24:05 -070068
Vladimir Marko2e589aa2014-02-25 17:53:53 +000069 fake_vmap_table_data_.PushBackUnsigned(0 + VmapTable::kEntryAdjustment);
Mathieu Chartier342a2622012-06-28 12:04:52 -070070
Ian Rogers5a6220c2012-09-24 10:52:10 -070071 fake_gc_map_.push_back(0); // 0 bytes to encode references and native pc offsets.
72 fake_gc_map_.push_back(0);
73 fake_gc_map_.push_back(0); // 0 entries.
74 fake_gc_map_.push_back(0);
75
Vladimir Marko8a630572014-04-09 18:45:35 +010076 const std::vector<uint8_t>& fake_vmap_table_data = fake_vmap_table_data_.GetData();
77 const std::vector<uint8_t>& fake_mapping_data = fake_mapping_data_.GetData();
Vladimir Marko7624d252014-05-02 14:40:15 +010078 uint32_t vmap_table_offset = sizeof(OatQuickMethodHeader) + fake_vmap_table_data.size();
Vladimir Marko8a630572014-04-09 18:45:35 +010079 uint32_t mapping_table_offset = vmap_table_offset + fake_mapping_data.size();
Mathieu Chartier957ca1c2014-11-21 16:51:29 -080080 uint32_t gc_map_offset = mapping_table_offset + fake_gc_map_.size();
81 OatQuickMethodHeader method_header(mapping_table_offset, vmap_table_offset, gc_map_offset,
Ian Rogers13735952014-10-08 12:43:28 -070082 4 * sizeof(void*), 0u, 0u, code_size);
Vladimir Marko8a630572014-04-09 18:45:35 +010083 fake_header_code_and_maps_.resize(sizeof(method_header));
84 memcpy(&fake_header_code_and_maps_[0], &method_header, sizeof(method_header));
85 fake_header_code_and_maps_.insert(fake_header_code_and_maps_.begin(),
86 fake_vmap_table_data.begin(), fake_vmap_table_data.end());
87 fake_header_code_and_maps_.insert(fake_header_code_and_maps_.begin(),
88 fake_mapping_data.begin(), fake_mapping_data.end());
Mathieu Chartier957ca1c2014-11-21 16:51:29 -080089 fake_header_code_and_maps_.insert(fake_header_code_and_maps_.begin(),
90 fake_gc_map_.begin(), fake_gc_map_.end());
Vladimir Marko8a630572014-04-09 18:45:35 +010091 fake_header_code_and_maps_.insert(fake_header_code_and_maps_.end(),
92 fake_code_.begin(), fake_code_.end());
93
94 // NOTE: Don't align the code (it will not be executed) but check that the Thumb2
95 // adjustment will be a NOP, see ArtMethod::EntryPointToCodePointer().
96 CHECK_EQ(mapping_table_offset & 1u, 0u);
Mathieu Chartier957ca1c2014-11-21 16:51:29 -080097 const uint8_t* code_ptr = &fake_header_code_and_maps_[gc_map_offset];
Vladimir Marko8a630572014-04-09 18:45:35 +010098
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -070099 method_f_ = my_klass_->FindVirtualMethod("f", "()I");
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700100 ASSERT_TRUE(method_f_ != nullptr);
Vladimir Marko8a630572014-04-09 18:45:35 +0100101 method_f_->SetEntryPointFromQuickCompiledCode(code_ptr);
Brian Carlstrom33f741e2011-10-03 11:24:05 -0700102
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -0700103 method_g_ = my_klass_->FindVirtualMethod("g", "(I)V");
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700104 ASSERT_TRUE(method_g_ != nullptr);
Vladimir Marko8a630572014-04-09 18:45:35 +0100105 method_g_->SetEntryPointFromQuickCompiledCode(code_ptr);
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -0700106 }
107
Brian Carlstrom33f741e2011-10-03 11:24:05 -0700108 const DexFile* dex_;
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -0700109
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700110 std::vector<uint8_t> fake_code_;
Vladimir Marko1e6cb632013-11-28 16:27:29 +0000111 Leb128EncodingVector fake_mapping_data_;
112 Leb128EncodingVector fake_vmap_table_data_;
Ian Rogers5a6220c2012-09-24 10:52:10 -0700113 std::vector<uint8_t> fake_gc_map_;
Vladimir Marko8a630572014-04-09 18:45:35 +0100114 std::vector<uint8_t> fake_header_code_and_maps_;
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700115
Brian Carlstromea46f952013-07-30 01:26:50 -0700116 mirror::ArtMethod* method_f_;
117 mirror::ArtMethod* method_g_;
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -0700118
119 private:
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800120 mirror::Class* my_klass_;
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700121};
122
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -0700123TEST_F(ExceptionTest, FindCatchHandler) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800124 ScopedObjectAccess soa(Thread::Current());
Brian Carlstrom33f741e2011-10-03 11:24:05 -0700125 const DexFile::CodeItem* code_item = dex_->GetCodeItem(method_f_->GetCodeItemOffset());
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700126
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700127 ASSERT_TRUE(code_item != nullptr);
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700128
129 ASSERT_EQ(2u, code_item->tries_size_);
Ian Rogersd81871c2011-10-03 13:57:23 -0700130 ASSERT_NE(0u, code_item->insns_size_in_code_units_);
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700131
Elliott Hughes7b9d9962012-04-20 18:48:18 -0700132 const DexFile::TryItem *t0, *t1;
Ian Rogers0571d352011-11-03 19:51:38 -0700133 t0 = dex_->GetTryItems(*code_item, 0);
134 t1 = dex_->GetTryItems(*code_item, 1);
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700135 EXPECT_LE(t0->start_addr_, t1->start_addr_);
Ian Rogers0571d352011-11-03 19:51:38 -0700136 {
137 CatchHandlerIterator iter(*code_item, 4 /* Dex PC in the first try block */);
138 EXPECT_STREQ("Ljava/io/IOException;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex()));
139 ASSERT_TRUE(iter.HasNext());
140 iter.Next();
141 EXPECT_STREQ("Ljava/lang/Exception;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex()));
142 ASSERT_TRUE(iter.HasNext());
143 iter.Next();
144 EXPECT_FALSE(iter.HasNext());
145 }
146 {
147 CatchHandlerIterator iter(*code_item, 8 /* Dex PC in the second try block */);
148 EXPECT_STREQ("Ljava/io/IOException;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex()));
149 ASSERT_TRUE(iter.HasNext());
150 iter.Next();
151 EXPECT_FALSE(iter.HasNext());
152 }
153 {
154 CatchHandlerIterator iter(*code_item, 11 /* Dex PC not in any try block */);
155 EXPECT_FALSE(iter.HasNext());
156 }
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700157}
158
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700159TEST_F(ExceptionTest, StackTraceElement) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700160 Thread* thread = Thread::Current();
Ian Rogers0fb6bb52012-08-14 15:10:19 -0700161 thread->TransitionFromSuspendedToRunnable();
Brian Carlstrombd86bcc2013-03-10 20:26:16 -0700162 bool started = runtime_->Start();
163 CHECK(started);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700164 JNIEnv* env = thread->GetJniEnv();
165 ScopedObjectAccess soa(env);
Brian Carlstrom25c33252011-09-18 15:58:35 -0700166
Elliott Hughes3b6baaa2011-10-14 19:13:56 -0700167 std::vector<uintptr_t> fake_stack;
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700168 Runtime* r = Runtime::Current();
169 r->SetInstructionSet(kRuntimeISA);
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700170 mirror::ArtMethod* save_method = r->CreateCalleeSaveMethod();
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700171 r->SetCalleeSaveMethod(save_method, Runtime::kSaveAll);
172 QuickMethodFrameInfo frame_info = save_method->GetQuickFrameInfo();
173
Brian Carlstromba150c32013-08-27 17:31:03 -0700174 ASSERT_EQ(kStackAlignment, 16U);
Andreas Gampecfa5c482014-03-12 14:11:40 -0700175 // ASSERT_EQ(sizeof(uintptr_t), sizeof(uint32_t));
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700176
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700177
Elliott Hughes956af0f2014-12-11 14:34:28 -0800178 // Create three fake stack frames with mapping data created in SetUp. We map offset 3 in the
179 // code to dex pc 3.
180 const uint32_t dex_pc = 3;
Ian Rogersf57c47c2011-10-06 00:06:17 -0700181
Elliott Hughes956af0f2014-12-11 14:34:28 -0800182 // Create the stack frame for the callee save method, expected by the runtime.
183 fake_stack.push_back(reinterpret_cast<uintptr_t>(save_method));
184 for (size_t i = 0; i < frame_info.FrameSizeInBytes() - 2 * sizeof(uintptr_t);
185 i += sizeof(uintptr_t)) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800186 fake_stack.push_back(0);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800187 }
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700188
Elliott Hughes956af0f2014-12-11 14:34:28 -0800189 fake_stack.push_back(method_g_->ToNativeQuickPc(dex_pc)); // return pc
190
191 // Create/push fake 16byte stack frame for method g
192 fake_stack.push_back(reinterpret_cast<uintptr_t>(method_g_));
193 fake_stack.push_back(0);
194 fake_stack.push_back(0);
195 fake_stack.push_back(method_f_->ToNativeQuickPc(dex_pc)); // return pc
196
197 // Create/push fake 16byte stack frame for method f
198 fake_stack.push_back(reinterpret_cast<uintptr_t>(method_f_));
199 fake_stack.push_back(0);
200 fake_stack.push_back(0);
201 fake_stack.push_back(0xEBAD6070); // return pc
202
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700203 // Push Method* of null to terminate the trace
Elliott Hughes956af0f2014-12-11 14:34:28 -0800204 fake_stack.push_back(0);
205
206 // Push null values which will become null incoming arguments.
207 fake_stack.push_back(0);
208 fake_stack.push_back(0);
209 fake_stack.push_back(0);
210
211 // Set up thread to appear as if we called out of method_g_ at pc dex 3
212 thread->SetTopOfStack(reinterpret_cast<StackReference<mirror::ArtMethod>*>(&fake_stack[0]));
213
Sebastien Hertzee1d79a2014-02-21 15:46:30 +0100214 jobject internal = thread->CreateInternalStackTrace<false>(soa);
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700215 ASSERT_TRUE(internal != nullptr);
Ian Rogers53b8b092014-03-13 23:45:53 -0700216 jobjectArray ste_array = Thread::InternalStackTraceToStackTraceElementArray(soa, internal);
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700217 ASSERT_TRUE(ste_array != nullptr);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800218 mirror::ObjectArray<mirror::StackTraceElement>* trace_array =
219 soa.Decode<mirror::ObjectArray<mirror::StackTraceElement>*>(ste_array);
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700220
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700221 ASSERT_TRUE(trace_array != nullptr);
222 ASSERT_TRUE(trace_array->Get(0) != nullptr);
Brian Carlstrom33f741e2011-10-03 11:24:05 -0700223 EXPECT_STREQ("ExceptionHandle",
Shih-wei Liao44175362011-08-28 16:59:17 -0700224 trace_array->Get(0)->GetDeclaringClass()->ToModifiedUtf8().c_str());
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700225 EXPECT_STREQ("ExceptionHandle.java",
226 trace_array->Get(0)->GetFileName()->ToModifiedUtf8().c_str());
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700227 EXPECT_STREQ("g", trace_array->Get(0)->GetMethodName()->ToModifiedUtf8().c_str());
Brian Carlstrom06ed7392012-01-31 01:25:48 -0800228 EXPECT_EQ(37, trace_array->Get(0)->GetLineNumber());
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700229
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700230 ASSERT_TRUE(trace_array->Get(1) != nullptr);
Brian Carlstrom33f741e2011-10-03 11:24:05 -0700231 EXPECT_STREQ("ExceptionHandle",
Shih-wei Liao44175362011-08-28 16:59:17 -0700232 trace_array->Get(1)->GetDeclaringClass()->ToModifiedUtf8().c_str());
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700233 EXPECT_STREQ("ExceptionHandle.java",
234 trace_array->Get(1)->GetFileName()->ToModifiedUtf8().c_str());
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700235 EXPECT_STREQ("f", trace_array->Get(1)->GetMethodName()->ToModifiedUtf8().c_str());
Brian Carlstrom06ed7392012-01-31 01:25:48 -0800236 EXPECT_EQ(22, trace_array->Get(1)->GetLineNumber());
Elliott Hughesa43e0932012-03-27 18:35:33 -0700237
Elliott Hughes956af0f2014-12-11 14:34:28 -0800238 thread->SetTopOfStack(nullptr); // Disarm the assertion that no code is running when we detach.
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700239}
240
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700241} // namespace art