trunk/ceb4b0179753bf036b2cadef732e18a1056544ba: [symbolic shapes] Restore exact FloorDiv cancellation (#198575)
- PyTorch 近 90 天出现 1507 次
- PyTorch 近 90 天第 1488 次发版
- 上一次：同一天稍早 · trunk/ef166fb295ff511bdefd628b2d2fefea9570aa61
发生了什么
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…
摘要按规则整理自下方来源原文