Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(391)

Side by Side Diff: src/ast/modules.cc

Issue 2273013002: [modules] Split exports into regular and special, store regular ones in a multimap. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: git cl format Created 4 years, 3 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « src/ast/modules.h ('k') | src/ast/scopes.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2012 the V8 project authors. All rights reserved. 1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 #include "src/ast/modules.h" 5 #include "src/ast/modules.h"
6 #include "src/ast/ast-value-factory.h" 6 #include "src/ast/ast-value-factory.h"
7 #include "src/ast/scopes.h" 7 #include "src/ast/scopes.h"
8 8
9 namespace v8 { 9 namespace v8 {
10 namespace internal { 10 namespace internal {
(...skipping 36 matching lines...) Expand 10 before | Expand all | Expand 10 after
47 47
48 48
49 void ModuleDescriptor::AddExport( 49 void ModuleDescriptor::AddExport(
50 const AstRawString* local_name, const AstRawString* export_name, 50 const AstRawString* local_name, const AstRawString* export_name,
51 Scanner::Location loc, Zone* zone) { 51 Scanner::Location loc, Zone* zone) {
52 DCHECK_NOT_NULL(local_name); 52 DCHECK_NOT_NULL(local_name);
53 DCHECK_NOT_NULL(export_name); 53 DCHECK_NOT_NULL(export_name);
54 ModuleEntry* entry = new (zone) ModuleEntry(loc); 54 ModuleEntry* entry = new (zone) ModuleEntry(loc);
55 entry->export_name = export_name; 55 entry->export_name = export_name;
56 entry->local_name = local_name; 56 entry->local_name = local_name;
57 exports_.Add(entry, zone); 57 regular_exports_.insert(std::make_pair(entry->local_name, entry));
58 } 58 }
59 59
60 60
61 void ModuleDescriptor::AddExport( 61 void ModuleDescriptor::AddExport(
62 const AstRawString* import_name, const AstRawString* export_name, 62 const AstRawString* import_name, const AstRawString* export_name,
63 const AstRawString* module_request, Scanner::Location loc, Zone* zone) { 63 const AstRawString* module_request, Scanner::Location loc, Zone* zone) {
64 DCHECK_NOT_NULL(import_name); 64 DCHECK_NOT_NULL(import_name);
65 DCHECK_NOT_NULL(export_name); 65 DCHECK_NOT_NULL(export_name);
66 DCHECK_NOT_NULL(module_request); 66 DCHECK_NOT_NULL(module_request);
67 ModuleEntry* entry = new (zone) ModuleEntry(loc); 67 ModuleEntry* entry = new (zone) ModuleEntry(loc);
68 entry->export_name = export_name; 68 entry->export_name = export_name;
69 entry->import_name = import_name; 69 entry->import_name = import_name;
70 entry->module_request = module_request; 70 entry->module_request = module_request;
71 exports_.Add(entry, zone); 71 special_exports_.Add(entry, zone);
72 } 72 }
73 73
74 74
75 void ModuleDescriptor::AddStarExport( 75 void ModuleDescriptor::AddStarExport(
76 const AstRawString* module_request, Scanner::Location loc, Zone* zone) { 76 const AstRawString* module_request, Scanner::Location loc, Zone* zone) {
77 DCHECK_NOT_NULL(module_request); 77 DCHECK_NOT_NULL(module_request);
78 ModuleEntry* entry = new (zone) ModuleEntry(loc); 78 ModuleEntry* entry = new (zone) ModuleEntry(loc);
79 entry->module_request = module_request; 79 entry->module_request = module_request;
80 exports_.Add(entry, zone); 80 special_exports_.Add(entry, zone);
81 } 81 }
82 82
83 void ModuleDescriptor::MakeIndirectExportsExplicit() { 83 void ModuleDescriptor::MakeIndirectExportsExplicit(Zone* zone) {
84 for (auto entry : exports_) { 84 for (auto it = regular_exports_.begin(); it != regular_exports_.end();) {
85 if (entry->export_name == nullptr) continue; 85 ModuleEntry* entry = it->second;
86 if (entry->import_name != nullptr) continue;
87 DCHECK_NOT_NULL(entry->local_name); 86 DCHECK_NOT_NULL(entry->local_name);
88 auto it = regular_imports_.find(entry->local_name); 87 auto import = regular_imports_.find(entry->local_name);
89 if (it != regular_imports_.end()) { 88 if (import != regular_imports_.end()) {
90 // Found an indirect export. 89 // Found an indirect export. Patch export entry and move it from regular
91 DCHECK_NOT_NULL(it->second->module_request); 90 // to special.
92 DCHECK_NOT_NULL(it->second->import_name); 91 DCHECK_NULL(entry->import_name);
93 entry->import_name = it->second->import_name; 92 DCHECK_NULL(entry->module_request);
94 entry->module_request = it->second->module_request; 93 DCHECK_NOT_NULL(import->second->import_name);
94 DCHECK_NOT_NULL(import->second->module_request);
95 entry->import_name = import->second->import_name;
96 entry->module_request = import->second->module_request;
95 entry->local_name = nullptr; 97 entry->local_name = nullptr;
98 special_exports_.Add(entry, zone);
99 it = regular_exports_.erase(it);
100 } else {
101 it++;
96 } 102 }
97 } 103 }
98 } 104 }
99 105
106 const ModuleDescriptor::ModuleEntry* ModuleDescriptor::FindDuplicateExport(
107 Zone* zone) const {
108 ZoneSet<const AstRawString*> export_names(zone);
109 for (const auto& it : regular_exports_) {
110 const ModuleEntry* entry = it.second;
111 DCHECK_NOT_NULL(entry->export_name);
112 if (!export_names.insert(entry->export_name).second) return entry;
113 }
114 for (auto entry : special_exports_) {
115 if (entry->export_name == nullptr) continue; // Star export.
116 if (!export_names.insert(entry->export_name).second) return entry;
117 }
118 return nullptr;
119 }
120
100 bool ModuleDescriptor::Validate(ModuleScope* module_scope, 121 bool ModuleDescriptor::Validate(ModuleScope* module_scope,
101 PendingCompilationErrorHandler* error_handler, 122 PendingCompilationErrorHandler* error_handler,
102 Zone* zone) { 123 Zone* zone) {
103 DCHECK_EQ(this, module_scope->module()); 124 DCHECK_EQ(this, module_scope->module());
104 DCHECK_NOT_NULL(error_handler); 125 DCHECK_NOT_NULL(error_handler);
105 126
106 // Report error iff there are duplicate exports. 127 // Report error iff there are duplicate exports.
107 { 128 {
108 ZoneAllocationPolicy allocator(zone); 129 const ModuleEntry* entry = FindDuplicateExport(zone);
109 ZoneHashMap* export_names = new (zone->New(sizeof(ZoneHashMap))) 130 if (entry != nullptr) {
110 ZoneHashMap(ZoneHashMap::PointersMatch, 131 error_handler->ReportMessageAt(
111 ZoneHashMap::kDefaultHashMapCapacity, allocator); 132 entry->location.beg_pos, entry->location.end_pos,
112 for (auto entry : exports_) { 133 MessageTemplate::kDuplicateExport, entry->export_name);
113 if (entry->export_name == nullptr) continue; 134 return false;
114 AstRawString* key = const_cast<AstRawString*>(entry->export_name);
115 ZoneHashMap::Entry* p =
116 export_names->LookupOrInsert(key, key->hash(), allocator);
117 DCHECK_NOT_NULL(p);
118 if (p->value != nullptr) {
119 error_handler->ReportMessageAt(
120 entry->location.beg_pos, entry->location.end_pos,
121 MessageTemplate::kDuplicateExport, entry->export_name);
122 return false;
123 }
124 p->value = key; // Anything but nullptr.
125 } 135 }
126 } 136 }
127 137
128 // Report error iff there are exports of non-existent local names. 138 // Report error iff there are exports of non-existent local names.
129 for (auto entry : exports_) { 139 for (const auto& it : regular_exports_) {
130 if (entry->local_name == nullptr) continue; 140 const ModuleEntry* entry = it.second;
141 DCHECK_NOT_NULL(entry->local_name);
131 if (module_scope->LookupLocal(entry->local_name) == nullptr) { 142 if (module_scope->LookupLocal(entry->local_name) == nullptr) {
132 error_handler->ReportMessageAt( 143 error_handler->ReportMessageAt(
133 entry->location.beg_pos, entry->location.end_pos, 144 entry->location.beg_pos, entry->location.end_pos,
134 MessageTemplate::kModuleExportUndefined, entry->local_name); 145 MessageTemplate::kModuleExportUndefined, entry->local_name);
135 return false; 146 return false;
136 } 147 }
137 } 148 }
138 149
139 MakeIndirectExportsExplicit(); 150 MakeIndirectExportsExplicit(zone);
140 return true; 151 return true;
141 } 152 }
142 153
143 } // namespace internal 154 } // namespace internal
144 } // namespace v8 155 } // namespace v8
OLDNEW
« no previous file with comments | « src/ast/modules.h ('k') | src/ast/scopes.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698