[ONNX] More debug logging from fx to onnx

test/onnx/onnx_test_common.py

@@ -7,6 +7,7 @@
 import copy
 import dataclasses
 import io
+import logging
 import os
 import unittest
 import warnings
@@ -274,6 +275,9 @@ def run_test_with_fx_to_onnx_exporter_and_onnx_runtime(
                 export_options=torch.onnx.ExportOptions(
                     op_level_debug=self.op_level_debug,
                     dynamic_shapes=self.dynamic_shapes,
+                    diagnostic_options=torch.onnx.DiagnosticOptions(
+                        verbosity_level=logging.DEBUG
+                    ),
                 ),
             )
         except torch.onnx.OnnxExporterError as e:

torch/onnx/_internal/fx/_pass.py

@@ -246,6 +246,12 @@ def run(self, *args, **kwargs) -> torch.fx.GraphModule:
         diagnostic = self.diagnostic_context.inflight_diagnostic(
             rule=diagnostics.rules.fx_pass
         )
+        diagnostic.info(
+            "For detailed logging of graph modifications by this pass, either set "
+            "`DiagnosticOptions.verbosity_level` to `logging.DEBUG` or use the environment variable "
+            "`TORCH_LOGS='onnx_diagnostics'`."
+        )
+
         # Gather graph information before transform.
         graph_diff_log_level = logging.DEBUG
         if diagnostic.logger.isEnabledFor(graph_diff_log_level):

torch/onnx/_internal/fx/fx_onnx_interpreter.py

@@ -37,6 +37,17 @@ def _fx_node_to_onnx_message_formatter(
     return f"FX Node: {node.op}:{node.target}[name={node.name}]. "
 
 
+@_beartype.beartype
+def _fx_graph_to_onnx_message_formatter(
+    fn: Callable,
+    self,
+    fx_graph_module: torch.fx.GraphModule,
+    *args,
+    **kwargs,
+) -> str:
+    return f"FX Graph: {fx_graph_module._get_name()}. "
+
+
 def _location_from_fx_stack_trace(
     node_stack_trace: str,
 ) -> Optional[diagnostics.infra.Location]:
@@ -440,7 +451,10 @@ def run_node(
             raise RuntimeError(f"Found node type not defined in torch.fx: {node.op}")
 
     @_beartype.beartype
-    @diagnostics.diagnose_call(diagnostics.rules.fx_graph_to_onnx)
+    @diagnostics.diagnose_call(
+        diagnostics.rules.fx_graph_to_onnx,
+        diagnostic_message_formatter=_fx_graph_to_onnx_message_formatter,
+    )
     def run(
         self,
         fx_graph_module: torch.fx.GraphModule,
@@ -460,6 +474,13 @@ def run(
                 `fx_graph_module` is a submodule. If not provided,
                 `fx_graph_module` is assumed to be the root module.
         """
+        diagnostic = self.diagnostic_context.inflight_diagnostic()
+        with diagnostic.log_section(logging.DEBUG, "FX Graph:"):
+            diagnostic.debug(
+                "```\n%s\n```",
+                diagnostics.LazyString(fx_graph_module.print_readable, False),
+            )
+
         if parent_onnxscript_graph is not None:
             # If parent_onnxscript_graph is provided, we assume fx_graph_module is a
             # submodule representing a forward call of an nn.Module.
@@ -520,6 +541,9 @@ def run(
                     fx_name_to_onnxscript_value,
                 )
 
+        with diagnostic.log_section(logging.DEBUG, "ONNX Graph:"):
+            diagnostic.debug("```\n%s\n```", onnxscript_graph.torch_graph)
+
         return onnxscript_graph
 
     @_beartype.beartype