linkage.cc 19.5 KB
Newer Older
1 2 3 4
// Copyright 2014 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.

5 6
#include "src/compiler/linkage.h"

7
#include "src/ast/scopes.h"
8
#include "src/code-stubs.h"
9
#include "src/compilation-info.h"
10
#include "src/compiler/common-operator.h"
11
#include "src/compiler/frame.h"
12
#include "src/compiler/node.h"
13
#include "src/compiler/osr.h"
14 15 16 17 18 19
#include "src/compiler/pipeline.h"

namespace v8 {
namespace internal {
namespace compiler {

20 21
namespace {

22 23 24
LinkageLocation regloc(Register reg, MachineType type) {
  return LinkageLocation::ForRegister(reg.code(), type);
}
25 26 27

}  // namespace

28

29
std::ostream& operator<<(std::ostream& os, const CallDescriptor::Kind& k) {
30 31 32 33 34 35 36 37 38 39 40 41 42 43 44
  switch (k) {
    case CallDescriptor::kCallCodeObject:
      os << "Code";
      break;
    case CallDescriptor::kCallJSFunction:
      os << "JS";
      break;
    case CallDescriptor::kCallAddress:
      os << "Addr";
      break;
  }
  return os;
}


45
std::ostream& operator<<(std::ostream& os, const CallDescriptor& d) {
46 47
  // TODO(svenpanne) Output properties etc. and be less cryptic.
  return os << d.kind() << ":" << d.debug_name() << ":r" << d.ReturnCount()
48
            << "s" << d.StackParameterCount() << "i" << d.InputCount() << "f"
svenpanne's avatar
svenpanne committed
49 50 51
            << d.FrameStateCount() << "t" << d.SupportsTailCalls();
}

52 53 54 55 56 57 58 59 60 61 62 63 64 65
MachineSignature* CallDescriptor::GetMachineSignature(Zone* zone) const {
  size_t param_count = ParameterCount();
  size_t return_count = ReturnCount();
  MachineType* types = reinterpret_cast<MachineType*>(
      zone->New(sizeof(MachineType*) * (param_count + return_count)));
  int current = 0;
  for (size_t i = 0; i < return_count; ++i) {
    types[current++] = GetReturnType(i);
  }
  for (size_t i = 0; i < param_count; ++i) {
    types[current++] = GetParameterType(i);
  }
  return new (zone) MachineSignature(return_count, param_count, types);
}
svenpanne's avatar
svenpanne committed
66 67 68 69 70 71 72 73

bool CallDescriptor::HasSameReturnLocationsAs(
    const CallDescriptor* other) const {
  if (ReturnCount() != other->ReturnCount()) return false;
  for (size_t i = 0; i < ReturnCount(); ++i) {
    if (GetReturnLocation(i) != other->GetReturnLocation(i)) return false;
  }
  return true;
74 75
}

76 77 78 79 80 81 82 83 84 85
int CallDescriptor::GetStackParameterDelta(
    CallDescriptor const* tail_caller) const {
  int callee_slots_above_sp = 0;
  for (size_t i = 0; i < InputCount(); ++i) {
    LinkageLocation operand = GetInputLocation(i);
    if (!operand.IsRegister()) {
      int new_candidate =
          -operand.GetLocation() + operand.GetSizeInPointers() - 1;
      if (new_candidate > callee_slots_above_sp) {
        callee_slots_above_sp = new_candidate;
86 87
      }
    }
88 89 90 91 92 93 94 95 96 97 98
  }
  int tail_caller_slots_above_sp = 0;
  if (tail_caller != nullptr) {
    for (size_t i = 0; i < tail_caller->InputCount(); ++i) {
      LinkageLocation operand = tail_caller->GetInputLocation(i);
      if (!operand.IsRegister()) {
        int new_candidate =
            -operand.GetLocation() + operand.GetSizeInPointers() - 1;
        if (new_candidate > tail_caller_slots_above_sp) {
          tail_caller_slots_above_sp = new_candidate;
        }
99 100 101
      }
    }
  }
102 103 104 105
  return callee_slots_above_sp - tail_caller_slots_above_sp;
}

bool CallDescriptor::CanTailCall(const Node* node) const {
106
  return HasSameReturnLocationsAs(CallDescriptorOf(node->op()));
107 108
}

109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125
int CallDescriptor::CalculateFixedFrameSize() const {
  switch (kind_) {
    case kCallJSFunction:
      return PushArgumentCount()
                 ? OptimizedBuiltinFrameConstants::kFixedSlotCount
                 : StandardFrameConstants::kFixedSlotCount;
      break;
    case kCallAddress:
      return CommonFrameConstants::kFixedSlotCountAboveFp +
             CommonFrameConstants::kCPSlotCount;
      break;
    case kCallCodeObject:
      return TypedFrameConstants::kFixedSlotCount;
  }
  UNREACHABLE();
  return 0;
}
126

127
CallDescriptor* Linkage::ComputeIncoming(Zone* zone, CompilationInfo* info) {
128
  DCHECK(!info->IsStub());
129
  if (!info->closure().is_null()) {
130 131 132
    // If we are compiling a JS function, use a JS call descriptor,
    // plus the receiver.
    SharedFunctionInfo* shared = info->closure()->shared();
133
    return GetJSCallDescriptor(zone, info->is_osr(),
134
                               1 + shared->internal_formal_parameter_count(),
135
                               CallDescriptor::kNoFlags);
136
  }
137
  return nullptr;  // TODO(titzer): ?
138 139 140
}


141
// static
142
bool Linkage::NeedsFrameStateInput(Runtime::FunctionId function) {
143
  switch (function) {
144 145 146 147
    // Most runtime functions need a FrameState. A few chosen ones that we know
    // not to call into arbitrary JavaScript, not to throw, and not to
    // deoptimize
    // are whitelisted here and can be called without a FrameState.
148
    case Runtime::kAbort:
149
    case Runtime::kAllocateInTargetSpace:
150
    case Runtime::kCreateIterResultObject:
151 152
    case Runtime::kDefineGetterPropertyUnchecked:  // TODO(jarin): Is it safe?
    case Runtime::kDefineSetterPropertyUnchecked:  // TODO(jarin): Is it safe?
153
    case Runtime::kGeneratorGetContinuation:
154
    case Runtime::kIsFunction:
155
    case Runtime::kNewClosure:
156
    case Runtime::kNewClosure_Tenured:
157 158 159 160
    case Runtime::kNewFunctionContext:
    case Runtime::kPushBlockContext:
    case Runtime::kPushCatchContext:
    case Runtime::kReThrow:
161
    case Runtime::kStringCompare:
162
    case Runtime::kStringEqual:
163 164 165 166 167
    case Runtime::kStringNotEqual:
    case Runtime::kStringLessThan:
    case Runtime::kStringLessThanOrEqual:
    case Runtime::kStringGreaterThan:
    case Runtime::kStringGreaterThanOrEqual:
168
    case Runtime::kToFastProperties:  // TODO(conradw): Is it safe?
169 170
    case Runtime::kTraceEnter:
    case Runtime::kTraceExit:
171
      return false;
172 173 174 175 176 177 178 179 180 181 182 183 184 185 186

    // Some inline intrinsics are also safe to call without a FrameState.
    case Runtime::kInlineCreateIterResultObject:
    case Runtime::kInlineFixedArrayGet:
    case Runtime::kInlineFixedArraySet:
    case Runtime::kInlineGeneratorClose:
    case Runtime::kInlineGeneratorGetInputOrDebugPos:
    case Runtime::kInlineGeneratorGetResumeMode:
    case Runtime::kInlineIsArray:
    case Runtime::kInlineIsJSReceiver:
    case Runtime::kInlineIsRegExp:
    case Runtime::kInlineIsSmi:
    case Runtime::kInlineIsTypedArray:
      return false;

187
    default:
188
      break;
189
  }
190

191
  // For safety, default to needing a FrameState unless whitelisted.
192
  return true;
193 194 195
}


svenpanne's avatar
svenpanne committed
196 197
bool CallDescriptor::UsesOnlyRegisters() const {
  for (size_t i = 0; i < InputCount(); ++i) {
198
    if (!GetInputLocation(i).IsRegister()) return false;
svenpanne's avatar
svenpanne committed
199 200
  }
  for (size_t i = 0; i < ReturnCount(); ++i) {
201
    if (!GetReturnLocation(i).IsRegister()) return false;
svenpanne's avatar
svenpanne committed
202 203 204 205 206
  }
  return true;
}


207 208
CallDescriptor* Linkage::GetRuntimeCallDescriptor(
    Zone* zone, Runtime::FunctionId function_id, int js_parameter_count,
209
    Operator::Properties properties, CallDescriptor::Flags flags) {
210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226
  const Runtime::Function* function = Runtime::FunctionForId(function_id);
  const int return_count = function->result_size;
  const char* debug_name = function->name;

  if (!Linkage::NeedsFrameStateInput(function_id)) {
    flags = static_cast<CallDescriptor::Flags>(
        flags & ~CallDescriptor::kNeedsFrameState);
  }

  return GetCEntryStubCallDescriptor(zone, return_count, js_parameter_count,
                                     debug_name, properties, flags);
}

CallDescriptor* Linkage::GetCEntryStubCallDescriptor(
    Zone* zone, int return_count, int js_parameter_count,
    const char* debug_name, Operator::Properties properties,
    CallDescriptor::Flags flags) {
227 228 229 230 231 232 233
  const size_t function_count = 1;
  const size_t num_args_count = 1;
  const size_t context_count = 1;
  const size_t parameter_count = function_count +
                                 static_cast<size_t>(js_parameter_count) +
                                 num_args_count + context_count;

234 235
  LocationSignature::Builder locations(zone, static_cast<size_t>(return_count),
                                       static_cast<size_t>(parameter_count));
236 237 238

  // Add returns.
  if (locations.return_count_ > 0) {
239
    locations.AddReturn(regloc(kReturnRegister0, MachineType::AnyTagged()));
240 241
  }
  if (locations.return_count_ > 1) {
242
    locations.AddReturn(regloc(kReturnRegister1, MachineType::AnyTagged()));
243
  }
244
  if (locations.return_count_ > 2) {
245
    locations.AddReturn(regloc(kReturnRegister2, MachineType::AnyTagged()));
246 247 248 249
  }

  // All parameters to the runtime call go on the stack.
  for (int i = 0; i < js_parameter_count; i++) {
250 251
    locations.AddParam(LinkageLocation::ForCallerFrameSlot(
        i - js_parameter_count, MachineType::AnyTagged()));
252 253
  }
  // Add runtime function itself.
254
  locations.AddParam(
255
      regloc(kRuntimeCallFunctionRegister, MachineType::Pointer()));
256 257

  // Add runtime call argument count.
258
  locations.AddParam(
259
      regloc(kRuntimeCallArgCountRegister, MachineType::Int32()));
260 261

  // Add context.
262
  locations.AddParam(regloc(kContextRegister, MachineType::AnyTagged()));
263 264

  // The target for runtime calls is a code object.
265
  MachineType target_type = MachineType::AnyTagged();
266 267
  LinkageLocation target_loc =
      LinkageLocation::ForAnyRegister(MachineType::AnyTagged());
268 269 270 271 272 273 274 275 276 277
  return new (zone) CallDescriptor(     // --
      CallDescriptor::kCallCodeObject,  // kind
      target_type,                      // target MachineType
      target_loc,                       // target location
      locations.Build(),                // location_sig
      js_parameter_count,               // stack_parameter_count
      properties,                       // properties
      kNoCalleeSaved,                   // callee-saved
      kNoCalleeSaved,                   // callee-saved fp
      flags,                            // flags
278
      debug_name);                      // debug name
279 280
}

281
CallDescriptor* Linkage::GetJSCallDescriptor(Zone* zone, bool is_osr,
282
                                             int js_parameter_count,
283
                                             CallDescriptor::Flags flags) {
284 285
  const size_t return_count = 1;
  const size_t context_count = 1;
286
  const size_t new_target_count = 1;
287 288
  const size_t num_args_count = 1;
  const size_t parameter_count =
289
      js_parameter_count + new_target_count + num_args_count + context_count;
290

291
  LocationSignature::Builder locations(zone, return_count, parameter_count);
292

293
  // All JS calls have exactly one return value.
294
  locations.AddReturn(regloc(kReturnRegister0, MachineType::AnyTagged()));
295 296 297 298

  // All parameters to JS calls go on the stack.
  for (int i = 0; i < js_parameter_count; i++) {
    int spill_slot_index = i - js_parameter_count;
299 300
    locations.AddParam(LinkageLocation::ForCallerFrameSlot(
        spill_slot_index, MachineType::AnyTagged()));
301
  }
302

303
  // Add JavaScript call new target value.
304 305
  locations.AddParam(
      regloc(kJavaScriptCallNewTargetRegister, MachineType::AnyTagged()));
306

307
  // Add JavaScript call argument count.
308 309
  locations.AddParam(
      regloc(kJavaScriptCallArgCountRegister, MachineType::Int32()));
310

311
  // Add context.
312
  locations.AddParam(regloc(kContextRegister, MachineType::AnyTagged()));
313 314

  // The target for JS function calls is the JSFunction object.
315
  MachineType target_type = MachineType::AnyTagged();
316 317
  // When entering into an OSR function from unoptimized code the JSFunction
  // is not in a register, but it is on the stack in the marker spill slot.
318 319 320
  LinkageLocation target_loc =
      is_osr ? LinkageLocation::ForSavedCallerFunction()
             : regloc(kJSFunctionRegister, MachineType::AnyTagged());
321 322 323 324 325 326 327 328 329
  return new (zone) CallDescriptor(     // --
      CallDescriptor::kCallJSFunction,  // kind
      target_type,                      // target MachineType
      target_loc,                       // target location
      locations.Build(),                // location_sig
      js_parameter_count,               // stack_parameter_count
      Operator::kNoProperties,          // properties
      kNoCalleeSaved,                   // callee-saved
      kNoCalleeSaved,                   // callee-saved fp
330 331
      CallDescriptor::kCanUseRoots |    // flags
          flags,                        // flags
332
      "js-call");
333 334
}

335 336 337
// TODO(all): Add support for return representations/locations to
// CallInterfaceDescriptor.
// TODO(turbofan): cache call descriptors for code stub calls.
338
CallDescriptor* Linkage::GetStubCallDescriptor(
339 340
    Isolate* isolate, Zone* zone, const CallInterfaceDescriptor& descriptor,
    int stack_parameter_count, CallDescriptor::Flags flags,
341 342
    Operator::Properties properties, MachineType return_type,
    size_t return_count) {
343 344 345 346 347 348 349 350 351
  const int register_parameter_count = descriptor.GetRegisterParameterCount();
  const int js_parameter_count =
      register_parameter_count + stack_parameter_count;
  const int context_count = 1;
  const size_t parameter_count =
      static_cast<size_t>(js_parameter_count + context_count);

  LocationSignature::Builder locations(zone, return_count, parameter_count);

352 353
  // Add returns.
  if (locations.return_count_ > 0) {
354
    locations.AddReturn(regloc(kReturnRegister0, return_type));
355 356
  }
  if (locations.return_count_ > 1) {
357
    locations.AddReturn(regloc(kReturnRegister1, return_type));
358
  }
359
  if (locations.return_count_ > 2) {
360
    locations.AddReturn(regloc(kReturnRegister2, return_type));
361
  }
362 363 364 365 366 367

  // Add parameters in registers and on the stack.
  for (int i = 0; i < js_parameter_count; i++) {
    if (i < register_parameter_count) {
      // The first parameters go in registers.
      Register reg = descriptor.GetRegisterParameter(i);
368
      MachineType type = descriptor.GetParameterType(i);
369
      locations.AddParam(regloc(reg, type));
370 371 372
    } else {
      // The rest of the parameters go on the stack.
      int stack_slot = i - register_parameter_count - stack_parameter_count;
373 374
      locations.AddParam(LinkageLocation::ForCallerFrameSlot(
          stack_slot, MachineType::AnyTagged()));
375 376 377
    }
  }
  // Add context.
378
  locations.AddParam(regloc(kContextRegister, MachineType::AnyTagged()));
379 380

  // The target for stub calls is a code object.
381
  MachineType target_type = MachineType::AnyTagged();
382 383
  LinkageLocation target_loc =
      LinkageLocation::ForAnyRegister(MachineType::AnyTagged());
384 385 386 387 388 389 390 391 392
  return new (zone) CallDescriptor(     // --
      CallDescriptor::kCallCodeObject,  // kind
      target_type,                      // target MachineType
      target_loc,                       // target location
      locations.Build(),                // location_sig
      stack_parameter_count,            // stack_parameter_count
      properties,                       // properties
      kNoCalleeSaved,                   // callee-saved registers
      kNoCalleeSaved,                   // callee-saved fp
393 394
      CallDescriptor::kCanUseRoots |    // flags
          flags,                        // flags
395
      descriptor.DebugName(isolate));
396 397
}

398 399 400 401
// static
CallDescriptor* Linkage::GetAllocateCallDescriptor(Zone* zone) {
  LocationSignature::Builder locations(zone, 1, 1);

402
  locations.AddParam(regloc(kAllocateSizeRegister, MachineType::Int32()));
403

404
  locations.AddReturn(regloc(kReturnRegister0, MachineType::AnyTagged()));
405 406 407

  // The target for allocate calls is a code object.
  MachineType target_type = MachineType::AnyTagged();
408 409
  LinkageLocation target_loc =
      LinkageLocation::ForAnyRegister(MachineType::AnyTagged());
410 411 412 413 414 415 416 417 418 419 420 421 422 423
  return new (zone) CallDescriptor(     // --
      CallDescriptor::kCallCodeObject,  // kind
      target_type,                      // target MachineType
      target_loc,                       // target location
      locations.Build(),                // location_sig
      0,                                // stack_parameter_count
      Operator::kNoThrow,               // properties
      kNoCalleeSaved,                   // callee-saved registers
      kNoCalleeSaved,                   // callee-saved fp
      CallDescriptor::kCanUseRoots,     // flags
      "Allocate");
}

// static
424 425 426 427 428 429
CallDescriptor* Linkage::GetBytecodeDispatchCallDescriptor(
    Isolate* isolate, Zone* zone, const CallInterfaceDescriptor& descriptor,
    int stack_parameter_count) {
  const int register_parameter_count = descriptor.GetRegisterParameterCount();
  const int parameter_count = register_parameter_count + stack_parameter_count;

430
  LocationSignature::Builder locations(zone, 0, parameter_count);
431 432 433 434 435 436

  // Add parameters in registers and on the stack.
  for (int i = 0; i < parameter_count; i++) {
    if (i < register_parameter_count) {
      // The first parameters go in registers.
      Register reg = descriptor.GetRegisterParameter(i);
437
      MachineType type = descriptor.GetParameterType(i);
438
      locations.AddParam(regloc(reg, type));
439 440 441
    } else {
      // The rest of the parameters go on the stack.
      int stack_slot = i - register_parameter_count - stack_parameter_count;
442 443
      locations.AddParam(LinkageLocation::ForCallerFrameSlot(
          stack_slot, MachineType::AnyTagged()));
444 445 446 447 448
    }
  }

  // The target for interpreter dispatches is a code entry address.
  MachineType target_type = MachineType::Pointer();
449
  LinkageLocation target_loc = LinkageLocation::ForAnyRegister(target_type);
450 451 452 453 454 455 456 457 458 459 460 461 462
  return new (zone) CallDescriptor(            // --
      CallDescriptor::kCallAddress,            // kind
      target_type,                             // target MachineType
      target_loc,                              // target location
      locations.Build(),                       // location_sig
      stack_parameter_count,                   // stack_parameter_count
      Operator::kNoProperties,                 // properties
      kNoCalleeSaved,                          // callee-saved registers
      kNoCalleeSaved,                          // callee-saved fp
      CallDescriptor::kCanUseRoots |           // flags
          CallDescriptor::kSupportsTailCalls,  // flags
      descriptor.DebugName(isolate));
}
463

464 465 466 467 468 469 470
LinkageLocation Linkage::GetOsrValueLocation(int index) const {
  CHECK(incoming_->IsJSFunctionCall());
  int parameter_count = static_cast<int>(incoming_->JSParameterCount() - 1);
  int first_stack_slot = OsrHelper::FirstStackSlotIndex(parameter_count);

  if (index == kOsrContextSpillSlotIndex) {
    // Context. Use the parameter location of the context spill slot.
471
    // Parameter (arity + 2) is special for the context of the function frame.
472 473
    // >> context_index = target + receiver + params + new_target + #args
    int context_index = 1 + 1 + parameter_count + 1 + 1;
474 475 476
    return incoming_->GetInputLocation(context_index);
  } else if (index >= first_stack_slot) {
    // Local variable stored in this (callee) stack.
477 478
    int spill_index =
        index - first_stack_slot + StandardFrameConstants::kFixedSlotCount;
479 480
    return LinkageLocation::ForCalleeFrameSlot(spill_index,
                                               MachineType::AnyTagged());
481 482 483 484 485 486
  } else {
    // Parameter. Use the assigned location from the incoming call descriptor.
    int parameter_index = 1 + index;  // skip index 0, which is the target.
    return incoming_->GetInputLocation(parameter_index);
  }
}
487 488 489


bool Linkage::ParameterHasSecondaryLocation(int index) const {
490
  if (!incoming_->IsJSFunctionCall()) return false;
491
  LinkageLocation loc = GetParameterLocation(index);
492 493
  return (loc == regloc(kJSFunctionRegister, MachineType::AnyTagged()) ||
          loc == regloc(kContextRegister, MachineType::AnyTagged()));
494 495 496 497 498 499
}

LinkageLocation Linkage::GetParameterSecondaryLocation(int index) const {
  DCHECK(ParameterHasSecondaryLocation(index));
  LinkageLocation loc = GetParameterLocation(index);

500 501 502
  if (loc == regloc(kJSFunctionRegister, MachineType::AnyTagged())) {
    return LinkageLocation::ForCalleeFrameSlot(Frame::kJSFunctionSlot,
                                               MachineType::AnyTagged());
503
  } else {
504 505 506
    DCHECK(loc == regloc(kContextRegister, MachineType::AnyTagged()));
    return LinkageLocation::ForCalleeFrameSlot(Frame::kContextSlot,
                                               MachineType::AnyTagged());
507 508 509 510
  }
}


511 512 513
}  // namespace compiler
}  // namespace internal
}  // namespace v8