blob: 0bbf23fc27260c20a5aa130034ff718c1157a75b [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
Mythri Alle307fd6d2022-04-25 10:50:30 +000031// Size in bytes of the should_deoptimize flag on stack.
32// We just need 4 bytes for our purpose regardless of the architecture. Frame size
33// calculation will automatically do alignment for the final frame size.
34static constexpr size_t kShouldDeoptimizeFlagSize = 4;
35
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010036// OatQuickMethodHeader precedes the raw code chunk generated by the compiler.
37class PACKED(4) OatQuickMethodHeader {
38 public:
David Srbecky113d6ea2021-03-02 22:49:46 +000039 OatQuickMethodHeader(uint32_t code_info_offset = 0) {
40 SetCodeInfoOffset(code_info_offset);
David Srbecky88087562018-06-23 22:05:56 +010041 }
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010042
Nicolas Geoffray013d1ee2019-12-04 16:18:15 +000043 static OatQuickMethodHeader* NterpMethodHeader;
44
45 bool IsNterpMethodHeader() const;
46
Nicolas Geoffray409d1db2021-11-12 16:27:10 +000047 static bool IsNterpPc(uintptr_t pc) {
48 return OatQuickMethodHeader::NterpMethodHeader != nullptr &&
49 OatQuickMethodHeader::NterpMethodHeader->Contains(pc);
50 }
51
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010052 static OatQuickMethodHeader* FromCodePointer(const void* code_ptr) {
53 uintptr_t code = reinterpret_cast<uintptr_t>(code_ptr);
54 uintptr_t header = code - OFFSETOF_MEMBER(OatQuickMethodHeader, code_);
Vladimir Marko562ff442015-10-27 18:51:20 +000055 DCHECK(IsAlignedParam(code, GetInstructionSetAlignment(kRuntimeISA)) ||
Jeff Haodcdc85b2015-12-04 14:06:18 -080056 IsAlignedParam(header, GetInstructionSetAlignment(kRuntimeISA)))
57 << std::hex << code << " " << std::hex << header;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010058 return reinterpret_cast<OatQuickMethodHeader*>(header);
59 }
60
61 static OatQuickMethodHeader* FromEntryPoint(const void* entry_point) {
62 return FromCodePointer(EntryPointToCodePointer(entry_point));
63 }
64
David Srbeckyadb66f92019-10-10 12:59:43 +000065 static size_t InstructionAlignedSize() {
66 return RoundUp(sizeof(OatQuickMethodHeader), GetInstructionSetAlignment(kRuntimeISA));
67 }
68
Yi Kong2665bc82017-05-09 15:55:57 -070069 OatQuickMethodHeader(const OatQuickMethodHeader&) = default;
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010070 OatQuickMethodHeader& operator=(const OatQuickMethodHeader&) = default;
71
72 uintptr_t NativeQuickPcOffset(const uintptr_t pc) const {
73 return pc - reinterpret_cast<uintptr_t>(GetEntryPoint());
74 }
75
David Srbecky0983f592021-04-08 16:36:19 +010076 ALWAYS_INLINE bool IsOptimized() const {
David Srbecky113d6ea2021-03-02 22:49:46 +000077 uintptr_t code = reinterpret_cast<uintptr_t>(code_);
78 DCHECK_NE(data_, 0u) << std::hex << code; // Probably a padding of native code.
Nicolas Geoffray248d5c42021-09-13 09:53:10 +010079 DCHECK_NE(data_, kInvalidData) << std::hex << code; // Probably a stub or trampoline.
David Srbecky113d6ea2021-03-02 22:49:46 +000080 return (data_ & kIsCodeInfoMask) != 0;
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010081 }
82
David Srbecky0983f592021-04-08 16:36:19 +010083 ALWAYS_INLINE const uint8_t* GetOptimizedCodeInfoPtr() const {
David Srbecky113d6ea2021-03-02 22:49:46 +000084 uint32_t offset = GetCodeInfoOffset();
85 DCHECK_NE(offset, 0u);
86 return code_ - offset;
David Srbecky5d950762016-03-07 20:47:29 +000087 }
88
David Srbecky0983f592021-04-08 16:36:19 +010089 ALWAYS_INLINE uint8_t* GetOptimizedCodeInfoPtr() {
David Srbecky113d6ea2021-03-02 22:49:46 +000090 uint32_t offset = GetCodeInfoOffset();
91 DCHECK_NE(offset, 0u);
92 return code_ - offset;
Nicolas Geoffray132d8362016-11-16 09:19:42 +000093 }
94
David Srbecky0983f592021-04-08 16:36:19 +010095 ALWAYS_INLINE const uint8_t* GetCode() const {
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010096 return code_;
97 }
98
David Srbecky0983f592021-04-08 16:36:19 +010099 ALWAYS_INLINE uint32_t GetCodeSize() const {
100 return LIKELY(IsOptimized())
101 ? CodeInfo::DecodeCodeSize(GetOptimizedCodeInfoPtr())
102 : (data_ & kCodeSizeMask);
Nicolas Geoffray57083762019-03-05 09:24:45 +0000103 }
104
David Srbecky0983f592021-04-08 16:36:19 +0100105 ALWAYS_INLINE uint32_t GetCodeInfoOffset() const {
David Srbecky113d6ea2021-03-02 22:49:46 +0000106 DCHECK(IsOptimized());
107 return data_ & kCodeInfoMask;
Mingyao Yang063fc772016-08-02 11:02:54 -0700108 }
109
David Srbecky113d6ea2021-03-02 22:49:46 +0000110 void SetCodeInfoOffset(uint32_t offset) {
111 data_ = kIsCodeInfoMask | offset;
112 DCHECK_EQ(GetCodeInfoOffset(), offset);
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100113 }
114
115 bool Contains(uintptr_t pc) const {
Nicolas Geoffray248d5c42021-09-13 09:53:10 +0100116 // We should not call `Contains` on a stub or trampoline.
117 DCHECK_NE(data_, kInvalidData) << std::hex << reinterpret_cast<uintptr_t>(code_);
David Srbecky2acd1ec2020-05-16 01:38:49 +0100118 // Remove hwasan tag to make comparison below valid. The PC from the stack does not have it.
119 uintptr_t code_start = reinterpret_cast<uintptr_t>(HWASanUntag(code_));
Vladimir Marko33bff252017-11-01 14:35:42 +0000120 static_assert(kRuntimeISA != InstructionSet::kThumb2, "kThumb2 cannot be a runtime ISA");
121 if (kRuntimeISA == InstructionSet::kArm) {
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100122 // On Thumb-2, the pc is offset by one.
123 code_start++;
124 }
Mingyao Yang063fc772016-08-02 11:02:54 -0700125 return code_start <= pc && pc <= (code_start + GetCodeSize());
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100126 }
127
128 const uint8_t* GetEntryPoint() const {
129 // When the runtime architecture is ARM, `kRuntimeISA` is set to `kArm`
130 // (not `kThumb2`), *but* we always generate code for the Thumb-2
131 // instruction set anyway. Thumb-2 requires the entrypoint to be of
132 // offset 1.
Vladimir Marko33bff252017-11-01 14:35:42 +0000133 static_assert(kRuntimeISA != InstructionSet::kThumb2, "kThumb2 cannot be a runtime ISA");
134 return (kRuntimeISA == InstructionSet::kArm)
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100135 ? reinterpret_cast<uint8_t*>(reinterpret_cast<uintptr_t>(code_) | 1)
136 : code_;
137 }
138
139 template <bool kCheckFrameSize = true>
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000140 uint32_t GetFrameSizeInBytes() const {
David Srbecky88087562018-06-23 22:05:56 +0100141 uint32_t result = GetFrameInfo().FrameSizeInBytes();
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100142 if (kCheckFrameSize) {
David Srbecky6832fbe2016-03-11 18:48:55 +0000143 DCHECK_ALIGNED(result, kStackAlignment);
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100144 }
145 return result;
146 }
147
148 QuickMethodFrameInfo GetFrameInfo() const {
David Srbecky79aa6242018-07-12 13:28:42 +0000149 DCHECK(IsOptimized());
David Srbecky88087562018-06-23 22:05:56 +0100150 return CodeInfo::DecodeFrameInfo(GetOptimizedCodeInfoPtr());
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100151 }
152
Mythri Alle307fd6d2022-04-25 10:50:30 +0000153 size_t GetShouldDeoptimizeFlagOffset() const {
154 DCHECK(IsOptimized());
155 QuickMethodFrameInfo frame_info = GetFrameInfo();
156 size_t frame_size = frame_info.FrameSizeInBytes();
157 size_t core_spill_size =
158 POPCOUNT(frame_info.CoreSpillMask()) * GetBytesPerGprSpillLocation(kRuntimeISA);
159 size_t fpu_spill_size =
160 POPCOUNT(frame_info.FpSpillMask()) * GetBytesPerFprSpillLocation(kRuntimeISA);
161 return frame_size - core_spill_size - fpu_spill_size - kShouldDeoptimizeFlagSize;
162 }
163
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100164 uintptr_t ToNativeQuickPc(ArtMethod* method,
165 const uint32_t dex_pc,
166 bool is_for_catch_handler,
167 bool abort_on_failure = true) const;
168
Nicolas Geoffraya00b54b2019-12-03 14:36:42 +0000169 uint32_t ToDexPc(ArtMethod** frame,
170 const uintptr_t pc,
Nicolas Geoffray013d1ee2019-12-04 16:18:15 +0000171 bool abort_on_failure = true) const
172 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100173
Mingyao Yang063fc772016-08-02 11:02:54 -0700174 void SetHasShouldDeoptimizeFlag() {
David Srbecky113d6ea2021-03-02 22:49:46 +0000175 DCHECK(!HasShouldDeoptimizeFlag());
176 data_ |= kShouldDeoptimizeMask;
Mingyao Yang063fc772016-08-02 11:02:54 -0700177 }
178
179 bool HasShouldDeoptimizeFlag() const {
David Srbecky113d6ea2021-03-02 22:49:46 +0000180 return (data_ & kShouldDeoptimizeMask) != 0;
Mingyao Yang063fc772016-08-02 11:02:54 -0700181 }
182
183 private:
184 static constexpr uint32_t kShouldDeoptimizeMask = 0x80000000;
David Srbecky113d6ea2021-03-02 22:49:46 +0000185 static constexpr uint32_t kIsCodeInfoMask = 0x40000000;
186 static constexpr uint32_t kCodeInfoMask = 0x3FFFFFFF; // If kIsCodeInfoMask is set.
187 static constexpr uint32_t kCodeSizeMask = 0x3FFFFFFF; // If kIsCodeInfoMask is clear.
Mingyao Yang063fc772016-08-02 11:02:54 -0700188
Nicolas Geoffray248d5c42021-09-13 09:53:10 +0100189 // In order to not confuse a stub with Java-generated code, we prefix each
190 // stub with a 0xFFFFFFFF marker.
191 static constexpr uint32_t kInvalidData = 0xFFFFFFFF;
192
David Srbecky113d6ea2021-03-02 22:49:46 +0000193 uint32_t data_ = 0u; // Combination of fields using the above masks.
194 uint8_t code_[0]; // The actual method code.
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100195};
196
197} // namespace art
198
199#endif // ART_RUNTIME_OAT_QUICK_METHOD_HEADER_H_