Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.
Sign upcmd/compile: detect bounded shifts in generic rules #25168
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
CL 109776 introduced a mechanism for marking a shift value as being bounded, and used it in the prove pass. @mundaym suggested marking others during generic optimization rule application. This issue is a reminder to follow up on that suggestion.
cc @rasky @mundaym