838200 - BaselineCompiler: Implement Argument Check ICs

Status: RESOLVED FIXED

(Core :: JavaScript Engine, defect)

Description

[Kannan Vijayan [:djvj]]

When entering a script, its argument typesets need to be updated with the incoming arguments.  Add an IC to do this.

Comment 1

[Brian Hackett [Laid off!]]

Attachment: patch

Reuse TypeMonitor stubs for monitoring this/arguments, allowing them to be directly jumped to rather than requiring an existing fallback.

Comment 2

[Kannan Vijayan [:djvj]]

Comment on attachment 710733 [details] [diff] [review]
patch

Review of attachment 710733 [details] [diff] [review]:
-----------------------------------------------------------------

::: js/src/ion/BaselineCompiler.cpp
@@ +426,5 @@
> +
> +    ICTypeMonitor_Fallback::Compiler compiler(cx, (uint32_t) 0);
> +    if (!emitIC(compiler.getStub(&stubSpace_)))
> +        return false;
> + 

Nit: Trailing whitespace on blank line above.

::: js/src/ion/BaselineIC.cpp
@@ +45,5 @@
>      }
>  }
> +
> +void
> +TypeFallbackICSpew(JSContext *cx, ICTypeMonitor_Fallback *stub, const char *fmt, ...)

This definition is inside an #ifdef DEBUG section.  Opt builds will fail because name will not be defined.

Add #define TypeFallbackICSpew(...) in the #else section below.

::: js/src/ion/BaselineJIT.cpp
@@ +388,5 @@
>          // a pointer to the (now available) realEntry.
>          if (realEntry.firstStub()->isFallback())
>              realEntry.firstStub()->toFallbackStub()->fixupICEntry(&realEntry);
> +
> +        if (realEntry.firstStub()->kind() == ICStub::TypeMonitor_Fallback) {

Nit: can be realEntry.firstStub()->isTypeMonitor_Fallback()

Comment 3

[Brian Hackett [Laid off!]]

https://hg.mozilla.org/projects/ionmonkey/rev/51d0b544cfc6