Fix recursive [Intrinsic]

Author: EgorBo

src/coreclr/jit/importercalls.cpp

@@ -2863,7 +2863,17 @@ GenTree* Compiler::impIntrinsic(GenTree*                newobjThis,
     if (isIntrinsic)
     {
         // The recursive non-virtual calls to Jit intrinsics are must-expand by convention.
-        mustExpand = gtIsRecursiveCall(method) && !(methodFlags & CORINFO_FLG_VIRTUAL);
+        if ((ni > NI_HW_INTRINSIC_START) && (ni < NI_SIMD_AS_HWINTRINSIC_END))
+        {
+            // Keep the previous logic for HW intrinsics. Some of the recursive calls with [Intrinsic]
+            // don't have to be expanded in JIT (e.g. various imm-able intrinsics where the imm-argument is not
+            // a constant). To remove this quirk, we need to slightly refactor the mustExpand logic for HWIntrinsics.
+            mustExpand = gtIsRecursiveCall(method) && !(methodFlags & CORINFO_FLG_VIRTUAL);
+        }
+        else
+        {
+            mustExpand = (info.compMethodHnd == method) && !(methodFlags & CORINFO_FLG_VIRTUAL);
+        }
     }
     else
     {

src/libraries/System.Private.CoreLib/src/System/Type.cs

@@ -127,20 +127,12 @@ public virtual Type[] GetGenericParameterConstraints()
         protected virtual bool IsMarshalByRefImpl() => false;
         public bool IsPrimitive
         {
-#if NATIVEAOT
-            // https://github.com/dotnet/runtime/issues/97272
-            [MethodImpl(MethodImplOptions.NoOptimization)]
-#endif
             [Intrinsic]
             get => IsPrimitiveImpl();
         }
         protected abstract bool IsPrimitiveImpl();
         public bool IsValueType
         {
-#if NATIVEAOT
-            // https://github.com/dotnet/runtime/issues/97272
-            [MethodImpl(MethodImplOptions.NoOptimization)]
-#endif
             [Intrinsic]
             get => IsValueTypeImpl();
         }