Uh oh!
There was an error while loading. Please reload this page.
Ensure other cases of lzcnt/tzcnt/popcount are handled by rangecheck - #128620
Conversation
Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch |
There was a problem hiding this comment.
Pull request overview
This change updates JIT range analysis (RangeCheck::GetRangeFromAssertionsWorker) to recognize additional lzcnt/tzcnt/popcount value-numbering function cases and to tighten the inferred constant upper bound from a fixed 64 to 32 or 64 depending on bit-width.
Changes:
- Adds target-conditional switch cases intended to cover additional xarch/arm64 LZCNT/TZCNT/POPCNT-related VN function IDs.
- Adjusts the inferred upper bound for
{LeadingZeroCount, TrailingZeroCount, PopCount}from a constant64to32vs64based on type.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
tannergooding
commented
May 28, 2026
/ba-g unrelated os-x analyzer failure, previous run passed |
Uh oh!
There was an error while loading. Please reload this page.
No description provided.