FlagDependencyUsagePlugin.js 11 KB

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