diff options
Diffstat (limited to 'tests/src/JIT/Regression/JitBlue/DevDiv_142976/DevDiv_142976.cs')
-rw-r--r-- | tests/src/JIT/Regression/JitBlue/DevDiv_142976/DevDiv_142976.cs | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/tests/src/JIT/Regression/JitBlue/DevDiv_142976/DevDiv_142976.cs b/tests/src/JIT/Regression/JitBlue/DevDiv_142976/DevDiv_142976.cs new file mode 100644 index 0000000000..7b0151793b --- /dev/null +++ b/tests/src/JIT/Regression/JitBlue/DevDiv_142976/DevDiv_142976.cs @@ -0,0 +1,56 @@ +// 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. + + +using System; +using System.Runtime.CompilerServices; + +// This test case is meant to test an optimization in morph that +// transforms helper call JIT_Stelem_Ref(a, null, i) to a[i] = null, +// which further gets transformed into an array address and bounds +// check nodes with references to the array local and the index +// local. It is expected while doing such a transform, array +// local and index local are appropriately ref counted and Value +// number is updated post-global-morph and jit compilation +// won't run into any asserts. +class DevDiv_142976 +{ + [MethodImpl(MethodImplOptions.NoInlining)] + public static String Foo() + { + return null; + } + + [MethodImpl(MethodImplOptions.NoInlining)] + public static void Bar() + { + String[] args = new String[10]; + if (args != null) + { + throw new Exception(); + } + + String s = Foo(); + if (s == null) + { + // This will result in JIT_Stelem_Ref(args, null, 0) call + // which gets re-morphed into args[0] = null. + args[0] = s; + } + } + + public static int Main() + { + try + { + Bar(); + } + catch (Exception) + { + } + + Console.WriteLine("Pass"); + return 100; + } +}
\ No newline at end of file |