Fix interpreter jmp to pinvoke (#121329)

The interpreter compiler ignores tail call prefix for tail calls (and
jmp) to pinvokes that are not marshalled. But it is not injecting "ret"
IR opcode after the call returns, which results in BADCODE reported by
the compiler.

There are several coreclr tests in the JIT/jit64/mcc/interop that fail
due to that.

This change adds injecting proper form of "ret" IR opcode after such
calls.

Author: janvorli

src/coreclr/interpreter/compiler.cpp

@@ -4183,6 +4183,7 @@ void InterpCompiler::EmitCall(CORINFO_RESOLVED_TOKEN* pConstrainedToken, bool re
     int32_t newObjDVar = -1;
     InterpType ctorType = InterpTypeO;
     int32_t vtsize = 0;
+    bool injectRet = false;
 
     if (newObjThisArgLocation != INT_MAX)
     {
@@ -4393,7 +4394,11 @@ void InterpCompiler::EmitCall(CORINFO_RESOLVED_TOKEN* pConstrainedToken, bool re
             {
                 // Tail call target needs to be IL
                 if (tailcall && isPInvoke && !isMarshaledPInvoke)
+                {
                     tailcall = false;
+                    // We need to inject ret after a jmp when we can't use a tail call
+                    injectRet = isJmp;
+                }
 
                 // Normal call
                 InterpOpcode opcode;
@@ -4530,6 +4535,28 @@ void InterpCompiler::EmitCall(CORINFO_RESOLVED_TOKEN* pConstrainedToken, bool re
     m_pLastNewIns->info.pCallInfo = (InterpCallInfo*)AllocMemPool0(sizeof (InterpCallInfo));
     m_pLastNewIns->info.pCallInfo->pCallArgs = callArgs;
 
+    if (injectRet)
+    {
+        // Jmp to PInvoke was converted to normal pinvoke, so we need to inject a ret after the call
+        switch (GetInterpType(callInfo.sig.retType))
+        {
+            case InterpTypeVT:
+            {
+                AddIns(INTOP_RET_VT);
+                m_pLastNewIns->SetSVar(dVar);
+                m_pLastNewIns->data[0] = m_pVars[dVar].size;
+                break;
+            }
+            case InterpTypeVoid:
+                AddIns(INTOP_RET_VOID);
+                break;
+            default:
+                AddIns(INTOP_RET);
+                m_pLastNewIns->SetSVar(dVar);
+                break;
+        }
+    }
+
     m_ip += 5;
 }