diff options
Diffstat (limited to 'tests/src/JIT/Directed/intrinsic/interlocked/IntrinsicTest_Overflow.cs')
| -rw-r--r-- | tests/src/JIT/Directed/intrinsic/interlocked/IntrinsicTest_Overflow.cs | 148 |
1 files changed, 148 insertions, 0 deletions
diff --git a/tests/src/JIT/Directed/intrinsic/interlocked/IntrinsicTest_Overflow.cs b/tests/src/JIT/Directed/intrinsic/interlocked/IntrinsicTest_Overflow.cs new file mode 100644 index 0000000000..1a7df2d4a8 --- /dev/null +++ b/tests/src/JIT/Directed/intrinsic/interlocked/IntrinsicTest_Overflow.cs @@ -0,0 +1,148 @@ +// 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. +// + +// Checks that there are no overflows for the interlocked intrinsics generated. + +using System; +using System.Threading; +using System.Runtime.CompilerServices; +public class IntrinsicTest +{ + private static int s_counter = 3245; + private int _instanceCounter; + private static long s_counter64 = 3245; + private long _instanceCounter64; + private static int s_id_counter = 3245; + private int _id_instanceCounter; + private static long s_id_counter64 = 3245; + private long _id_instanceCounter64; + private static long s_temp = 1111; + + private static long s_idmp = 1111; + private static long s_idjunk = 0; + [MethodImpl(MethodImplOptions.NoInlining)] + + private IntrinsicTest() { _instanceCounter = 3245; _instanceCounter64 = 3245; _id_instanceCounter = 3245; _id_instanceCounter64 = 3245; } + public int GetValue() { s_temp++; return (int)0x1ceddeed; } + + [MethodImpl(MethodImplOptions.NoInlining)] + + public int id_GetValue() { s_idmp++; return (int)0x1ceddeed; } + + public static bool MainTest() + { + int te0 = Int32.MaxValue, te1 = 4325, te2 = 4325, te3 = 2134; + long te064 = 454562, te164 = 345653, te264 = 345653, te364 = 345564; + int dummy = 4355; + long dummy64 = 656342; + int id0 = -1, id1 = 4325, id2 = 4325, id3 = 2134; + long id064 = 454562, id164 = 345653, id264 = 345653, id364 = 345564; + int idummy = 4355; + long idummy64 = 656342; + bool fail = false; + IntrinsicTest Dummy = new IntrinsicTest(); + + + te0 = Interlocked.Increment(ref te0); + id0 = Int32.MinValue; + Console.WriteLine("------------------------------------INC 0 0 0 0"); + if (te0 != id0) { fail = true; Console.WriteLine("te0 check failed {0} {1}", te0, id0); } + if (te1 != id1) { fail = true; Console.WriteLine("te1 check failed {0} {1}", te1, id1); } + if (te2 != id2) { fail = true; Console.WriteLine("te2 check failed {0} {1}", te2, id2); } + if (te3 != id3) { fail = true; Console.WriteLine("te3 check failed {0} {1}", te3, id3); } + if (te064 != id064) { fail = true; Console.WriteLine("te064 check failed {0} {1}", te064, id064); } + if (te164 != id164) { fail = true; Console.WriteLine("te164 check failed {0} {1}", te164, id164); } + if (te264 != id264) { fail = true; Console.WriteLine("te264 check failed {0} {1}", te264, id264); } + if (te364 != id364) { fail = true; Console.WriteLine("te364 check failed {0} {1}", te364, id364); } + if (dummy != idummy) { fail = true; Console.WriteLine("dummy check failed {0} {1}", dummy, idummy); } + if (dummy64 != idummy64) { fail = true; Console.WriteLine("dummy64 check failed {0} {1}", dummy64, idummy64); } + + if (s_counter != s_id_counter) { Console.WriteLine("counter mismatch {0} {1}", s_counter, s_id_counter); fail = true; } + if (s_counter64 != s_id_counter64) { Console.WriteLine("counter64 mismatch {0} {1}", s_counter64, s_id_counter64); fail = true; } + if (Dummy._instanceCounter != Dummy._id_instanceCounter) { Console.WriteLine("instanceCounter mismatch {0} {1}", Dummy._instanceCounter, Dummy._id_instanceCounter); fail = true; } + if (Dummy._instanceCounter64 != Dummy._id_instanceCounter64) { Console.WriteLine("instanceCounter64 mismatch {0} {1}", Dummy._instanceCounter64, Dummy._id_instanceCounter64); fail = true; } + if (s_temp != s_idmp) { Console.WriteLine("temp mismatch {0} {1}", s_temp, s_idmp); fail = true; } + + te0 = Interlocked.Decrement(ref te0); + id0 = Int32.MaxValue; + Console.WriteLine("------------------------------------DEC 0 0 0 0"); + if (te0 != id0) { fail = true; Console.WriteLine("te0 check failed {0} {1}", te0, id0); } + if (te1 != id1) { fail = true; Console.WriteLine("te1 check failed {0} {1}", te1, id1); } + if (te2 != id2) { fail = true; Console.WriteLine("te2 check failed {0} {1}", te2, id2); } + if (te3 != id3) { fail = true; Console.WriteLine("te3 check failed {0} {1}", te3, id3); } + if (te064 != id064) { fail = true; Console.WriteLine("te064 check failed {0} {1}", te064, id064); } + if (te164 != id164) { fail = true; Console.WriteLine("te164 check failed {0} {1}", te164, id164); } + if (te264 != id264) { fail = true; Console.WriteLine("te264 check failed {0} {1}", te264, id264); } + if (te364 != id364) { fail = true; Console.WriteLine("te364 check failed {0} {1}", te364, id364); } + if (dummy != idummy) { fail = true; Console.WriteLine("dummy check failed {0} {1}", dummy, idummy); } + if (dummy64 != idummy64) { fail = true; Console.WriteLine("dummy64 check failed {0} {1}", dummy64, idummy64); } + + if (s_counter != s_id_counter) { Console.WriteLine("counter mismatch {0} {1}", s_counter, s_id_counter); fail = true; } + if (s_counter64 != s_id_counter64) { Console.WriteLine("counter64 mismatch {0} {1}", s_counter64, s_id_counter64); fail = true; } + if (Dummy._instanceCounter != Dummy._id_instanceCounter) { Console.WriteLine("instanceCounter mismatch {0} {1}", Dummy._instanceCounter, Dummy._id_instanceCounter); fail = true; } + if (Dummy._instanceCounter64 != Dummy._id_instanceCounter64) { Console.WriteLine("instanceCounter64 mismatch {0} {1}", Dummy._instanceCounter64, Dummy._id_instanceCounter64); fail = true; } + if (s_temp != s_idmp) { Console.WriteLine("temp mismatch {0} {1}", s_temp, s_idmp); fail = true; } + + te0 = Int32.MaxValue; + id0 = Int32.MinValue; + te0 = Interlocked.Add(ref te0, 1); + Console.WriteLine("------------------------------------XADD 0 0 0 0"); + if (te0 != id0) { fail = true; Console.WriteLine("te0 check failed {0} {1}", te0, id0); } + if (te1 != id1) { fail = true; Console.WriteLine("te1 check failed {0} {1}", te1, id1); } + if (te2 != id2) { fail = true; Console.WriteLine("te2 check failed {0} {1}", te2, id2); } + if (te3 != id3) { fail = true; Console.WriteLine("te3 check failed {0} {1}", te3, id3); } + if (te064 != id064) { fail = true; Console.WriteLine("te064 check failed {0} {1}", te064, id064); } + if (te164 != id164) { fail = true; Console.WriteLine("te164 check failed {0} {1}", te164, id164); } + if (te264 != id264) { fail = true; Console.WriteLine("te264 check failed {0} {1}", te264, id264); } + if (te364 != id364) { fail = true; Console.WriteLine("te364 check failed {0} {1}", te364, id364); } + if (dummy != idummy) { fail = true; Console.WriteLine("dummy check failed {0} {1}", dummy, idummy); } + if (dummy64 != idummy64) { fail = true; Console.WriteLine("dummy64 check failed {0} {1}", dummy64, idummy64); } + + if (s_counter != s_id_counter) { Console.WriteLine("counter mismatch {0} {1}", s_counter, s_id_counter); fail = true; } + if (s_counter64 != s_id_counter64) { Console.WriteLine("counter64 mismatch {0} {1}", s_counter64, s_id_counter64); fail = true; } + if (Dummy._instanceCounter != Dummy._id_instanceCounter) { Console.WriteLine("instanceCounter mismatch {0} {1}", Dummy._instanceCounter, Dummy._id_instanceCounter); fail = true; } + if (Dummy._instanceCounter64 != Dummy._id_instanceCounter64) { Console.WriteLine("instanceCounter64 mismatch {0} {1}", Dummy._instanceCounter64, Dummy._id_instanceCounter64); fail = true; } + if (s_temp != s_idmp) { Console.WriteLine("temp mismatch {0} {1}", s_temp, s_idmp); fail = true; } + + te0 = Int32.MinValue; + id0 = Int32.MaxValue; + te0 = Interlocked.Add(ref te0, -1); + Console.WriteLine("------------------------------------XADD 0 0 0 0"); + if (te0 != id0) { fail = true; Console.WriteLine("te0 check failed {0} {1}", te0, id0); } + if (te1 != id1) { fail = true; Console.WriteLine("te1 check failed {0} {1}", te1, id1); } + if (te2 != id2) { fail = true; Console.WriteLine("te2 check failed {0} {1}", te2, id2); } + if (te3 != id3) { fail = true; Console.WriteLine("te3 check failed {0} {1}", te3, id3); } + if (te064 != id064) { fail = true; Console.WriteLine("te064 check failed {0} {1}", te064, id064); } + if (te164 != id164) { fail = true; Console.WriteLine("te164 check failed {0} {1}", te164, id164); } + if (te264 != id264) { fail = true; Console.WriteLine("te264 check failed {0} {1}", te264, id264); } + if (te364 != id364) { fail = true; Console.WriteLine("te364 check failed {0} {1}", te364, id364); } + if (dummy != idummy) { fail = true; Console.WriteLine("dummy check failed {0} {1}", dummy, idummy); } + if (dummy64 != idummy64) { fail = true; Console.WriteLine("dummy64 check failed {0} {1}", dummy64, idummy64); } + + if (s_counter != s_id_counter) { Console.WriteLine("counter mismatch {0} {1}", s_counter, s_id_counter); fail = true; } + if (s_counter64 != s_id_counter64) { Console.WriteLine("counter64 mismatch {0} {1}", s_counter64, s_id_counter64); fail = true; } + if (Dummy._instanceCounter != Dummy._id_instanceCounter) { Console.WriteLine("instanceCounter mismatch {0} {1}", Dummy._instanceCounter, Dummy._id_instanceCounter); fail = true; } + if (Dummy._instanceCounter64 != Dummy._id_instanceCounter64) { Console.WriteLine("instanceCounter64 mismatch {0} {1}", Dummy._instanceCounter64, Dummy._id_instanceCounter64); fail = true; } + if (s_temp != s_idmp) { Console.WriteLine("temp mismatch {0} {1}", s_temp, s_idmp); fail = true; } + + return fail; + } + + private static int Main() + { + if (MainTest()) + { + Console.WriteLine("Test Failed"); + return 101; + } + else + { + Console.WriteLine("Test Passed"); + return 100; + } + } +} +; + |