dotnet/runtime

[JIT] X64 - Possible comparison optimization using `and` with a small type

Open

#81,520 建立於 2023年2月2日

在 GitHub 查看
 (1 留言) (0 反應) (0 負責人)C# (5,445 fork)batch import
arch-x64area-CodeGen-coreclrhelp wantedtenet-performance

倉庫指標

Star
 (17,886 star)
PR 合併指標
 (平均合併 12天 11小時) (30 天內合併 661 個 PR)

描述

using System.Runtime.CompilerServices;

static class Program
{
    [MethodImpl(MethodImplOptions.NoInlining)]
    public static void SideEffect()
    {
    }

    public static bool Test(byte p, int i)
    {
        if ((p & 0xffffff00) != 0)
        {
            SideEffect();
            return true;
        }
        return false;
    }
}

The (p & 0xffffff00) != 0 condition in this case can never be true. So, we could optimize this by folding it into false thus will eliminate the true path.

This will probably not have a lot of impact.

貢獻者指南