tree d90dc872e6b7ab0dfe090d54be315d8273696d78
parent 8de98566951a5a306edd78e9422d769c53e36209
author Stella Laurenzo <stellaraccident@gmail.com> 1727839147 -0700
committer GitHub <noreply@github.com> 1727839147 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJm/LurCRC1aQ7uu5UhlAAABHYQAJMBD2AjRplYKT09VgZ5bcbt
 PKUykYlkq/cKHl3hInsc4cZT9IWOhifmGq3lwoiz1cuRkIP8lx+SIe2t7OZmLHHw
 hbMY7QVGzgxMlpGCPiQEeZ1GoOOjNTPyuKigX2PZvTMwqjtL7GzMJKoVp2XSFzi3
 NJM4+HlAFgsK4UXaMlK4zATBxZxIlJavjRD2xAgBuGzx0ryfSjWbT0k9XspxbfS5
 QxbAjeMYnNMuzzfvEXXgP7Yk9YsTBvgw/zYvSkTRwrtmh8jrryuuLGzS+10tGrs2
 BZsyxXoYjNXK2VLPIdIsSZWGj1FOx8YnXgIRNoDZV8aenHVcHeXg8NjQF9RWwCTw
 A2i+mUqTekIxlBVHayLpuilacFtv0H6TmuBumz22cvnClPf//WM9qfEnFqyanW42
 0f1r/LvOCRmrF+LibaBO2Q2RR1le0Qr7TJE8GjtpEqrV9lVQOSuL5RCg+qacVP52
 k9G3ZapgHjk2ug6Tb1YM8bFQojl5Ovu7zJo/dCPGTGRfjTRZa6b6Ygagjm9k8DMC
 xjnk/1y31/eeScrA5hRyTj4zO8Cn/Oo2ko8LPsYtGBjEp61Oi+SuGfnu6ffQ5khC
 AJJwWv/YdRek7VHqo+8OK3sUhpXlRUUUdXfb3uEXynEgJoL4650ifKgjRs8OgC+R
 ILjGhtD4gLS6pOm4Dvxf
 =683z
 -----END PGP SIGNATURE-----
 

[torch] Materialize all derivable bounds and divisor information in the IR. (#18646)

* Adds new util ops: util.assume.divisible, util.assume.narrow,
util.assume.range
* Adds new pass torch-iree-bind-symbolic-shapes which will lower
torch.bind_symbolic_shape ops if present in the IR (these are currently
suppressed in the frontend with a flag, so adding this pass
unconditionally is a no-op)
* Canonicalizes all dynamics dims so that equal-dims are represented
program wide with the same SSA value and related-dims are derived from
the same root SSA values.
* Followon steps will clone the assume annotations into dispatches so
that codegen can make decisions based on the knowledge

---------

Signed-off-by: Stella Laurenzo <stellaraccident@gmail.com>
Co-authored-by: Ben Vanik <ben.vanik@gmail.com>