Add IL verification with ILVerify in addition to PEVerify

NuGet.config

@@ -7,6 +7,7 @@
     <add key="dotnet-tools" value="https://pkgs.dev.azure.com/dnceng/public/_packaging/dotnet-tools/nuget/v3/index.json" />
     <add key="dotnet5" value="https://pkgs.dev.azure.com/dnceng/public/_packaging/dotnet5/nuget/v3/index.json" />
     <add key="dotnet6" value="https://pkgs.dev.azure.com/dnceng/public/_packaging/dotnet6/nuget/v3/index.json" />
+    <add key="dotnet7" value="https://pkgs.dev.azure.com/dnceng/public/_packaging/dotnet7/nuget/v3/index.json" />
     <add key="dotnet-public" value="https://pkgs.dev.azure.com/dnceng/public/_packaging/dotnet-public/nuget/v3/index.json" />
     <add key="nuget-build" value="https://pkgs.dev.azure.com/dnceng/public/_packaging/nuget-build/nuget/v3/index.json" />
     <add key="vssdk" value="https://pkgs.dev.azure.com/azure-public/vside/_packaging/vssdk/nuget/v3/index.json" />

eng/Versions.props

@@ -37,6 +37,7 @@
          but not higher than our minimum dogfoodable Visual Studio version, or else
          the generators we build would load on the command line but not load in IDEs. -->
     <SourceGeneratorMicrosoftCodeAnalysisVersion>3.8.0</SourceGeneratorMicrosoftCodeAnalysisVersion>
+    <MicrosoftILVerificationVersion>7.0.0-alpha.1.22060.1</MicrosoftILVerificationVersion>
   </PropertyGroup>
   <!--
     Dependency versions

src/Compilers/CSharp/Test/Emit/CodeGen/CodeGenAwaitForeachTests.cs

@@ -6161,7 +6161,7 @@ public static async IAsyncEnumerator<int> GetAsyncEnumerator(this Range range)
                 options: TestOptions.DebugExe,
                 parseOptions: TestOptions.Regular9);
             comp.VerifyDiagnostics();
-            CompileAndVerify(comp, expectedOutput: "123");
+            CompileAndVerify(comp, expectedOutput: "123", verify: Verification.FailsIlVerify);
         }
 
         [Fact]

src/Compilers/CSharp/Test/Emit/CodeGen/CodeGenDeconstructTests.cs

@@ -101,7 +101,6 @@ public void Deconstruct(out int a, out string b)
                 var right = tree.GetRoot().DescendantNodes().OfType<ObjectCreationExpressionSyntax>().Single();
                 Assert.Equal(@"new C()", right.ToString());
                 Assert.Equal("C", model.GetTypeInfo(right).Type.ToTestDisplayString());
-                Assert.Equal("C", model.GetTypeInfo(right).ConvertedType.ToTestDisplayString());
                 Assert.Equal(ConversionKind.Identity, model.GetConversion(right).Kind);
             };
 
@@ -7614,7 +7613,7 @@ static void Main()
         }
 
         [Fact]
-        void InvokeVarForLvalueInParens()
+        public void InvokeVarForLvalueInParens()
         {
             var source = @"
 class Program

src/Compilers/CSharp/Test/Emit/CodeGen/CodeGenDynamicTests.cs

@@ -9603,7 +9603,7 @@ .locals init (int V_0, //a
   IL_0066:  callvirt   ""void <>A{00000004}<System.Runtime.CompilerServices.CallSite, int, object>.Invoke(System.Runtime.CompilerServices.CallSite, ref int, object)""
   IL_006b:  ret
 }
-");
+", verify: Verification.FailsIlVerify); // ILVerify doesn't support TypedReference
         }
 
         [Fact]

src/Compilers/CSharp/Test/Emit/CodeGen/CodeGenExprLambdaTests.cs

@@ -3117,9 +3117,10 @@ public static void Main()
     }
 }";
 
+            // PEVerify: [ : Test::Main][mdToken=0x6000001][offset 0x00000009][found Native Int][expected unmanaged pointer] Unexpected type on the stack.
             var c = CompileAndVerifyUtil(text,
                 options: TestOptions.UnsafeReleaseDll,
-                verify: Verification.Fails);
+                verify: Verification.FailsPeVerify);
 
             c.VerifyDiagnostics();
         }

src/Compilers/CSharp/Test/Emit/CodeGen/CodeGenForEachTests.cs

@@ -1384,7 +1384,8 @@ ref struct DisposableEnumerator
     public bool MoveNext() { return ++x < 4; }
     public void Dispose() { System.Console.WriteLine(""Done with DisposableEnumerator""); }
 }";
-            var compilation = CompileAndVerify(source, expectedOutput: @"
+            // ILVerify: Return type is ByRef, TypedReference, ArgHandle, or ArgIterator.
+            var compilation = CompileAndVerify(source, verify: Verification.FailsIlVerify, expectedOutput: @"
 1
 2
 3
@@ -1447,7 +1448,8 @@ ref struct DisposableEnumerator
     public bool MoveNext() { return ++x < 4; }
     public void Dispose(params object[] args) { System.Console.WriteLine($""Done with DisposableEnumerator. args was {args}, length {args.Length}""); }
 }";
-            var compilation = CompileAndVerify(source, expectedOutput: @"
+            // ILVerify: Return type is ByRef, TypedReference, ArgHandle, or ArgIterator.
+            var compilation = CompileAndVerify(source, verify: Verification.FailsIlVerify, expectedOutput: @"
 1
 2
 3
@@ -1481,7 +1483,8 @@ ref struct DisposableEnumerator
     public bool MoveNext() { return ++x < 4; }
     public void Dispose(int arg = 1) { System.Console.WriteLine($""Done with DisposableEnumerator. arg was {arg}""); }
 }";
-            var compilation = CompileAndVerify(source, expectedOutput: @"
+            // ILVerify: Return type is ByRef, TypedReference, ArgHandle, or ArgIterator.
+            var compilation = CompileAndVerify(source, verify: Verification.FailsIlVerify, expectedOutput: @"
 1
 2
 3
@@ -1521,7 +1524,8 @@ static class DisposeExtension
 }
 ";
             // extension methods do not contribute to disposal
-            CompileAndVerify(source, expectedOutput: @"123");
+            // ILVerify: Return type is ByRef, TypedReference, ArgHandle, or ArgIterator.
+            CompileAndVerify(source, verify: Verification.FailsIlVerify, expectedOutput: @"123");
         }
 
         [Fact]
@@ -1561,7 +1565,8 @@ static class DisposeExtension2
 }
 ";
             // extension methods do not contribute to disposal
-            CompileAndVerify(source, expectedOutput: @"123");
+            // ILVerify: Return type is ByRef, TypedReference, ArgHandle, or ArgIterator.
+            CompileAndVerify(source, verify: Verification.FailsIlVerify, expectedOutput: @"123");
         }
 
         [Fact]
@@ -1597,7 +1602,8 @@ static class DisposeExtension
 }
 ";
             // extension methods do not contribute to disposal
-            CompileAndVerify(source, expectedOutput: @"123");
+            // ILVerify: Return type is ByRef, TypedReference, ArgHandle, or ArgIterator.
+            CompileAndVerify(source, verify: Verification.FailsIlVerify, expectedOutput: @"123");
         }
 
         [Fact]
@@ -1633,7 +1639,8 @@ static class DisposeExtension
 }
 ";
             // extension methods do not contribute to disposal
-            CompileAndVerify(source, expectedOutput: @"123");
+            // ILVerify: Return type is ByRef, TypedReference, ArgHandle, or ArgIterator.
+            CompileAndVerify(source, verify: Verification.FailsIlVerify, expectedOutput: @"123");
         }
 
         [Fact]
@@ -1729,7 +1736,8 @@ ref struct DisposableEnumerator
     public bool MoveNext() { return ++x < 4; }
     public void Dispose() { System.Console.WriteLine(""Done with DisposableEnumerator""); }
 }";
-            var compilation = CompileAndVerify(source, parseOptions: TestOptions.Regular7_3, expectedOutput: @"
+            // ILVerify: Return type is ByRef, TypedReference, ArgHandle, or ArgIterator.
+            var compilation = CompileAndVerify(source, parseOptions: TestOptions.Regular7_3, verify: Verification.FailsIlVerify, expectedOutput: @"
 1
 2
 3");
@@ -4725,7 +4733,8 @@ ref struct Enumerator
     public bool MoveNext() => Current++ != 3;
     public void Dispose() { Console.Write(""Disposed""); }
 }";
-            CompileAndVerify(source, parseOptions: TestOptions.Regular9, expectedOutput: @"123Disposed")
+            // ILVerify: Return type is ByRef, TypedReference, ArgHandle, or ArgIterator.
+            CompileAndVerify(source, parseOptions: TestOptions.Regular9, verify: Verification.FailsIlVerify, expectedOutput: @"123Disposed")
                 .VerifyIL("C.Main", @"
 {
   // Code size       45 (0x2d)

src/Compilers/CSharp/Test/Emit/CodeGen/CodeGenIncrementTests.cs

@@ -7,6 +7,7 @@
 using System;
 using System.Globalization;
 using Microsoft.CodeAnalysis.CSharp.Test.Utilities;
+using Microsoft.CodeAnalysis.Test.Utilities;
 using Roslyn.Test.Utilities;
 using Xunit;
 
@@ -1033,7 +1034,7 @@ public static void Main()
     }
 }
 ";
-            base.CompileAndVerify(source, expectedOutput: "12").
+            base.CompileAndVerify(source, verify: Verification.FailsIlVerify, expectedOutput: "12").
                 VerifyIL("Test.Main",
 @"
 {

src/Compilers/CSharp/Test/Emit/CodeGen/CodeGenMscorlib.cs

@@ -744,6 +744,12 @@ void Main()
             //IMPORTANT: we should NOT delegate E1.GetHashCode() to int.GetHashCode()
             //           it is entirely possible that Enum.GetHashCode and int.GetHashCode 
             //           have different implementations
+
+            // PEVerify:
+            // Error: Token 0x02000009 following ELEMENT_TYPE_CLASS (_VALUETYPE) in signature is a ValueType (Class,respectively).
+            // Error: Token 0x02000009 following ELEMENT_TYPE_CLASS(_VALUETYPE) in signature is a ValueType (Class, respectively).
+            // Type load failed.
+            // ILVerify: Failed to load type 'System.String' from assembly ... 
             CompileAndVerify(comp, verify: Verification.Fails).
                 VerifyIL("program.Main()",
 @"
@@ -871,6 +877,8 @@ void Main()
             //           but see the bug see VSW #396011, JIT needs references when loading
             //           fields of certain clr-ambiguous structs (only possible when building mscorlib)
 
+            // PEVerify: Type load failed.
+            // ILVerify: Failed to load type 'System.String' from assembly ... 
             CompileAndVerify(comp, verify: Verification.Fails).
                 VerifyIL("System.IntPtr..ctor(int)", @"
 {

src/Compilers/CSharp/Test/Emit/CodeGen/CodeGenOverridingAndHiding.cs

@@ -2557,7 +2557,7 @@ public static void Main()
             // from assembly 'Dev10, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'
             // is overriding a method that is not visible from that assembly.
 
-            CompileAndVerify(outerCompilation, verify: Verification.Fails).VerifyIL("Test.Main", @"
+            CompileAndVerify(outerCompilation, verify: Verification.FailsPeVerify).VerifyIL("Test.Main", @"
 {
   // Code size       65 (0x41)
   .maxstack  4

src/Compilers/CSharp/Test/Emit/CodeGen/CodeGenScriptTests.cs

@@ -554,7 +554,7 @@ public void SubmissionEntryPoint()
                 "s0.dll",
                 SyntaxFactory.ParseSyntaxTree(source0, options: TestOptions.Script),
                 references);
-            var verifier = CompileAndVerify(s0, verify: Verification.Fails);
+            var verifier = CompileAndVerify(s0, verify: Verification.FailsPeVerify);
             var methodData = verifier.TestData.GetMethodData("<Initialize>");
             Assert.Equal("System.Threading.Tasks.Task<object>", ((MethodSymbol)methodData.Method).ReturnType.ToDisplayString());
             methodData.VerifyIL(

src/Compilers/CSharp/Test/Emit/CodeGen/CodeGenShortCircuitOperatorTests.cs

@@ -5233,7 +5233,8 @@ public RefLike M()
     public ref struct RefLike{}
 }
 ";
-            var verifier = CompileAndVerify(source, options: TestOptions.DebugExe.WithAllowUnsafe(true), expectedOutput: @"---
+            // ILVerify: Return type is ByRef, TypedReference, ArgHandle, or ArgIterator.
+            var verifier = CompileAndVerify(source, verify: Verification.FailsIlVerify, options: TestOptions.DebugExe.WithAllowUnsafe(true), expectedOutput: @"---
 M
 ---
 ---");

src/Compilers/CSharp/Test/Emit/CodeGen/CodeGenStackAllocInitializerTests.cs

@@ -488,10 +488,11 @@ static void Main()
     }
 }
 ";
+            // PEVerify: [ : C::Main][mdToken=0x6000002][offset 0x00000002][found Native Int][expected unmanaged pointer] Unexpected type on the stack.
             CompileAndVerify(text,
                 parseOptions: TestOptions.Regular.WithLanguageVersion(LanguageVersion.CSharp7_3),
                 options: TestOptions.UnsafeReleaseExe,
-                verify: Verification.Fails).VerifyIL("C.Main",
+                verify: Verification.FailsPeVerify).VerifyIL("C.Main",
 @"{
   // Code size        8 (0x8)
   .maxstack  1

src/Compilers/CSharp/Test/Emit/CodeGen/CodeGenStructsAndEnum.cs

@@ -259,7 +259,8 @@ static void Main(string[] args)
     }
 }
 ";
-            var compilation = CompileAndVerify(source, expectedOutput: @"");
+            // ILVerify: Unexpected type on the stack. { Offset = 20, Found = readonly address of '[...]S1', Expected = address of '[...]S1' }
+            var compilation = CompileAndVerify(source, verify: Verification.FailsIlVerify, expectedOutput: @"");
 
             compilation.VerifyIL("S1.Equals(object)",
 @"
@@ -448,7 +449,8 @@ static void Main()
     }
 }
 ";
-            var compilation = CompileAndVerify(source, expectedOutput: @"
+            // ILVerify: Unexpected type on the stack. { Offset = 31, Found = readonly address of '[...]NS.N2.S`2<string,uint8>', Expected = address of '[...]NS.N2.S`2<string,uint8>' }
+            var compilation = CompileAndVerify(source, verify: Verification.FailsIlVerify, expectedOutput: @"
 Abc
 255
 q");
@@ -2365,8 +2367,8 @@ static void Main(string[] args)
     }
 
 ";
-
-            var compilation = CompileAndVerify(source, expectedOutput: "0");
+            // ILVerify: Unexpected type on the stack. { Offset = 10, Found = readonly address of '[...]C1', Expected = address of '[...]C1' }
+            var compilation = CompileAndVerify(source, verify: Verification.FailsIlVerify, expectedOutput: "0");
 
             compilation.VerifyIL("Program.Main",
 @"

src/Compilers/CSharp/Test/Emit/CodeGen/CodeGenTests.cs

@@ -77,7 +77,8 @@ static void Main(object[] args)
         Console.WriteLine((((DoubleAndStruct)args[0]).y).x);
     }
 }";
-            var result = CompileAndVerify(source, options: TestOptions.DebugDll);
+            // ILVerify: Unexpected type on the stack. { Offset = 59, Found = readonly address of '[...]DoubleAndStruct', Expected = address of '[...]DoubleAndStruct' }
+            var result = CompileAndVerify(source, verify: Verification.FailsIlVerify, options: TestOptions.DebugDll);
 
             result.VerifyIL("Program.Main(object[])",
 @"
@@ -164,7 +165,8 @@ static void Main(object[] args)
         Console.WriteLine(((((OuterStruct)args[0]).z).y).x);
     }
 }";
-            var result = CompileAndVerify(source, options: TestOptions.DebugDll);
+            // ILVerify: Unexpected type on the stack. { Offset = 34, Found = readonly address of '[...]OuterStruct', Expected = address of '[...]OuterStruct' }
+            var result = CompileAndVerify(source, verify: Verification.FailsIlVerify, options: TestOptions.DebugDll);
 
             result.VerifyIL("Program.Main(object[])",
 @"
@@ -4359,7 +4361,7 @@ public static void M<T>()
         Callee3<T>(default(T), default(T));
     }
 }
-", verify: Verification.Fails, options: TestOptions.ReleaseExe);
+", verify: Verification.FailsPeVerify, options: TestOptions.ReleaseExe);
             verifier.VerifyIL("Program.M<T>()",
 @"{
   // Code size      297 (0x129)
@@ -4492,7 +4494,7 @@ public static void M<T>()
         Callee3<string>();
     }
 }
-", verify: Verification.Fails, options: TestOptions.ReleaseExe);
+", verify: Verification.FailsPeVerify, options: TestOptions.ReleaseExe);
             verifier.VerifyIL("Program.M<T>()",
 @"{
   // Code size       34 (0x22)
@@ -5259,6 +5261,12 @@ static void Test<T>(in T r)
         }
     }";
 
+            // PEVerify:
+            // [ : Program::GetElementRef[T]][mdToken=0x6000004][offset 0x00000009][found readonly address of ref ][expected address of ref ] Unexpected type on the stack.
+            // [ : Program::GetElementRef[T]][mdToken= 0x6000004][offset 0x00000017][found readonly address of ref ][expected address of ref ] Unexpected type on the stack.
+            // ILVerify:
+            // Unexpected type on the stack. { Offset = 9, Found = readonly address of 'T', Expected = address of 'T' }
+            // Unexpected type on the stack. { Offset = 23, Found = readonly address of 'T', Expected = address of 'T' }
             var compilation = CompileAndVerify(source, expectedOutput: @"hihi", verify: Verification.Fails);
 
             var expectedIL = @"
@@ -10458,7 +10466,7 @@ static void Main()
                 Diagnostic(ErrorCode.WRN_ExternMethodNoImplementation, "Goo").WithArguments("Test.Goo()"));
 
             // NOTE: the resulting IL is unverifiable, but not an error for compat reasons
-            CompileAndVerify(comp, verify: Verification.Fails).VerifyIL("Test.Main",
+            CompileAndVerify(comp, verify: Verification.FailsPeVerify).VerifyIL("Test.Main",
                 @"
 {
   // Code size       11 (0xb)
@@ -13322,7 +13330,6 @@ private void PrintArgList(ArgIterator args)
             }
         }
     }
-
 }
 ";
             var compilation = CompileAndVerify(
@@ -17216,7 +17223,7 @@ static async Task<object> MethodAsync()
 System.Threading.Tasks.Task`1[System.Object]
 Success
 True
-").VerifyDiagnostics();
+", verify: Verification.FailsIlVerify).VerifyDiagnostics();
         }
     }
 }

src/Compilers/CSharp/Test/Emit/CodeGen/CodeGenTupleTest.cs

@@ -10,6 +10,7 @@
 using System.Globalization;
 using System.Linq;
 using System.Reflection.Metadata;
+using System.Reflection.PortableExecutable;
 using System.Text;
 using Microsoft.CodeAnalysis.CSharp.Symbols;
 using Microsoft.CodeAnalysis.CSharp.Symbols.Metadata.PE;

src/Compilers/CSharp/Test/Emit/CodeGen/DestructorTests.cs

@@ -698,7 +698,7 @@ public class B : A
                 Diagnostic(ErrorCode.WRN_FinalizeMethod, "Finalize"));
 
             // We produce unverifiable code here as per bug resolution (compat concerns, not common case).
-            CompileAndVerify(compilation, verify: Verification.Fails).VerifyIL("B.Finalize",
+            CompileAndVerify(compilation, verify: Verification.FailsPeVerify).VerifyIL("B.Finalize",
 
                 @"
 {

src/Compilers/CSharp/Test/Emit/CodeGen/SwitchTests.cs

@@ -4106,8 +4106,10 @@ static void Main()
                 source: new[] { Parse(text) },
                 references: new[] { AacorlibRef });
 
-
-            var verifier = CompileAndVerify(comp, verify: Verification.Fails);
+            // PEVerify:
+            // Error: Assembly name contains leading spaces or path or extension.
+            // Type load failed.
+            var verifier = CompileAndVerify(comp, verify: Verification.FailsPeVerify);
             verifier.VerifyIL("Program.Main", @"
 {
   // Code size      223 (0xdf)