JIT: branch is not removed after a bounds check

[EgorBo]

void Test(int[] arr)
{
    arr[10] = 0;
    if (arr.Length < 5)
    {
        Console.WriteLine("dead branch");
    }
}

Codegen:

; Method Program:Foo(int[]):this (FullOpts)
G_M33786_IG01:
       sub      rsp, 40
G_M33786_IG02: 
       mov      ecx, dword ptr [rdx+0x08]
       cmp      ecx, 10
       jbe      SHORT G_M33786_IG06
       xor      eax, eax
       mov      dword ptr [rdx+0x38], eax
       cmp      ecx, 5
       jl       SHORT G_M33786_IG04
G_M33786_IG03:
       add      rsp, 40
       ret      
G_M33786_IG04:
       mov      rcx, 0x210000055C8      ; 'Hello'
G_M33786_IG05:
       add      rsp, 40
       tail.jmp [System.Console:WriteLine(System.String)]
G_M33786_IG06:
       call     CORINFO_HELP_RNGCHKFAIL
       int3     
; Total bytes of code: 53

The branch with Console.WriteLine is still there.

[dotnet-policy-service]

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.