feat: static analyse import then for tree shaking (#11665)

Author: ahabhgk

crates/rspack_core/src/concatenated_module.rs

@@ -1199,11 +1199,15 @@ impl Module for ConcatenatedModule {
       )));
     }
 
-    let exports_info =
+    let root_exports_info =
       module_graph.get_prefetched_exports_info(&self.id(), PrefetchExportsInfoMode::Default);
-    let used = exports_info.other_exports_info().get_used(runtime);
     // Add ESM compatibility flag (must be first because of possible circular dependencies)
-    if used != UsageState::Unused {
+    if root_exports_info.other_exports_info().get_used(runtime) != UsageState::Unused
+      || root_exports_info
+        .get_read_only_export_info(&"__esModule".into())
+        .get_used(runtime)
+        != UsageState::Unused
+    {
       should_add_esm_flag = true
     }
 

crates/rspack_core/src/context_module.rs

@@ -888,14 +888,30 @@ impl Module for ContextModule {
       id += ")/";
     }
     id += &contextify(options.context, self.options.resource.as_str());
-    id.push(' ');
-    id.push_str(self.options.context_options.mode.as_str());
+    id += " ";
+    id += self.options.context_options.mode.as_str();
     if self.options.context_options.recursive {
-      id.push_str(" recursive");
+      id += " recursive";
+    }
+    if !self.options.addon.is_empty() {
+      id += " ";
+      id += &self.options.addon;
     }
     if let Some(regexp) = &self.options.context_options.reg_exp {
-      id.push(' ');
-      id.push_str(&regexp.to_pretty_string(true));
+      id += " ";
+      id += &regexp.to_pretty_string(true);
+    }
+    if let Some(include) = &self.options.context_options.include {
+      id += " include: ";
+      id += &include.to_pretty_string(true);
+    }
+    if let Some(exclude) = &self.options.context_options.exclude {
+      id += " exclude: ";
+      id += &exclude.to_pretty_string(true);
+    }
+    if let Some(exports) = &self.options.context_options.referenced_exports {
+      id += " referencedExports: ";
+      id += &exports.iter().map(|ids| ids.iter().join(".")).join(", ");
     }
     Some(Cow::Owned(id))
   }
@@ -1115,17 +1131,7 @@ fn create_identifier(options: &ContextModuleOptions) -> Identifier {
   }
   if let Some(exports) = &options.context_options.referenced_exports {
     id += "|referencedExports: ";
-    id += &format!(
-      "[{}]",
-      exports
-        .iter()
-        .map(|ids| if ids.is_empty() {
-          String::from("*")
-        } else {
-          ids.iter().join(".")
-        })
-        .join(", ")
-    );
+    id += &exports.iter().map(|ids| ids.iter().join(".")).join(", ");
   }
 
   if let Some(GroupOptions::ChunkGroup(group)) = &options.context_options.group_options {

crates/rspack_plugin_javascript/src/dependency/context/mod.rs

@@ -51,11 +51,7 @@ fn create_resource_identifier_for_context_dependency(
   let referenced_exports = options
     .referenced_exports
     .as_ref()
-    .map(|x| {
-      x.iter()
-        .map(|x| x.iter().map(|x| format!(r#""{x}""#)).join("."))
-        .join(",")
-    })
+    .map(|ids| ids.iter().map(|ids| ids.iter().join(".")).join(", "))
     .unwrap_or_default();
   let mut group_options = String::new();
 

crates/rspack_plugin_javascript/src/parser_plugin/define_plugin/parser.rs

@@ -148,7 +148,7 @@ impl JavascriptParserPlugin for DefineParserPlugin {
     None
   }
 
-  fn collect_destructuring_assignment_properties(
+  fn can_collect_destructuring_assignment_properties(
     &self,
     parser: &mut JavascriptParser,
     expr: &Expr,

crates/rspack_plugin_javascript/src/parser_plugin/drive.rs

@@ -519,13 +519,13 @@ impl JavascriptParserPlugin for JavaScriptParserPluginDrive {
     None
   }
 
-  fn collect_destructuring_assignment_properties(
+  fn can_collect_destructuring_assignment_properties(
     &self,
     parser: &mut JavascriptParser,
     expr: &Expr,
   ) -> Option<bool> {
     for plugin in &self.plugins {
-      let res = plugin.collect_destructuring_assignment_properties(parser, expr);
+      let res = plugin.can_collect_destructuring_assignment_properties(parser, expr);
       // `SyncBailHook`
       if res.is_some() {
         return res;
@@ -610,10 +610,15 @@ impl JavascriptParserPlugin for JavaScriptParserPluginDrive {
     None
   }
 
-  fn import_call(&self, parser: &mut JavascriptParser, expr: &CallExpr) -> Option<bool> {
+  fn import_call(
+    &self,
+    parser: &mut JavascriptParser,
+    expr: &CallExpr,
+    import_then: Option<&CallExpr>,
+  ) -> Option<bool> {
     assert!(expr.callee.is_import());
     for plugin in &self.plugins {
-      let res = plugin.import_call(parser, expr);
+      let res = plugin.import_call(parser, expr, import_then);
       // `SyncBailHook`
       if res.is_some() {
         return res;

crates/rspack_plugin_javascript/src/parser_plugin/esm_import_dependency_parser_plugin.rs

@@ -147,7 +147,7 @@ impl JavascriptParserPlugin for ESMImportDependencyParserPlugin {
     Some(true)
   }
 
-  fn collect_destructuring_assignment_properties(
+  fn can_collect_destructuring_assignment_properties(
     &self,
     parser: &mut JavascriptParser,
     expr: &Expr,

crates/rspack_plugin_javascript/src/parser_plugin/import_meta_plugin.rs

@@ -148,7 +148,7 @@ impl JavascriptParserPlugin for ImportMetaPlugin {
     }
   }
 
-  fn collect_destructuring_assignment_properties(
+  fn can_collect_destructuring_assignment_properties(
     &self,
     _parser: &mut JavascriptParser,
     expr: &Expr,