[RyuJIT][arm64] Optimize "x<0" and "x>=0"

@kunalspathak

There are two cases:

static bool Case1(int x) => x < 0; // probably also `x >= 0`

current codegen:

    cmp     w0, #0
    cset    x0, lt

expected codegen:

    lsr     x0, w0, #31

x86-related PR: #35627

static void Case2(int a)
{
    if (a < 0) // and "a >= 0"
        Foo();
}

current codegen:

    cmp     w0, #0
    bge     G_M29168_IG04

expected codegen:

    tbnz    w0, #31, G_M29168_IG04

NOTE: for the second case we already have an optimization for x==0 -> tb(n)z so should be easy to extend.

/cc @kunalspathak @echesakovMSFT

category:cq
theme:codegen
skill-level:intermediate
cost:medium
impact:medium

@EgorBo

Thanks @EgorBo for opening this. I will add the optimizations to .NET 6 Arm64 "Epic" issue I am working right now as a potential work in .NET 6.

Navigation Menu