Skip to content

Move generic inference/specialization family into MLIRGenGenerics.cpp (review doc 1)#220

Merged
ASDAlexander77 merged 1 commit into
mainfrom
refactor/mlirgen-tu-split-generics
Jul 13, 2026
Merged

Move generic inference/specialization family into MLIRGenGenerics.cpp (review doc 1)#220
ASDAlexander77 merged 1 commit into
mainfrom
refactor/mlirgen-tu-split-generics

Conversation

@ASDAlexander77

Copy link
Copy Markdown
Owner

Fourth mechanical slice of the §1 TU split from docs/MLIRGen-refactoring-review.md (follows #217, #218, #219).

What

  • MLIRGenGenerics.cpp (new): the contiguous generic-type machinery — the tryInfer* family, inferType/inferTypeFuncType, instantiateSpecializedFunction (both overloads), instantiateSpecializedClassType/InterfaceType, resolveGenericParam(s)FromFunctionCall, appendInferredTypes, mlirGenSpecialized, and the two specialization mlirGen wrappers (26 methods, ~1,400 lines) — defined out-of-line.
  • MLIRGenImpl.h shrinks from 21,225 to 19,909 lines.
  • The template member tryInferTupleFields<T> stays inline in the header.

Same mechanical recipe as the previous slices: bodies byte-identical, MLIRGenImpl:: qualification added, default arguments stay on declarations only.

Verification

  • Debug build clean.
  • MLIRGenTests 12/12.
  • Full ctest suite: 681/681 (339 JIT + 342 AOT).

🤖 Generated with Claude Code

@ASDAlexander77 ASDAlexander77 merged commit fda02b2 into main Jul 13, 2026
2 checks passed
@ASDAlexander77 ASDAlexander77 deleted the refactor/mlirgen-tu-split-generics branch July 13, 2026 00:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant