Fix construction of LoopNest with Split.

[guillon]

Motivation

Depends upon PR #110. Refer to last commit only

Fix support for nested splits when generating plain schedule and LoopNest from descript and low level API.

Make LoopNest and other dataclass frozen (at least at first level) in order to avoid abuse.

Description

Add recursive construction of LoopNest.

Update PlainNodeSchedule to fully qualify root path.

Commits

Ref to last commit

Discussion

For now the Mlir transform dialect generation does not seem to support well nested splits.

For now the TVM scheduler does not implement split.

Both will be fixed in some further PRs. There the objective was to fix schedules/loopnest constructions first.

[codecov]

Codecov Report

❌ Patch coverage is 89.33764% with 66 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
src/xtc/schedules/plain_schedule.py	80.12%	28 Missing and 3 partials ⚠️
src/xtc/backends/tvm/TVMScheduler.py	93.13%	7 Missing and 7 partials ⚠️
src/xtc/backends/mlir/MlirNodeScheduler.py	77.41%	7 Missing ⚠️
src/xtc/backends/tvm/TVMOpsCompiler.py	93.40%	3 Missing and 3 partials ⚠️
src/xtc/backends/tvm/TVMCompiler.py	84.84%	4 Missing and 1 partial ⚠️
src/xtc/backends/mlir/MlirScheduler.py	90.00%	1 Missing ⚠️
src/xtc/schedules/loop_names.py	94.73%	1 Missing ⚠️
src/xtc/schedules/loop_nest.py	93.75%	0 Missing and 1 partial ⚠️

📢 Thoughts on this report? Let us know!