Check for gpu register crosstalk - #9325

Merged

abadams merged 13 commits into

mainfrom

abadams/gpu_register_crosstalk_check

Aug 20, 2026

Commits on Aug 16, 2026

Reject GPU register allocations shared between threads

abadams
and
claude
committed
a8b7029
Also reject GPU register allocations only some threads store to

abadams
and
claude
committed
353a622
Check that a thread reads only what it stored, not that threads are disjoint

abadams
and
claude
committed
ad398a2
Keep loop bounds that speak of the thread when checking for cross talk

abadams
and
claude
committed
0e0028d
Simplify the cross-talk check

abadams
and
claude
committed
dcd0311
Note why an if doesn't break the program-order test

abadams
and
claude
committed
0cce81d
Wrap an access's lets around it instead of substituting them in

abadams
and
claude
committed
23bbbff
Use the shared let helpers, and show accesses as written

abadams
and
claude
committed
74b574f
Fold the let rewrapping into canonicalize

abadams
and
claude
committed
56c3559
Apply pre-commit auto-fixes

halide-ci[bot]
authored and
abadams
committed
46fcb3a
Test the cross-talk check on whatever GPU is around

abadams
and
claude
committed
fb7d5a1
Don't skip the register cross-talk tests without a GPU

abadams
and
claude
committed
0219e29
Skip the register cross-talk tests without a GPU, but still error

abadams
and
claude
committed
74fa54b