jinhongyii opened a new pull request, #20090:
URL: https://github.com/apache/tvm/pull/20090

   This fixes specialization of a TIRx PrimFunc that contains a typed buffer 
alias. When a Var was not directly present in the specialization map, 
PrimFuncSpecializer returned it unchanged. That bypassed the base mutator and 
prevented BufferVar expressions from being remapped, breaking aliases such as a 
T.decl_buffer that shares A.data.
   
   Delegate unmapped Vars to the base StmtExprMutator so typed buffer 
expressions are visited normally. The regression test specializes a symbolic 
extent and verifies that the decl_buffer alias still shares the specialized 
match_buffer data variable.
   
   Tests:
   - Fresh default CMake/Ninja build
   - `python -m pytest tests/python/tirx-base/test_tir_specialize.py -q` (11 
passed)
   - `pre-commit run --files src/tirx/ir/specialize.cc 
tests/python/tirx-base/test_tir_specialize.py`
   
   Ported from mlc-ai/tvm@14bf144057ce4ce95c655f20278bc70a0efe81be.


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to