trunk/ceb4b0179753bf036b2cadef732e18a1056544ba: [symbolic shapes] Restore exact FloorDiv cancellation (#198575)
- PyTorch: 1507 events in the last 90 days
- PyTorch: 1488th Release in the last 90 days
- Previous: earlier the same day · trunk/ef166fb295ff511bdefd628b2d2fefea9570aa61
What happened
Summary PR #126905 replaced proven-divisible FloorDiv expressions with CleanDiv to preserve integer semantics. However, safe_expand does not simplify C * CleanDiv(x, C) to x. PR #195383 exposed this limitation through stricter pattern metadata validation, which rejected equivalent shapes such as x and 2 * (x // 2) even when x % 2 == 0 was known. This change directly cancels matching factors in C * CleanDiv(x, C) wit…
Summary assembled by rule from the sources below