Skip to content

Integration of changes in shared files from runtimelab/NativeAOT #61655

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jkotas merged 8 commits into from
Nov 19, 2021
Merged

Integration of changes in shared files from runtimelab/NativeAOT #61655

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
699d0f4
Integration of changes in shared files from runtimelab/NativeAOT
MichalStrehovsky Nov 16, 2021
800cf0e
Fix test failures
MichalStrehovsky Nov 18, 2021
24edc80
Fix universal canon
MichalStrehovsky Nov 18, 2021
a706a05
Sigh
MichalStrehovsky Nov 18, 2021
c4b74ba
Revert "Sigh"
MichalStrehovsky Nov 18, 2021
0bc3512
Revert "Fix universal canon"
MichalStrehovsky Nov 18, 2021
896634c
Revert "Fix test failures"
MichalStrehovsky Nov 18, 2021
907db28
Undo change
MichalStrehovsky Nov 18, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Revert "Fix test failures" 
This reverts commit 800cf0e.
  • Loading branch information
@MichalStrehovsky
MichalStrehovsky committed Nov 18, 2021
commit 896634c232c2807977e5f71664c41eef93a2fbe3
4 changes: 2 additions & 2 deletions src/coreclr/tools/Common/TypeSystem/Common/MetadataFieldLayoutAlgorithm.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -174,8 +174,8 @@ protected virtual ComputedInstanceFieldLayout ComputeInstanceFieldLayout(Metadat
return ComputeExplicitFieldLayout(type, numInstanceFields);
}
// Sequential layout has to be respected for blittable types only. We use approximation and respect it for
// all types without GC references (ie C# unmanaged types). Universal canonical instances might be blittable.
else if (type.IsSequentialLayout && (type.IsCanonicalSubtype(CanonicalFormKind.Universal) || !type.ContainsGCPointers))
// all types without GC references (ie C# unmanaged types).
else if (type.IsSequentialLayout && !type.ContainsGCPointers)
{
return ComputeSequentialFieldLayout(type, numInstanceFields);
}
Expand Down
14 changes: 7 additions & 7 deletions .../tools/aot/ILCompiler.TypeSystem.ReadyToRun.Tests/ArchitectureSpecificFieldLayoutTests.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -99,19 +99,19 @@ public void TestAlignmentBehavior_LongIntEnumStruct()

Assert.Equal(0x20, tX64.InstanceByteCountUnaligned.AsInt);
Assert.Equal(0x20, tARM.InstanceByteCountUnaligned.AsInt);
Assert.Equal(0x18, tX86.InstanceByteCountUnaligned.AsInt);
Assert.Equal(0x20, tX86.InstanceByteCountUnaligned.AsInt);

Assert.Equal(0x20, tX64.InstanceByteCount.AsInt);
Assert.Equal(0x20, tARM.InstanceByteCount.AsInt);
Assert.Equal(0x18, tX86.InstanceByteCount.AsInt);
Assert.Equal(0x20, tX86.InstanceByteCount.AsInt);

Assert.Equal(0x8, tX64.InstanceFieldAlignment.AsInt);
Assert.Equal(0x8, tARM.InstanceFieldAlignment.AsInt);
Assert.Equal(0x4, tX86.InstanceFieldAlignment.AsInt);
Assert.Equal(0x8, tX86.InstanceFieldAlignment.AsInt);

Assert.Equal(0x20, tX64.InstanceFieldSize.AsInt);
Assert.Equal(0x20, tARM.InstanceFieldSize.AsInt);
Assert.Equal(0x18, tX86.InstanceFieldSize.AsInt);
Assert.Equal(0x20, tX86.InstanceFieldSize.AsInt);

Assert.Equal(0x0, tX64.GetField("_1").Offset.AsInt);
Assert.Equal(0x0, tARM.GetField("_1").Offset.AsInt);
Expand All @@ -123,18 +123,18 @@ public void TestAlignmentBehavior_LongIntEnumStruct()

Assert.Equal(0x10, tX64.GetField("_3").Offset.AsInt);
Assert.Equal(0x10, tARM.GetField("_3").Offset.AsInt);
Assert.Equal(0xC, tX86.GetField("_3").Offset.AsInt);
Assert.Equal(0x10, tX86.GetField("_3").Offset.AsInt);

Assert.Equal(0x18, tX64.GetField("_4").Offset.AsInt);
Assert.Equal(0x18, tARM.GetField("_4").Offset.AsInt);
Assert.Equal(0x14, tX86.GetField("_4").Offset.AsInt);
Assert.Equal(0x18, tX86.GetField("_4").Offset.AsInt);

MetadataType tX64FieldStruct = _testModuleX64.GetType(_namespace, _type + "FieldStruct");
MetadataType tX86FieldStruct = _testModuleX86.GetType(_namespace, _type + "FieldStruct");
MetadataType tARMFieldStruct = _testModuleARM.GetType(_namespace, _type + "FieldStruct");

Assert.Equal(0x8, tX64FieldStruct.GetField("_struct").Offset.AsInt);
Assert.Equal(0x4, tX86FieldStruct.GetField("_struct").Offset.AsInt);
Assert.Equal(0x8, tX86FieldStruct.GetField("_struct").Offset.AsInt);
Assert.Equal(0x8, tARMFieldStruct.GetField("_struct").Offset.AsInt);
}

Expand Down
8 changes: 4 additions & 4 deletions src/coreclr/tools/aot/ILCompiler.TypeSystem.ReadyToRun.Tests/GCPointerMapTests.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,13 +41,13 @@ public void TestInstanceMap()
{
var map = GCPointerMap.FromInstanceLayout(classWithStringField);
Assert.Equal(4, map.Size);
Assert.Equal("0100", map.ToString());
Assert.Equal("0010", map.ToString());
}

{
var map = GCPointerMap.FromInstanceLayout(mixedStruct);
Assert.Equal(5, map.Size);
Assert.Equal("11000", map.ToString());
Assert.Equal("01001", map.ToString());
}

{
Expand All @@ -60,13 +60,13 @@ public void TestInstanceMap()
{
var map = GCPointerMap.FromInstanceLayout(doubleMixedStructLayout);
Assert.Equal(10, map.Size);
Assert.Equal("1100011000", map.ToString());
Assert.Equal("0100101001", map.ToString());
}

{
var map = GCPointerMap.FromInstanceLayout(explicitlyFarPointer);
Assert.Equal(117, map.Size);
Assert.Equal("100000000000000000000000000000000000000000000000000000000000000010000000000000001000000000000000000000000000000011000", map.ToString());
Assert.Equal("100000000000000000000000000000000000000000000000000000000000000010000000000000001000000000000000000000000000000001001", map.ToString());
}

{
Expand Down
26 changes: 13 additions & 13 deletions src/coreclr/tools/aot/ILCompiler.TypeSystem.ReadyToRun.Tests/InstanceFieldLayoutTests.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -150,22 +150,22 @@ public void TestSequentialTypeLayout()
switch (f.Name)
{
case "MyInt":
Assert.Equal(0x20, f.Offset.AsInt);
Assert.Equal(0x8, f.Offset.AsInt);
break;
case "MyBool":
Assert.Equal(0x26, f.Offset.AsInt);
Assert.Equal(0xC, f.Offset.AsInt);
break;
case "MyChar":
Assert.Equal(0x24, f.Offset.AsInt);
Assert.Equal(0xE, f.Offset.AsInt);
break;
case "MyString":
Assert.Equal(0x8, f.Offset.AsInt);
Assert.Equal(0x10, f.Offset.AsInt);
break;
case "MyByteArray":
Assert.Equal(0x10, f.Offset.AsInt);
Assert.Equal(0x18, f.Offset.AsInt);
break;
case "MyClass1SelfRef":
Assert.Equal(0x18, f.Offset.AsInt);
Assert.Equal(0x20, f.Offset.AsInt);
break;
default:
Assert.True(false);
Expand Down Expand Up @@ -226,19 +226,19 @@ public void TestSequentialTypeLayoutStruct()
switch (f.Name)
{
case "b1":
Assert.Equal(0xC, f.Offset.AsInt);
Assert.Equal(0x0, f.Offset.AsInt);
break;
case "b2":
Assert.Equal(0xD, f.Offset.AsInt);
Assert.Equal(0x1, f.Offset.AsInt);
break;
case "b3":
Assert.Equal(0xE, f.Offset.AsInt);
Assert.Equal(0x2, f.Offset.AsInt);
break;
case "i1":
Assert.Equal(0x8, f.Offset.AsInt);
Assert.Equal(0x4, f.Offset.AsInt);
break;
case "s1":
Assert.Equal(0x0, f.Offset.AsInt);
Assert.Equal(0x8, f.Offset.AsInt);
break;
default:
Assert.True(false);
Expand Down Expand Up @@ -269,10 +269,10 @@ public void TestSequentialTypeLayoutStructEmbedded()
switch (f.Name)
{
case "MyStruct0":
Assert.Equal(0x8, f.Offset.AsInt);
Assert.Equal(0x0, f.Offset.AsInt);
break;
case "MyBool":
Assert.Equal(0x0, f.Offset.AsInt);
Assert.Equal(0x10, f.Offset.AsInt);
break;
default:
Assert.True(false);
Expand Down