Treat a '!' preceding a function literal as eager-compile hint.

src/parsing/parser-base.h

 // Copyright 2012 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.
 
 #ifndef V8_PARSING_PARSER_BASE_H
 #define V8_PARSING_PARSER_BASE_H
 
 #include "src/ast/ast.h"
 #include "src/ast/scopes.h"
 #include "src/bailout-reason.h"
@@ skipping 442 matching lines @@
     }
 
     ZoneList<ExpressionT>* non_patterns_to_rewrite() {
       return &non_patterns_to_rewrite_;
     }
 
     bool next_function_is_parenthesized() const {
       return next_function_is_parenthesized_;
     }
 
+    bool this_function_is_parenthesized() const {
+      return this_function_is_parenthesized_;
+    }
+
     void set_next_function_is_parenthesized(bool parenthesized) {
       next_function_is_parenthesized_ = parenthesized;
     }
 
-    bool this_function_is_parenthesized() const {
-      return this_function_is_parenthesized_;
+    bool next_function_is_exclaimed() const {
+      return next_function_is_exclaimed_;
+    }
+
+    bool this_function_is_exclaimed() const {
+      return this_function_is_exclaimed_;
+    }
+
+    void set_next_function_is_exclaimed(bool exclaimed) {
+      next_function_is_exclaimed_ = exclaimed;
     }
 
    private:
     void AddDestructuringAssignment(DestructuringAssignment pair) {
       destructuring_assignments_to_rewrite_.Add(pair, this->zone());
     }
 
     void AddNonPatternForRewriting(ExpressionT expr, bool* ok) {
       non_patterns_to_rewrite_.Add(expr, this->zone());
       if (non_patterns_to_rewrite_.length() >=
@@ skipping 21 matching lines @@
     FunctionState* outer_function_state_;
 
     ZoneList<DestructuringAssignment> destructuring_assignments_to_rewrite_;
     TailCallExpressionList tail_call_expressions_;
     ReturnExprContext return_expr_context_;
     ZoneList<ExpressionT> non_patterns_to_rewrite_;
 
     ZoneList<typename ExpressionClassifier::Error> reported_errors_;
 
     // If true, the next (and immediately following) function literal is
-    // preceded by a parenthesis.
+    // preceded by a parenthesis / exclamation mark.
     bool next_function_is_parenthesized_;
+    bool next_function_is_exclaimed_;
 
-    // The value of the parents' next_function_is_parenthesized_, as it applies
+    // The value of the parents' next_function_is_*_, as it applies
     // to this function. Filled in by constructor.
     bool this_function_is_parenthesized_;
+    bool this_function_is_exclaimed_;
 
     friend Impl;
     friend class Checkpoint;
   };
 
   // This scope sets current ReturnExprContext to given value.
   class ReturnExprScope {
    public:
     explicit ReturnExprScope(FunctionState* function_state,
                              ReturnExprContext return_expr_context)
@@ skipping 931 matching lines @@
       generator_object_variable_(nullptr),
       promise_variable_(nullptr),
       function_state_stack_(function_state_stack),
       outer_function_state_(*function_state_stack),
       destructuring_assignments_to_rewrite_(16, scope->zone()),
       tail_call_expressions_(scope->zone()),
       return_expr_context_(ReturnExprContext::kInsideValidBlock),
       non_patterns_to_rewrite_(0, scope->zone()),
       reported_errors_(16, scope->zone()),
       next_function_is_parenthesized_(false),
-      this_function_is_parenthesized_(false) {
+      next_function_is_exclaimed_(false),
+      this_function_is_parenthesized_(false),
+      this_function_is_exclaimed_(false) {
   *function_state_stack = this;
   if (outer_function_state_) {
     this_function_is_parenthesized_ =
         outer_function_state_->next_function_is_parenthesized_;
     outer_function_state_->next_function_is_parenthesized_ = false;
+    this_function_is_exclaimed_ =
+        outer_function_state_->next_function_is_exclaimed_;
+    outer_function_state_->next_function_is_exclaimed_ = false;

[vogelheim, 2016/11/17 12:09:48]

self-nitpick: :)  All this flag handling is rather pedestrian. I considered
putting them in some sort of 'next_function_hints' bit field (or so), but that
didn't seem to be worth the effort.

   }
 }
 
 template <typename Impl>
 ParserBase<Impl>::FunctionState::~FunctionState() {
   *function_state_stack_ = outer_function_state_;
 }
 
 template <typename Impl>
 void ParserBase<Impl>::GetUnexpectedTokenMessage(
@@ skipping 1451 matching lines @@
   //   '!' UnaryExpression
   //   [+Await] AwaitExpression[?Yield]
 
   Token::Value op = peek();
   if (Token::IsUnaryOp(op)) {
     BindingPatternUnexpectedToken();
     ArrowFormalParametersUnexpectedToken();
 
     op = Next();
     int pos = position();
+
+    // Record occurrence of "! function ..."
+    function_state_->set_next_function_is_exclaimed(op == Token::NOT &&
+                                                    peek() == Token::FUNCTION);
+
     ExpressionT expression = ParseUnaryExpression(CHECK_OK);
     impl()->RewriteNonPattern(CHECK_OK);
 
     if (op == Token::DELETE && is_strict(language_mode())) {
       if (impl()->IsIdentifier(expression)) {
         // "delete identifier" is a syntax error in strict mode.
         ReportMessage(MessageTemplate::kStrictDelete);
         *ok = false;
         return impl()->EmptyExpression();
       }
@@ skipping 2497 matching lines @@
     has_seen_constructor_ = true;
     return;
   }
 }
 
 
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_PARSING_PARSER_BASE_H