diff options
Diffstat (limited to 'tests/src/JIT/Regression/JitBlue/GitHub_8231/GitHub_8231.cs')
-rw-r--r-- | tests/src/JIT/Regression/JitBlue/GitHub_8231/GitHub_8231.cs | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/tests/src/JIT/Regression/JitBlue/GitHub_8231/GitHub_8231.cs b/tests/src/JIT/Regression/JitBlue/GitHub_8231/GitHub_8231.cs new file mode 100644 index 0000000000..4d2ec7628a --- /dev/null +++ b/tests/src/JIT/Regression/JitBlue/GitHub_8231/GitHub_8231.cs @@ -0,0 +1,62 @@ +// 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.Numerics; +using System.Runtime.CompilerServices; + +namespace N +{ + public static class C + { + // This is a regression test for a failure in loop unrolling when + // the unrolled loop contains a switch statement. + [MethodImpl(MethodImplOptions.NoInlining)] + static int Test() + { + int s = 0; + + // Loop to some Vector<T>.Count to trigger unrolling. + for (int i = 0; i < Vector<int>.Count; i++) + { + // Loop contains switch; the bug was that the clones + // of the switch were all sharing its BBswtDesc instead + // of getting their own, so updates to their jump targets + // were incorrectly shared. + switch (i) + { + case 1: s += 4; break; + case 2: s += 2; break; + case 3: s += i; break; + } + } + + return s; + } + + public static int Main(string[] args) + { + int result = Test(); + + // Expected result is a function of Vector<int>.Count. + int expected; + switch(Vector<int>.Count) + { + case 1: + expected = 4; + break; + case 2: + expected = 6; + break; + default: + expected = 9; + break; + } + + // Return 100 on success (result == expected), other + // values on failure. + return 100 + result - expected; + } + } +} |