deadalnix opened this issue a year ago · 1 comments
popCount, countLeadingZeros and countTrailingZeros would benefit from having tighter VRP.
For instance, we shoudl expect that when a masked value is passed into popCount, that maximum population should be reduced in accordance to the mask.
Relevant code: https://github.com/snazzy-d/sdc/blob/master/src/d/semantic/vrp.d#L276C2-L279