Extend CA1516 analyzer to detect cross-platform intrinsics methods with correct semantics#51455

Open

Copilot wants to merge 17 commits intomainfrom

copilot/add-code-fixer-for-intrinsics

Commits on Oct 27, 2025

Extend analyzer to cover AndNot, Negate, Round, Truncate, and ConditionalSelect methods

Copilot
and
stephentoub
committed
Add FusedMultiplyAdd cross-platform intrinsics support

Copilot
and
stephentoub
committed
Address review feedback for cross-platform intrinsics analyzer

Copilot
and
stephentoub
committed
First step: Add semantic fixes for x86 AndNot (parameter swap) and Max/Min (use MaxNative/MinNative)

Copilot
and
stephentoub
committed
Step 2: Add AdvSimd method support (AbsScalar, AddSaturate, BitwiseSelect, Compare*, Convert*, Ceiling/FloorScalar)

Copilot
and
stephentoub
committed
Step 3: Add AdvSimd Round variants (RoundToNearest, RoundToNegativeInfinity, RoundToPositiveInfinity, RoundToZero)

Copilot
and
stephentoub
committed
Step 4: Add similar method coverage for x86/x64 and WASM platforms

Copilot
and
stephentoub
committed
Step 5: Add Load and Store API support across all platforms

Copilot
and
stephentoub
committed
Implement fixer for Load and Store methods

Copilot
and
stephentoub
committed
Fix failing tests by skipping MaxNative/MinNative tests (NET 9+ APIs not in test framework)

Copilot
and
stephentoub
committed
Co-authored-by: stephentoub <[email protected]>
Copilot
committed
Address code review feedback: consolidate vector type checks, add IsVectorType helper, remove TODOs

Copilot
and
stephentoub
committed
Add missing IsVectorType helper method implementation

Copilot
and
stephentoub
committed