Improve managed ilasm test coverage

[jkoritzinsky]

Add feature-focused metadata and PE validation tests and fix emitter issues exposed by them.

With these unit tests (amongst others added in the stack) we can have more confidence in the managed ilasm implementation. In the future, we may even be able to move ilasm round-trip testing to an "outerloop" experience for ilasm instead of being the primary validation pipeline.

---

_{Stack created with GitHub Stacks CLI • Give Feedback 💬}

Note

This PR description was generated with GitHub Copilot.

[azure-pipelines]

Azure Pipelines:
16 pipeline(s) were filtered out due to trigger conditions.
There may be pipelines that require an authorized user to comment /azp run to run.

[azure-pipelines]

Azure Pipelines:
16 pipeline(s) were filtered out due to trigger conditions.
There may be pipelines that require an authorized user to comment /azp run to run.

[Copilot]

Pull request overview

This PR significantly expands the managed ilasm unit test suite to validate emitted metadata/PE structures (exports, resources, PDBs, signatures, marshalling, etc.), and adjusts the managed ilasm emitter/parser to satisfy the newly-covered scenarios.

Changes:

• Add many new ILAssembler.Tests cases that decode emitted metadata/PE/PDB and validate specific directives and operand forms.
• Fix/extend ilasm implementation details in GrammarVisitor (e.g., custom attribute serialization, .module handling, sequence points, callconv explicit/instance) and VTableExportPEBuilder (vtable fixup directory offset + export table layout).
• Improve test infra helpers to compile IL text and decode IL token operands/signatures more easily.

Reviewed changes

Copilot reviewed 32 out of 32 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
src/tools/ilasm/tests/ILAssembler.Tests/VTableTests.cs	Minor formatting-only change.
src/tools/ilasm/tests/ILAssembler.Tests/TypeSignatureTests.cs	Add tests for multidimensional array local signature shapes.
src/tools/ilasm/tests/ILAssembler.Tests/TypeReferenceTests.cs	Add tests for .this/.base/.nester/mdtoken type refs, module-scoped refs, typelist parsing.
src/tools/ilasm/tests/ILAssembler.Tests/TypedefTests.cs	Add tests for .typedef aliases for fields and custom attributes.
src/tools/ilasm/tests/ILAssembler.Tests/TypeDefinitionTests.cs	Add tests for type name splitting, class flags/attributes, nested types, interface impl metadata.
src/tools/ilasm/tests/ILAssembler.Tests/SourceDirectiveTests.cs	Strengthen .line/.language coverage and validate emitted embedded PDB details + string escape correctness.
src/tools/ilasm/tests/ILAssembler.Tests/SecurityTests.cs	Add extensive .permissionset emission/shape tests (incl. tolerant-mode behavior).
src/tools/ilasm/tests/ILAssembler.Tests/PropertyTests.cs	Add property attribute/accessor/signature metadata validation.
src/tools/ilasm/tests/ILAssembler.Tests/PropertyEventTests.cs	New test file covering PropertyMap/EventMap + MethodSemantics emission.
src/tools/ilasm/tests/ILAssembler.Tests/PreprocessorIntegrationTests.cs	New integration tests for nested includes, conditional compilation, multi-token macros.
src/tools/ilasm/tests/ILAssembler.Tests/ParameterTests.cs	Add tests for parameter attribute forms and raw flag parsing.
src/tools/ilasm/tests/ILAssembler.Tests/NativeExportTests.cs	New tests validating when exports are (not) emitted and verifying export directory/stubs.
src/tools/ilasm/tests/ILAssembler.Tests/ModuleTests.cs	Add tests for .file, .module extern, bare .module, and global method/module metadata + PDB.
src/tools/ilasm/tests/ILAssembler.Tests/MethodTests.cs	Add tests for method attributes/impl flags, method body directives, entrypoint token, override forms.
src/tools/ilasm/tests/ILAssembler.Tests/MemberReferenceTests.cs	Add tests for vararg MemberRef signatures, generic-instantiation MemberRefs, method spec emission.
src/tools/ilasm/tests/ILAssembler.Tests/ManifestResourceTests.cs	New tests for embedded/assembly/file-backed manifest resources + tolerant/deterministic behaviors.
src/tools/ilasm/tests/ILAssembler.Tests/InteropTests.cs	Add marshalling and P/Invoke import metadata tests (incl. complex native type payloads).
src/tools/ilasm/tests/ILAssembler.Tests/InstructionTests.cs	Add coverage for float bit-pattern literals, calli sigs, ldstr forms, switch table forms, token operands.
src/tools/ilasm/tests/ILAssembler.Tests/GenericTests.cs	Add generic parameter name/bounds/variance/custom attribute/constraint metadata tests.
src/tools/ilasm/tests/ILAssembler.Tests/FunctionPointerTests.cs	Update function pointer signature assertions to use decoded signatures; add vararg fnptr test.
src/tools/ilasm/tests/ILAssembler.Tests/FieldTests.cs	Add tests for field attribute flags, volatile/literal/nullref constant emission.
src/tools/ilasm/tests/ILAssembler.Tests/ExportedTypeTests.cs	Add tests for exported type attributes/implementations + custom attributes.
src/tools/ilasm/tests/ILAssembler.Tests/ExceptionHandlingTests.cs	Add tests validating EH region bounds/kinds for multiple clause forms.
src/tools/ilasm/tests/ILAssembler.Tests/EventTests.cs	Add tests for event raise accessor, event “other” accessor, and attribute emission.
src/tools/ilasm/tests/ILAssembler.Tests/DocumentCompilerTests.cs	New test validating diagnostics pathing across multi-document compilation in tolerant mode.
src/tools/ilasm/tests/ILAssembler.Tests/DocumentCompilerTestHelpers.cs	Add decoder + richer compile helpers and IL token operand extraction.
src/tools/ilasm/tests/ILAssembler.Tests/DataTests.cs	Add tests for .data directive typed byte emission, repeats, and class-scoped .data.
src/tools/ilasm/tests/ILAssembler.Tests/CustomAttributeTests.cs	Add broad structured custom attribute decoding tests (arrays, boxed values, owner targeting, type args).
src/tools/ilasm/tests/ILAssembler.Tests/CompilerOptionsTests.cs	New tests validating Options-driven PE/header/corflags/debug/pdb/determinism/keyfile behaviors.
src/tools/ilasm/tests/ILAssembler.Tests/AssemblyTests.cs	Add tests for assembly reference identity metadata and aliased reference/assembly attributes.
src/tools/ilasm/src/ILAssembler/VTableExportPEBuilder.cs	Fix COR header vtable fixup directory offset; refactor vtable slot serialization and export table layout.
src/tools/ilasm/src/ILAssembler/GrammarVisitor.cs	Numerous parser/emitter fixes to support new metadata/PDB/custom-attribute/directive scenarios.

Comments suppressed due to low confidence (1)

src/tools/ilasm/src/ILAssembler/GrammarVisitor.cs:2924

• Same as above: ToImmutable() copies; MoveToImmutable() can transfer the backing array without allocating, which is preferable in a potentially hot parsing path.

            return new(builder.ToImmutable().SerializeSequence());

[dotnet-policy-service]

Tagging subscribers to this area: @JulieLeeMSFT, @dotnet/jit-contrib
See info in area-owners.md if you want to be subscribed.

[Copilot]

Pull request overview

Copilot reviewed 32 out of 32 changed files in this pull request and generated no new comments.

[Copilot]

Pull request overview

Copilot reviewed 32 out of 32 changed files in this pull request and generated no new comments.

Comments suppressed due to low confidence (3)

src/tools/ilasm/tests/ILAssembler.Tests/TypeSignatureTests.cs:92

• This test assumes the locals signature is always StandAloneSig row 1. Using the method body's LocalSignature handle avoids tying the assertion to metadata row ordering.

            var signature = reader.GetStandaloneSignature(MetadataTokens.StandaloneSignatureHandle(1));

src/tools/ilasm/tests/ILAssembler.Tests/TypeSignatureTests.cs:125

• Hard-coding StandaloneSignatureHandle(1) here couples the test to metadata emission order. Use the method body's LocalSignature to make the test robust against unrelated StandAloneSig additions.

            var signature = reader.GetStandaloneSignature(MetadataTokens.StandaloneSignatureHandle(1));

src/tools/ilasm/tests/ILAssembler.Tests/TypeSignatureTests.cs:66

• This test hard-codes StandaloneSignatureHandle(1), which makes it brittle if the compiler ever emits another StandAloneSig row before the locals signature. Prefer using the method body's LocalSignature handle so the test is resilient to unrelated metadata changes.

This issue also appears in the following locations of the same file:

• line 92
• line 125

            var signature = reader.GetStandaloneSignature(MetadataTokens.StandaloneSignatureHandle(1));

[Copilot]

Pull request overview

Copilot reviewed 32 out of 32 changed files in this pull request and generated 1 comment.

Comments suppressed due to low confidence (1)

src/tools/ilasm/src/ILAssembler/GrammarVisitor.cs:5573

• In structured custom attribute encoding, a boxed object(...) value must include the SerializationTypeCode.TaggedObject (0x51) prefix, followed by the embedded value’s FieldOrPropType and value bytes. The current object(...) branch writes only the embedded type/value and omits the TaggedObject prefix, which will make decoding object arguments invalid (and can break object[] element encoding too).

            if (context.serInit() is CILParser.SerInitContext serInit)
            {
                Debug.Assert(context.OBJECT() is not null);
                BlobBuilder taggedObjectBlob = new();
                WriteCustomAttributeFieldOrPropType(taggedObjectBlob, serInit);
                taggedObjectBlob.LinkSuffix(VisitSerInit(serInit).Value);
                return new(taggedObjectBlob);

[Copilot]

Pull request overview

Copilot reviewed 32 out of 32 changed files in this pull request and generated no new comments.

Comments suppressed due to low confidence (1)

src/tools/ilasm/tests/ILAssembler.Tests/DocumentCompilerTestHelpers.cs:123

• GetTokenOperands reads the method body without validating RelativeVirtualAddress > 0, so callers get an exception from PEReader.GetMethodBody instead of a clear test failure message when the target method has no body (e.g., runtime/abstract methods). This helper already has a good pattern in GetFirstTokenOperand; it should mirror that assert for consistency and debuggability.

            var method = reader.MethodDefinitions
                .Select(reader.GetMethodDefinition)
                .First(definition => reader.GetString(definition.Name) == methodName);
            byte[] il = pe.GetMethodBody(method.RelativeVirtualAddress).GetILBytes()!;
            var operands = ImmutableArray.CreateBuilder<int>();

[Copilot]

Pull request overview

Copilot reviewed 32 out of 32 changed files in this pull request and generated no new comments.