Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 1 | // Copyright 2012 the V8 project authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 4 | |
| 5 | |
| 6 | // Declares a Simulator for ARM instructions if we are not generating a native |
| 7 | // ARM binary. This Simulator allows us to run and debug ARM code generation on |
| 8 | // regular desktop machines. |
| 9 | // V8 calls into generated code by "calling" the CALL_GENERATED_CODE macro, |
| 10 | // which will start execution in the Simulator or forwards to the real entry |
| 11 | // on a ARM HW platform. |
| 12 | |
| 13 | #ifndef V8_ARM_SIMULATOR_ARM_H_ |
| 14 | #define V8_ARM_SIMULATOR_ARM_H_ |
| 15 | |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 16 | #include "src/allocation.h" |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 17 | |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 18 | #if !defined(USE_SIMULATOR) |
| 19 | // Running without a simulator on a native arm platform. |
| 20 | |
| 21 | namespace v8 { |
| 22 | namespace internal { |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 23 | |
| 24 | // When running without a simulator we call the entry directly. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 25 | #define CALL_GENERATED_CODE(isolate, entry, p0, p1, p2, p3, p4) \ |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 26 | (entry(p0, p1, p2, p3, p4)) |
| 27 | |
Ben Murdoch | e0cee9b | 2011-05-25 10:26:03 +0100 | [diff] [blame] | 28 | typedef int (*arm_regexp_matcher)(String*, int, const byte*, const byte*, |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 29 | void*, int*, int, Address, int, Isolate*); |
Ben Murdoch | e0cee9b | 2011-05-25 10:26:03 +0100 | [diff] [blame] | 30 | |
| 31 | |
| 32 | // Call the generated regexp code directly. The code at the entry address |
| 33 | // should act as a function matching the type arm_regexp_matcher. |
| 34 | // The fifth argument is a dummy that reserves the space used for |
| 35 | // the return address added by the ExitFrame in native calls. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 36 | #define CALL_GENERATED_REGEXP_CODE(isolate, entry, p0, p1, p2, p3, p4, p5, p6, \ |
| 37 | p7, p8) \ |
| 38 | (FUNCTION_CAST<arm_regexp_matcher>(entry)(p0, p1, p2, p3, NULL, p4, p5, p6, \ |
| 39 | p7, p8)) |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 40 | |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 41 | // The stack limit beyond which we will throw stack overflow errors in |
| 42 | // generated code. Because generated code on arm uses the C stack, we |
| 43 | // just use the C stack limit. |
| 44 | class SimulatorStack : public v8::internal::AllStatic { |
| 45 | public: |
Ben Murdoch | 257744e | 2011-11-30 15:57:28 +0000 | [diff] [blame] | 46 | static inline uintptr_t JsLimitFromCLimit(v8::internal::Isolate* isolate, |
| 47 | uintptr_t c_limit) { |
| 48 | USE(isolate); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 49 | return c_limit; |
| 50 | } |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 51 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 52 | static inline uintptr_t RegisterCTryCatch(v8::internal::Isolate* isolate, |
| 53 | uintptr_t try_catch_address) { |
| 54 | USE(isolate); |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 55 | return try_catch_address; |
| 56 | } |
| 57 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 58 | static inline void UnregisterCTryCatch(v8::internal::Isolate* isolate) { |
| 59 | USE(isolate); |
| 60 | } |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 61 | }; |
| 62 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 63 | } // namespace internal |
| 64 | } // namespace v8 |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 65 | |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 66 | #else // !defined(USE_SIMULATOR) |
| 67 | // Running with a simulator. |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 68 | |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 69 | #include "src/arm/constants-arm.h" |
| 70 | #include "src/assembler.h" |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 71 | #include "src/base/hashmap.h" |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 72 | |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 73 | namespace v8 { |
| 74 | namespace internal { |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 75 | |
Steve Block | 6ded16b | 2010-05-10 14:33:55 +0100 | [diff] [blame] | 76 | class CachePage { |
| 77 | public: |
| 78 | static const int LINE_VALID = 0; |
| 79 | static const int LINE_INVALID = 1; |
| 80 | |
| 81 | static const int kPageShift = 12; |
| 82 | static const int kPageSize = 1 << kPageShift; |
| 83 | static const int kPageMask = kPageSize - 1; |
| 84 | static const int kLineShift = 2; // The cache line is only 4 bytes right now. |
| 85 | static const int kLineLength = 1 << kLineShift; |
| 86 | static const int kLineMask = kLineLength - 1; |
| 87 | |
| 88 | CachePage() { |
| 89 | memset(&validity_map_, LINE_INVALID, sizeof(validity_map_)); |
| 90 | } |
| 91 | |
| 92 | char* ValidityByte(int offset) { |
| 93 | return &validity_map_[offset >> kLineShift]; |
| 94 | } |
| 95 | |
| 96 | char* CachedData(int offset) { |
| 97 | return &data_[offset]; |
| 98 | } |
| 99 | |
| 100 | private: |
| 101 | char data_[kPageSize]; // The cached data. |
| 102 | static const int kValidityMapSize = kPageSize >> kLineShift; |
| 103 | char validity_map_[kValidityMapSize]; // One byte per line. |
| 104 | }; |
| 105 | |
| 106 | |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 107 | class Simulator { |
| 108 | public: |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 109 | friend class ArmDebugger; |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 110 | enum Register { |
| 111 | no_reg = -1, |
| 112 | r0 = 0, r1, r2, r3, r4, r5, r6, r7, |
| 113 | r8, r9, r10, r11, r12, r13, r14, r15, |
| 114 | num_registers, |
| 115 | sp = 13, |
| 116 | lr = 14, |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 117 | pc = 15, |
| 118 | s0 = 0, s1, s2, s3, s4, s5, s6, s7, |
| 119 | s8, s9, s10, s11, s12, s13, s14, s15, |
| 120 | s16, s17, s18, s19, s20, s21, s22, s23, |
| 121 | s24, s25, s26, s27, s28, s29, s30, s31, |
| 122 | num_s_registers = 32, |
| 123 | d0 = 0, d1, d2, d3, d4, d5, d6, d7, |
| 124 | d8, d9, d10, d11, d12, d13, d14, d15, |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 125 | d16, d17, d18, d19, d20, d21, d22, d23, |
| 126 | d24, d25, d26, d27, d28, d29, d30, d31, |
| 127 | num_d_registers = 32, |
| 128 | q0 = 0, q1, q2, q3, q4, q5, q6, q7, |
| 129 | q8, q9, q10, q11, q12, q13, q14, q15, |
| 130 | num_q_registers = 16 |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 131 | }; |
| 132 | |
Ben Murdoch | 257744e | 2011-11-30 15:57:28 +0000 | [diff] [blame] | 133 | explicit Simulator(Isolate* isolate); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 134 | ~Simulator(); |
| 135 | |
| 136 | // The currently executing Simulator instance. Potentially there can be one |
| 137 | // for each native thread. |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 138 | static Simulator* current(v8::internal::Isolate* isolate); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 139 | |
| 140 | // Accessors for register state. Reading the pc value adheres to the ARM |
| 141 | // architecture specification and is off by a 8 from the currently executing |
| 142 | // instruction. |
| 143 | void set_register(int reg, int32_t value); |
| 144 | int32_t get_register(int reg) const; |
Ben Murdoch | 8b112d2 | 2011-06-08 16:22:53 +0100 | [diff] [blame] | 145 | double get_double_from_register_pair(int reg); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 146 | void set_register_pair_from_double(int reg, double* value); |
Kristian Monsen | 25f6136 | 2010-05-21 11:50:48 +0100 | [diff] [blame] | 147 | void set_dw_register(int dreg, const int* dbl); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 148 | |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 149 | // Support for VFP. |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 150 | void get_d_register(int dreg, uint64_t* value); |
| 151 | void set_d_register(int dreg, const uint64_t* value); |
| 152 | void get_d_register(int dreg, uint32_t* value); |
| 153 | void set_d_register(int dreg, const uint32_t* value); |
| 154 | void get_q_register(int qreg, uint64_t* value); |
| 155 | void set_q_register(int qreg, const uint64_t* value); |
| 156 | void get_q_register(int qreg, uint32_t* value); |
| 157 | void set_q_register(int qreg, const uint32_t* value); |
| 158 | |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 159 | void set_s_register(int reg, unsigned int value); |
| 160 | unsigned int get_s_register(int reg) const; |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 161 | |
| 162 | void set_d_register_from_double(int dreg, const double& dbl) { |
| 163 | SetVFPRegister<double, 2>(dreg, dbl); |
| 164 | } |
| 165 | |
| 166 | double get_double_from_d_register(int dreg) { |
| 167 | return GetFromVFPRegister<double, 2>(dreg); |
| 168 | } |
| 169 | |
| 170 | void set_s_register_from_float(int sreg, const float flt) { |
| 171 | SetVFPRegister<float, 1>(sreg, flt); |
| 172 | } |
| 173 | |
| 174 | float get_float_from_s_register(int sreg) { |
| 175 | return GetFromVFPRegister<float, 1>(sreg); |
| 176 | } |
| 177 | |
| 178 | void set_s_register_from_sinteger(int sreg, const int sint) { |
| 179 | SetVFPRegister<int, 1>(sreg, sint); |
| 180 | } |
| 181 | |
| 182 | int get_sinteger_from_s_register(int sreg) { |
| 183 | return GetFromVFPRegister<int, 1>(sreg); |
| 184 | } |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 185 | |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 186 | // Special case of set_register and get_register to access the raw PC value. |
| 187 | void set_pc(int32_t value); |
| 188 | int32_t get_pc() const; |
| 189 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 190 | Address get_sp() const { |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 191 | return reinterpret_cast<Address>(static_cast<intptr_t>(get_register(sp))); |
| 192 | } |
| 193 | |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 194 | // Accessor to the internal simulator stack area. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 195 | uintptr_t StackLimit(uintptr_t c_limit) const; |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 196 | |
| 197 | // Executes ARM instructions until the PC reaches end_sim_pc. |
| 198 | void Execute(); |
| 199 | |
| 200 | // Call on program start. |
Ben Murdoch | 257744e | 2011-11-30 15:57:28 +0000 | [diff] [blame] | 201 | static void Initialize(Isolate* isolate); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 202 | |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 203 | static void TearDown(base::HashMap* i_cache, Redirection* first); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 204 | |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 205 | // V8 generally calls into generated JS code with 5 parameters and into |
| 206 | // generated RegExp code with 7 parameters. This is a convenience function, |
| 207 | // which sets up the simulator state and grabs the result on return. |
| 208 | int32_t Call(byte* entry, int argument_count, ...); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 209 | // Alternative: call a 2-argument double function. |
| 210 | void CallFP(byte* entry, double d0, double d1); |
| 211 | int32_t CallFPReturnsInt(byte* entry, double d0, double d1); |
| 212 | double CallFPReturnsDouble(byte* entry, double d0, double d1); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 213 | |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 214 | // Push an address onto the JS stack. |
| 215 | uintptr_t PushAddress(uintptr_t address); |
| 216 | |
| 217 | // Pop an address from the JS stack. |
| 218 | uintptr_t PopAddress(); |
| 219 | |
Ben Murdoch | 3ef787d | 2012-04-12 10:51:47 +0100 | [diff] [blame] | 220 | // Debugger input. |
| 221 | void set_last_debugger_input(char* input); |
| 222 | char* last_debugger_input() { return last_debugger_input_; } |
| 223 | |
Steve Block | 6ded16b | 2010-05-10 14:33:55 +0100 | [diff] [blame] | 224 | // ICache checking. |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 225 | static void FlushICache(base::HashMap* i_cache, void* start, size_t size); |
Steve Block | 6ded16b | 2010-05-10 14:33:55 +0100 | [diff] [blame] | 226 | |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 227 | // Returns true if pc register contains one of the 'special_values' defined |
| 228 | // below (bad_lr, end_sim_pc). |
| 229 | bool has_bad_pc() const; |
| 230 | |
Ben Murdoch | 257744e | 2011-11-30 15:57:28 +0000 | [diff] [blame] | 231 | // EABI variant for double arguments in use. |
| 232 | bool use_eabi_hardfloat() { |
| 233 | #if USE_EABI_HARDFLOAT |
| 234 | return true; |
| 235 | #else |
| 236 | return false; |
| 237 | #endif |
| 238 | } |
| 239 | |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 240 | private: |
| 241 | enum special_values { |
| 242 | // Known bad pc value to ensure that the simulator does not execute |
| 243 | // without being properly setup. |
| 244 | bad_lr = -1, |
| 245 | // A pc value used to signal the simulator to stop execution. Generally |
| 246 | // the lr is set to this value on transition from native C code to |
| 247 | // simulated execution, so that the simulator can "return" to the native |
| 248 | // C code. |
| 249 | end_sim_pc = -2 |
| 250 | }; |
| 251 | |
| 252 | // Unsupported instructions use Format to print an error and stop execution. |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 253 | void Format(Instruction* instr, const char* format); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 254 | |
| 255 | // Checks if the current instruction should be executed based on its |
| 256 | // condition bits. |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 257 | inline bool ConditionallyExecute(Instruction* instr); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 258 | |
| 259 | // Helper functions to set the conditional flags in the architecture state. |
| 260 | void SetNZFlags(int32_t val); |
| 261 | void SetCFlag(bool val); |
| 262 | void SetVFlag(bool val); |
Ben Murdoch | 257744e | 2011-11-30 15:57:28 +0000 | [diff] [blame] | 263 | bool CarryFrom(int32_t left, int32_t right, int32_t carry = 0); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 264 | bool BorrowFrom(int32_t left, int32_t right, int32_t carry = 1); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 265 | bool OverflowFrom(int32_t alu_out, |
| 266 | int32_t left, |
| 267 | int32_t right, |
| 268 | bool addition); |
| 269 | |
Ben Murdoch | 257744e | 2011-11-30 15:57:28 +0000 | [diff] [blame] | 270 | inline int GetCarry() { |
| 271 | return c_flag_ ? 1 : 0; |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 272 | } |
Ben Murdoch | 257744e | 2011-11-30 15:57:28 +0000 | [diff] [blame] | 273 | |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 274 | // Support for VFP. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 275 | void Compute_FPSCR_Flags(float val1, float val2); |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 276 | void Compute_FPSCR_Flags(double val1, double val2); |
| 277 | void Copy_FPSCR_to_APSR(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 278 | inline float canonicalizeNaN(float value); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 279 | inline double canonicalizeNaN(double value); |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 280 | |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 281 | // Helper functions to decode common "addressing" modes |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 282 | int32_t GetShiftRm(Instruction* instr, bool* carry_out); |
| 283 | int32_t GetImm(Instruction* instr, bool* carry_out); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 284 | int32_t ProcessPU(Instruction* instr, |
| 285 | int num_regs, |
| 286 | int operand_size, |
| 287 | intptr_t* start_address, |
| 288 | intptr_t* end_address); |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 289 | void HandleRList(Instruction* instr, bool load); |
Ben Murdoch | 8b112d2 | 2011-06-08 16:22:53 +0100 | [diff] [blame] | 290 | void HandleVList(Instruction* inst); |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 291 | void SoftwareInterrupt(Instruction* instr); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 292 | |
Teng-Hui Zhu | 3e5fa29 | 2010-11-09 16:16:48 -0800 | [diff] [blame] | 293 | // Stop helper functions. |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 294 | inline bool isStopInstruction(Instruction* instr); |
Teng-Hui Zhu | 3e5fa29 | 2010-11-09 16:16:48 -0800 | [diff] [blame] | 295 | inline bool isWatchedStop(uint32_t bkpt_code); |
| 296 | inline bool isEnabledStop(uint32_t bkpt_code); |
| 297 | inline void EnableStop(uint32_t bkpt_code); |
| 298 | inline void DisableStop(uint32_t bkpt_code); |
| 299 | inline void IncreaseStopCounter(uint32_t bkpt_code); |
| 300 | void PrintStopInfo(uint32_t code); |
| 301 | |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 302 | // Read and write memory. |
| 303 | inline uint8_t ReadBU(int32_t addr); |
| 304 | inline int8_t ReadB(int32_t addr); |
| 305 | inline void WriteB(int32_t addr, uint8_t value); |
| 306 | inline void WriteB(int32_t addr, int8_t value); |
| 307 | |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 308 | inline uint16_t ReadHU(int32_t addr, Instruction* instr); |
| 309 | inline int16_t ReadH(int32_t addr, Instruction* instr); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 310 | // Note: Overloaded on the sign of the value. |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 311 | inline void WriteH(int32_t addr, uint16_t value, Instruction* instr); |
| 312 | inline void WriteH(int32_t addr, int16_t value, Instruction* instr); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 313 | |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 314 | inline int ReadW(int32_t addr, Instruction* instr); |
| 315 | inline void WriteW(int32_t addr, int value, Instruction* instr); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 316 | |
Kristian Monsen | 25f6136 | 2010-05-21 11:50:48 +0100 | [diff] [blame] | 317 | int32_t* ReadDW(int32_t addr); |
| 318 | void WriteDW(int32_t addr, int32_t value1, int32_t value2); |
| 319 | |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 320 | // Executing is handled based on the instruction type. |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 321 | // Both type 0 and type 1 rolled into one. |
| 322 | void DecodeType01(Instruction* instr); |
| 323 | void DecodeType2(Instruction* instr); |
| 324 | void DecodeType3(Instruction* instr); |
| 325 | void DecodeType4(Instruction* instr); |
| 326 | void DecodeType5(Instruction* instr); |
| 327 | void DecodeType6(Instruction* instr); |
| 328 | void DecodeType7(Instruction* instr); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 329 | |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 330 | // Support for VFP. |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 331 | void DecodeTypeVFP(Instruction* instr); |
| 332 | void DecodeType6CoprocessorIns(Instruction* instr); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 333 | void DecodeSpecialCondition(Instruction* instr); |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 334 | |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 335 | void DecodeVMOVBetweenCoreAndSinglePrecisionRegisters(Instruction* instr); |
| 336 | void DecodeVCMP(Instruction* instr); |
| 337 | void DecodeVCVTBetweenDoubleAndSingle(Instruction* instr); |
| 338 | void DecodeVCVTBetweenFloatingPointAndInteger(Instruction* instr); |
Steve Block | 6ded16b | 2010-05-10 14:33:55 +0100 | [diff] [blame] | 339 | |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 340 | // Executes one instruction. |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 341 | void InstructionDecode(Instruction* instr); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 342 | |
Steve Block | 6ded16b | 2010-05-10 14:33:55 +0100 | [diff] [blame] | 343 | // ICache. |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 344 | static void CheckICache(base::HashMap* i_cache, Instruction* instr); |
| 345 | static void FlushOnePage(base::HashMap* i_cache, intptr_t start, int size); |
| 346 | static CachePage* GetCachePage(base::HashMap* i_cache, void* page); |
Steve Block | 6ded16b | 2010-05-10 14:33:55 +0100 | [diff] [blame] | 347 | |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 348 | // Runtime call support. |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 349 | static void* RedirectExternalReference( |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 350 | Isolate* isolate, void* external_function, |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 351 | v8::internal::ExternalReference::Type type); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 352 | |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 353 | // Handle arguments and return value for runtime FP functions. |
| 354 | void GetFpArgs(double* x, double* y, int32_t* z); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 355 | void SetFpResult(const double& result); |
| 356 | void TrashCallerSaveRegisters(); |
| 357 | |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 358 | template<class ReturnType, int register_size> |
| 359 | ReturnType GetFromVFPRegister(int reg_index); |
| 360 | |
| 361 | template<class InputType, int register_size> |
| 362 | void SetVFPRegister(int reg_index, const InputType& value); |
| 363 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 364 | void SetSpecialRegister(SRegisterFieldMask reg_and_mask, uint32_t value); |
| 365 | uint32_t GetFromSpecialRegister(SRegister reg); |
| 366 | |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 367 | void CallInternal(byte* entry); |
| 368 | |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 369 | // Architecture state. |
Kristian Monsen | 50ef84f | 2010-07-29 15:18:00 +0100 | [diff] [blame] | 370 | // Saturating instructions require a Q flag to indicate saturation. |
| 371 | // There is currently no way to read the CPSR directly, and thus read the Q |
| 372 | // flag, so this is left unimplemented. |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 373 | int32_t registers_[16]; |
| 374 | bool n_flag_; |
| 375 | bool z_flag_; |
| 376 | bool c_flag_; |
| 377 | bool v_flag_; |
| 378 | |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 379 | // VFP architecture state. |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 380 | unsigned int vfp_registers_[num_d_registers * 2]; |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 381 | bool n_flag_FPSCR_; |
| 382 | bool z_flag_FPSCR_; |
| 383 | bool c_flag_FPSCR_; |
| 384 | bool v_flag_FPSCR_; |
| 385 | |
Russell Brenner | 90bac25 | 2010-11-18 13:33:46 -0800 | [diff] [blame] | 386 | // VFP rounding mode. See ARM DDI 0406B Page A2-29. |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 387 | VFPRoundingMode FPSCR_rounding_mode_; |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 388 | bool FPSCR_default_NaN_mode_; |
Russell Brenner | 90bac25 | 2010-11-18 13:33:46 -0800 | [diff] [blame] | 389 | |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 390 | // VFP FP exception flags architecture state. |
| 391 | bool inv_op_vfp_flag_; |
| 392 | bool div_zero_vfp_flag_; |
| 393 | bool overflow_vfp_flag_; |
| 394 | bool underflow_vfp_flag_; |
| 395 | bool inexact_vfp_flag_; |
| 396 | |
| 397 | // Simulator support. |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 398 | char* stack_; |
| 399 | bool pc_modified_; |
| 400 | int icount_; |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 401 | |
Ben Murdoch | 3ef787d | 2012-04-12 10:51:47 +0100 | [diff] [blame] | 402 | // Debugger input. |
| 403 | char* last_debugger_input_; |
| 404 | |
Steve Block | 6ded16b | 2010-05-10 14:33:55 +0100 | [diff] [blame] | 405 | // Icache simulation |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 406 | base::HashMap* i_cache_; |
Steve Block | 6ded16b | 2010-05-10 14:33:55 +0100 | [diff] [blame] | 407 | |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 408 | // Registered breakpoints. |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 409 | Instruction* break_pc_; |
| 410 | Instr break_instr_; |
Teng-Hui Zhu | 3e5fa29 | 2010-11-09 16:16:48 -0800 | [diff] [blame] | 411 | |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 412 | v8::internal::Isolate* isolate_; |
| 413 | |
Teng-Hui Zhu | 3e5fa29 | 2010-11-09 16:16:48 -0800 | [diff] [blame] | 414 | // A stop is watched if its code is less than kNumOfWatchedStops. |
| 415 | // Only watched stops support enabling/disabling and the counter feature. |
| 416 | static const uint32_t kNumOfWatchedStops = 256; |
| 417 | |
| 418 | // Breakpoint is disabled if bit 31 is set. |
| 419 | static const uint32_t kStopDisabledBit = 1 << 31; |
| 420 | |
| 421 | // A stop is enabled, meaning the simulator will stop when meeting the |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 422 | // instruction, if bit 31 of watched_stops_[code].count is unset. |
| 423 | // The value watched_stops_[code].count & ~(1 << 31) indicates how many times |
Teng-Hui Zhu | 3e5fa29 | 2010-11-09 16:16:48 -0800 | [diff] [blame] | 424 | // the breakpoint was hit or gone through. |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 425 | struct StopCountAndDesc { |
Teng-Hui Zhu | 3e5fa29 | 2010-11-09 16:16:48 -0800 | [diff] [blame] | 426 | uint32_t count; |
| 427 | char* desc; |
| 428 | }; |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 429 | StopCountAndDesc watched_stops_[kNumOfWatchedStops]; |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 430 | }; |
| 431 | |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 432 | |
| 433 | // When running with the simulator transition into simulated execution at this |
| 434 | // point. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 435 | #define CALL_GENERATED_CODE(isolate, entry, p0, p1, p2, p3, p4) \ |
| 436 | reinterpret_cast<Object*>(Simulator::current(isolate)->Call( \ |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 437 | FUNCTION_ADDR(entry), 5, p0, p1, p2, p3, p4)) |
| 438 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 439 | #define CALL_GENERATED_FP_INT(isolate, entry, p0, p1) \ |
| 440 | Simulator::current(isolate)->CallFPReturnsInt(FUNCTION_ADDR(entry), p0, p1) |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 441 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 442 | #define CALL_GENERATED_REGEXP_CODE(isolate, entry, p0, p1, p2, p3, p4, p5, p6, \ |
| 443 | p7, p8) \ |
| 444 | Simulator::current(isolate) \ |
| 445 | ->Call(entry, 10, p0, p1, p2, p3, NULL, p4, p5, p6, p7, p8) |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 446 | |
| 447 | |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 448 | // The simulator has its own stack. Thus it has a different stack limit from |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 449 | // the C-based native code. The JS-based limit normally points near the end of |
| 450 | // the simulator stack. When the C-based limit is exhausted we reflect that by |
| 451 | // lowering the JS-based limit as well, to make stack checks trigger. |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 452 | class SimulatorStack : public v8::internal::AllStatic { |
| 453 | public: |
Ben Murdoch | 257744e | 2011-11-30 15:57:28 +0000 | [diff] [blame] | 454 | static inline uintptr_t JsLimitFromCLimit(v8::internal::Isolate* isolate, |
| 455 | uintptr_t c_limit) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 456 | return Simulator::current(isolate)->StackLimit(c_limit); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 457 | } |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 458 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 459 | static inline uintptr_t RegisterCTryCatch(v8::internal::Isolate* isolate, |
| 460 | uintptr_t try_catch_address) { |
| 461 | Simulator* sim = Simulator::current(isolate); |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 462 | return sim->PushAddress(try_catch_address); |
| 463 | } |
| 464 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 465 | static inline void UnregisterCTryCatch(v8::internal::Isolate* isolate) { |
| 466 | Simulator::current(isolate)->PopAddress(); |
Steve Block | d0582a6 | 2009-12-15 09:54:21 +0000 | [diff] [blame] | 467 | } |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 468 | }; |
| 469 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 470 | } // namespace internal |
| 471 | } // namespace v8 |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 472 | |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 473 | #endif // !defined(USE_SIMULATOR) |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 474 | #endif // V8_ARM_SIMULATOR_ARM_H_ |