Use BitOperations in couple more places

[PaulusParssinen]

Should be files that are only included by NetCoreAppToolCurrent projects.

• UPDATE1: Made ILVerification library consumed by ILVerify tool target NetCoreAppToolCurrent (same as target as ILVerify)
• UPDATE2: Never mind, I didn't realize it was shipped as NuGet package.. Reverting..

answered question

I want to use this to ask, whether any contributions to ``src/coreclr/tools/Common/Internal/NativeFormat/`` is welcomed as the files around here are largely untouched from their initial import and could utilize some newer APIs by my quick skim through. Should these be left alone?

[huoyaoyuan]

Should be better to use RoundUpToPowerOf2. The old implementation would round up 2^n to next bigger value.

[PaulusParssinen]

I noticed this comment yesterday too, will use that instead.. thanks!

[PaulusParssinen]

Actually, I think the comment here is inaccurate in that the existing code did not round up to the power of two but only set the highest bit.

e.g.

int bucketEstimate =                                                        0b0000_1010;
int highestBitSet = 1 << HighestBit(bucketEstimate);            // returns: 0b0000_1000
int nextPow2 = BitOperations.RoundUpToPowerOf2(bucketEstimate); // returns: 0b0001_0000

whether it should, is another question.. 🤔

[tannergooding]

Yeah, at a glance it rather looks like the logic for HighestBit is incorrect. It claims to be computing the following, where one would normally interpret "rounded up" as meaning the actual algorithm is 1 + ceil(log2(x)) for non-zero x

Returns 1 + log2(x) rounded up, 0 iff x == 0

What's actually happening, however, is that there is no rounding up and it's simply doing 1 + log2(x) for non-zero x:

Console.WriteLine($"{HighestBit(0)} {BitOperations.Log2(0)}");  // 0 0 -- correct
Console.WriteLine($"{HighestBit(1)} {BitOperations.Log2(1)}");  // 1 0 -- correct
Console.WriteLine($"{HighestBit(2)} {BitOperations.Log2(2)}");  // 2 1 -- correct
Console.WriteLine($"{HighestBit(3)} {BitOperations.Log2(3)}");  // 2 1 -- should be 3, as log2(3) is 1.58496...
Console.WriteLine($"{HighestBit(4)} {BitOperations.Log2(4)}");  // 3 2 -- correct
Console.WriteLine($"{HighestBit(5)} {BitOperations.Log2(5)}");  // 3 2 -- should be 4, as log2(5) is 2.321928...
...

[MichalStrehovsky]

I want to use this to ask, whether any contributions to src/coreclr/tools/Common/Internal/NativeFormat/ is welcomed as the files around here are largely untouched from their initial import and could utilize some newer APIs by my quick skim through. Should these be left alone?

They were not touched because there were no problems with them and they are not perf hotspots. They can be changed. Note that the files with Gen suffix are generated with the https://github.com/dotnet/runtime/blob/main/src/coreclr/tools/Common/Internal/Metadata/NativeFormat/UpdateNativeFormatSources.cmd script so updating them involves updating the generator and re-running it to generate the sources.

[PaulusParssinen]

They were not touched because there were no problems with them and they are not perf hotspots. They can be changed. Note that the files with Gen suffix are generated with the https://github.com/dotnet/runtime/blob/main/src/coreclr/tools/Common/Internal/Metadata/NativeFormat/UpdateNativeFormatSources.cmd script so updating them involves updating the generator and re-running it to generate the sources.

Okay, thanks for the advice! Unrelated to this PR but should those genered files be perhaps updated to follow the .g.cs pattern? Or is the contribution bar in these parts: if it works, don't touch? 😄

[MichalStrehovsky]

Okay, thanks for the advice! Unrelated to this PR but should those genered files be perhaps updated to follow the .g.cs pattern? Or is the contribution bar in these parts: if it works, don't touch? 😄

We're not very consistent with doing this (this is not the only "offline generator") but it might be an improvement to rename them to .g.cs.

[PaulusParssinen]

I'm unable to build the runtime locally for unknown reasons (#101720) so I'll close this for time being..

[MichalStrehovsky]

Thank you!