Fix bad codegen for initblk with large fill value

When the initialization value of an init block is constant we attempt to
generate an inline expansion sequences to execute the stores. In order to
generate wider stores the constant value is expanded so that each byte
position holds the initial byte value. In some cases the constant on the
initblk may be a value not in the range of 0..255 and this constant
expansion will generate the wrong value. This change fixes the x64, x86,
and arm64 (comment only) expanses to use only the lower byte value of this
constant. The ARM32 backend already does this, and the other JIT32/JIT64
JITs shipping in Desktop also do this correctly.

3 files changed, 135 insertions, 0 deletions

diff --git a/tests/src/JIT/Regression/JitBlue/DevDiv_199169/DevDiv_199169.il b/tests/src/JIT/Regression/JitBlue/DevDiv_199169/DevDiv_199169.il
new file mode 100644
index 0000000000..482c69536c
--- /dev/null
+++ b/tests/src/JIT/Regression/JitBlue/DevDiv_199169/DevDiv_199169.il
@@ -0,0 +1,64 @@
+// 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 legacy library mscorlib {}
+.assembly DevDiv_199169
+{
+}
+.module DevDiv_199169.exe
+
+.class public sequential ansi sealed beforefieldinit Blob
+       extends [mscorlib]System.ValueType
+{
+  .pack 0
+  .size 3
+}
+
+.field public static valuetype Blob bag
+
+.method assembly static void test() cil managed
+{
+  .maxstack  3
+  IL_0000:  ldsflda    valuetype Blob bag
+  IL_0005:  ldc.i4.s   -128 // this constant is outside 0..255
+  IL_0007:  ldc.i4.3
+  IL_0008:  unaligned. 1
+  IL_000b:  initblk
+  IL_000d:  ret
+}
+
+.method assembly static int32  main(string[] args) cil managed
+{
+  .entrypoint
+  .maxstack  6
+  .locals (int32 V_0)
+  IL_0000:  ldc.i4.0
+  IL_0001:  stloc.0
+  IL_0002:  call       void test()
+  IL_0007:  ldsflda    valuetype Blob bag
+  IL_000c:  ldc.i4.0
+  IL_0011:  add
+  IL_0012:  ldind.u1
+  IL_0013:  ldc.i4     0x80
+  IL_0018:  bne.un.s   IL_0048
+
+  IL_001a:  ldsflda    valuetype Blob bag
+  IL_001f:  ldc.i4.1
+  IL_0020:  add
+  IL_0021:  ldind.u1
+  IL_0022:  ldc.i4     0x80
+  IL_0027:  bne.un.s   IL_0048
+
+  IL_0029:  ldsflda    valuetype Blob bag
+  IL_002e:  ldc.i4.2
+  IL_0033:  add
+  IL_0034:  ldind.u1
+  IL_0035:  ldc.i4     0x80
+  IL_003a:  bne.un.s   IL_0048
+
+  IL_003c:  ldc.i4.s   100
+  IL_0041:  ret
+  IL_0048:  ldc.i4.s   101
+  IL_0050:  ret
+}
diff --git a/tests/src/JIT/Regression/JitBlue/DevDiv_199169/DevDiv_199169.ilproj b/tests/src/JIT/Regression/JitBlue/DevDiv_199169/DevDiv_199169.ilproj
new file mode 100644
index 0000000000..db1d8ef7f8
--- /dev/null
+++ b/tests/src/JIT/Regression/JitBlue/DevDiv_199169/DevDiv_199169.ilproj
@@ -0,0 +1,44 @@
+<?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\11.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="DevDiv_199169.il" />
+  </ItemGroup>
+  <ItemGroup>
+    <None Include="app.config" />
+  </ItemGroup>
+  <ItemGroup>
+    <Service Include="{82A7F48D-3B50-4B1E-B82E-3ADA8210C358}" />
+  </ItemGroup>
+  <Import Project="$([MSBuild]::GetDirectoryNameOfFileAbove($(MSBuildThisFileDirectory), dir.targets))\dir.targets" />
+  <PropertyGroup Condition=" '$(MsBuildProjectDirOverride)' != '' ">
+  </PropertyGroup> 
+</Project>
\ No newline at end of file
diff --git a/tests/src/JIT/Regression/JitBlue/DevDiv_199169/app.config b/tests/src/JIT/Regression/JitBlue/DevDiv_199169/app.config
new file mode 100644
index 0000000000..8077c95440
--- /dev/null
+++ b/tests/src/JIT/Regression/JitBlue/DevDiv_199169/app.config
@@ -0,0 +1,27 @@
+<?xml version="1.0" encoding="utf-8"?>
+<configuration>
+  <runtime>
+    <assemblyBinding xmlns="urn:schemas-microsoft-com:asm.v1">
+      <dependentAssembly>
+        <assemblyIdentity name="System.Runtime" publicKeyToken="b03f5f7f11d50a3a" culture="neutral" />
+        <bindingRedirect oldVersion="0.0.0.0-4.0.20.0" newVersion="4.0.20.0" />
+      </dependentAssembly>
+      <dependentAssembly>
+        <assemblyIdentity name="System.Text.Encoding" publicKeyToken="b03f5f7f11d50a3a" culture="neutral" />
+        <bindingRedirect oldVersion="0.0.0.0-4.0.10.0" newVersion="4.0.10.0" />
+      </dependentAssembly>
+      <dependentAssembly>
+        <assemblyIdentity name="System.Threading.Tasks" publicKeyToken="b03f5f7f11d50a3a" culture="neutral" />
+        <bindingRedirect oldVersion="0.0.0.0-4.0.10.0" newVersion="4.0.10.0" />
+      </dependentAssembly>
+      <dependentAssembly>
+        <assemblyIdentity name="System.IO" publicKeyToken="b03f5f7f11d50a3a" culture="neutral" />
+        <bindingRedirect oldVersion="0.0.0.0-4.0.10.0" newVersion="4.0.10.0" />
+      </dependentAssembly>
+      <dependentAssembly>
+        <assemblyIdentity name="System.Reflection" publicKeyToken="b03f5f7f11d50a3a" culture="neutral" />
+        <bindingRedirect oldVersion="0.0.0.0-4.0.10.0" newVersion="4.0.10.0" />
+      </dependentAssembly>
+    </assemblyBinding>
+  </runtime>
+</configuration>
\ No newline at end of file