[compiler][modules] Constant-fold the loads of module cells.

test/cctest/compiler/test-js-context-specialization.cc

 // Copyright 2014 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.
 
 #include "src/compiler/compiler-source-position-table.h"
 #include "src/compiler/js-context-specialization.h"
 #include "src/compiler/js-graph.h"
 #include "src/compiler/js-operator.h"
 #include "src/compiler/node-matchers.h"
 #include "src/compiler/node-properties.h"
 #include "src/factory.h"
 #include "src/objects-inl.h"
 #include "src/property.h"
 #include "test/cctest/cctest.h"
 #include "test/cctest/compiler/function-tester.h"
 #include "test/cctest/compiler/graph-builder-tester.h"
 
 namespace v8 {
 namespace internal {
 namespace compiler {
 
 class ContextSpecializationTester : public HandleAndZoneScope {
  public:
-  explicit ContextSpecializationTester(MaybeHandle<Context> context)
+  explicit ContextSpecializationTester(Maybe<OuterContext> context)
       : graph_(new (main_zone()) Graph(main_zone())),
         common_(main_zone()),
         javascript_(main_zone()),
         machine_(main_zone()),
         simplified_(main_zone()),
         jsgraph_(main_isolate(), graph(), common(), &javascript_, &simplified_,
                  &machine_),
         reducer_(main_zone(), graph()),
         spec_(&reducer_, jsgraph(), context, MaybeHandle<JSFunction>()) {}
 
@@ skipping 61 matching lines @@
 
   ContextAccess new_access = OpParameter<ContextAccess>(r.replacement());
   CHECK_EQ(new_access.depth(), expected_new_depth);
   CHECK_EQ(new_access.index(), access.index());
   CHECK_EQ(new_access.immutable(), access.immutable());
 }
 
 static const int slot_index = Context::NATIVE_CONTEXT_INDEX;
 
 TEST(ReduceJSLoadContext0) {
-  ContextSpecializationTester t((MaybeHandle<Context>()));
+  ContextSpecializationTester t(Nothing<OuterContext>());
 
   Node* start = t.graph()->NewNode(t.common()->Start(0));
   t.graph()->SetStart(start);
 
   // Make a context and initialize it a bit for this test.
   Handle<Context> native = t.factory()->NewNativeContext();
   Handle<Context> subcontext1 = t.factory()->NewNativeContext();
   Handle<Context> subcontext2 = t.factory()->NewNativeContext();
   subcontext2->set_previous(*subcontext1);
   subcontext1->set_previous(*native);
@@ skipping 50 matching lines @@
     CHECK(match.HasValue());
     CHECK_EQ(*expected, *match.Value());
   }
 }
 
 TEST(ReduceJSLoadContext1) {
   // The graph's context chain ends in the incoming context parameter:
   //
   //   context2 <-- context1 <-- context0 (= Parameter(0))
 
-  ContextSpecializationTester t((MaybeHandle<Context>()));
+  ContextSpecializationTester t(Nothing<OuterContext>());
 
   Node* start = t.graph()->NewNode(t.common()->Start(0));
   t.graph()->SetStart(start);
   Node* undefined = t.jsgraph()->Constant(t.factory()->undefined_value());
   const i::compiler::Operator* create_function_context =
       t.javascript()->CreateFunctionContext(42, FUNCTION_SCOPE);
 
   Node* context0 = t.graph()->NewNode(t.common()->Parameter(0), start);
   Node* context1 = t.graph()->NewNode(create_function_context, undefined,
                                       context0, start, start);
@@ skipping 44 matching lines @@
 
   {
     Node* load = t.graph()->NewNode(
         t.javascript()->LoadContext(3, slot_index, true), context2, start);
     t.CheckContextInputAndDepthChanges(load, context0, 1);
   }
 }
 
 TEST(ReduceJSLoadContext2) {
   // The graph's context chain ends in a constant context (context_object1),
-  // which has has another outer context (context_object0).
+  // which has another outer context (context_object0).
   //
   //   context2 <-- context1 <-- context0 (= HeapConstant(context_object1))
   //   context_object1 <~~ context_object0
 
-  ContextSpecializationTester t((MaybeHandle<Context>()));
+  ContextSpecializationTester t(Nothing<OuterContext>());
 
   Node* start = t.graph()->NewNode(t.common()->Start(0));
   t.graph()->SetStart(start);
   Node* undefined = t.jsgraph()->Constant(t.factory()->undefined_value());
   const i::compiler::Operator* create_function_context =
       t.javascript()->CreateFunctionContext(42, FUNCTION_SCOPE);
 
   Handle<HeapObject> slot_value0 = t.factory()->InternalizeUtf8String("0");
   Handle<HeapObject> slot_value1 = t.factory()->InternalizeUtf8String("1");
 
@@ skipping 70 matching lines @@
 
   Handle<HeapObject> slot_value0 = factory->InternalizeUtf8String("0");
   Handle<HeapObject> slot_value1 = factory->InternalizeUtf8String("1");
 
   Handle<Context> context_object0 = factory->NewNativeContext();
   Handle<Context> context_object1 = factory->NewNativeContext();
   context_object1->set_previous(*context_object0);
   context_object0->set(slot_index, *slot_value0);
   context_object1->set(slot_index, *slot_value1);
 
-  ContextSpecializationTester t(context_object1);
+  ContextSpecializationTester t(Just(OuterContext(context_object1, 0)));
 
   Node* start = t.graph()->NewNode(t.common()->Start(2));
   t.graph()->SetStart(start);
   Node* undefined = t.jsgraph()->Constant(t.factory()->undefined_value());
   const i::compiler::Operator* create_function_context =
       t.javascript()->CreateFunctionContext(42, FUNCTION_SCOPE);
 
   Node* context0 = t.graph()->NewNode(t.common()->Parameter(0), start);
   Node* context1 = t.graph()->NewNode(create_function_context, undefined,
                                       context0, start, start);
@@ skipping 43 matching lines @@
   }
 
   {
     Node* load = t.graph()->NewNode(
         t.javascript()->LoadContext(3, slot_index, true), context2, start);
     t.CheckChangesToValue(load, slot_value0);
   }
 }
 
 TEST(ReduceJSStoreContext0) {
-  ContextSpecializationTester t((MaybeHandle<Context>()));
+  ContextSpecializationTester t(Nothing<OuterContext>());
 
   Node* start = t.graph()->NewNode(t.common()->Start(0));
   t.graph()->SetStart(start);
 
   // Make a context and initialize it a bit for this test.
   Handle<Context> native = t.factory()->NewNativeContext();
   Handle<Context> subcontext1 = t.factory()->NewNativeContext();
   Handle<Context> subcontext2 = t.factory()->NewNativeContext();
   subcontext2->set_previous(*subcontext1);
   subcontext1->set_previous(*native);
@@ skipping 41 matching lines @@
     HeapObjectMatcher match(new_context_input);
     CHECK_EQ(*native, *match.Value());
     ContextAccess access = OpParameter<ContextAccess>(r.replacement());
     CHECK_EQ(Context::GLOBAL_EVAL_FUN_INDEX, static_cast<int>(access.index()));
     CHECK_EQ(0, static_cast<int>(access.depth()));
     CHECK_EQ(false, access.immutable());
   }
 }
 
 TEST(ReduceJSStoreContext1) {
-  ContextSpecializationTester t((MaybeHandle<Context>()));
+  ContextSpecializationTester t(Nothing<OuterContext>());
 
   Node* start = t.graph()->NewNode(t.common()->Start(0));
   t.graph()->SetStart(start);
   Node* undefined = t.jsgraph()->Constant(t.factory()->undefined_value());
   const i::compiler::Operator* create_function_context =
       t.javascript()->CreateFunctionContext(42, FUNCTION_SCOPE);
 
   Node* context0 = t.graph()->NewNode(t.common()->Parameter(0), start);
   Node* context1 = t.graph()->NewNode(create_function_context, undefined,
                                       context0, start, start);
@@ skipping 23 matching lines @@
 
   {
     Node* store =
         t.graph()->NewNode(t.javascript()->StoreContext(3, slot_index),
                            context2, context2, start, start);
     t.CheckContextInputAndDepthChanges(store, context0, 1);
   }
 }
 
 TEST(ReduceJSStoreContext2) {
-  ContextSpecializationTester t((MaybeHandle<Context>()));
+  ContextSpecializationTester t(Nothing<OuterContext>());
 
   Node* start = t.graph()->NewNode(t.common()->Start(0));
   t.graph()->SetStart(start);
   Node* undefined = t.jsgraph()->Constant(t.factory()->undefined_value());
   const i::compiler::Operator* create_function_context =
       t.javascript()->CreateFunctionContext(42, FUNCTION_SCOPE);
 
   Handle<HeapObject> slot_value0 = t.factory()->InternalizeUtf8String("0");
   Handle<HeapObject> slot_value1 = t.factory()->InternalizeUtf8String("1");
 
@@ skipping 44 matching lines @@
 
   Handle<HeapObject> slot_value0 = factory->InternalizeUtf8String("0");
   Handle<HeapObject> slot_value1 = factory->InternalizeUtf8String("1");
 
   Handle<Context> context_object0 = factory->NewNativeContext();
   Handle<Context> context_object1 = factory->NewNativeContext();
   context_object1->set_previous(*context_object0);
   context_object0->set(slot_index, *slot_value0);
   context_object1->set(slot_index, *slot_value1);
 
-  ContextSpecializationTester t(context_object1);
+  ContextSpecializationTester t(Just(OuterContext(context_object1, 0)));
 
   Node* start = t.graph()->NewNode(t.common()->Start(2));
   t.graph()->SetStart(start);
   Node* undefined = t.jsgraph()->Constant(t.factory()->undefined_value());
   const i::compiler::Operator* create_function_context =
       t.javascript()->CreateFunctionContext(42, FUNCTION_SCOPE);
 
   Node* context0 = t.graph()->NewNode(t.common()->Parameter(0), start);
   Node* context1 = t.graph()->NewNode(create_function_context, undefined,
                                       context0, start, start);
@@ skipping 85 matching lines @@
 
     CHECK(T.Call(T.Val(0.0), T.Val(0.0)).ToHandleChecked()->IsNaN());
     CHECK(T.Call(T.Val(2.0), T.Val(0.0)).ToHandleChecked()->IsNaN());
     CHECK(T.Call(T.Val(-2.1), T.Val(0.0)).ToHandleChecked()->IsNaN());
   }
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8