code-stubs-x87.h 13.3 KB
Newer Older
danno@chromium.org's avatar
danno@chromium.org committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
// Copyright 2011 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#ifndef V8_X87_CODE_STUBS_X87_H_
#define V8_X87_CODE_STUBS_X87_H_

namespace v8 {
namespace internal {


void ArrayNativeCode(MacroAssembler* masm,
                     bool construct_call,
                     Label* call_generic_code);


class StringHelper : public AllStatic {
 public:
  // Generate code for copying characters using the rep movs instruction.
  // Copies ecx characters from esi to edi. Copying of overlapping regions is
  // not supported.
22 23 24 25 26 27
  static void GenerateCopyCharacters(MacroAssembler* masm,
                                     Register dest,
                                     Register src,
                                     Register count,
                                     Register scratch,
                                     String::Encoding encoding);
danno@chromium.org's avatar
danno@chromium.org committed
28

29 30 31 32 33 34 35 36 37
  // Compares two flat one byte strings and returns result in eax.
  static void GenerateCompareFlatOneByteStrings(MacroAssembler* masm,
                                                Register left, Register right,
                                                Register scratch1,
                                                Register scratch2,
                                                Register scratch3);

  // Compares two flat one byte strings for equality and returns result in eax.
  static void GenerateFlatOneByteStringEquals(MacroAssembler* masm,
38
                                              Register left, Register right,
danno@chromium.org's avatar
danno@chromium.org committed
39
                                              Register scratch1,
40
                                              Register scratch2);
danno@chromium.org's avatar
danno@chromium.org committed
41 42

 private:
43 44 45
  static void GenerateOneByteCharsCompareLoop(
      MacroAssembler* masm, Register left, Register right, Register length,
      Register scratch, Label* chars_not_equal,
danno@chromium.org's avatar
danno@chromium.org committed
46
      Label::Distance chars_not_equal_near = Label::kFar);
47 48

  DISALLOW_IMPLICIT_CONSTRUCTORS(StringHelper);
danno@chromium.org's avatar
danno@chromium.org committed
49 50 51 52 53 54 55
};


class NameDictionaryLookupStub: public PlatformCodeStub {
 public:
  enum LookupMode { POSITIVE_LOOKUP, NEGATIVE_LOOKUP };

56 57 58 59 60 61 62
  NameDictionaryLookupStub(Isolate* isolate, Register dictionary,
                           Register result, Register index, LookupMode mode)
      : PlatformCodeStub(isolate) {
    minor_key_ = DictionaryBits::encode(dictionary.code()) |
                 ResultBits::encode(result.code()) |
                 IndexBits::encode(index.code()) | LookupModeBits::encode(mode);
  }
danno@chromium.org's avatar
danno@chromium.org committed
63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78

  static void GenerateNegativeLookup(MacroAssembler* masm,
                                     Label* miss,
                                     Label* done,
                                     Register properties,
                                     Handle<Name> name,
                                     Register r0);

  static void GeneratePositiveLookup(MacroAssembler* masm,
                                     Label* miss,
                                     Label* done,
                                     Register elements,
                                     Register name,
                                     Register r0,
                                     Register r1);

79
  bool SometimesSetsUpAFrame() OVERRIDE { return false; }
danno@chromium.org's avatar
danno@chromium.org committed
80 81 82 83 84 85 86 87 88 89 90 91 92

 private:
  static const int kInlinedProbes = 4;
  static const int kTotalProbes = 20;

  static const int kCapacityOffset =
      NameDictionary::kHeaderSize +
      NameDictionary::kCapacityIndex * kPointerSize;

  static const int kElementsStartOffset =
      NameDictionary::kHeaderSize +
      NameDictionary::kElementsStartIndex * kPointerSize;

93 94 95 96 97 98 99 100 101 102
  Register dictionary() const {
    return Register::from_code(DictionaryBits::decode(minor_key_));
  }

  Register result() const {
    return Register::from_code(ResultBits::decode(minor_key_));
  }

  Register index() const {
    return Register::from_code(IndexBits::decode(minor_key_));
danno@chromium.org's avatar
danno@chromium.org committed
103 104
  }

105 106
  LookupMode mode() const { return LookupModeBits::decode(minor_key_); }

danno@chromium.org's avatar
danno@chromium.org committed
107 108 109 110 111
  class DictionaryBits: public BitField<int, 0, 3> {};
  class ResultBits: public BitField<int, 3, 3> {};
  class IndexBits: public BitField<int, 6, 3> {};
  class LookupModeBits: public BitField<LookupMode, 9, 1> {};

112
  DEFINE_NULL_CALL_INTERFACE_DESCRIPTOR();
113
  DEFINE_PLATFORM_CODE_STUB(NameDictionaryLookup, PlatformCodeStub);
danno@chromium.org's avatar
danno@chromium.org committed
114 115 116 117 118
};


class RecordWriteStub: public PlatformCodeStub {
 public:
119 120 121
  RecordWriteStub(Isolate* isolate, Register object, Register value,
                  Register address, RememberedSetAction remembered_set_action,
                  SaveFPRegsMode fp_mode)
danno@chromium.org's avatar
danno@chromium.org committed
122 123 124 125
      : PlatformCodeStub(isolate),
        regs_(object,   // An input reg.
              address,  // An input reg.
              value) {  // One scratch reg.
126 127 128
    minor_key_ = ObjectBits::encode(object.code()) |
                 ValueBits::encode(value.code()) |
                 AddressBits::encode(address.code()) |
129 130
                 RememberedSetActionBits::encode(remembered_set_action) |
                 SaveFPRegsModeBits::encode(fp_mode);
danno@chromium.org's avatar
danno@chromium.org committed
131 132
  }

133 134 135
  RecordWriteStub(uint32_t key, Isolate* isolate)
      : PlatformCodeStub(key, isolate), regs_(object(), address(), value()) {}

danno@chromium.org's avatar
danno@chromium.org committed
136 137 138 139 140 141
  enum Mode {
    STORE_BUFFER_ONLY,
    INCREMENTAL,
    INCREMENTAL_COMPACTION
  };

142
  bool SometimesSetsUpAFrame() OVERRIDE { return false; }
danno@chromium.org's avatar
danno@chromium.org committed
143 144 145 146 147 148 149 150 151 152 153 154 155 156 157

  static const byte kTwoByteNopInstruction = 0x3c;  // Cmpb al, #imm8.
  static const byte kTwoByteJumpInstruction = 0xeb;  // Jmp #imm8.

  static const byte kFiveByteNopInstruction = 0x3d;  // Cmpl eax, #imm32.
  static const byte kFiveByteJumpInstruction = 0xe9;  // Jmp #imm32.

  static Mode GetMode(Code* stub) {
    byte first_instruction = stub->instruction_start()[0];
    byte second_instruction = stub->instruction_start()[2];

    if (first_instruction == kTwoByteJumpInstruction) {
      return INCREMENTAL;
    }

158
    DCHECK(first_instruction == kTwoByteNopInstruction);
danno@chromium.org's avatar
danno@chromium.org committed
159 160 161 162 163

    if (second_instruction == kFiveByteJumpInstruction) {
      return INCREMENTAL_COMPACTION;
    }

164
    DCHECK(second_instruction == kFiveByteNopInstruction);
danno@chromium.org's avatar
danno@chromium.org committed
165 166 167 168 169 170 171

    return STORE_BUFFER_ONLY;
  }

  static void Patch(Code* stub, Mode mode) {
    switch (mode) {
      case STORE_BUFFER_ONLY:
172
        DCHECK(GetMode(stub) == INCREMENTAL ||
danno@chromium.org's avatar
danno@chromium.org committed
173 174 175 176 177
               GetMode(stub) == INCREMENTAL_COMPACTION);
        stub->instruction_start()[0] = kTwoByteNopInstruction;
        stub->instruction_start()[2] = kFiveByteNopInstruction;
        break;
      case INCREMENTAL:
178
        DCHECK(GetMode(stub) == STORE_BUFFER_ONLY);
danno@chromium.org's avatar
danno@chromium.org committed
179 180 181
        stub->instruction_start()[0] = kTwoByteJumpInstruction;
        break;
      case INCREMENTAL_COMPACTION:
182
        DCHECK(GetMode(stub) == STORE_BUFFER_ONLY);
danno@chromium.org's avatar
danno@chromium.org committed
183 184 185 186
        stub->instruction_start()[0] = kTwoByteNopInstruction;
        stub->instruction_start()[2] = kFiveByteJumpInstruction;
        break;
    }
187
    DCHECK(GetMode(stub) == mode);
188
    CpuFeatures::FlushICache(stub->instruction_start(), 7);
danno@chromium.org's avatar
danno@chromium.org committed
189 190
  }

191 192
  DEFINE_NULL_CALL_INTERFACE_DESCRIPTOR();

danno@chromium.org's avatar
danno@chromium.org committed
193 194 195 196 197 198 199 200 201 202 203 204 205 206 207
 private:
  // This is a helper class for freeing up 3 scratch registers, where the third
  // is always ecx (needed for shift operations).  The input is two registers
  // that must be preserved and one scratch register provided by the caller.
  class RegisterAllocation {
   public:
    RegisterAllocation(Register object,
                       Register address,
                       Register scratch0)
        : object_orig_(object),
          address_orig_(address),
          scratch0_orig_(scratch0),
          object_(object),
          address_(address),
          scratch0_(scratch0) {
208
      DCHECK(!AreAliased(scratch0, object, address, no_reg));
danno@chromium.org's avatar
danno@chromium.org committed
209 210 211 212 213 214 215 216 217 218
      scratch1_ = GetRegThatIsNotEcxOr(object_, address_, scratch0_);
      if (scratch0.is(ecx)) {
        scratch0_ = GetRegThatIsNotEcxOr(object_, address_, scratch1_);
      }
      if (object.is(ecx)) {
        object_ = GetRegThatIsNotEcxOr(address_, scratch0_, scratch1_);
      }
      if (address.is(ecx)) {
        address_ = GetRegThatIsNotEcxOr(object_, scratch0_, scratch1_);
      }
219
      DCHECK(!AreAliased(scratch0_, object_, address_, ecx));
danno@chromium.org's avatar
danno@chromium.org committed
220 221 222
    }

    void Save(MacroAssembler* masm) {
223 224 225 226 227
      DCHECK(!address_orig_.is(object_));
      DCHECK(object_.is(object_orig_) || address_.is(address_orig_));
      DCHECK(!AreAliased(object_, address_, scratch1_, scratch0_));
      DCHECK(!AreAliased(object_orig_, address_, scratch1_, scratch0_));
      DCHECK(!AreAliased(object_, address_orig_, scratch1_, scratch0_));
danno@chromium.org's avatar
danno@chromium.org committed
228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272
      // We don't have to save scratch0_orig_ because it was given to us as
      // a scratch register.  But if we had to switch to a different reg then
      // we should save the new scratch0_.
      if (!scratch0_.is(scratch0_orig_)) masm->push(scratch0_);
      if (!ecx.is(scratch0_orig_) &&
          !ecx.is(object_orig_) &&
          !ecx.is(address_orig_)) {
        masm->push(ecx);
      }
      masm->push(scratch1_);
      if (!address_.is(address_orig_)) {
        masm->push(address_);
        masm->mov(address_, address_orig_);
      }
      if (!object_.is(object_orig_)) {
        masm->push(object_);
        masm->mov(object_, object_orig_);
      }
    }

    void Restore(MacroAssembler* masm) {
      // These will have been preserved the entire time, so we just need to move
      // them back.  Only in one case is the orig_ reg different from the plain
      // one, since only one of them can alias with ecx.
      if (!object_.is(object_orig_)) {
        masm->mov(object_orig_, object_);
        masm->pop(object_);
      }
      if (!address_.is(address_orig_)) {
        masm->mov(address_orig_, address_);
        masm->pop(address_);
      }
      masm->pop(scratch1_);
      if (!ecx.is(scratch0_orig_) &&
          !ecx.is(object_orig_) &&
          !ecx.is(address_orig_)) {
        masm->pop(ecx);
      }
      if (!scratch0_.is(scratch0_orig_)) masm->pop(scratch0_);
    }

    // If we have to call into C then we need to save and restore all caller-
    // saved registers that were not already preserved.  The caller saved
    // registers are eax, ecx and edx.  The three scratch registers (incl. ecx)
    // will be restored by other means so we don't bother pushing them here.
273
    void SaveCallerSaveRegisters(MacroAssembler* masm, SaveFPRegsMode mode) {
danno@chromium.org's avatar
danno@chromium.org committed
274 275
      if (!scratch0_.is(eax) && !scratch1_.is(eax)) masm->push(eax);
      if (!scratch0_.is(edx) && !scratch1_.is(edx)) masm->push(edx);
276 277 278 279 280
      if (mode == kSaveFPRegs) {
        // Save FPU state in m108byte.
        masm->sub(esp, Immediate(108));
        masm->fnsave(Operand(esp, 0));
      }
danno@chromium.org's avatar
danno@chromium.org committed
281 282
    }

283 284 285 286 287 288 289
    inline void RestoreCallerSaveRegisters(MacroAssembler* masm,
                                           SaveFPRegsMode mode) {
      if (mode == kSaveFPRegs) {
        // Restore FPU state in m108byte.
        masm->frstor(Operand(esp, 0));
        masm->add(esp, Immediate(108));
      }
danno@chromium.org's avatar
danno@chromium.org committed
290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328
      if (!scratch0_.is(edx) && !scratch1_.is(edx)) masm->pop(edx);
      if (!scratch0_.is(eax) && !scratch1_.is(eax)) masm->pop(eax);
    }

    inline Register object() { return object_; }
    inline Register address() { return address_; }
    inline Register scratch0() { return scratch0_; }
    inline Register scratch1() { return scratch1_; }

   private:
    Register object_orig_;
    Register address_orig_;
    Register scratch0_orig_;
    Register object_;
    Register address_;
    Register scratch0_;
    Register scratch1_;
    // Third scratch register is always ecx.

    Register GetRegThatIsNotEcxOr(Register r1,
                                  Register r2,
                                  Register r3) {
      for (int i = 0; i < Register::NumAllocatableRegisters(); i++) {
        Register candidate = Register::FromAllocationIndex(i);
        if (candidate.is(ecx)) continue;
        if (candidate.is(r1)) continue;
        if (candidate.is(r2)) continue;
        if (candidate.is(r3)) continue;
        return candidate;
      }
      UNREACHABLE();
      return no_reg;
    }
    friend class RecordWriteStub;
  };

  enum OnNoNeedToInformIncrementalMarker {
    kReturnOnNoNeedToInformIncrementalMarker,
    kUpdateRememberedSetOnNoNeedToInformIncrementalMarker
329 330
  };

331
  inline Major MajorKey() const FINAL { return RecordWrite; }
332

333
  void Generate(MacroAssembler* masm) OVERRIDE;
danno@chromium.org's avatar
danno@chromium.org committed
334 335 336 337 338 339 340
  void GenerateIncremental(MacroAssembler* masm, Mode mode);
  void CheckNeedsToInformIncrementalMarker(
      MacroAssembler* masm,
      OnNoNeedToInformIncrementalMarker on_no_need,
      Mode mode);
  void InformIncrementalMarker(MacroAssembler* masm);

341
  void Activate(Code* code) OVERRIDE {
342 343
    code->GetHeap()->incremental_marking()->ActivateGeneratedStub(code);
  }
danno@chromium.org's avatar
danno@chromium.org committed
344

345 346
  Register object() const {
    return Register::from_code(ObjectBits::decode(minor_key_));
danno@chromium.org's avatar
danno@chromium.org committed
347 348
  }

349 350 351 352 353 354 355 356 357 358
  Register value() const {
    return Register::from_code(ValueBits::decode(minor_key_));
  }

  Register address() const {
    return Register::from_code(AddressBits::decode(minor_key_));
  }

  RememberedSetAction remembered_set_action() const {
    return RememberedSetActionBits::decode(minor_key_);
danno@chromium.org's avatar
danno@chromium.org committed
359 360
  }

361 362 363 364
  SaveFPRegsMode save_fp_regs_mode() const {
    return SaveFPRegsModeBits::decode(minor_key_);
  }

danno@chromium.org's avatar
danno@chromium.org committed
365 366 367 368
  class ObjectBits: public BitField<int, 0, 3> {};
  class ValueBits: public BitField<int, 3, 3> {};
  class AddressBits: public BitField<int, 6, 3> {};
  class RememberedSetActionBits: public BitField<RememberedSetAction, 9, 1> {};
369
  class SaveFPRegsModeBits : public BitField<SaveFPRegsMode, 10, 1> {};
danno@chromium.org's avatar
danno@chromium.org committed
370 371

  RegisterAllocation regs_;
372 373

  DISALLOW_COPY_AND_ASSIGN(RecordWriteStub);
danno@chromium.org's avatar
danno@chromium.org committed
374 375 376 377 378 379
};


} }  // namespace v8::internal

#endif  // V8_X87_CODE_STUBS_X87_H_