[BUG] Pass “eliminate_common_subexpression“ causes output mismatch

[C1ri007]

Pass “eliminate_common_subexpression“ causes output mismatch

Issue
Running the single pass eliminate_common_subexpression with onnxoptimizer 0.3.19 changes numerical outputs. One real model regresses after this pass only, while the original model runs correctly with the same oracle inputs.

Environment

• Ubuntu 20.04
• Python 3.10
• onnx==1.19.0
• onnxruntime==1.23.2
• onnxoptimizer==0.3.19 (latest)

Repro steps (run from this folder)

1. Download and unzip the attached archive below, then cd into the extracted directory

eliminate_common_subexpression_repro.tar.gz

tar -xzvf eliminate_common_subexpression_repro.tar.gz
cd eliminate_common_subexpression_repro

2. Create a Python environment (Python 3.10) and install dependencies:

python3 -m venv .venv
source .venv/bin/activate
pip install -U pip
pip install -r requirements.txt

3. Optimize a case with only eliminate_common_subexpression:

• python optimize_model.py --case ./case_03909_seed51206390
  (Writes model.opt.onnx next to model.onnx in the case directory.)

4. Differential test original vs optimized outputs using stored oracle inputs:

• python diff_test.py --case ./case_03909_seed51206390

Observed results

• case_03909_seed51206390: overall max_abs=4.000e+00, max_rel=6.974e-04; one scalar output differs while all other outputs match bitwise.

Expected
eliminate_common_subexpression should be semantics-preserving. Applying this pass alone should not change any output values. Please investigate why the optimized graph for the above case produces different outputs and whether the pass is incorrectly rewriting shared subgraphs.

Differential Test Output Details

Case: case_03909_seed51206390
  output[0]: max_abs=0.000e+00, max_rel=0.000e+00, shape=(62, 1, 1, 1)
  output[1]: max_abs=0.000e+00, max_rel=0.000e+00, shape=(62, 1, 1, 1)
  output[2]: max_abs=0.000e+00, max_rel=0.000e+00, shape=(62, 1, 1, 1)
  output[3]: max_abs=0.000e+00, max_rel=0.000e+00, shape=(1, 2)
  output[4]: max_abs=0.000e+00, max_rel=0.000e+00, shape=(1,)
  output[5]: max_abs=0.000e+00, max_rel=0.000e+00, shape=(57, 62, 1, 1, 1)
  output[6]: max_abs=0.000e+00, max_rel=0.000e+00, shape=(57, 62, 1, 1, 1)
  output[7]: max_abs=0.000e+00, max_rel=0.000e+00, shape=(57, 62, 1, 1, 1)
  output[8]: max_abs=0.000e+00, max_rel=0.000e+00, shape=(57, 62, 1, 1, 1)
  output[9]: max_abs=0.000e+00, max_rel=0.000e+00, shape=(57, 62, 1, 1, 1)
  output[10]: max_abs=0.000e+00, max_rel=0.000e+00, shape=(3534,)
  output[11]: max_abs=0.000e+00, max_rel=0.000e+00, shape=(57, 62, 1, 1)
  output[12]: max_abs=4.000e+00, max_rel=6.974e-04, shape=()
  output[13]: max_abs=0.000e+00, max_rel=0.000e+00, shape=(57, 62, 1, 1)
Overall: max_abs=4.000e+00, max_rel=6.974e-04

Attachments

• README.md (this document)
• requirements.txt (dependency versions)
• optimize_model.py (runs only eliminate_common_subexpression and saves model.opt.onnx)
• diff_test.py (runs original vs optimized with oracle inputs and reports max_abs/max_rel)
• case_03909_seed51206390/ (contains model.onnx which is original model, oracle.pkl which is the input data for both original and optimized model)