summaryrefslogtreecommitdiff
path: root/tests/src/JIT/Regression/JitBlue/DevDiv_279396/DevDiv_279396.il
diff options
context:
space:
mode:
Diffstat (limited to 'tests/src/JIT/Regression/JitBlue/DevDiv_279396/DevDiv_279396.il')
-rw-r--r--tests/src/JIT/Regression/JitBlue/DevDiv_279396/DevDiv_279396.il39
1 files changed, 39 insertions, 0 deletions
diff --git a/tests/src/JIT/Regression/JitBlue/DevDiv_279396/DevDiv_279396.il b/tests/src/JIT/Regression/JitBlue/DevDiv_279396/DevDiv_279396.il
new file mode 100644
index 0000000000..70e02027fc
--- /dev/null
+++ b/tests/src/JIT/Regression/JitBlue/DevDiv_279396/DevDiv_279396.il
@@ -0,0 +1,39 @@
+// 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 mscorlib {}
+.assembly DevDiv_279396 {}
+.module DevDiv_279396.exe
+
+// This test originally triggered an assertion in the emitter that ensured that no lclVar or lclFld access exceeded the
+// bounds of its containing method's frame. The problematic access was created during morphing by folding
+// `(ind long (addr int (lclVar int V0)))` into `(lclFld long V0 0)`. This corresponds to the body of `C::Test` below.
+
+.class private abstract auto ansi sealed beforefieldinit C extends [mscorlib]System.Object
+{
+ .method private static int64 Test(int32 i) noinlining
+ {
+ ldarga.s i
+ ldind.i8
+ ret
+ }
+
+ .method private static int32 Main()
+ {
+ .entrypoint
+
+ ldc.i4 100
+ dup
+ call int64 C::Test(int32)
+ conv.i4
+ bne.un.s fail
+
+ ldc.i4 100
+ ret
+
+fail:
+ ldc.i4 101
+ ret
+ }
+}