diff options
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.il | 39 |
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 + } +} |