bug.pto
module @top_sym attributes {pto.target_arch = "a5"} {
  func.func @kernel_fn(%arg0: i32) attributes {pto.kernel} {
    pto.section.vector {
      pto.sync.set <PIPE_V>, 0
    }
    pto.section.cube {
      pto.sync.set <PIPE_MTE1>, 0
    }
    return
  }
}
control.pto
module attributes {pto.target_arch = "a5"} {
  func.func @kernel_fn(%arg0: i32) attributes {pto.kernel} {
    pto.section.vector {
      pto.sync.set <PIPE_V>, 0
    }
    pto.section.cube {
      pto.sync.set <PIPE_MTE1>, 0
    }
    return
  }
}
 reproduce.sh
#!/usr/bin/env bash
# 一键复现: vpto_split_cv_module / vpto_split_cv_module_bug_cursor
set -u
HERE="$(cd "$(dirname "$0")" && pwd)"
REPO=/home/cplop/code/pto/PTOAS
PASS='-vpto-split-cv-module'
BIN="${1:-}"
if [ -z "$BIN" ]; then
  for cand in "$REPO/build/tools/pto-test-opt/pto-test-opt" \
              "$REPO/build-coverage/tools/pto-test-opt/pto-test-opt"; do
    [ -x "$cand" ] && BIN="$cand" && break
  done
fi
if [ -z "$BIN" ] || [ ! -x "$BIN" ]; then
  echo "[!] 未找到 pto-test-opt" >&2
  exit 3
fi
echo "[i] 使用二进制: $BIN"
run_one() {
  local name="$1"
  "$BIN" $PASS "$HERE/${name}.pto" >"$HERE/${name}.out.pto" 2>"$HERE/${name}.stderr.txt"
  echo "$?"
}

ctl=$(run_one control)
bug=$(run_one bug)
echo "[control] exit=$ctl （预期 0）"
echo "[bug] exit=$bug （预期非 0，redefinition of symbol）"
echo "--- bug.stderr ---"
cat "$HERE/bug.stderr.txt"
if [ "$ctl" -eq 0 ] && [ "$bug" -ne 0 ]; then
  if grep -q "redefinition of symbol" "$HERE/bug.stderr.txt"; then
    echo "[OK] 差分复现成功（bug: symbol redefinition + control 通过）"
    exit 1
  fi
fi
if [ "$ctl" -eq 0 ] && [ "$bug" -eq 0 ]; then
  echo "[OK] 未复现（可能已修复）"
  exit 0
fi
echo "[!] 结果异常"
exit 2