SparseApplyAdagradV2 动态标量在 Ascend950 tiling 阶段被拒绝

源码基线为 cann/ops-nn@ae873b119fb5499c41a6893f920171551fb0a197。

InferShape 将一维 shape 为 [-1] 的 lr 和 epsilon 视为合法动态标量（optim/sparse_apply_adagrad_v2/op_host/sparse_apply_adagrad_v2_infershape.cpp:119-128），现有 InferShape 用例 S005 也覆盖了这一输入。Ascend950 tiling 随后检查 storage shape，但只接受 rank-0 或 [1]（optim/sparse_apply_adagrad_v2/op_host/arch35/sparse_apply_adagrad_v2_tiling_arch35.cpp:122-134）。因此 lr、epsilon 均为 [-1] 时，shape 推断通过后会在 tiling 的 lr 检查处返回 GRAPH_FAILED。

最小输入条件：var/accum=[4,3]、grad=[2,3]、indices=[2]，lr=[-1]、epsilon=[-1]，数据类型为 float32/int32。预期 tiling 与 InferShape 对动态单元素标量的约定一致，继续生成 tiling 数据；当前实现报错并拒绝该动态输入。静态标量 rank-0 和 [1] 不受影响。

修复让 Ascend950 tiling 与 InferShape 一致地接受一维未知维度 [-1]，并保留 [2] 等已知非标量 shape 的拒绝行为。此处结论来自固定源码的检查条件及现有 S005 用例；本次未在设备上执行新增 tiling 用例。

Validation

验证记录

源码基线：cann/ops-nn@ae873b119fb5499c41a6893f920171551fb0a197。

• 静态对照 InferShape 的 S005：lr/epsilon 为 [-1] 时校验放行；原 tiling 条件只接受空 shape 或 [1]，对应输入会在 lr 条件返回 GRAPH_FAILED。补丁将这两个条件扩展为接受 [-1]，新增 UT 覆盖动态标量成功、lr=[2] 拒绝、epsilon=[2] 拒绝。
• 固定源码快照上的初始补丁通过 git apply --check；最终补丁对应当前上游 master 上的两个改动文件。
• 仓库 pre-commit 4.6.2 检查通过；适用的空白、EOF、文件大小、冲突标记、私钥、clang-format 18.1.8、codespell 和 OAT 1.0.3 检查均通过。YAML、JSON 和 Ruff 对 C++ 改动不适用。
• 未运行 CANN 构建、新增 C++ UT 或设备算子用例；新增 UT 需要由上游 CI 验证。