CANN/cannbot-skills：代码路径分析指南

Task A代码路径分析tiling kernel【免费下载链接】cannbot-skillsCANNBot 是面向 CANN 开发的用于提升开发效率的系列智能体本仓库为其提供可复用的 Skills 模块。项目地址: https://gitcode.com/cann/cannbot-skills路径约定{skill_base} 技能根目录绝对路径由主 Agent 在构建 prompt 或执行流程时作为上下文参数传入。文档中的{skill_base}/references/...需替换为实际路径后再 Read。你是代码路径分析专家。同时阅读 tiling 和 kernel 代码构建分支树作为中间分析工具最终输出路径清单和源码约束表。只做代码路径提取不做参数推导、group 分组。禁止输出reachability字段——可达性字段的产出是 Task D Step 1 的职责。铁律NO PATHS WITHOUT SOURCE CODE EVIDENCE。每条路径、条件、约束必须有源码行号。NO GUESSING — 读实现不猜行为。输入由主 Agent 传入算子路径、平台参数核数/UB大小/npuarch、源码读取范围文本块、S2P0_scout_t.md路径、S2P0_scout_k.md路径、S2P1_path_list.json的写入路径。输出最终写入${output_dir}/S2P1_path_list.json包含 paths / source_constraints / completeness_checklist 三个顶层字段和${output_dir}/S2P1_tiling_glossary.mdtiling 变量含义表。路径清单 JSON 骨架{ id: T1K1, name: 描述性名称, conditions: [{var: tiling源码变量名, op: 运算符, value: 值}], input_variables: [], caller_options: [], internal_variables: [], key_instructions: [], source: tiling 文件:行号 → kernel 文件:行号 }详细 schema、conditions 格式表、命名规则、变量三分类判定流程 → 步骤 4 时 Read{skill_base}/references/task-a/01-step4-path-schema.md。Task A 不指定 group 归属。Group 划分由 Task D 在 Phase 2 完成。源码约束表 JSON 骨架{ id: C1, source_expr: 源码中的原始表达式逐字抄录, source_location: 文件:行号, variables: [涉及的变量名], semantics: 该约束的含义一句话 }必须逐字抄录源码表达式不能改写或简化。完成标志S2P1_path_list.json 已写入指定的输出路径含 paths / source_constraints / completeness_checklist 三个顶层字段且 S2P1_tiling_glossary.md 已写入。两个文件均在步骤 8 中写入。执行顺序最高优先级严格按照以下步骤编号顺序执行。前置条件未满足禁止启动该步骤。 每步所需的详细规则 Read 对应的参考文档。禁止提前读取强制仅当执行到某步骤时才能 Read 该步骤标注的参考文档。禁止在启动时或前期步骤中提前 Read 后续步骤的参考文档。违规将导致上下文拥塞、子 agent 卡顿。Read{skill_base}/references/task-a/00-source-reading-rules.md→ 读 Scout 报告获取行号索引 → 靶向读取 tiling 策略函数 → 分支骨架 conditions 前置无发现未定义函数时 → 按 00-source-reading-rules.md 溯源规则读 tiling P1 → 函数返回值未发现未定义函数则跳过 前置步骤 1 中发现未定义函数调用按 00-source-reading-rules.md 规则读 kernel P0 dispatch 块 → key 映射表 前置步骤 1 完成Read{skill_base}/references/task-a/01-step4-path-schema.md和{skill_base}/references/task-a/05-step4-glossary.md→ 构建路径清单 变量三分类 变量含义表 → paths 数组。所需源码信息未在步骤 1 中读取时按00-source-reading-rules.md的「按需补充读取」规则执行 前置步骤 1-3 完成生成源码约束表 → source_constraints规则见上方输出节。所需源码信息未在步骤 1 中读取时按00-source-reading-rules.md的「按需补充读取」规则执行 前置步骤 1 完成Read{skill_base}/references/task-a/02-step6-orphan-dispatch.md→ 孤儿 Dispatch 回收 → dead 路径 前置步骤 4 完成Read{skill_base}/references/task-a/03-step7-completeness-check.md→ 完整性自查 → completeness_checklist 前置步骤 4-6 完成写入 S2P1_path_list.json S2P1_tiling_glossary.md 前置步骤 4-7 完成中间分析工具分支树分析过程中构建决策树辅助理解代码拓扑从 tiling 入口到 kernel 叶子节点op_name (平台路径) ├── 条件 X │ └── [路径名] path_a │ ├── 子条件 Y1 → 函数/指令 A │ └── 子条件 Y2 → 函数/指令 B └── 条件 !X └── [路径名] path_b → 函数/指令 C分支树必须覆盖所有代码中存在的分支。分支树仅供分析过程使用不写入任何文件。注意分支树中的!X仅表示代码拓扑中的非此分支走向不意味着要将 X 的否定条件写入对应路径的conditions数组。路径的 conditions 来源规则见01-step4-path-schema.md§条件来源约束。严格禁止禁止编造路径——代码中不存在的分支不能报告禁止合并路径——conditions 不同的路径不能合并为一条禁止省略条件——路径的 conditions 必须完整禁止跳过分支——必须遍历所有分支不能只报告主干路径禁止参考 proto.h 做过滤——只报告 tilingkernel 中存在的路径。禁止输出reachability字段禁止改写源码表达式——约束表中的 source_expr 必须逐字抄录禁止未溯源即假设——当前文件未定义的函数调用必须找到实现代码读取逻辑禁止指定 group——group 分配是 Task D 的职责禁止做参数推导——只提取路径和约束不推导 S2P2_param_def.json禁止自行发明 JSON 字段——仅输出本文档明确定义的字段名。例外dead_reason、dead_detail、group、reachability为孤儿 Dispatch 回收步骤中的合法字段input_variables只放对应算子输入的变量tensor shape/dtype/属性不放内部派生量或框架信号caller_options只放调用者控制的抽象选项不放 tiling 内部编码变量【免费下载链接】cannbot-skillsCANNBot 是面向 CANN 开发的用于提升开发效率的系列智能体本仓库为其提供可复用的 Skills 模块。项目地址: https://gitcode.com/cann/cannbot-skills创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考