blob: e347588f3e83d41ace3d2fa2f54bc941e4461bd1 [file] [log] [blame]
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +01001/*
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
17#ifndef ART_RUNTIME_OAT_QUICK_METHOD_HEADER_H_
18#define ART_RUNTIME_OAT_QUICK_METHOD_HEADER_H_
19
20#include "arch/instruction_set.h"
Nicolas Geoffray013d1ee2019-12-04 16:18:15 +000021#include "base/locks.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010022#include "base/macros.h"
David Sehrc431b9d2018-03-02 12:01:51 -080023#include "base/utils.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070024#include "quick/quick_method_frame_info.h"
David Srbecky79aa6242018-07-12 13:28:42 +000025#include "stack_map.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010026
27namespace art {
28
29class ArtMethod;
30
31// OatQuickMethodHeader precedes the raw code chunk generated by the compiler.
32class PACKED(4) OatQuickMethodHeader {
33 public:
David Srbecky113d6ea2021-03-02 22:49:46 +000034 OatQuickMethodHeader(uint32_t code_info_offset = 0) {
35 SetCodeInfoOffset(code_info_offset);
David Srbecky88087562018-06-23 22:05:56 +010036 }
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010037
Nicolas Geoffray013d1ee2019-12-04 16:18:15 +000038 static OatQuickMethodHeader* NterpMethodHeader;
39
40 bool IsNterpMethodHeader() const;
41
Nicolas Geoffray409d1db2021-11-12 16:27:10 +000042 static bool IsNterpPc(uintptr_t pc) {
43 return OatQuickMethodHeader::NterpMethodHeader != nullptr &&
44 OatQuickMethodHeader::NterpMethodHeader->Contains(pc);
45 }
46
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010047 static OatQuickMethodHeader* FromCodePointer(const void* code_ptr) {
48 uintptr_t code = reinterpret_cast<uintptr_t>(code_ptr);
49 uintptr_t header = code - OFFSETOF_MEMBER(OatQuickMethodHeader, code_);
Vladimir Marko562ff442015-10-27 18:51:20 +000050 DCHECK(IsAlignedParam(code, GetInstructionSetAlignment(kRuntimeISA)) ||
Jeff Haodcdc85b2015-12-04 14:06:18 -080051 IsAlignedParam(header, GetInstructionSetAlignment(kRuntimeISA)))
52 << std::hex << code << " " << std::hex << header;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010053 return reinterpret_cast<OatQuickMethodHeader*>(header);
54 }
55
56 static OatQuickMethodHeader* FromEntryPoint(const void* entry_point) {
57 return FromCodePointer(EntryPointToCodePointer(entry_point));
58 }
59
David Srbeckyadb66f92019-10-10 12:59:43 +000060 static size_t InstructionAlignedSize() {
61 return RoundUp(sizeof(OatQuickMethodHeader), GetInstructionSetAlignment(kRuntimeISA));
62 }
63
Yi Kong2665bc82017-05-09 15:55:57 -070064 OatQuickMethodHeader(const OatQuickMethodHeader&) = default;
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010065 OatQuickMethodHeader& operator=(const OatQuickMethodHeader&) = default;
66
67 uintptr_t NativeQuickPcOffset(const uintptr_t pc) const {
68 return pc - reinterpret_cast<uintptr_t>(GetEntryPoint());
69 }
70
David Srbecky0983f592021-04-08 16:36:19 +010071 ALWAYS_INLINE bool IsOptimized() const {
David Srbecky113d6ea2021-03-02 22:49:46 +000072 uintptr_t code = reinterpret_cast<uintptr_t>(code_);
73 DCHECK_NE(data_, 0u) << std::hex << code; // Probably a padding of native code.
Nicolas Geoffray248d5c42021-09-13 09:53:10 +010074 DCHECK_NE(data_, kInvalidData) << std::hex << code; // Probably a stub or trampoline.
David Srbecky113d6ea2021-03-02 22:49:46 +000075 return (data_ & kIsCodeInfoMask) != 0;
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010076 }
77
David Srbecky0983f592021-04-08 16:36:19 +010078 ALWAYS_INLINE const uint8_t* GetOptimizedCodeInfoPtr() const {
David Srbecky113d6ea2021-03-02 22:49:46 +000079 uint32_t offset = GetCodeInfoOffset();
80 DCHECK_NE(offset, 0u);
81 return code_ - offset;
David Srbecky5d950762016-03-07 20:47:29 +000082 }
83
David Srbecky0983f592021-04-08 16:36:19 +010084 ALWAYS_INLINE uint8_t* GetOptimizedCodeInfoPtr() {
David Srbecky113d6ea2021-03-02 22:49:46 +000085 uint32_t offset = GetCodeInfoOffset();
86 DCHECK_NE(offset, 0u);
87 return code_ - offset;
Nicolas Geoffray132d8362016-11-16 09:19:42 +000088 }
89
David Srbecky0983f592021-04-08 16:36:19 +010090 ALWAYS_INLINE const uint8_t* GetCode() const {
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010091 return code_;
92 }
93
David Srbecky0983f592021-04-08 16:36:19 +010094 ALWAYS_INLINE uint32_t GetCodeSize() const {
95 return LIKELY(IsOptimized())
96 ? CodeInfo::DecodeCodeSize(GetOptimizedCodeInfoPtr())
97 : (data_ & kCodeSizeMask);
Nicolas Geoffray57083762019-03-05 09:24:45 +000098 }
99
David Srbecky0983f592021-04-08 16:36:19 +0100100 ALWAYS_INLINE uint32_t GetCodeInfoOffset() const {
David Srbecky113d6ea2021-03-02 22:49:46 +0000101 DCHECK(IsOptimized());
102 return data_ & kCodeInfoMask;
Mingyao Yang063fc772016-08-02 11:02:54 -0700103 }
104
David Srbecky113d6ea2021-03-02 22:49:46 +0000105 void SetCodeInfoOffset(uint32_t offset) {
106 data_ = kIsCodeInfoMask | offset;
107 DCHECK_EQ(GetCodeInfoOffset(), offset);
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100108 }
109
110 bool Contains(uintptr_t pc) const {
Nicolas Geoffray248d5c42021-09-13 09:53:10 +0100111 // We should not call `Contains` on a stub or trampoline.
112 DCHECK_NE(data_, kInvalidData) << std::hex << reinterpret_cast<uintptr_t>(code_);
David Srbecky2acd1ec2020-05-16 01:38:49 +0100113 // Remove hwasan tag to make comparison below valid. The PC from the stack does not have it.
114 uintptr_t code_start = reinterpret_cast<uintptr_t>(HWASanUntag(code_));
Vladimir Marko33bff252017-11-01 14:35:42 +0000115 static_assert(kRuntimeISA != InstructionSet::kThumb2, "kThumb2 cannot be a runtime ISA");
116 if (kRuntimeISA == InstructionSet::kArm) {
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100117 // On Thumb-2, the pc is offset by one.
118 code_start++;
119 }
Mingyao Yang063fc772016-08-02 11:02:54 -0700120 return code_start <= pc && pc <= (code_start + GetCodeSize());
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100121 }
122
123 const uint8_t* GetEntryPoint() const {
124 // When the runtime architecture is ARM, `kRuntimeISA` is set to `kArm`
125 // (not `kThumb2`), *but* we always generate code for the Thumb-2
126 // instruction set anyway. Thumb-2 requires the entrypoint to be of
127 // offset 1.
Vladimir Marko33bff252017-11-01 14:35:42 +0000128 static_assert(kRuntimeISA != InstructionSet::kThumb2, "kThumb2 cannot be a runtime ISA");
129 return (kRuntimeISA == InstructionSet::kArm)
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100130 ? reinterpret_cast<uint8_t*>(reinterpret_cast<uintptr_t>(code_) | 1)
131 : code_;
132 }
133
134 template <bool kCheckFrameSize = true>
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000135 uint32_t GetFrameSizeInBytes() const {
David Srbecky88087562018-06-23 22:05:56 +0100136 uint32_t result = GetFrameInfo().FrameSizeInBytes();
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100137 if (kCheckFrameSize) {
David Srbecky6832fbe2016-03-11 18:48:55 +0000138 DCHECK_ALIGNED(result, kStackAlignment);
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100139 }
140 return result;
141 }
142
143 QuickMethodFrameInfo GetFrameInfo() const {
David Srbecky79aa6242018-07-12 13:28:42 +0000144 DCHECK(IsOptimized());
David Srbecky88087562018-06-23 22:05:56 +0100145 return CodeInfo::DecodeFrameInfo(GetOptimizedCodeInfoPtr());
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100146 }
147
148 uintptr_t ToNativeQuickPc(ArtMethod* method,
149 const uint32_t dex_pc,
150 bool is_for_catch_handler,
151 bool abort_on_failure = true) const;
152
Nicolas Geoffraya00b54b2019-12-03 14:36:42 +0000153 uint32_t ToDexPc(ArtMethod** frame,
154 const uintptr_t pc,
Nicolas Geoffray013d1ee2019-12-04 16:18:15 +0000155 bool abort_on_failure = true) const
156 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100157
Mingyao Yang063fc772016-08-02 11:02:54 -0700158 void SetHasShouldDeoptimizeFlag() {
David Srbecky113d6ea2021-03-02 22:49:46 +0000159 DCHECK(!HasShouldDeoptimizeFlag());
160 data_ |= kShouldDeoptimizeMask;
Mingyao Yang063fc772016-08-02 11:02:54 -0700161 }
162
163 bool HasShouldDeoptimizeFlag() const {
David Srbecky113d6ea2021-03-02 22:49:46 +0000164 return (data_ & kShouldDeoptimizeMask) != 0;
Mingyao Yang063fc772016-08-02 11:02:54 -0700165 }
166
167 private:
168 static constexpr uint32_t kShouldDeoptimizeMask = 0x80000000;
David Srbecky113d6ea2021-03-02 22:49:46 +0000169 static constexpr uint32_t kIsCodeInfoMask = 0x40000000;
170 static constexpr uint32_t kCodeInfoMask = 0x3FFFFFFF; // If kIsCodeInfoMask is set.
171 static constexpr uint32_t kCodeSizeMask = 0x3FFFFFFF; // If kIsCodeInfoMask is clear.
Mingyao Yang063fc772016-08-02 11:02:54 -0700172
Nicolas Geoffray248d5c42021-09-13 09:53:10 +0100173 // In order to not confuse a stub with Java-generated code, we prefix each
174 // stub with a 0xFFFFFFFF marker.
175 static constexpr uint32_t kInvalidData = 0xFFFFFFFF;
176
David Srbecky113d6ea2021-03-02 22:49:46 +0000177 uint32_t data_ = 0u; // Combination of fields using the above masks.
178 uint8_t code_[0]; // The actual method code.
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100179};
180
181} // namespace art
182
183#endif // ART_RUNTIME_OAT_QUICK_METHOD_HEADER_H_