Simplify guards using info from previous guards

[lezcano]

Stack from ghstack (oldest at bottom):

• -> Simplify guards using info from previous guards #121463

Let me see what CI thinks about this one. Will add tests tomorrow.

Fixes #119917

[pytorch-bot]

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/121463

• 📄 Preview Python docs built from this PR
• 📄 Preview C++ docs built from this PR
• ❓ Need help or want to give feedback on the CI? Visit the bot commands wiki or our office hours

Note: Links to docs will display an error until the docs builds have been completed.

✅ No Failures

As of commit b593fa8 with merge base 953c6c3 ():
💚 Looks good so far! There are no failures yet. 💚

This comment was automatically generated by Dr. CI and updates every 15 minutes.

[lezcano]

@ezyang this one's ready for review. I think that in most univariate cases the value ranges are already doing all this and more, but I think this may help when dealing with dynamic shapes.

I also generalised and simplified the implementation of the "derived relations".

[ezyang]

@pytorchbot merge

[pytorchmergebot]

Merge started

Your change will be merged once all checks pass (ETA 0-4 Hours).

Learn more about merging in the wiki.

Questions? Feedback? Please reach out to the PyTorch DevX Team

Advanced Debugging

Check the merge workflow status
here