// Copyright (c) Microsoft. All Rights Reserved. Licensed under the MIT license. See License.txt in the project root for license information. using System.Threading.Tasks; using Microsoft.CodeAnalysis.Testing; using Xunit; using VerifyCS = Test.Utilities.CSharpCodeFixVerifier< Microsoft.CodeQuality.CSharp.Analyzers.Maintainability.CSharpUseCrossPlatformIntrinsicsAnalyzer, Microsoft.CodeQuality.CSharp.Analyzers.Maintainability.CSharpUseCrossPlatformIntrinsicsFixer>; namespace Microsoft.CodeQuality.Analyzers.Maintainability.UnitTests { using static UseCrossPlatformIntrinsicsAnalyzer; public partial class CSharpUseCrossPlatformIntrinsicsTests { [Theory] [InlineData("float", "AdvSimd.Arm64.Divide")] [InlineData("double", "AdvSimd.DivideScalar")] public async Task Fixer_opDivisionArmV64Async(string type, string method) { // lang=C#-test string testCode = $$""" using System; using System.Runtime.Intrinsics; using System.Runtime.Intrinsics.Arm; class C { Vector64<{{type}}> M(Vector64<{{type}}> x, Vector64<{{type}}> y) => {|#1:{{method}}(x, y)|}; Vector64<{{type}}> R(Vector64<{{type}}> x, Vector64<{{type}}> y) => {{method}}(right: y, left: x); } """; // lang=C#-test string fixedCode = $$""" using System; using System.Runtime.Intrinsics; using System.Runtime.Intrinsics.Arm; class C { Vector64<{{type}}> M(Vector64<{{type}}> x, Vector64<{{type}}> y) => x / y; Vector64<{{type}}> R(Vector64<{{type}}> x, Vector64<{{type}}> y) => {{method}}(right: y, left: x); } """; await new VerifyCS.Test { TestCode = testCode, ExpectedDiagnostics = { VerifyCS.Diagnostic(Rules[(int)RuleKind.op_Division]).WithLocation(1), }, FixedCode = fixedCode, ReferenceAssemblies = ReferenceAssemblies.Net.Net80 }.RunAsync(); } [Theory] [InlineData("float", "AdvSimd.DivideScalar")] public async Task Fixer_opDivisionArmV64Async_NoReplacement(string type, string method) { // lang=C#-test string testCode = $$""" using System; using System.Runtime.Intrinsics; using System.Runtime.Intrinsics.Arm; class C { Vector64<{{type}}> M(Vector64<{{type}}> x, Vector64<{{type}}> y) => {{method}}(x, y); } """; // lang=C#-test string fixedCode = testCode; await new VerifyCS.Test { TestCode = testCode, ExpectedDiagnostics = { }, FixedCode = fixedCode, ReferenceAssemblies = ReferenceAssemblies.Net.Net80 }.RunAsync(); } [Theory] [InlineData("float", "AdvSimd.Arm64.Divide")] [InlineData("double", "AdvSimd.Arm64.Divide")] public async Task Fixer_opDivisionArmV128Async(string type, string method) { // lang=C#-test string testCode = $$""" using System; using System.Runtime.Intrinsics; using System.Runtime.Intrinsics.Arm; class C { Vector128<{{type}}> M(Vector128<{{type}}> x, Vector128<{{type}}> y) => {|#1:{{method}}(x, y)|}; Vector128<{{type}}> R(Vector128<{{type}}> x, Vector128<{{type}}> y) => {{method}}(right: y, left: x); } """; // lang=C#-test string fixedCode = $$""" using System; using System.Runtime.Intrinsics; using System.Runtime.Intrinsics.Arm; class C { Vector128<{{type}}> M(Vector128<{{type}}> x, Vector128<{{type}}> y) => x / y; Vector128<{{type}}> R(Vector128<{{type}}> x, Vector128<{{type}}> y) => {{method}}(right: y, left: x); } """; await new VerifyCS.Test { TestCode = testCode, ExpectedDiagnostics = { VerifyCS.Diagnostic(Rules[(int)RuleKind.op_Division]).WithLocation(1), }, FixedCode = fixedCode, ReferenceAssemblies = ReferenceAssemblies.Net.Net80 }.RunAsync(); } [Theory] [InlineData("float", "PackedSimd.Divide")] [InlineData("double", "PackedSimd.Divide")] public async Task Fixer_opDivisionWasmV128Async(string type, string method) { // lang=C#-test string testCode = $$""" using System; using System.Runtime.Intrinsics; using System.Runtime.Intrinsics.Wasm; class C { Vector128<{{type}}> M(Vector128<{{type}}> x, Vector128<{{type}}> y) => {|#1:{{method}}(x, y)|}; Vector128<{{type}}> R(Vector128<{{type}}> x, Vector128<{{type}}> y) => {{method}}(right: y, left: x); } """; // lang=C#-test string fixedCode = $$""" using System; using System.Runtime.Intrinsics; using System.Runtime.Intrinsics.Wasm; class C { Vector128<{{type}}> M(Vector128<{{type}}> x, Vector128<{{type}}> y) => x / y; Vector128<{{type}}> R(Vector128<{{type}}> x, Vector128<{{type}}> y) => {{method}}(right: y, left: x); } """; await new VerifyCS.Test { TestCode = testCode, ExpectedDiagnostics = { VerifyCS.Diagnostic(Rules[(int)RuleKind.op_Division]).WithLocation(1), }, FixedCode = fixedCode, ReferenceAssemblies = ReferenceAssemblies.Net.Net80 }.RunAsync(); } [Theory] [InlineData("float", "Sse.Divide")] [InlineData("double", "Sse2.Divide")] public async Task Fixer_opDivisionx86V128Async(string type, string method) { // lang=C#-test string testCode = $$""" using System; using System.Runtime.Intrinsics; using System.Runtime.Intrinsics.X86; class C { Vector128<{{type}}> M(Vector128<{{type}}> x, Vector128<{{type}}> y) => {|#1:{{method}}(x, y)|}; Vector128<{{type}}> R(Vector128<{{type}}> x, Vector128<{{type}}> y) => {{method}}(right: y, left: x); } """; // lang=C#-test string fixedCode = $$""" using System; using System.Runtime.Intrinsics; using System.Runtime.Intrinsics.X86; class C { Vector128<{{type}}> M(Vector128<{{type}}> x, Vector128<{{type}}> y) => x / y; Vector128<{{type}}> R(Vector128<{{type}}> x, Vector128<{{type}}> y) => {{method}}(right: y, left: x); } """; await new VerifyCS.Test { TestCode = testCode, ExpectedDiagnostics = { VerifyCS.Diagnostic(Rules[(int)RuleKind.op_Division]).WithLocation(1), }, FixedCode = fixedCode, ReferenceAssemblies = ReferenceAssemblies.Net.Net80 }.RunAsync(); } [Theory] [InlineData("float", "Avx.Divide")] [InlineData("double", "Avx.Divide")] public async Task Fixer_opDivisionx86V256Async(string type, string method) { // lang=C#-test string testCode = $$""" using System; using System.Runtime.Intrinsics; using System.Runtime.Intrinsics.X86; class C { Vector256<{{type}}> M(Vector256<{{type}}> x, Vector256<{{type}}> y) => {|#1:{{method}}(x, y)|}; Vector256<{{type}}> R(Vector256<{{type}}> x, Vector256<{{type}}> y) => {{method}}(right: y, left: x); } """; // lang=C#-test string fixedCode = $$""" using System; using System.Runtime.Intrinsics; using System.Runtime.Intrinsics.X86; class C { Vector256<{{type}}> M(Vector256<{{type}}> x, Vector256<{{type}}> y) => x / y; Vector256<{{type}}> R(Vector256<{{type}}> x, Vector256<{{type}}> y) => {{method}}(right: y, left: x); } """; await new VerifyCS.Test { TestCode = testCode, ExpectedDiagnostics = { VerifyCS.Diagnostic(Rules[(int)RuleKind.op_Division]).WithLocation(1), }, FixedCode = fixedCode, ReferenceAssemblies = ReferenceAssemblies.Net.Net80 }.RunAsync(); } [Theory] [InlineData("float", "Avx512F.Divide")] [InlineData("double", "Avx512F.Divide")] public async Task Fixer_opDivisionx86V512Async(string type, string method) { // lang=C#-test string testCode = $$""" using System; using System.Runtime.Intrinsics; using System.Runtime.Intrinsics.X86; class C { Vector512<{{type}}> M(Vector512<{{type}}> x, Vector512<{{type}}> y) => {|#1:{{method}}(x, y)|}; Vector512<{{type}}> R(Vector512<{{type}}> x, Vector512<{{type}}> y) => {{method}}(right: y, left: x); } """; // lang=C#-test string fixedCode = $$""" using System; using System.Runtime.Intrinsics; using System.Runtime.Intrinsics.X86; class C { Vector512<{{type}}> M(Vector512<{{type}}> x, Vector512<{{type}}> y) => x / y; Vector512<{{type}}> R(Vector512<{{type}}> x, Vector512<{{type}}> y) => {{method}}(right: y, left: x); } """; await new VerifyCS.Test { TestCode = testCode, ExpectedDiagnostics = { VerifyCS.Diagnostic(Rules[(int)RuleKind.op_Division]).WithLocation(1), }, FixedCode = fixedCode, ReferenceAssemblies = ReferenceAssemblies.Net.Net80 }.RunAsync(); } } } |