Dynamic block nodes should not generate non-null assertions

[SingleAccretion]

Reproduction:

using System.Runtime.CompilerServices;

Problem(ref Unsafe.NullRef<byte>(), ref Unsafe.NullRef<byte>(), 0);

[MethodImpl(MethodImplOptions.NoInlining | MethodImplOptions.AggressiveOptimization)]
private static ref int Problem(ref byte dst, ref byte src, uint count)
{
    Unsafe.CopyBlock(ref dst, ref src, count);

    return ref Unsafe.As<byte, StructWithIndex>(ref src).Value;
}

struct StructWithIndex
{
    public int Index;
    public int Value;
}

Expected result: NRE.
Actual result: the program exits normally.

Cause: we make assertion for the IND struct node which is the source for the dynamic block copy:

GenTreeNode creates assertion:
N002 (  3,  2) [000011] ---X---N----              *  IND       struct <l:$1c1, c:$1c0>
In BB01 New Global Constant Assertion: ($81,$0) Value_Number {InitVal($41)} is not 0, index = #01

We cannot make non-null assertions for addresses of dynamic block nodes because in the degenerate case of zero-sized copies, the indirection will not be realized. There is language in ECMA 335 saying that this is what is to be expected:

III.3.30 cpblk – copy data from memory to memory

Exceptions:
System.NullReferenceException can be thrown if an invalid address is detected. 

This applies to both source and destination addresses.

category:correctness
theme:assertion-prop

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

Issue Details

---

Reproduction:

using System.Runtime.CompilerServices;

Problem(ref Unsafe.NullRef<byte>(), ref Unsafe.NullRef<byte>(), 0);

[MethodImpl(MethodImplOptions.NoInlining | MethodImplOptions.AggressiveOptimization)]
private static ref int Problem(ref byte dst, ref byte src, uint count)
{
    Unsafe.CopyBlock(ref dst, ref src, count);

    return ref Unsafe.As<byte, StructWithIndex>(ref src).Value;
}

struct StructWithIndex
{
    public int Index;
    public int Value;
}

Expected result: NRE.
Actual result: the program exits normally.

Cause: we make assertion for the IND struct node which is the source for the dynamic block copy:

GenTreeNode creates assertion:
N002 (  3,  2) [000011] ---X---N----              *  IND       struct <l:$1c1, c:$1c0>
In BB01 New Global Constant Assertion: ($81,$0) Value_Number {InitVal($41)} is not 0, index = #01

We cannot make non-null assertions for sources of dynamic block nodes because in the degenerate case of zero-sized copies, the indirection will not be realized. There is language in ECMA 335 saying that this is what is to be expected:

III.3.30 cpblk – copy data from memory to memory

Exceptions:
System.NullReferenceException can be thrown if an invalid address is detected. 

This applies to both source and destination addresses.

Author:	SingleAccretion
Assignees:	-
Labels:	area-CodeGen-coreclr, untriaged
Milestone:	-

[SingleAccretion]

Of course, a dynamic block is not the only kind of block that can have a size of 0. Simple BLKs can also be of that size. And they too should not generate non-null assertions (both LHS and RHS).

Note for future readers: #62743 will probably hide this because the RHSs of BLK ASGs are marked with GTF_NO_CSE. There are ways to defeat this:

private static void CpBlkOrder(void** dst, void*[] src, long count)
{
    IL.Emit.Ldarg(0);
    IL.Emit.Ldind_I();
    IL.Emit.Ldarg(1);
    IL.Emit.Ldc_I4(0);
    IL.Emit.Ldelem_I();
    IL.Emit.Ldarg(2);
    IL.Emit.Conv_Ovf_U4();
    IL.Emit.Volatile();
    IL.Emit.Cpblk();
}