RyuJit 产生不正确的结果

Question

最近升级到 .net 4.6 后，我们发现了一个错误，RyuJit 会产生不正确的结果，我们现在可以通过将 useLegacyJit enabled="true" 添加到 app.config 来解决这个问题。

如何调试下面生成的机器码？

我在 VS 2015 RTM 中创建了一个新的控制台项目，设置为 Release，Any CPU，未选中 Prefer 32 bit，运行并且没有附加调试器产生相同的结果。

using System;
using System.Runtime.CompilerServices;

namespace ConsoleApplication2
{
    class Program
    {
        static void Main(string[] args)
        {
            Console.WriteLine(Calculate());
            Console.WriteLine(Calculate());

            Console.ReadLine();
        }

        [MethodImpl(MethodImplOptions.AggressiveInlining)]
        public static Value Calculate()
        {
            bool? _0 = (bool?)null;
            bool? _1 = (bool?)true;
            if (!Value.IsPresent<bool>(_1))
            {
                return default(Value);
            }

            bool? result = null;
            result = (_1.Value ? new bool?(false) : result);
            if (_0.HasValue && _0.Value)
            {
            }
            return new Value(result);
        }

        public struct Value
        {
            bool? _value;

            public Value(bool? value)
            {
                _value = value;
            }

            public static bool IsPresent<T>(bool? _)
            {
                return _.HasValue;
            }

            public override string ToString()
            {
                return _value.ToString();
            }
        }
    }
}

它应该产生：错误的假

而是它产生：真的假

例子的关键部分是

result = true ? false : result;

应该总是 return false，但是正如您从输出中看到的那样，第一次 return 方法是运行时它是 True，而第二次是不同的答案该方法的时间是运行。从 Calculate() 方法中删除更多行将导致它 return 始终为真，但给出的示例是我可以重现的最接近实际生产场景的示例。

Answer 1

感谢您提供独立的重现程序，我可以确认这确实是优化器中的 RyuJIT 错误，由于内联而暴露出来。我已经修复了编译器并确定了推出的细节。不要将 SO 变成错误跟踪器，并且为了更快的周转：ryujit@microsoft.com.

RyuJit 产生不正确的结果

RyuJit producing incorrect results

c#

jit

ryujit

c#-6.0

.net-4.6