arm64: Add tests for add(s), and(s), sub(s), cmp, cmn, eor, neg & orr

src/tests/JIT/opt/InstructionCombining/Add.cs

@@ -0,0 +1,215 @@
+// Licensed to the .NET Foundation under one or more agreements.
+// The .NET Foundation licenses this file to you under the MIT license.
+
+using System;
+using System.Runtime.CompilerServices;
+using Xunit;
+
+namespace TestAdd
+{
+    public class Program
+    {
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        [Fact]
+        public static int CheckAdd()
+        {
+            bool fail = false;
+
+            if (Add(1, 2) != 3)
+            {
+                fail = true;
+            }
+
+            if (AddLSL(5, 5) != 85)
+            {
+                fail = true;
+            }
+
+            if (AddLSLSwap(5, 5) != 85)
+            {
+                fail = true;
+            }
+
+            if (AddLSR(1, 0x20000000) != 2)
+            {
+                fail = true;
+            }
+
+            if (AddASR(-2, 0x4000) != -1)
+            {
+                fail = true;
+            }
+
+            if (AddLargeShift(0x100000, 1) != 0x900000)
+            {
+                fail = true;
+            }
+
+            if (AddLargeShift64Bit(0xAB, 0x19a0000000000) != 0x178)
+            {
+                fail = true;
+            }
+
+            if (Adds(-5, 5) != 1)
+            {
+                fail = true;
+            }
+
+            if (AddsLSL(-0x78000, 0xF) != 1)
+            {
+                fail = true;
+            }
+
+            if (AddsLSLSwap(-0x78000, 0xF) != 1)
+            {
+                fail = true;
+            }
+
+            if (AddsLSR(0, 0x3c0) != 1)
+            {
+                fail = true;
+            }
+
+            if (AddsASR(-1, 0x800) != 1)
+            {
+                fail = true;
+            }
+
+            if (AddsLargeShift(-0xFF, 0x1fe0) != 1)
+            {
+                fail = true;
+            }
+
+            if (AddsLargeShift64Bit(-0x40000000000, 1) != 1)
+            {
+                fail = true;
+            }
+
+            if (fail)
+            {
+                return 101;
+            }
+            return 100;
+        }
+
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        static int Add(int a, int b)
+        {
+            //ARM64-FULL-LINE: add {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
+            return a + b;
+        }
+
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        static int AddLSL(int a, int b)
+        {
+            //ARM64-FULL-LINE: add {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, LSL #4
+            return a + (b<<4);
+        }
+
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        static int AddLSLSwap(int a, int b)
+        {
+            //ARM64-FULL-LINE: add {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, LSL #4
+            return (b<<4) + a;
+        }
+
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        static uint AddLSR(uint a, uint b)
+        {
+            //ARM64-FULL-LINE: add {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, LSR #29
+            return a + (b>>29);
+        }
+
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        static int AddASR(int a, int b)
+        {
+            //ARM64-FULL-LINE: add {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, ASR #14
+            return a + (b>>14);
+        }
+
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        static int AddLargeShift(int a, int b)
+        {
+            //ARM64-FULL-LINE: add {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, LSL #23
+            return a + (b<<183);
+        }
+
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        static long AddLargeShift64Bit(long a, long b)
+        {
+            //ARM64-FULL-LINE: add {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}, ASR #41
+            return a + (b>>169);
+        }
+
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        static int Adds(int a, int b)
+        {
+            //ARM64-FULL-LINE: adds {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
+            if (a + b == 0) {
+                return 1;
+            }
+            return -1;
+        }
+
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        static int AddsLSL(int a, int b)
+        {
+            //ARM64-FULL-LINE: adds {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, LSL #15
+            if (a + (b<<15) == 0) {
+                return 1;
+            }
+            return -1;
+        }
+
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        static int AddsLSLSwap(int a, int b)
+        {
+            //ARM64-FULL-LINE: adds {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, LSL #15
+            if ((b<<15) + a == 0) {
+                return 1;
+            }
+            return -1;
+        }
+
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        static int AddsLSR(uint a, uint b)
+        {
+            //ARM64-FULL-LINE: adds {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, LSR #6
+            if (a + (b>>6) != 0) {
+                return 1;
+            }
+            return -1;
+        }
+
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        static int AddsASR(int a, int b)
+        {
+            //ARM64-FULL-LINE: adds {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, ASR #11
+            if (a + (b>>11) == 0) {
+                return 1;
+            }
+            return -1;
+        }
+
+
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        static int AddsLargeShift(int a, int b)
+        {
+            //ARM64-FULL-LINE: adds {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}, ASR #5
+            if (a + (b>>133) == 0) {
+                return 1;
+            }
+            return -1;
+        }
+
+        [MethodImpl(MethodImplOptions.NoInlining)]
+        static long AddsLargeShift64Bit(long a, long b)
+        {
+            //ARM64-FULL-LINE: adds {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}, LSL #42
+            if (a + (b<<106) == 0) {
+                return 1;
+            }
+            return -1;
+        }
+    }
+}

src/tests/JIT/opt/InstructionCombining/Add.csproj

@@ -0,0 +1,17 @@
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <!-- Needed for CLRTestEnvironmentVariable -->
+    <RequiresProcessIsolation>true</RequiresProcessIsolation>
+  </PropertyGroup>
+  <PropertyGroup>
+    <DebugType>None</DebugType>
+    <Optimize>True</Optimize>
+  </PropertyGroup>
+  <ItemGroup>
+    <Compile Include="Add.cs">
+      <HasDisasmCheck>true</HasDisasmCheck>
+    </Compile>
+    <CLRTestEnvironmentVariable Include="DOTNET_TieredCompilation" Value="0" />
+    <CLRTestEnvironmentVariable Include="DOTNET_JITMinOpts" Value="0" />
+  </ItemGroup>
+</Project>