The GitHub Actions job "Lint" on tvm.git/require-declbuffer-before-use has 
failed.
Run started by GitHub user tqchen (triggered by tqchen).

Head commit for run:
50398ddbefe5fe46f66d9e924dae831749d87071 / tqchen <[email protected]>
[TIR][FEAT] Require DeclBuffer before use in verify_well_formed

Enforce that all buffers used in BufferLoad, BufferStore, or
BufferRegion must have a prior DeclBuffer or equivalent declaration
(alloc_buffer, match_buffer, buffer_map, etc.) in scope.

Changes:
- verify_well_formed.cc: Make UndefinedBufferVerifier check unconditional
  (remove schedule-level-only restriction).
- flatten_buffer.cc: Emit DeclBuffer nodes for flattened parameter buffer
  views at function body level.
- tir_visitor_with_path.cc: Visit SBlock alloc_buffers definitions before
  reads/writes so allocated buffers are in scope for region references.
- layout_transformation.cc: Fix buffer identity in TransformLayoutRewriter
  -- update match_buffer source references and inferred access regions to
  use new_buffer_ instead of stale old_buffer_ after layout transform.
- renew_defs.cc: Add DeclBufferNode visitor to RenewDefMutator so buffer
  data vars are properly renewed through DeclBuffer nodes.
- Update ~60 test instances across 21 files to use T.decl_buffer() where
  needed, add check_well_formed=False for expected outputs with buffer
  views, and adjust body traversal paths for DeclBuffer nesting.

Report URL: https://github.com/apache/tvm/actions/runs/22512816031

With regards,
GitHub Actions via GitBox


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

Reply via email to