【缺陷描述】：请补充详细的缺陷问题现象描述

mlir-opt --llvm-promote-i1-to-i8 将

%0 = llvm.load volatile %p : !llvm.ptr -> vector<4xi1>

改写为

%0 = llvm.load %p : !llvm.ptr -> vector<4xi8>

volatile 关键字被静默丢弃；nontemporal unit 属性同样丢失。alignment 是唯一被保留的属性。store 路径仅交换操作数、属性不受影响，仅 load 受影响。

语义影响：volatile load 不允许优化器删除、合并或移动；提升后变为普通 load，可能被作为死代码删除（trunc 后若结果未用）、被合并或外提出循环。对 MMIO、与外设/其他线程有副作用的访问（i1 向量常来自 predicate/mask 通道的设备内存）构成静默错码风险。scalable 向量变体提交（342f2196e）共享同一代码路径与缺陷。

一、缺陷信息

• 缺陷组件：MLIR LLVMIR dialect（PromoteI1ToI8.cpp）
• 缺陷类型：属性静默丢失
• 根因：mlir/lib/Dialect/LLVMIR/Transforms/PromoteI1ToI8.cpp:77-84，load 改写新建 LLVM::LoadOp 后仅拷贝 alignment：

  auto i8Load = builder.create<LLVM::LoadOp>(loadOp.getLoc(), i8VecType, loadOp.getAddr());
  if (auto align = loadOp.getAlignment())
    i8Load.setAlignment(*align);
  

  getVolatile()、getNontemporal()（以及 getOrdering()/getSyncscope()，后者因 atomic vector-i1 load 被 verifier 拒绝而实际不会出现）均未转发
  • 引入提交：
    • https://gitcode.com/openeuler/llvm-project/commit/1df7dfc18528d99bf21cc6c64d5d0bebbb85e209
    • https://gitcode.com/openeuler/llvm-project/commit/342f2196edfdf2353571176b680979f385ba49f8

【缺陷所属的os版本】

Ubuntu 22.04.3 LTS，缺陷位于编译器/MLIR 工具链本身，与操作系统版本无关。

【内核版本】

6.6.87.2-microsoft-standard-WSL2（uname -r）。缺陷与内核版本无关。

【缺陷所属软件及版本号】

LLVM 20.1.8

【环境信息】

编译选项：
CMAKE_BUILD_TYPE=RelWithDebInfo，LLVM_ENABLE_ASSERTIONS=ON，LLVM_ENABLE_PROJECTS="clang;mlir"，LLVM_TARGETS_TO_BUILD="X86;AArch64"

COMMIT ID：35f464110c04e89bd0cab0e3fee4a70ec6ec2eb9

【问题复现步骤】

// BUG: --llvm-promote-i1-to-i8 silently drops `volatile` and `nontemporal`
// from promoted vector<i1> loads (alignment IS preserved).
module {
  llvm.func @load_volatile(%p : !llvm.ptr) -> vector<4xi1> {
    %0 = llvm.load volatile %p : !llvm.ptr -> vector<4xi1>
    llvm.return %0 : vector<4xi1>
  }
  llvm.func @load_nontemporal(%p : !llvm.ptr) -> vector<4xi1> {
    %0 = llvm.load %p {nontemporal} : !llvm.ptr -> vector<4xi1>
    llvm.return %0 : vector<4xi1>
  }
  // Controls: alignment preserved; store volatile preserved.
  llvm.func @load_aligned(%p : !llvm.ptr) -> vector<4xi1> {
    %0 = llvm.load %p {alignment = 4 : i64} : !llvm.ptr -> vector<4xi1>
    llvm.return %0 : vector<4xi1>
  }
  llvm.func @store_volatile(%v : vector<4xi1>, %p : !llvm.ptr) {
    llvm.store volatile %v, %p : vector<4xi1>, !llvm.ptr
    llvm.return
  }
}

执行mlir-opt repro.mlir --llvm-promote-i1-to-i8，观察输出中的 llvm.load（volatile 关键字消失）

【实际结果】

【期望结果】

【其他相关附件信息】

【缺陷详情及分析指导参考链接】