Skip to content

Commit

Permalink
Add EnC tests.
Browse files Browse the repository at this point in the history
  • Loading branch information
@pawchen
pawchen committed Jan 1, 2022
1 parent b6c09d6 commit b26d098
Showing 1 changed file with 321 additions and 0 deletions.
321 changes: 321 additions & 0 deletions src/Compilers/CSharp/Test/Emit2/Emit/EditAndContinue/EditAndContinueDelegateCacheTests.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@

using System;
using System.Collections.Generic;
using System.Collections.Immutable;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
Expand All @@ -20,4 +21,324 @@ namespace Microsoft.CodeAnalysis.CSharp.EditAndContinue.UnitTests;

public class EditAndContinueDelegateCacheTests : EditAndContinueTestBase
{
[Fact]
public void TargetChanged0()
{
var source0 = @"
class C
{
static int Target0() => 0;
static int Target1() => 1;
System.Func<int> F() => Target0;
}
";
var source1 = @"
class C
{
static int Target0() => 0;
static int Target1() => 1;
System.Func<int> F() => Target1;
}
";
var compilation0 = CreateCompilation(source0);
var compilation1 = compilation0.WithSource(source1);

Assert.Equal(compilation0.LanguageVersion, compilation1.LanguageVersion);

var f0 = compilation0.GetMember<MethodSymbol>("C.F");
var f1 = compilation1.GetMember<MethodSymbol>("C.F");

var v0 = CompileAndVerify(compilation0);
using var moduleData0 = ModuleMetadata.CreateFromImage(v0.EmittedAssemblyData);
var methodData0 = v0.TestData.GetMethodData("C.F");

var generation0 = EmitBaseline.CreateInitialBaseline(moduleData0, methodData0.EncDebugInfoProvider());
var diff1 = compilation1.EmitDifference(
generation0,
ImmutableArray.Create(
SemanticEdit.Create(SemanticEditKind.Update, f0, f1, preserveLocalVariables: true)));

diff1.EmitResult.Diagnostics.Verify();
diff1.VerifyIL("C.F", @"
{
// Code size 28 (0x1c)
.maxstack 2
IL_0000: ldsfld ""System.Func<int> C.<>O#1.<0>__Target1""
IL_0005: dup
IL_0006: brtrue.s IL_001b
IL_0008: pop
IL_0009: ldnull
IL_000a: ldftn ""int C.Target1()""
IL_0010: newobj ""System.Func<int>..ctor(object, System.IntPtr)""
IL_0015: dup
IL_0016: stsfld ""System.Func<int> C.<>O#1.<0>__Target1""
IL_001b: ret
}
");

var reader0 = moduleData0.MetadataReader;
var reader1 = diff1.GetMetadata().Reader;

CheckNames(reader0, reader0.GetTypeDefNames(), "<Module>", "C", "<>O");
CheckNames(new[] { reader0, reader1 }, reader1.GetTypeDefNames(), "<>O#1");
}

[Fact]
public void TargetChanged1()
{
var source0 = @"
class C<T>
{
static int Target0<G>() => 0;
static int Target1<G>() => 1;
System.Func<int> F() => Target0<T>;
}
";
var source1 = @"
class C<T>
{
static int Target0<G>() => 0;
static int Target1<G>() => 1;
System.Func<int> F() => Target1<T>;
}
";
var compilation0 = CreateCompilation(source0);
var compilation1 = compilation0.WithSource(source1);

Assert.Equal(compilation0.LanguageVersion, compilation1.LanguageVersion);

var f0 = compilation0.GetMember<MethodSymbol>("C.F");
var f1 = compilation1.GetMember<MethodSymbol>("C.F");

var v0 = CompileAndVerify(compilation0);
using var moduleData0 = ModuleMetadata.CreateFromImage(v0.EmittedAssemblyData);
var methodData0 = v0.TestData.GetMethodData("C<T>.F");

var generation0 = EmitBaseline.CreateInitialBaseline(moduleData0, methodData0.EncDebugInfoProvider());
var diff1 = compilation1.EmitDifference(
generation0,
ImmutableArray.Create(
SemanticEdit.Create(SemanticEditKind.Update, f0, f1, preserveLocalVariables: true)));

diff1.EmitResult.Diagnostics.Verify();
diff1.VerifyIL("C<T>.F", @"
{
// Code size 28 (0x1c)
.maxstack 2
IL_0000: ldsfld ""System.Func<int> C<T>.<>O#1.<0>__Target1""
IL_0005: dup
IL_0006: brtrue.s IL_001b
IL_0008: pop
IL_0009: ldnull
IL_000a: ldftn ""int C<T>.Target1<T>()""
IL_0010: newobj ""System.Func<int>..ctor(object, System.IntPtr)""
IL_0015: dup
IL_0016: stsfld ""System.Func<int> C<T>.<>O#1.<0>__Target1""
IL_001b: ret
}
");

var reader0 = moduleData0.MetadataReader;
var reader1 = diff1.GetMetadata().Reader;

CheckNames(reader0, reader0.GetTypeDefNames(), "<Module>", "C`1", "<>O");
CheckNames(new[] { reader0, reader1 }, reader1.GetTypeDefNames(), "<>O#1");
}

[Fact]
public void TargetChanged2()
{
var source0 = @"
class C<T>
{
static int Target0<G>() => 0;
static int Target1<G>() => 1;
System.Func<int> F<G>() => Target0<T>;
}
";
var source1 = @"
class C<T>
{
static int Target0<G>() => 0;
static int Target1<G>() => 1;
System.Func<int> F<G>() => Target1<T>;
}
";
var compilation0 = CreateCompilation(source0);
var compilation1 = compilation0.WithSource(source1);

Assert.Equal(compilation0.LanguageVersion, compilation1.LanguageVersion);

var f0 = compilation0.GetMember<MethodSymbol>("C.F");
var f1 = compilation1.GetMember<MethodSymbol>("C.F");

var v0 = CompileAndVerify(compilation0);
using var moduleData0 = ModuleMetadata.CreateFromImage(v0.EmittedAssemblyData);
var methodData0 = v0.TestData.GetMethodData("C<T>.F<G>");

var generation0 = EmitBaseline.CreateInitialBaseline(moduleData0, methodData0.EncDebugInfoProvider());
var diff1 = compilation1.EmitDifference(
generation0,
ImmutableArray.Create(
SemanticEdit.Create(SemanticEditKind.Update, f0, f1, preserveLocalVariables: true)));

diff1.EmitResult.Diagnostics.Verify();
diff1.VerifyIL("C<T>.F<G>", @"
{
// Code size 28 (0x1c)
.maxstack 2
IL_0000: ldsfld ""System.Func<int> C<T>.<>O#1.<0>__Target1""
IL_0005: dup
IL_0006: brtrue.s IL_001b
IL_0008: pop
IL_0009: ldnull
IL_000a: ldftn ""int C<T>.Target1<T>()""
IL_0010: newobj ""System.Func<int>..ctor(object, System.IntPtr)""
IL_0015: dup
IL_0016: stsfld ""System.Func<int> C<T>.<>O#1.<0>__Target1""
IL_001b: ret
}
");

var reader0 = moduleData0.MetadataReader;
var reader1 = diff1.GetMetadata().Reader;

CheckNames(reader0, reader0.GetTypeDefNames(), "<Module>", "C`1", "<>O");
CheckNames(new[] { reader0, reader1 }, reader1.GetTypeDefNames(), "<>O#1");
}

[Fact]
public void TargetChanged3()
{
var source0 = @"
class C<T>
{
static int Target0<G>() => 0;
static int Target1<G>() => 1;
System.Func<int> F<G>() => Target0<T>;
}
";
var source1 = @"
class C<T>
{
static int Target0<G>() => 0;
static int Target1<G>() => 1;
System.Func<int> F<G>() => Target1<G>;
}
";
var compilation0 = CreateCompilation(source0);
var compilation1 = compilation0.WithSource(source1);

Assert.Equal(compilation0.LanguageVersion, compilation1.LanguageVersion);

var f0 = compilation0.GetMember<MethodSymbol>("C.F");
var f1 = compilation1.GetMember<MethodSymbol>("C.F");

var v0 = CompileAndVerify(compilation0);
using var moduleData0 = ModuleMetadata.CreateFromImage(v0.EmittedAssemblyData);
var methodData0 = v0.TestData.GetMethodData("C<T>.F<G>");

var generation0 = EmitBaseline.CreateInitialBaseline(moduleData0, methodData0.EncDebugInfoProvider());
var diff1 = compilation1.EmitDifference(
generation0,
ImmutableArray.Create(
SemanticEdit.Create(SemanticEditKind.Update, f0, f1, preserveLocalVariables: true)));

diff1.EmitResult.Diagnostics.Verify();
diff1.VerifyIL("C<T>.F<G>", @"
{
// Code size 28 (0x1c)
.maxstack 2
IL_0000: ldsfld ""System.Func<int> C<T>.<F>O__2_0#1<G>.<0>__Target1""
IL_0005: dup
IL_0006: brtrue.s IL_001b
IL_0008: pop
IL_0009: ldnull
IL_000a: ldftn ""int C<T>.Target1<G>()""
IL_0010: newobj ""System.Func<int>..ctor(object, System.IntPtr)""
IL_0015: dup
IL_0016: stsfld ""System.Func<int> C<T>.<F>O__2_0#1<G>.<0>__Target1""
IL_001b: ret
}
");

var reader0 = moduleData0.MetadataReader;
var reader1 = diff1.GetMetadata().Reader;

CheckNames(reader0, reader0.GetTypeDefNames(), "<Module>", "C`1", "<>O");
CheckNames(new[] { reader0, reader1 }, reader1.GetTypeDefNames(), "<F>O__2_0#1`1");
}

[Fact]
public void TargetChanged4()
{
var source0 = @"
class C<T>
{
static int Target0<G>() => 0;
static int Target1<G>() => 1;
System.Func<int> F<G>() => Target0<G>;
}
";
var source1 = @"
class C<T>
{
static int Target0<G>() => 0;
static int Target1<G>() => 1;
System.Func<int> F<G>() => Target1<G>;
}
";
var compilation0 = CreateCompilation(source0);
var compilation1 = compilation0.WithSource(source1);

Assert.Equal(compilation0.LanguageVersion, compilation1.LanguageVersion);

var f0 = compilation0.GetMember<MethodSymbol>("C.F");
var f1 = compilation1.GetMember<MethodSymbol>("C.F");

var v0 = CompileAndVerify(compilation0);
using var moduleData0 = ModuleMetadata.CreateFromImage(v0.EmittedAssemblyData);
var methodData0 = v0.TestData.GetMethodData("C<T>.F<G>");

var generation0 = EmitBaseline.CreateInitialBaseline(moduleData0, methodData0.EncDebugInfoProvider());
var diff1 = compilation1.EmitDifference(
generation0,
ImmutableArray.Create(
SemanticEdit.Create(SemanticEditKind.Update, f0, f1, preserveLocalVariables: true)));

diff1.EmitResult.Diagnostics.Verify();
diff1.VerifyIL("C<T>.F<G>", @"
{
// Code size 28 (0x1c)
.maxstack 2
IL_0000: ldsfld ""System.Func<int> C<T>.<F>O__2_0#1<G>.<0>__Target1""
IL_0005: dup
IL_0006: brtrue.s IL_001b
IL_0008: pop
IL_0009: ldnull
IL_000a: ldftn ""int C<T>.Target1<G>()""
IL_0010: newobj ""System.Func<int>..ctor(object, System.IntPtr)""
IL_0015: dup
IL_0016: stsfld ""System.Func<int> C<T>.<F>O__2_0#1<G>.<0>__Target1""
IL_001b: ret
}
");

var reader0 = moduleData0.MetadataReader;
var reader1 = diff1.GetMetadata().Reader;

CheckNames(reader0, reader0.GetTypeDefNames(), "<Module>", "C`1", "<F>O__2_0`1");
CheckNames(new[] { reader0, reader1 }, reader1.GetTypeDefNames(), "<F>O__2_0#1`1");
}

}

0 comments on commit b26d098

Please sign in to comment.