Problem
Docs use #pto.pipe_event_type<...>, but implementation defines and consumes #pto.sync_op_type<...>.
Evidence
- Docs:
docs/PTO_IR_manual.md:185
docs/PTO_IR_manual.md:4763
docs/PTO_IR_manual.md:4799
- Impl:
include/PTO/IR/PTOAttrs.td:149 (sync_op_type)
include/PTO/IR/PTOOps.td:1293, include/PTO/IR/PTOOps.td:1310
Repro
Docs-style attribute:
pto.record_event [#pto.pipe_event_type<TLOAD>, #pto.pipe_event_type<TVEC>, #pto.event<EVENT_ID0>]
Parser error:
unknown attribute 'pipe_event_type' in dialect 'pto'
Expected behavior
Decide canonical sync attribute naming and align docs/parser/tests.
Acceptance criteria
- Canonical attribute syntax documented.
- Parser/docs/examples use same naming.
- lit parser regression for record/wait event syntax.