Fix type inference for self-recursive functions

Fix type inference for self-recursive functions

If a self-recursive function calls itself with different argument
types that the ones currently expected the actual recompilation of the
function did not take place. This caused wrong JavaScript code to be
generated.

This change queues the generated JavaScript code to be invalidated to
after compiling the current function so that it itself can be
invalidated correctly.

R=floitsch@google.com, ahe@google.com

BUG=dart:4492
TEST=tests/compiler/dart2js_extra/regress/4492_test.dart

Committed: https://code.google.com/p/dart/source/detail?r=10622

[ahe, 2012-08-14 07:57:56]

LGTM

http://codereview.chromium.org/10854140/diff/1/lib/compiler/implementation/co...
File lib/compiler/implementation/compiler.dart (right):

http://codereview.chromium.org/10854140/diff/1/lib/compiler/implementation/co...
lib/compiler/implementation/compiler.dart:761: CodeBuffer codeBuffer =
backend.codegen(work);
codeBuffer is never used.

http://codereview.chromium.org/10854140/diff/1/lib/compiler/implementation/da...
File lib/compiler/implementation/dart_backend/backend.dart (right):

http://codereview.chromium.org/10854140/diff/1/lib/compiler/implementation/da...
lib/compiler/implementation/dart_backend/backend.dart:25: void codegen(WorkItem
work) => null;
Please don't use => for void methods (outside tests).

http://codereview.chromium.org/10854140/diff/1/lib/compiler/implementation/un...
File lib/compiler/implementation/universe.dart (right):

http://codereview.chromium.org/10854140/diff/1/lib/compiler/implementation/un...
lib/compiler/implementation/universe.dart:41: void invalidateCode(Element
element) {
Please don't add new features to Universe, that is, add this to Enqueuer.

[Søren Gjesse, 2012-08-14 08:26:30]

http://codereview.chromium.org/10854140/diff/1/lib/compiler/implementation/co...
File lib/compiler/implementation/compiler.dart (right):

http://codereview.chromium.org/10854140/diff/1/lib/compiler/implementation/co...
lib/compiler/implementation/compiler.dart:761: CodeBuffer codeBuffer =
backend.codegen(work);
On 2012/08/14 07:57:56, ahe wrote:
> codeBuffer is never used.

Removed.

http://codereview.chromium.org/10854140/diff/1/lib/compiler/implementation/da...
File lib/compiler/implementation/dart_backend/backend.dart (right):

http://codereview.chromium.org/10854140/diff/1/lib/compiler/implementation/da...
lib/compiler/implementation/dart_backend/backend.dart:25: void codegen(WorkItem
work) => null;
On 2012/08/14 07:57:56, ahe wrote:
> Please don't use => for void methods (outside tests).

Changed to empty body.

http://codereview.chromium.org/10854140/diff/1/lib/compiler/implementation/un...
File lib/compiler/implementation/universe.dart (right):

http://codereview.chromium.org/10854140/diff/1/lib/compiler/implementation/un...
lib/compiler/implementation/universe.dart:41: void invalidateCode(Element
element) {
On 2012/08/14 07:57:56, ahe wrote:
> Please don't add new features to Universe, that is, add this to Enqueuer.

Removed this and used eagerRecompile in Enqueuer (which I had removed in favor
of this).