From be365237406ae6914de5a5401e7f4794b5277217 Mon Sep 17 00:00:00 2001
From: SingleAccretion <AccretionMail@yandex.ru>
Date: Wed, 13 Jul 2022 22:37:27 +0300
Subject: [PATCH 1/3] Fix an ARM codegen bug

---
 src/coreclr/jit/codegenarm.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/coreclr/jit/codegenarm.cpp b/src/coreclr/jit/codegenarm.cpp
index 3a8c00bafaa184..4d771edbd5acd8 100644
--- a/src/coreclr/jit/codegenarm.cpp
+++ b/src/coreclr/jit/codegenarm.cpp
@@ -1014,7 +1014,7 @@ void CodeGen::genCodeForStoreLclFld(GenTreeLclFld* tree)
 
     GenTree*  data    = tree->gtOp1;
     regNumber dataReg = REG_NA;
-    genConsumeReg(data);
+    genConsumeRegs(data);
 
     if (data->isContained())
     {

From 899c4ff9b801ecbaae094fb811da2140187dbf93 Mon Sep 17 00:00:00 2001
From: SingleAccretion <AccretionMail@yandex.ru>
Date: Wed, 13 Jul 2022 22:51:04 +0300
Subject: [PATCH 2/3] Do not consider single-reg bitcasts multi-reg nodes

---
 src/coreclr/jit/codegenarm.cpp | 13 ++++---------
 src/coreclr/jit/gentree.cpp    |  2 +-
 src/coreclr/jit/lsrabuild.cpp  |  2 +-
 3 files changed, 6 insertions(+), 11 deletions(-)

diff --git a/src/coreclr/jit/codegenarm.cpp b/src/coreclr/jit/codegenarm.cpp
index 4d771edbd5acd8..935c4b8c7bd305 100644
--- a/src/coreclr/jit/codegenarm.cpp
+++ b/src/coreclr/jit/codegenarm.cpp
@@ -1073,18 +1073,13 @@ void CodeGen::genCodeForStoreLclVar(GenTreeLclVar* tree)
 {
     GenTree* data       = tree->gtOp1;
     GenTree* actualData = data->gtSkipReloadOrCopy();
-    unsigned regCount   = 1;
-    // var = call, where call returns a multi-reg return value
-    // case is handled separately.
+
+    // Stores from a multi-reg source are handled separately.
     if (actualData->IsMultiRegNode())
     {
-        regCount = actualData->GetMultiRegCount(compiler);
-        if (regCount > 1)
-        {
-            genMultiRegStoreToLocal(tree);
-        }
+        genMultiRegStoreToLocal(tree);
     }
-    if (regCount == 1)
+    else
     {
         unsigned   varNum     = tree->GetLclNum();
         LclVarDsc* varDsc     = compiler->lvaGetDesc(varNum);
diff --git a/src/coreclr/jit/gentree.cpp b/src/coreclr/jit/gentree.cpp
index ae7583871a2bc7..dc0a3d73940859 100644
--- a/src/coreclr/jit/gentree.cpp
+++ b/src/coreclr/jit/gentree.cpp
@@ -812,7 +812,7 @@ bool GenTree::IsMultiRegNode() const
 #if !defined(TARGET_64BIT)
     if (OperIsMultiRegOp())
     {
-        return true;
+        return AsMultiRegOp()->GetRegCount() > 1;
     }
 #endif
 
diff --git a/src/coreclr/jit/lsrabuild.cpp b/src/coreclr/jit/lsrabuild.cpp
index 43336303270304..bb02dcc9de9d3e 100644
--- a/src/coreclr/jit/lsrabuild.cpp
+++ b/src/coreclr/jit/lsrabuild.cpp
@@ -3492,7 +3492,7 @@ int LinearScan::BuildStoreLoc(GenTreeLclVarCommon* storeLoc)
 
     // Second, use source registers.
 
-    if (op1->IsMultiRegNode() && (op1->GetMultiRegCount(compiler) > 1))
+    if (op1->IsMultiRegNode())
     {
         // This is the case where the source produces multiple registers.
         // This must be a store lclvar.

From e6ed2a62e18e46f4f76d56fd8b649767dae97410 Mon Sep 17 00:00:00 2001
From: SingleAccretion <AccretionMail@yandex.ru>
Date: Tue, 12 Jul 2022 16:30:02 +0300
Subject: [PATCH 3/3] Add a test

---
 .../JitBlue/Runtime_71831/Runtime_71831.cs    | 29 +++++++++++++++++++
 .../Runtime_71831/Runtime_71831.csproj        | 18 ++++++++++++
 2 files changed, 47 insertions(+)
 create mode 100644 src/tests/JIT/Regression/JitBlue/Runtime_71831/Runtime_71831.cs
 create mode 100644 src/tests/JIT/Regression/JitBlue/Runtime_71831/Runtime_71831.csproj

diff --git a/src/tests/JIT/Regression/JitBlue/Runtime_71831/Runtime_71831.cs b/src/tests/JIT/Regression/JitBlue/Runtime_71831/Runtime_71831.cs
new file mode 100644
index 00000000000000..72049e2479e6fe
--- /dev/null
+++ b/src/tests/JIT/Regression/JitBlue/Runtime_71831/Runtime_71831.cs
@@ -0,0 +1,29 @@
+// Licensed to the .NET Foundation under one or more agreements.
+// The .NET Foundation licenses this file to you under the MIT license.
+
+using System;
+using System.Runtime.CompilerServices;
+
+unsafe class Runtime_71831
+{
+    private static int Main()
+    {
+        return Problem(100) ? 101 : 100;
+    }
+
+    [MethodImpl(MethodImplOptions.NoInlining)]
+    private static bool Problem(int i)
+    {
+        StructWithFloats s = default;
+
+        s.FloatOne = BitConverter.Int32BitsToSingle(i);
+
+        return s.FloatOne != *(float*)&i;
+    }
+
+    struct StructWithFloats
+    {
+        public float FloatOne;
+        public float FloatTwo;
+    }
+}
diff --git a/src/tests/JIT/Regression/JitBlue/Runtime_71831/Runtime_71831.csproj b/src/tests/JIT/Regression/JitBlue/Runtime_71831/Runtime_71831.csproj
new file mode 100644
index 00000000000000..240a474f3b320b
--- /dev/null
+++ b/src/tests/JIT/Regression/JitBlue/Runtime_71831/Runtime_71831.csproj
@@ -0,0 +1,18 @@
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <OutputType>Exe</OutputType>
+    <Optimize>True</Optimize>
+    <AllowUnsafeBlocks>true</AllowUnsafeBlocks>
+    <CLRTestBatchPreCommands><![CDATA[
+$(CLRTestBatchPreCommands)
+set DOTNET_JitNoStructPromotion=1
+]]></CLRTestBatchPreCommands>
+    <BashCLRTestPreCommands><![CDATA[
+$(BashCLRTestPreCommands)
+export DOTNET_JitNoStructPromotion=1
+]]></BashCLRTestPreCommands>
+  </PropertyGroup>
+  <ItemGroup>
+    <Compile Include="$(MSBuildProjectName).cs" />
+  </ItemGroup>
+</Project>
\ No newline at end of file