diff options
Diffstat (limited to 'tests/src/JIT/Regression/JitBlue/GitHub_8133')
| -rw-r--r-- | tests/src/JIT/Regression/JitBlue/GitHub_8133/GitHub_8133.il | 112 | ||||
| -rw-r--r-- | tests/src/JIT/Regression/JitBlue/GitHub_8133/GitHub_8133.ilproj | 41 |
2 files changed, 153 insertions, 0 deletions
diff --git a/tests/src/JIT/Regression/JitBlue/GitHub_8133/GitHub_8133.il b/tests/src/JIT/Regression/JitBlue/GitHub_8133/GitHub_8133.il new file mode 100644 index 0000000000..be6720d88a --- /dev/null +++ b/tests/src/JIT/Regression/JitBlue/GitHub_8133/GitHub_8133.il @@ -0,0 +1,112 @@ +// 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. + +.assembly extern mscorlib {} +.assembly a {} + +// The original repro for this test was SBCG due to incorrect computation of value numbers for the ref-typed locals +// in Test::Main(). Despite the fact that each local refers to a different array element, all of the locals were +// assigned the same value number. + +.class Test extends [mscorlib]System.Object +{ + .method static void Equal(int32 i, int32 j) cil noinlining + { + ldarg.0 + ldarg.1 + bne.un.s fail + ret + +fail: + newobj instance void [mscorlib]System.Exception::.ctor() + throw + } + + .method static !!0& Add<T>(!!0& addr, int32 offset) + { + ldarg.0 + ldarg.1 + sizeof !!0 + conv.i + mul + add + ret + } + + .method public hidebysig static int32 RefAdd() cil managed + { + .entrypoint + + .locals init ( + [0] int32[] a, + [1] int32& r1, + [2] int32& r2, + [3] int32& r3) + + ldc.i4.4 + newarr [mscorlib]System.Int32 + dup + ldtoken field valuetype '<PrivateImplementationDetails>'/'__StaticArrayInitTypeSize=16' '<PrivateImplementationDetails>'::'6E9F9131664668938673AFE814BBDE210C6AE91F' + call void [mscorlib]System.Runtime.CompilerServices.RuntimeHelpers::InitializeArray(class [mscorlib]System.Array, valuetype [mscorlib]System.RuntimeFieldHandle) + stloc.0 + + ldloc.0 + ldc.i4.0 + ldelema [mscorlib]System.Int32 + ldc.i4.1 + call !!0& Test::Add<int32>(!!0&, int32) + stloc.1 + ldc.i4 0x234 + ldloc.1 + ldind.i4 + call void Test::Equal(int32, int32) + + ldloc.1 + ldc.i4.2 + call !!0& Test::Add<int32>(!!0&, int32) + stloc.2 + ldc.i4 0x456 + ldloc.2 + ldind.i4 + call void Test::Equal(int32, int32) + + ldloc.2 + ldc.i4.s -3 + call !!0& Test::Add<int32>(!!0&, int32) + stloc.3 + ldc.i4 0x123 + ldloc.3 + ldind.i4 + call void Test::Equal(int32, int32) + + ldc.i4 100 + ret + } +} + +.class private auto ansi sealed '<PrivateImplementationDetails>' + extends [mscorlib]System.Object +{ + .custom instance void [mscorlib]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) + .class explicit ansi sealed nested private '__StaticArrayInitTypeSize=16' + extends [mscorlib]System.ValueType + { + .pack 1 + .size 16 + } + + .field static assembly initonly int32 '4C55E5E5FC2235CC8C201E69A345F7FAB3FB46FA' at I_000054DC + .field static assembly initonly int64 '67423EBFA8454F19AC6F4686D6C0DC731A3DDD6B' at I_000054E4 + .field static assembly initonly valuetype '<PrivateImplementationDetails>'/'__StaticArrayInitTypeSize=16' '6E9F9131664668938673AFE814BBDE210C6AE91F' at I_000054EC + .field static assembly initonly int32 '9BCE73D0C8B9ECA4F24154F3BD3B8AA473B1C3A9' at I_000054FC +} + +.data cil I_000054DC = bytearray ( + 42 42 42 42) // BBBB +.data cil I_000054E4 = bytearray ( + 00 01 02 03 04 05 06 07) +.data cil I_000054EC = bytearray ( + 23 01 00 00 34 02 00 00 45 03 00 00 56 04 00 00) // #...4...E...V... +.data cil I_000054FC = bytearray ( + 12 34 56 78) // .4Vx diff --git a/tests/src/JIT/Regression/JitBlue/GitHub_8133/GitHub_8133.ilproj b/tests/src/JIT/Regression/JitBlue/GitHub_8133/GitHub_8133.ilproj new file mode 100644 index 0000000000..3d8d22ec87 --- /dev/null +++ b/tests/src/JIT/Regression/JitBlue/GitHub_8133/GitHub_8133.ilproj @@ -0,0 +1,41 @@ +<?xml version="1.0" encoding="utf-8"?> +<Project ToolsVersion="12.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003"> + <Import Project="$([MSBuild]::GetDirectoryNameOfFileAbove($(MSBuildThisFileDirectory), dir.props))\dir.props" /> + <PropertyGroup> + <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration> + <Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform> + <AssemblyName>$(MSBuildProjectName)</AssemblyName> + <SchemaVersion>2.0</SchemaVersion> + <ProjectGuid>{95DFC527-4DC1-495E-97D7-E94EE1F7140D}</ProjectGuid> + <OutputType>Exe</OutputType> + <AppDesignerFolder>Properties</AppDesignerFolder> + <FileAlignment>512</FileAlignment> + <ProjectTypeGuids>{786C830F-07A1-408B-BD7F-6EE04809D6DB};{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}</ProjectTypeGuids> + <ReferencePath>$(ProgramFiles)\Common Files\microsoft shared\VSTT .0\UITestExtensionPackages</ReferencePath> + <SolutionDir Condition="$(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'">..\..\</SolutionDir> + <NuGetPackageImportStamp>7a9bfb7d</NuGetPackageImportStamp> + </PropertyGroup> + <!-- Default configurations to help VS understand the configurations --> + <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' "> + </PropertyGroup> + <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' "> + </PropertyGroup> + <ItemGroup> + <CodeAnalysisDependentAssemblyPaths Condition=" '$(VS100COMNTOOLS)' != '' " Include="$(VS100COMNTOOLS)..\IDE\PrivateAssemblies"> + <Visible>False</Visible> + </CodeAnalysisDependentAssemblyPaths> + </ItemGroup> + <PropertyGroup> + <DebugType>None</DebugType> + <Optimize>True</Optimize> + </PropertyGroup> + <ItemGroup> + <Compile Include="GitHub_8133.il" /> + </ItemGroup> + <ItemGroup> + <Service Include="{82A7F48D-3B50-4B1E-B82E-3ADA8210C358}" /> + </ItemGroup> + <Import Project="$([MSBuild]::GetDirectoryNameOfFileAbove($(MSBuildThisFileDirectory), dir.targets))\dir.targets" /> + <PropertyGroup Condition=" '$(MsBuildProjectDirOverride)' != '' "> + </PropertyGroup> +</Project> |