FlagDependencyUsagePlugin.js 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352
  1. /*
  2. MIT License http://www.opensource.org/licenses/mit-license.php
  3. Author Tobias Koppers @sokra
  4. */
  5. "use strict";
  6. const Dependency = require("./Dependency");
  7. const { UsageState } = require("./ExportsInfo");
  8. const ModuleGraphConnection = require("./ModuleGraphConnection");
  9. const { STAGE_DEFAULT } = require("./OptimizationStages");
  10. const ArrayQueue = require("./util/ArrayQueue");
  11. const TupleQueue = require("./util/TupleQueue");
  12. const { getEntryRuntime, mergeRuntimeOwned } = require("./util/runtime");
  13. /** @typedef {import("./Compiler")} Compiler */
  14. /** @typedef {import("./DependenciesBlock")} DependenciesBlock */
  15. /** @typedef {import("./Dependency").ReferencedExport} ReferencedExport */
  16. /** @typedef {import("./Dependency").ReferencedExports} ReferencedExports */
  17. /** @typedef {import("./ExportsInfo")} ExportsInfo */
  18. /** @typedef {import("./Module")} Module */
  19. /** @typedef {import("./util/runtime").RuntimeSpec} RuntimeSpec */
  20. const { NO_EXPORTS_REFERENCED, EXPORTS_OBJECT_REFERENCED } = Dependency;
  21. const PLUGIN_NAME = "FlagDependencyUsagePlugin";
  22. const PLUGIN_LOGGER_NAME = `webpack.${PLUGIN_NAME}`;
  23. class FlagDependencyUsagePlugin {
  24. /**
  25. * Creates an instance of FlagDependencyUsagePlugin.
  26. * @param {boolean} global do a global analysis instead of per runtime
  27. */
  28. constructor(global) {
  29. /** @type {boolean} */
  30. this.global = global;
  31. }
  32. /**
  33. * Applies the plugin by registering its hooks on the compiler.
  34. * @param {Compiler} compiler the compiler instance
  35. * @returns {void}
  36. */
  37. apply(compiler) {
  38. compiler.hooks.compilation.tap(PLUGIN_NAME, (compilation) => {
  39. const moduleGraph = compilation.moduleGraph;
  40. compilation.hooks.optimizeDependencies.tap(
  41. { name: PLUGIN_NAME, stage: STAGE_DEFAULT },
  42. (modules) => {
  43. if (compilation.moduleMemCaches) {
  44. throw new Error(
  45. "optimization.usedExports can't be used with cacheUnaffected as export usage is a global effect"
  46. );
  47. }
  48. const logger = compilation.getLogger(PLUGIN_LOGGER_NAME);
  49. /** @type {Map<ExportsInfo, Module>} */
  50. const exportInfoToModuleMap = new Map();
  51. /** @type {TupleQueue<Module, RuntimeSpec>} */
  52. const queue = new TupleQueue();
  53. /**
  54. * Process referenced module.
  55. * @param {Module} module module to process
  56. * @param {ReferencedExports} usedExports list of used exports
  57. * @param {RuntimeSpec} runtime part of which runtime
  58. * @param {boolean} forceSideEffects always apply side effects
  59. * @returns {void}
  60. */
  61. const processReferencedModule = (
  62. module,
  63. usedExports,
  64. runtime,
  65. forceSideEffects
  66. ) => {
  67. const exportsInfo = moduleGraph.getExportsInfo(module);
  68. if (usedExports.length > 0) {
  69. if (!module.buildMeta || !module.buildMeta.exportsType) {
  70. if (exportsInfo.setUsedWithoutInfo(runtime)) {
  71. queue.enqueue(module, runtime);
  72. }
  73. return;
  74. }
  75. for (const usedExportInfo of usedExports) {
  76. /** @type {string[]} */
  77. let usedExport;
  78. let canMangle = true;
  79. if (Array.isArray(usedExportInfo)) {
  80. usedExport = usedExportInfo;
  81. } else {
  82. usedExport = usedExportInfo.name;
  83. canMangle = usedExportInfo.canMangle !== false;
  84. }
  85. if (usedExport.length === 0) {
  86. if (exportsInfo.setUsedInUnknownWay(runtime)) {
  87. queue.enqueue(module, runtime);
  88. }
  89. } else {
  90. let currentExportsInfo = exportsInfo;
  91. for (let i = 0; i < usedExport.length; i++) {
  92. const exportInfo = currentExportsInfo.getExportInfo(
  93. usedExport[i]
  94. );
  95. if (canMangle === false) {
  96. exportInfo.canMangleUse = false;
  97. }
  98. const lastOne = i === usedExport.length - 1;
  99. if (!lastOne) {
  100. const nestedInfo = exportInfo.getNestedExportsInfo();
  101. if (nestedInfo) {
  102. if (
  103. exportInfo.setUsedConditionally(
  104. (used) => used === UsageState.Unused,
  105. UsageState.OnlyPropertiesUsed,
  106. runtime
  107. )
  108. ) {
  109. const currentModule =
  110. currentExportsInfo === exportsInfo
  111. ? module
  112. : exportInfoToModuleMap.get(currentExportsInfo);
  113. if (currentModule) {
  114. queue.enqueue(currentModule, runtime);
  115. }
  116. }
  117. currentExportsInfo = nestedInfo;
  118. continue;
  119. }
  120. }
  121. if (
  122. exportInfo.setUsedConditionally(
  123. (v) => v !== UsageState.Used,
  124. UsageState.Used,
  125. runtime
  126. )
  127. ) {
  128. const currentModule =
  129. currentExportsInfo === exportsInfo
  130. ? module
  131. : exportInfoToModuleMap.get(currentExportsInfo);
  132. if (currentModule) {
  133. queue.enqueue(currentModule, runtime);
  134. }
  135. }
  136. break;
  137. }
  138. }
  139. }
  140. } else {
  141. // for a module without side effects we stop tracking usage here when no export is used
  142. // This module won't be evaluated in this case
  143. // TODO webpack 6 remove this check
  144. if (
  145. !forceSideEffects &&
  146. module.factoryMeta !== undefined &&
  147. module.factoryMeta.sideEffectFree
  148. ) {
  149. return;
  150. }
  151. if (exportsInfo.setUsedForSideEffectsOnly(runtime)) {
  152. queue.enqueue(module, runtime);
  153. }
  154. }
  155. };
  156. /**
  157. * Processes the provided module.
  158. * @param {DependenciesBlock} module the module
  159. * @param {RuntimeSpec} runtime part of which runtime
  160. * @param {boolean} forceSideEffects always apply side effects
  161. * @returns {void}
  162. */
  163. const processModule = (module, runtime, forceSideEffects) => {
  164. /** @typedef {Map<string, string[] | ReferencedExport>} ExportMaps */
  165. /** @type {Map<Module, ReferencedExports | ExportMaps>} */
  166. const map = new Map();
  167. /** @type {ArrayQueue<DependenciesBlock>} */
  168. const queue = new ArrayQueue();
  169. queue.enqueue(module);
  170. for (;;) {
  171. const block = queue.dequeue();
  172. if (block === undefined) break;
  173. for (const b of block.blocks) {
  174. if (b.groupOptions && b.groupOptions.entryOptions) {
  175. processModule(
  176. b,
  177. this.global
  178. ? undefined
  179. : b.groupOptions.entryOptions.runtime || undefined,
  180. true
  181. );
  182. } else {
  183. queue.enqueue(b);
  184. }
  185. }
  186. for (const dep of block.dependencies) {
  187. const connection = moduleGraph.getConnection(dep);
  188. if (!connection || !connection.module) {
  189. continue;
  190. }
  191. const activeState = connection.getActiveState(runtime);
  192. if (activeState === false) continue;
  193. const { module } = connection;
  194. if (activeState === ModuleGraphConnection.TRANSITIVE_ONLY) {
  195. processModule(module, runtime, false);
  196. continue;
  197. }
  198. const oldReferencedExports = map.get(module);
  199. if (oldReferencedExports === EXPORTS_OBJECT_REFERENCED) {
  200. continue;
  201. }
  202. const referencedExports =
  203. compilation.getDependencyReferencedExports(dep, runtime);
  204. if (
  205. oldReferencedExports === undefined ||
  206. oldReferencedExports === NO_EXPORTS_REFERENCED ||
  207. referencedExports === EXPORTS_OBJECT_REFERENCED
  208. ) {
  209. map.set(module, referencedExports);
  210. } else if (
  211. oldReferencedExports !== undefined &&
  212. referencedExports === NO_EXPORTS_REFERENCED
  213. ) {
  214. continue;
  215. } else {
  216. /** @type {undefined | ExportMaps} */
  217. let exportsMap;
  218. if (Array.isArray(oldReferencedExports)) {
  219. exportsMap = new Map();
  220. for (const item of oldReferencedExports) {
  221. if (Array.isArray(item)) {
  222. exportsMap.set(item.join("\n"), item);
  223. } else {
  224. exportsMap.set(item.name.join("\n"), item);
  225. }
  226. }
  227. map.set(module, exportsMap);
  228. } else {
  229. exportsMap = oldReferencedExports;
  230. }
  231. for (const item of referencedExports) {
  232. if (Array.isArray(item)) {
  233. const key = item.join("\n");
  234. const oldItem = exportsMap.get(key);
  235. if (oldItem === undefined) {
  236. exportsMap.set(key, item);
  237. }
  238. // if oldItem is already an array we have to do nothing
  239. // if oldItem is an ReferencedExport object, we don't have to do anything
  240. // as canMangle defaults to true for arrays
  241. } else {
  242. const key = item.name.join("\n");
  243. const oldItem = exportsMap.get(key);
  244. if (oldItem === undefined || Array.isArray(oldItem)) {
  245. exportsMap.set(key, item);
  246. } else {
  247. exportsMap.set(key, {
  248. name: item.name,
  249. canMangle: item.canMangle && oldItem.canMangle
  250. });
  251. }
  252. }
  253. }
  254. }
  255. }
  256. }
  257. for (const [module, referencedExports] of map) {
  258. if (Array.isArray(referencedExports)) {
  259. processReferencedModule(
  260. module,
  261. referencedExports,
  262. runtime,
  263. forceSideEffects
  264. );
  265. } else {
  266. processReferencedModule(
  267. module,
  268. [...referencedExports.values()],
  269. runtime,
  270. forceSideEffects
  271. );
  272. }
  273. }
  274. };
  275. logger.time("initialize exports usage");
  276. for (const module of modules) {
  277. const exportsInfo = moduleGraph.getExportsInfo(module);
  278. exportInfoToModuleMap.set(exportsInfo, module);
  279. exportsInfo.setHasUseInfo();
  280. }
  281. logger.timeEnd("initialize exports usage");
  282. logger.time("trace exports usage in graph");
  283. /**
  284. * Process entry dependency.
  285. * @param {Dependency} dep dependency
  286. * @param {RuntimeSpec} runtime runtime
  287. */
  288. const processEntryDependency = (dep, runtime) => {
  289. const module = moduleGraph.getModule(dep);
  290. if (module) {
  291. processReferencedModule(
  292. module,
  293. NO_EXPORTS_REFERENCED,
  294. runtime,
  295. true
  296. );
  297. }
  298. };
  299. /** @type {RuntimeSpec} */
  300. let globalRuntime;
  301. for (const [
  302. entryName,
  303. { dependencies: deps, includeDependencies: includeDeps, options }
  304. ] of compilation.entries) {
  305. const runtime = this.global
  306. ? undefined
  307. : getEntryRuntime(compilation, entryName, options);
  308. for (const dep of deps) {
  309. processEntryDependency(dep, runtime);
  310. }
  311. for (const dep of includeDeps) {
  312. processEntryDependency(dep, runtime);
  313. }
  314. globalRuntime = mergeRuntimeOwned(globalRuntime, runtime);
  315. }
  316. for (const dep of compilation.globalEntry.dependencies) {
  317. processEntryDependency(dep, globalRuntime);
  318. }
  319. for (const dep of compilation.globalEntry.includeDependencies) {
  320. processEntryDependency(dep, globalRuntime);
  321. }
  322. while (queue.length) {
  323. const [module, runtime] = /** @type {[Module, RuntimeSpec]} */ (
  324. queue.dequeue()
  325. );
  326. processModule(module, runtime, false);
  327. }
  328. logger.timeEnd("trace exports usage in graph");
  329. }
  330. );
  331. });
  332. }
  333. }
  334. module.exports = FlagDependencyUsagePlugin;