[modules] Basic support of exports

src/api.cc

 // 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.
 
 #include "src/api.h"
 
 #include <string.h>  // For memcpy, strlen.
 #ifdef V8_USE_ADDRESS_SANITIZER
 #include <sanitizer/asan_interface.h>
 #endif  // V8_USE_ADDRESS_SANITIZER
@@ skipping 1824 matching lines @@
 }
 
 
 MaybeLocal<Value> Script::Run(Local<Context> context) {
   PREPARE_FOR_EXECUTION_WITH_CALLBACK(context, Script, Run, Value)
   i::HistogramTimerScope execute_timer(isolate->counters()->execute(), true);
   i::AggregatingHistogramTimerScope timer(isolate->counters()->compile_lazy());
   i::TimerEventScope<i::TimerEventExecute> timer_scope(isolate);
   TRACE_EVENT_CALL_STATS_SCOPED(isolate, "v8", "V8.Execute");
   auto fun = i::Handle<i::JSFunction>::cast(Utils::OpenHandle(this));
-  i::Handle<i::Object> receiver = isolate->global_proxy();
+
+  i::Handle<i::Object> receiver;
   Local<Value> result;
-  has_pending_exception =
-      !ToLocal<Value>(i::Execution::Call(isolate, fun, receiver, 0, NULL),
-                      &result);
+
+  // TODO(neis): Make sure this is the only path that executes a module.
+  if (fun->shared()->scope_info()->scope_type() == i::MODULE_SCOPE) {
+    receiver = isolate->factory()->undefined_value();
+    i::Handle<i::Object> argv[] = {handle(isolate->native_context()->current_module())};
+    has_pending_exception = !ToLocal<Value>(
+        i::Execution::Call(isolate, fun, receiver, 1, argv), &result);
+  } else {
+    receiver = isolate->global_proxy();
+    has_pending_exception = !ToLocal<Value>(
+        i::Execution::Call(isolate, fun, receiver, 0, nullptr), &result);
+  }
+
   RETURN_ON_FAILED_EXECUTION(Value);
   RETURN_ESCAPED(result);
 }
 
 
 Local<Value> Script::Run() {
   auto self = Utils::OpenHandle(this, true);
   // If execution is terminating, Compile(..)->Run() requires this
   // check.
   if (self.is_null()) return Local<Value>();
@@ skipping 120 matching lines @@
 
 
 MaybeLocal<Script> ScriptCompiler::CompileModule(Local<Context> context,
                                                  Source* source,
                                                  CompileOptions options) {
   auto isolate = context->GetIsolate();
   auto maybe = CompileUnboundInternal(isolate, source, options, true);
   Local<UnboundScript> generic;
   if (!maybe.ToLocal(&generic)) return MaybeLocal<Script>();
   v8::Context::Scope scope(context);
-  return generic->BindToCurrentContext();
+  auto result = generic->BindToCurrentContext();
+
+  i::Isolate* i_isolate = reinterpret_cast<i::Isolate*>(isolate);
+  i::Handle<i::JSModule> module = i_isolate->factory()->NewJSModule();
+  // TODO: Storing the module into the native context is a temporary hack to
+  // pass it to the Script::Run function.
+  i_isolate->native_context()->set_current_module(*module);
+
+  i::Handle<i::SharedFunctionInfo> shared =
+      i::Handle<i::SharedFunctionInfo>::cast(Utils::OpenHandle(*generic));
+  i::Handle<i::FixedArray> regular_exports =
+      i::handle(shared->scope_info()->ModuleDescriptorInfo()->regular_exports(),
+                i_isolate);
+  for (int i = 0; i < regular_exports->length(); ++i) {
+    i::Handle<i::ModuleInfoEntry> entry =
+        i::handle(i::ModuleInfoEntry::cast(regular_exports->get(i)), i_isolate);
+    DCHECK(entry->import_name()->IsUndefined(i_isolate));
+    i::Handle<i::String> export_name =
+        handle(i::String::cast(entry->export_name()), i_isolate);
+    i::JSModule::CreateExport(module, export_name);
+#ifdef DEBUG
+    // TODO: Remove before landing.
+    printf("Created cell for export ");
+    export_name->Print();
+    printf("\n");
+#endif  // DEBUG
+  }
+
+  return result;
 }
 
 
 class IsIdentifierHelper {
  public:
   IsIdentifierHelper() : is_identifier_(false), first_char_(true) {}
 
   bool Check(i::String* string) {
     i::ConsString* cons_string = i::String::VisitFlat(this, string, 0);
     if (cons_string == NULL) return is_identifier_;
@@ skipping 7106 matching lines @@
   Address callback_address =
       reinterpret_cast<Address>(reinterpret_cast<intptr_t>(callback));
   VMState<EXTERNAL> state(isolate);
   ExternalCallbackScope call_scope(isolate, callback_address);
   callback(info);
 }
 
 
 }  // namespace internal
 }  // namespace v8