[turbofan] Robustify tail parameter stack size computations

[turbofan] Robustify tail parameter stack size computations

This CL separates the check whether something is tail-callable from
the computation of the size of the stack parameters that a function
takes.

In order to track this precisely, the stack parameter size calculation
uses the recently landed MachineType information that's embedded
in return and parameter value LinkageLocations.

Committed: https://crrev.com/e92e911814cdc6d146bbd23083b8732b9881c2c5
Cr-Commit-Position: refs/heads/master@{#37668}

[danno, 2016-07-06 11:30:27]

Description was changed from

==========
[turbofan] Robustify tail parameter stack size computations
==========

to

==========
[turbofan] Robustify tail parameter stack size computations

This CL separate the check whether something is tail-callable from
the computation of the size of the stack parameters that a function
takes.

In order to track this precisely, a size field needs to be added to 
LinkageLocation class to be able to know how many stack slots 
a parameter takes.

This work is also preparation in later unification of aspects of tail call
and non-tail call parameter handling.
==========

[danno, 2016-07-06 11:30:27]

danno@chromium.org changed reviewers:
+ bmeurer@chromium.org, titzer@chromium.org

[danno, 2016-07-07 11:42:35]

Description was changed from

==========
[turbofan] Robustify tail parameter stack size computations

This CL separate the check whether something is tail-callable from
the computation of the size of the stack parameters that a function
takes.

In order to track this precisely, a size field needs to be added to 
LinkageLocation class to be able to know how many stack slots 
a parameter takes.

This work is also preparation in later unification of aspects of tail call
and non-tail call parameter handling.
==========

to

==========
[turbofan] Robustify tail parameter stack size computations

This CL separates the check whether something is tail-callable from
the computation of the size of the stack parameters that a function
takes.

In order to track this precisely, the stack parameter size calculation
uses the recently landed MachineType information that's embedded
in return and parameter value LinkageLocations.
==========

[danno, 2016-07-11 14:46:53]

danno@chromium.org changed reviewers:
+ jarin@chromium.org

[danno, 2016-07-11 14:46:55]

gentle reminder :-)

[Benedikt Meurer, 2016-07-12 03:22:13]

LGTM.

[danno, 2016-07-12 08:37:34]

The CQ bit was checked by danno@chromium.org

[commit-bot: I haz the power, 2016-07-12 08:37:39]

CQ is trying da patch. Follow status at
 
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2016-07-12 08:39:37]

Description was changed from

==========
[turbofan] Robustify tail parameter stack size computations

This CL separates the check whether something is tail-callable from
the computation of the size of the stack parameters that a function
takes.

In order to track this precisely, the stack parameter size calculation
uses the recently landed MachineType information that's embedded
in return and parameter value LinkageLocations.
==========

to

==========
[turbofan] Robustify tail parameter stack size computations

This CL separates the check whether something is tail-callable from
the computation of the size of the stack parameters that a function
takes.

In order to track this precisely, the stack parameter size calculation
uses the recently landed MachineType information that's embedded
in return and parameter value LinkageLocations.
==========

[commit-bot: I haz the power, 2016-07-12 08:39:38]

Committed patchset #6 (id:100001)

[commit-bot: I haz the power, 2016-07-12 08:40:55]

Description was changed from

==========
[turbofan] Robustify tail parameter stack size computations

This CL separates the check whether something is tail-callable from
the computation of the size of the stack parameters that a function
takes.

In order to track this precisely, the stack parameter size calculation
uses the recently landed MachineType information that's embedded
in return and parameter value LinkageLocations.
==========

to

==========
[turbofan] Robustify tail parameter stack size computations

This CL separates the check whether something is tail-callable from
the computation of the size of the stack parameters that a function
takes.

In order to track this precisely, the stack parameter size calculation
uses the recently landed MachineType information that's embedded
in return and parameter value LinkageLocations.

Committed: https://crrev.com/e92e911814cdc6d146bbd23083b8732b9881c2c5
Cr-Commit-Position: refs/heads/master@{#37668}
==========

[commit-bot: I haz the power, 2016-07-12 08:40:56]

Patchset 6 (id:??) landed as
https://crrev.com/e92e911814cdc6d146bbd23083b8732b9881c2c5
Cr-Commit-Position: refs/heads/master@{#37668}