1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
using System;
using System.Runtime.CompilerServices;
interface IRT
{
void WriteLine<T>(T val);
}
class CRT : IRT
{
public static object line;
public void WriteLine<T>(T val) => line = val;
}
public class Program
{
static IRT s_rt;
static byte[] s_1 = new byte[] { 0 };
static int s_3;
static short[] s_8 = new short[] { -1 };
public static int Main()
{
s_rt = new CRT();
M11(s_8, 0, 0, 0, true, s_1);
return ((int)CRT.line == -1) ? 100 : 1;
}
// Test case for a lvNormalizeOnLoad related issue in assertion propagation.
// A "normal" lclvar is substituted with a "normalize on load" lclvar (arg3),
// that results in load normalization being skipped.
[MethodImpl(MethodImplOptions.NoInlining)]
static ushort M11(short[] arg0, ushort arg1, short arg3, byte arg4, bool arg7, byte[] arg10)
{
if (arg7)
{
ulong var4 = (ulong)s_3;
// mov edi, gword ptr [classVar[0x2c44174]]
// cmp dword ptr [edi + 4], 0
// jbe SHORT G_M17557_IG06
// movsx edi, word ptr [edi + 8]
// mov word ptr [ebp + 14H], di ; word only store
arg3 = s_8[0];
short var5 = arg3;
s_rt.WriteLine(var4);
// call CORINFO_HELP_VIRTUAL_FUNC_PTR
// mov ecx, edi
// mov edx, dword ptr [ebp + 14H] ; dword load, no sign extension
// call eax
s_rt.WriteLine((int)var5);
}
if (!arg7)
{
var vr7 = arg0[0];
}
arg10[0] = arg4;
return arg1;
}
}
|
