feat(analysis): support unit-dependent loop starts - #175

Merged

zhen8838 merged 25 commits into

tile-ai:mainfrom

zhen8838:feat/unit-dependent-loop-start

Sep 22, 2026

Commits on Sep 21, 2026

feat(hir): add value range metadata
zhen8838
committed
5cedb0d
fix(hir): preserve cached value ranges
zhen8838
committed
307c597
fix(hir): narrow symbolic dimension detection
zhen8838
committed
0dae330
feat(analysis): support bounded loop endpoints
zhen8838
committed
1989df1
fix(analysis): enumerate bounded parameter domains
zhen8838
committed
2433684
fix(analysis): reject unknown trip counts
zhen8838
committed
67273b6
fix(analysis): bind access parameters by name
zhen8838
committed
4416a68
feat(analysis): distinguish bounded access parameters
zhen8838
committed
9325b55
feat(parser): support unit-dependent tile bounds
zhen8838
committed
cc2889a
feat(analysis): validate unit-dependent loop starts
zhen8838
committed
d31835d
fix(analysis): preserve converter and realistic fixture coverage
zhen8838
committed
448d74c
refactor(parser): simplify reviewed loop-bound paths
zhen8838
committed
66cd89c
docs(analysis): structure parameter constraints
zhen8838
committed
9bc10d1
test(analysis): remove superseded persistent coverage
zhen8838
committed
94681a9
refactor(types): colocate ShapeDim with tensor types
zhen8838
committed
67ebcf4
refactor(analysis): separate iteration scope responsibilities
zhen8838
committed
daa3396
refactor(analysis): centralize enclosing loop traversal
zhen8838
committed
279643b
refactor(analysis): unify cardinality counting
zhen8838
committed
890e9c1
test(analysis): define empty parameter cardinality
zhen8838
committed
4931970
refactor(types): clarify dim isl boundaries
zhen8838
committed
2a657b5
refactor(visitor-registry): isolate type inference visitor
zhen8838
committed
bedef60
test(analysis): cover persistent schedule invariants
zhen8838
committed
de334e5

Commits on Sep 22, 2026

refactor(ir): move isl interop out of types
zhen8838
committed
f18b3f4
refactor(analysis): clarify loop term ownership
zhen8838
committed
1942765
refactor(analysis): publish shared analysis helpers
zhen8838
committed
713390c

Navigation Menu

feat(analysis): support unit-dependent loop starts - #175

feat(analysis): support unit-dependent loop starts#175
zhen8838 merged 25 commits into
tile-ai:mainfrom
zhen8838:feat/unit-dependent-loop-start

Commits on Sep 21, 2026

feat(hir): add value range metadata

fix(hir): preserve cached value ranges

fix(hir): narrow symbolic dimension detection

feat(analysis): support bounded loop endpoints

fix(analysis): enumerate bounded parameter domains

fix(analysis): reject unknown trip counts

fix(analysis): bind access parameters by name

feat(analysis): distinguish bounded access parameters

feat(parser): support unit-dependent tile bounds

feat(analysis): validate unit-dependent loop starts

fix(analysis): preserve converter and realistic fixture coverage

refactor(parser): simplify reviewed loop-bound paths

docs(analysis): structure parameter constraints

test(analysis): remove superseded persistent coverage

refactor(types): colocate ShapeDim with tensor types

refactor(analysis): separate iteration scope responsibilities

refactor(analysis): centralize enclosing loop traversal

refactor(analysis): unify cardinality counting

test(analysis): define empty parameter cardinality

refactor(types): clarify dim isl boundaries

refactor(visitor-registry): isolate type inference visitor

test(analysis): cover persistent schedule invariants

Commits on Sep 22, 2026

refactor(ir): move isl interop out of types

refactor(analysis): clarify loop term ownership

refactor(analysis): publish shared analysis helpers