[Bug][whitefox-audit]pto_analyze_simt_persistent_fragment pass 编译报错：error: 'llvm.store' op persistent SIMT fragment byte offset 1 must be non-negative and aligned to element byte size 4 #1520

/home/cplop/whitefox-audit/output/confirm_drafts/pto_analyze_simt_persistent_fragment/ai_attempts/report_bug_poc/bug.pto:9:7: error: 'llvm.store' op persistent SIMT fragment byte offset 1 must be non-negative and aligned to element byte size 4
      llvm.store %one, %element1 : f32, !llvm.ptr
      ^
/home/cplop/whitefox-audit/output/confirm_drafts/pto_analyze_simt_persistent_fragment/ai_attempts/report_bug_poc/bug.pto:9:7: note: see current operation: "llvm.store"(%2, %4) <{ordering = 0 : i64}> : (f32, !llvm.ptr) -> ()

/home/cplop/whitefox-audit/output/confirm_drafts/pto_analyze_simt_persistent_fragment/ai_attempts/report_bug_poc/bug.pto:9:7: error: 'llvm.store' op persistent SIMT fragment byte offset 1 must be non-negative and aligned to element byte size 4
      llvm.store %one, %element1 : f32, !llvm.ptr
      ^
/home/cplop/whitefox-audit/output/confirm_drafts/pto_analyze_simt_persistent_fragment/ai_attempts/report_bug_poc/bug.pto:9:7: note: see current operation: "llvm.store"(%2, %4) <{ordering = 0 : i64}> : (f32, !llvm.ptr) -> ()

module attributes {pto.target_arch = "a5", pto.kernel_kind = #pto.kernel_kind<vector>} {
  func.func @persistent_fragment_analysis(%dst: !pto.ptr<f32, ub>) attributes {pto.entry} {
    %c3_i32 = arith.constant 3 : i32
    %fragment = llvm.alloca %c3_i32 x f32 {pto.persistent} : (i32) -> !llvm.ptr
    pto.section.simt<<<32, 1, 1>>> {
      %one = arith.constant 1.000000e+00 : f32
      %c1_i64 = arith.constant 1 : i64
      %element1 = llvm.getelementptr %fragment[%c1_i64] : (!llvm.ptr, i64) -> !llvm.ptr, i8
      llvm.store %one, %element1 : f32, !llvm.ptr
    }
    func.return
  }
}

module attributes {pto.target_arch = "a5", pto.kernel_kind = #pto.kernel_kind<vector>} {
  func.func @persistent_fragment_analysis(%dst: !pto.ptr<f32, ub>) attributes {pto.entry} {
    %c3_i32 = arith.constant 3 : i32
    %fragment = llvm.alloca %c3_i32 x f32 {pto.persistent} : (i32) -> !llvm.ptr
    pto.section.simt<<<32, 1, 1>>> {
      %one = arith.constant 1.000000e+00 : f32
      %c4_i64 = arith.constant 4 : i64
      %element1 = llvm.getelementptr %fragment[%c4_i64] : (!llvm.ptr, i64) -> !llvm.ptr, i8
      llvm.store %one, %element1 : f32, !llvm.ptr
    }
    func.return
  }
}

#!/usr/bin/env bash
# 一键复现: pto_analyze_simt_persistent_fragment / pto_analyze_simt_persistent_fragment_bug_1
set -u
HERE="$(cd "$(dirname "$0")" && pwd)"
REPO=/home/cplop/code/pto/PTOAS
PASS='-pto-analyze-simt-persistent-fragment'
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）"
echo "--- bug.stderr ---"
cat "$HERE/bug.stderr.txt"
if [ "$ctl" -eq 0 ] && [ "$bug" -ne 0 ]; then
  echo "[OK] 差分复现成功（bug 失败 + control 通过）"
  exit 1
fi
if [ "$ctl" -eq 0 ] && [ "$bug" -eq 0 ]; then
  echo "[OK] 未复现（可能已修复）"
  exit 0
fi
echo "[!] 结果异常"
exit 2

/home/cplop/whitefox-audit/test/pto_analyze_simt_persistent_fragment_bug_1/bug.pto:9:7: error: 'llvm.store' op persistent SIMT fragment byte offset 1 must be non-negative and aligned to element byte size 4
      llvm.store %one, %element1 : f32, !llvm.ptr
      ^
/home/cplop/whitefox-audit/test/pto_analyze_simt_persistent_fragment_bug_1/bug.pto:9:7: note: see current operation: "llvm.store"(%2, %4) <{ordering = 0 : i64}> : (f32, !llvm.ptr) -> ()

module attributes {pto.kernel_kind = #pto.kernel_kind<vector>, pto.target_arch = "a5"} {
  func.func @persistent_fragment_analysis(%arg0: !pto.ptr<f32, ub>) attributes {pto.entry} {
    %c3_i32 = arith.constant 3 : i32
    %0 = llvm.alloca %c3_i32 x f32 {pto.persistent} : (i32) -> !llvm.ptr
    pto.section.simt<<<32, 1, 1>>> {
      %cst = arith.constant 1.000000e+00 : f32
      %c1_i64 = arith.constant 1 : i64
      %1 = llvm.getelementptr %0[%c1_i64] : (!llvm.ptr, i64) -> !llvm.ptr, i8
      llvm.store %cst, %1 : f32, !llvm.ptr
    }
    return
  }
}