X87: [calls] Consistent call protocol for calls.
authorchunyang.dai <chunyang.dai@intel.com>
Thu, 10 Sep 2015 05:42:39 +0000 (22:42 -0700)
committerCommit bot <commit-bot@chromium.org>
Thu, 10 Sep 2015 05:42:49 +0000 (05:42 +0000)
commit99f0130782a57a9abcaea7da5f2a495fe3cb2071
treec3db0ed9c9500a51f26ecbd9c7e77499b0fa9c34
parent20c9749b5ed9ecc4ce4631f14639007d36040284
X87: [calls] Consistent call protocol for calls.

port b37907ff7f866873ddfbfc97670b43c19a5fc7f9 (r30648).

original commit message:

    The number of actual arguments should always be available, there's no
    point in trying to optimize away a simple assignment of an immediate to
    a register before some calls.

    The main motivation is to have a consistent state at the beginning of every
    function. Currently the arguments register (i.e. rax or eax) either contains
    the number of arguments or some random garbage depending on whether
    the callsite decided that the callee might need the information or not.
    This causes trouble with runtime implementations of functions that
    do not set internal_formal_parameter_count to the DontAdaptArguments
    sentinel (we don't have any of those yet), but also makes it impossible
    to sanity check the arguments in the callee, because the callee doesn't
    know whether the caller decided to pass the number of arguments or
    random garbage.

BUG=

Review URL: https://codereview.chromium.org/1335453002

Cr-Commit-Position: refs/heads/master@{#30669}
src/x87/lithium-codegen-x87.cc
src/x87/macro-assembler-x87.cc