[TrimmableTypeMap] Generate NativeAOT ProGuard rules from DGML

[simonrozsival]

Summary

• enable R8 by default for NativeAOT trimmable typemap builds
• generate trimmable NativeAOT ProGuard keep rules after IlcCompile by intersecting retained managed type metadata from ILC scan DGML with acw-map.txt
• keep the DGML-based logic in a dedicated GenerateNativeAotProguardConfiguration task, leaving the existing linked-assembly GenerateProguardConfiguration path unchanged
• use a trimmable NativeAOT ProGuard resource for the common Xamarin rules so R8 can remove unused generated Java wrappers

Stacked on #11292
Related to dotnet/runtime#120204
Part of #10790
Part of #11052

Results

HelloWorld NativeAOT android-arm64 Release with trimmable typemap. Before is the existing default without R8 Java shrinking; after is the new default R8 behavior from this PR.

Metric	Before	After
APK size	3,638.4 kB	3,572.8 kB
classes.dex size	259.4 kB	15.2 kB
compressed classes.dex in APK	72.2 kB	7.0 kB
Java class count	364	21
Java method count	3,035	155

The HelloWorld ILC scan DGML input is 24,044,488 bytes and acw-map.txt has 27,234 lines. The generated ProGuard configuration has 49 rules.

20-run measurement on Apple M1 for the isolated GenerateNativeAotProguardConfiguration task:

Metric	Task time	Isolated MSBuild wall time
Average	377 ms	918 ms
Median	244 ms	837 ms
Min	152 ms	518 ms
Max	856 ms	1,565 ms
P90	803 ms	1,327 ms
Std dev	261 ms	287 ms

Validation

• MSBUILDDISABLENODEREUSE=1 ./dotnet-local.sh build src/Xamarin.Android.Build.Tasks/Xamarin.Android.Build.Tasks.csproj -c Debug -nr:false --nologo -v minimal
• MSBUILDDISABLENODEREUSE=1 ./dotnet-local.sh build src/Microsoft.Android.Sdk.TrimmableTypeMap/Microsoft.Android.Sdk.TrimmableTypeMap.csproj -c Debug -nr:false --nologo -v minimal
• MSBUILDDISABLENODEREUSE=1 ./dotnet-local.sh build samples/HelloWorld/HelloWorld/HelloWorld.DotNet.csproj -t:SignAndroidPackage -c Release -p:PublishAot=true -p:_AndroidTypeMapImplementation=trimmable -p:RuntimeIdentifier=android-arm64 -p:AndroidPackageFormat=apk -nr:false --nologo -v minimal

[Copilot]

Pull request overview

This PR adds a trimmable NativeAOT + R8 workflow where ProGuard/R8 keep rules are generated from NativeAOT ILC DGML scan output intersected with acw-map.txt, allowing R8 to remove unused generated Java wrappers and significantly reduce classes.dex size.

Changes:

• Generate NativeAOT-specific ProGuard rules after IlcCompile from *.scan.dgml.xml + acw-map.txt, and adjust R8 configuration generation to avoid broad keep rules in this mode.
• Extend the trimmable typemap pipeline to classify framework peers, selectively emit array typemap entries only when referenced from non-framework assemblies, and persist the list of generated typemap assemblies to stabilize incremental builds.
• Add runtime feature plumbing for IsNativeAotRuntime and adjust NativeAOT JNI initialization ordering/inputs to provide required Java peer marker classes.

Reviewed changes

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

Show a summary per file

File	Description
tests/Microsoft.Android.Sdk.TrimmableTypeMap.Tests/TestFixtures/TestTypes.cs	Adds framework-like SSL and network peer types to exercise framework JCW/peer scanning scenarios.
tests/Microsoft.Android.Sdk.TrimmableTypeMap.Tests/Scanner/JavaPeerScannerTests.cs	Adds test coverage for framework peer marking and array-entry emission behavior.
tests/Microsoft.Android.Sdk.TrimmableTypeMap.Tests/Generator/TypeMapModelBuilderTests.cs	Tests framework ACW conditionality and array-entry emission rules; updates anchor visibility assertions.
tests/Microsoft.Android.Sdk.TrimmableTypeMap.Tests/Generator/TrimmableTypeMapGeneratorTests.cs	Verifies generator can emit expected framework JCW Java sources.
src/Xamarin.Android.Build.Tasks/Xamarin.Android.D8.targets	Plumbs UseTrimmableNativeAotProguardConfiguration into the R8 task invocation.
src/Xamarin.Android.Build.Tasks/Xamarin.Android.Common.targets	Adds _AndroidTrimmableTypeMapMaxArrayRank to the property cache for incremental invalidation.
src/Xamarin.Android.Build.Tasks/Tests/Xamarin.ProjectTools/Resources/Base/BuildReleaseArm64XFormsDotNet.MonoVM.apkdesc	Updates expected APK contents/sizes after build output changes.
src/Xamarin.Android.Build.Tasks/Tests/Xamarin.ProjectTools/Resources/Base/BuildReleaseArm64SimpleDotNet.MonoVM.apkdesc	Updates expected APK contents/sizes after build output changes.
src/Xamarin.Android.Build.Tasks/Tests/Xamarin.Android.Build.Tests/TrimmableTypeMapBuildTests.cs	Adds incremental/build validation for array-rank changes and NativeAOT/CoreCLR typemap behaviors.
src/Xamarin.Android.Build.Tasks/Tests/Xamarin.Android.Build.Tests/Tasks/GenerateTrimmableTypeMapTests.cs	Adds task-level tests for generated typemap assembly list file and framework JCW emission.
src/Xamarin.Android.Build.Tasks/Tasks/R8.cs	Adds a trimmable NativeAOT mode that alters generated ProGuard config inputs and common rules.
src/Xamarin.Android.Build.Tasks/Tasks/GenerateTrimmableTypeMap.cs	Adds framework assembly classification and writes a generated-assemblies list file.
src/Xamarin.Android.Build.Tasks/Tasks/GenerateProguardConfiguration.cs	Adds DGML+ACW-map based ProGuard rule generation for NativeAOT trimmable builds.
src/Xamarin.Android.Build.Tasks/Microsoft.Android.Sdk/targets/Microsoft.Android.Sdk.TypeMap.Trimmable.targets	Persists typemap-generated assembly list and uses it for downstream item population/incremental correctness.
src/Xamarin.Android.Build.Tasks/Microsoft.Android.Sdk/targets/Microsoft.Android.Sdk.TypeMap.Trimmable.NativeAOT.targets	Hooks DGML-based ProGuard rule generation and adjusts ILC inputs for trimmable typemap NativeAOT.
src/Xamarin.Android.Build.Tasks/Microsoft.Android.Sdk/targets/Microsoft.Android.Sdk.TypeMap.LlvmIr.targets	Adds opt-out switch to skip linked-assembly ProGuard configuration generation when replaced by DGML flow.
src/Xamarin.Android.Build.Tasks/Microsoft.Android.Sdk/targets/Microsoft.Android.Sdk.NativeAOT.targets	Enables DGML generation for R8 builds, configures skip/alternate ProGuard generation, and sets runtime feature.
src/Xamarin.Android.Build.Tasks/Microsoft.Android.Sdk/targets/Microsoft.Android.Sdk.MonoVM.targets	Sets IsNativeAotRuntime=false runtime feature for MonoVM.
src/Xamarin.Android.Build.Tasks/Microsoft.Android.Sdk/targets/Microsoft.Android.Sdk.CoreCLR.targets	Sets IsNativeAotRuntime=false runtime feature for CoreCLR.
src/native/nativeaot/host/host.cc	Ensures NativeAOT host provides global refs for required Java peer marker classes during init.
src/Mono.Android/Microsoft.Android.Runtime/RuntimeFeature.cs	Adds RuntimeFeature.IsNativeAotRuntime AppContext switch.
src/Mono.Android/Android.Runtime/JNIEnvInit.cs	Refactors JNI initialization to share common state init and add NativeAOT-specific runtime initialization entrypoint.
src/Mono.Android/Android.Runtime/JNIEnv.cs	Routes unhandled exception propagation consistently for NativeAOT.
src/Mono.Android/Android.Runtime/AndroidRuntimeInternal.cs	Treats NativeAOT unhandled exceptions like the CoreCLR path.
src/Microsoft.Android.Sdk.TrimmableTypeMap/TrimmableTypeMapGenerator.cs	Passes framework assembly names into scanning and tightens JCW generation filtering logic.
src/Microsoft.Android.Sdk.TrimmableTypeMap/Scanner/JavaPeerScanner.cs	Tracks framework peers and controls array-entry emission based on cross-assembly references.
src/Microsoft.Android.Sdk.TrimmableTypeMap/Scanner/JavaPeerInfo.cs	Adds IsFrameworkAssembly and GenerateArrayEntries to peer model.
src/Microsoft.Android.Sdk.TrimmableTypeMap/Scanner/AssemblyIndex.cs	Indexes referenced types by referenced assembly to support framework peer reference detection.
src/Microsoft.Android.Sdk.TrimmableTypeMap/Generator/TypeMapAssemblyEmitter.cs	Updates documentation around __ArrayMapRank{N} anchors.
src/Microsoft.Android.Sdk.TrimmableTypeMap/Generator/RootTypeMapAssemblyGenerator.cs	Adds no-array-map initialization paths when max array rank is 0.
src/Microsoft.Android.Sdk.TrimmableTypeMap/Generator/ModelBuilder.cs	Adds additional unconditional types and prevents unconditional rooting for framework ACWs; gates array emission.
src/Microsoft.Android.Runtime.NativeAOT/Android.Runtime.NativeAOT/JavaInteropRuntime.cs	Uses the refactored JNIEnvInit initialization path and reuses common type/value manager creation helpers.

[simonrozsival]

@copilot there is a failure in CI, fix it:

[Copilot]

@copilot there is a failure in CI, fix it:

Fixed in a5277f4. The NativeAOT trimmable typemap target now filters unmanaged-entrypoint roots by assembly name instead of full generated paths, so framework typemap assemblies stay as ILC references without being exported.