tree 23ee855aee557b332edca4648eeb9a9812ea1102
parent 8e54ed53ba3b4ad7dce2695fd19af0e0efb58e66
author Stella Laurenzo <stellaraccident@gmail.com> 1729128176 -0700
committer GitHub <noreply@github.com> 1729128176 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJnEGbwCRC1aQ7uu5UhlAAAikgQAGzX94ivBdyAbiGBCuFPdZuX
 foO0H3pbhhAZxePksdsr0ykxCWJLeEGJBkaqTLoto3DNVXrOf/VDtXvuc64C2i73
 8ImHCgCy8cQrHbaTbv74E4DEU3w0xCCZ7jblkdnCuPlS/qFkIgSFuYFVVnSmMAfz
 04EnJ3KM81nuIXnfq3urI+t5lIBDb287ZUw9IS97AISToNLBTnTtmkN1R9nzG9hP
 6gH89zq4K4fjtu1A50w6dMKBKHQDYBrNU6+byJumi/jwE5LWaqEavLlxKGOlbkAJ
 JcmyrJbb+C1CNax+BoFyCDWb1UTga7Q5U45uZsUdJMQoirqM6uDgC2tfVcSBoaAC
 zF+a/NgRjzHJ9xHsHHuIHvLHCMX8NLjLjj9GFO1JHN4/FP/AvaNi99Ut/BSxN1Fo
 jrRCFX7/rmZ/gv6RPSV9zxIKRK5WoYr/VKG57wu9aXQJI+K0zMNr9oRlReGMzsTF
 GgoADTWV8x90j4o//D7b9NMBmfdb9+t+dsSZPAu/QVbl49P0nepNTtkYUWonOSQ1
 TW8U9nj1c7xqcDrBAh/6Jg+X6M/Lk+gr4+Skc7Shf3hp0h+h/lyINBZTMPz0kiHM
 iC/DlHke7DrfmrgZSrzGZ4P65CLhnDgW3zbD1lpaY/5A3vyyNcKUzqzlocilskYP
 PTQ9sen4/7oSK4uSyo/t
 =p2dW
 -----END PGP SIGNATURE-----
 

Various tweaks to numeric optimizations found while looking at programs. (#18765)

* Expands affine.apply ops at the program level. These get introduced
from various places that should possibly be eliminated at this level.
For now expanding them gets the job done, making the program
transformation friendly again.
* Fixes a multi-use issue in i64->index promotion.
* Adds a pattern to fold trunc of an index cast.
* Uses a conservative limit to bound all dynamic dims at the torch
level, even when coming to us as unbounded.
* Implements analysis interfaces on util.align.

---------

Signed-off-by: Stella Laurenzo <stellaraccident@gmail.com>