Chained comparison of two integers against a constant is not coalesced · dotnet/runtime#101347 | Good First Issue

(1 comment) (0 reactions) (0 assignees)C# (5,445 forks)batch import

area-CodeGen-coreclrhelp wantedin-prtenet-performance

Repository metrics

Stars: (17,886 stars)
PR merge metrics: (平均マージ 12d 11h) (30d で 661 merged PRs)

説明

Description

Given the snippet

static bool Test(int a, int b) => a is 0x80 && b is 0x80;

.NET emits

       cmp      ecx, 128
       jne      SHORT G_M000_IG05
       xor      eax, eax
       cmp      edx, 128
       sete     al
       ret      
G_M000_IG05:                ;; offset=0x0014
       xor      eax, eax
       ret

While Clang emits

        xor     edi, 128
        xor     esi, 128
        or      esi, edi
        sete    al
        ret

It would be nice if JIT/ILC could emit branchless comparison for such patterns.

Configuration

.NET 8.0.3

Regression?

No

コントリビューターガイド

調査方針: JITの'is'演算子を使用したパターンマッチングのコード生成を調べてください。連鎖比較に対する既存の最適化を探し、XORやORを使用した分岐のない手法を適用してみてください。x64の低下またはコード生成フェーズに焦点を当ててください。与えられたスニペットで変更をテストしてください。
技術スタック: csharp
領域: backendperformance
Issue 種別: 機能
難度: 3
推定時間: 半日
活動状況: アクティブ
明確さ: 明確
前提条件: C#Git
初心者向け度: 30