macro-assembler.h 6.91 KB
Newer Older
1
// Copyright 2012 the V8 project authors. All rights reserved.
2 3
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
4 5 6 7

#ifndef V8_MACRO_ASSEMBLER_H_
#define V8_MACRO_ASSEMBLER_H_

8 9
#include "src/assembler.h"
#include "src/frames.h"
10
#include "src/heap/heap.h"
11 12 13 14 15 16 17 18

// Helper types to make boolean flag easier to read at call-site.
enum InvokeFlag {
  CALL_FUNCTION,
  JUMP_FUNCTION
};


19 20 21 22 23 24
// Flags used for the AllocateInNewSpace functions.
enum AllocationFlags {
  // No special flags.
  NO_ALLOCATION_FLAGS = 0,
  // The content of the result register already contains the allocation top in
  // new space.
25
  RESULT_CONTAINS_TOP = 1 << 0,
26 27
  // Specify that the requested size of the space to allocate is specified in
  // words instead of bytes.
28
  SIZE_IN_WORDS = 1 << 1,
29
  // Align the allocation to a multiple of kDoubleSize
30
  DOUBLE_ALIGNMENT = 1 << 2,
31
  // Directly allocate in old space
32
  PRETENURE = 1 << 3,
33 34
};

35
#if V8_TARGET_ARCH_IA32
36
#include "src/ia32/macro-assembler-ia32.h"
37
#elif V8_TARGET_ARCH_X64
38
#include "src/x64/macro-assembler-x64.h"
39
#elif V8_TARGET_ARCH_ARM64
40 41
#include "src/arm64/constants-arm64.h"
#include "src/arm64/macro-assembler-arm64.h"
42
#elif V8_TARGET_ARCH_ARM
43 44
#include "src/arm/constants-arm.h"
#include "src/arm/macro-assembler-arm.h"
45
#elif V8_TARGET_ARCH_PPC
46
#include "src/ppc/constants-ppc.h"
47
#include "src/ppc/macro-assembler-ppc.h"
48
#elif V8_TARGET_ARCH_MIPS
49
#include "src/mips/constants-mips.h"
50
#include "src/mips/macro-assembler-mips.h"
51
#elif V8_TARGET_ARCH_MIPS64
52
#include "src/mips64/constants-mips64.h"
53
#include "src/mips64/macro-assembler-mips64.h"
54 55 56
#elif V8_TARGET_ARCH_S390
#include "src/s390/constants-s390.h"
#include "src/s390/macro-assembler-s390.h"
57 58
#else
#error Unsupported target architecture.
59 60
#endif

61 62 63
namespace v8 {
namespace internal {

64 65 66
// Simulators only support C calls with up to kMaxCParameters parameters.
static constexpr int kMaxCParameters = 9;

67 68
class FrameScope {
 public:
69 70 71
  explicit FrameScope(TurboAssembler* tasm, StackFrame::Type type)
      : tasm_(tasm), type_(type), old_has_frame_(tasm->has_frame()) {
    tasm->set_has_frame(true);
72
    if (type != StackFrame::MANUAL && type_ != StackFrame::NONE) {
73
      tasm->EnterFrame(type);
74 75 76 77 78
    }
  }

  ~FrameScope() {
    if (type_ != StackFrame::MANUAL && type_ != StackFrame::NONE) {
79
      tasm_->LeaveFrame(type_);
80
    }
81
    tasm_->set_has_frame(old_has_frame_);
82 83 84 85 86 87 88 89
  }

  // Normally we generate the leave-frame code when this object goes
  // out of scope.  Sometimes we may need to generate the code somewhere else
  // in addition.  Calling this will achieve that, but the object stays in
  // scope, the MacroAssembler is still marked as being in a frame scope, and
  // the code will be generated again when it goes out of scope.
  void GenerateLeaveFrame() {
90
    DCHECK(type_ != StackFrame::MANUAL && type_ != StackFrame::NONE);
91
    tasm_->LeaveFrame(type_);
92 93 94
  }

 private:
95
  TurboAssembler* tasm_;
96
  StackFrame::Type type_;
97
  bool old_has_frame_;
98 99
};

100 101 102 103 104 105
class FrameAndConstantPoolScope {
 public:
  FrameAndConstantPoolScope(MacroAssembler* masm, StackFrame::Type type)
      : masm_(masm),
        type_(type),
        old_has_frame_(masm->has_frame()),
106 107
        old_constant_pool_available_(FLAG_enable_embedded_constant_pool &&
                                     masm->is_constant_pool_available()) {
108
    masm->set_has_frame(true);
109 110
    if (FLAG_enable_embedded_constant_pool) {
      masm->set_constant_pool_available(true);
111 112 113 114 115 116 117 118 119
    }
    if (type_ != StackFrame::MANUAL && type_ != StackFrame::NONE) {
      masm->EnterFrame(type, !old_constant_pool_available_);
    }
  }

  ~FrameAndConstantPoolScope() {
    masm_->LeaveFrame(type_);
    masm_->set_has_frame(old_has_frame_);
120 121
    if (FLAG_enable_embedded_constant_pool) {
      masm_->set_constant_pool_available(old_constant_pool_available_);
122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146
    }
  }

  // Normally we generate the leave-frame code when this object goes
  // out of scope.  Sometimes we may need to generate the code somewhere else
  // in addition.  Calling this will achieve that, but the object stays in
  // scope, the MacroAssembler is still marked as being in a frame scope, and
  // the code will be generated again when it goes out of scope.
  void GenerateLeaveFrame() {
    DCHECK(type_ != StackFrame::MANUAL && type_ != StackFrame::NONE);
    masm_->LeaveFrame(type_);
  }

 private:
  MacroAssembler* masm_;
  StackFrame::Type type_;
  bool old_has_frame_;
  bool old_constant_pool_available_;

  DISALLOW_IMPLICIT_CONSTRUCTORS(FrameAndConstantPoolScope);
};

// Class for scoping the the unavailability of constant pool access.
class ConstantPoolUnavailableScope {
 public:
147 148
  explicit ConstantPoolUnavailableScope(Assembler* assembler)
      : assembler_(assembler),
149
        old_constant_pool_available_(FLAG_enable_embedded_constant_pool &&
150
                                     assembler->is_constant_pool_available()) {
151
    if (FLAG_enable_embedded_constant_pool) {
152
      assembler->set_constant_pool_available(false);
153 154 155
    }
  }
  ~ConstantPoolUnavailableScope() {
156
    if (FLAG_enable_embedded_constant_pool) {
157
      assembler_->set_constant_pool_available(old_constant_pool_available_);
158 159 160 161
    }
  }

 private:
162
  Assembler* assembler_;
163 164 165 166 167
  int old_constant_pool_available_;

  DISALLOW_IMPLICIT_CONSTRUCTORS(ConstantPoolUnavailableScope);
};

168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191

class AllowExternalCallThatCantCauseGC: public FrameScope {
 public:
  explicit AllowExternalCallThatCantCauseGC(MacroAssembler* masm)
      : FrameScope(masm, StackFrame::NONE) { }
};


class NoCurrentFrameScope {
 public:
  explicit NoCurrentFrameScope(MacroAssembler* masm)
      : masm_(masm), saved_(masm->has_frame()) {
    masm->set_has_frame(false);
  }

  ~NoCurrentFrameScope() {
    masm_->set_has_frame(saved_);
  }

 private:
  MacroAssembler* masm_;
  bool saved_;
};

192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207
// Prevent the use of the RootArray during the lifetime of this
// scope object.
class NoRootArrayScope {
 public:
  explicit NoRootArrayScope(MacroAssembler* masm)
      : masm_(masm), old_value_(masm->root_array_available()) {
    masm->set_root_array_available(false);
  }

  ~NoRootArrayScope() { masm_->set_root_array_available(old_value_); }

 private:
  MacroAssembler* masm_;
  bool old_value_;
};

208 209 210 211 212 213 214
// Wrapper class for passing expected and actual parameter counts as
// either registers or immediate values. Used to make sure that the
// caller provides exactly the expected number of parameters to the
// callee.
class ParameterCount BASE_EMBEDDED {
 public:
  explicit ParameterCount(Register reg) : reg_(reg), immediate_(0) {}
215
  explicit ParameterCount(uint16_t imm) : reg_(no_reg), immediate_(imm) {}
216

217
  bool is_reg() const { return reg_.is_valid(); }
218 219 220 221 222 223
  bool is_immediate() const { return !is_reg(); }

  Register reg() const {
    DCHECK(is_reg());
    return reg_;
  }
224
  uint16_t immediate() const {
225 226 227 228 229 230
    DCHECK(is_immediate());
    return immediate_;
  }

 private:
  const Register reg_;
231
  const uint16_t immediate_;
232 233 234 235

  DISALLOW_IMPLICIT_CONSTRUCTORS(ParameterCount);
};

236 237
}  // namespace internal
}  // namespace v8
238

239
#endif  // V8_MACRO_ASSEMBLER_H_