RyuJit produkuje niepoprawne wyniki

Question

Po aktualizacji do .net 4.6 odkryliśmy błąd, w którym RyuJit generuje niepoprawne wyniki, mogliśmy na razie obejść ten problem, dodając useLegacyJit enabled = "true" do pliku app.config.

Jak mogę debugować kod maszynowy wygenerowany przez następujące elementy?

Utworzony nowy projekt konsoli w VS 2015 RTM, ustawiony na Release, Dowolny CPU, niezaznaczony Woliera 32-bitowy, uruchomiony z dołączonym debugerem i bez niego daje taki sam wynik.

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(); 
      } 
     } 
    } 
} 

Należy produkować: fałszywy fałszywy

lecz produkuje: Prawdziwa fałszywy

Kluczową częścią przykładem jest

result = true ? false : result; 

który powinien zawsze wracają false, ale jak widać na wyjściu, zwraca True po raz pierwszy t metoda jest uruchomiona, a inna odpowiedź po drugim uruchomieniu metody. Usunięcie kilku kolejnych linii z metody Calculate() spowoduje, że powróci ona zawsze True, ale podany przykład jest najbliższy mojemu powieleniu do naszego rzeczywistego scenariusza produkcji.

Answer 1

Dziękuję za program izolowanych repro i mogę potwierdzić, że to rzeczywiście błąd RyuJIT w optymalizatorze, który został ujawniony z powodu inline. Zrobiłem poprawkę do kompilatora i zastanowiłem się nad szczegółami wdrożenia. Nie zamieniać SO w narzędzie do śledzenia błędów i szybszy zwrot: ryujit@microsoft.com.