跳转至

L.SD.MAX

说明

存储双字·取最大值(Store Doubleword Maximum)
本指令执行如下的原子操作：从左源寄存器指向的内存位置原子性地加载 64 位数据，与右源寄存器的 64 位数据进行最大值比较，将结果原地写回内存。

本指令可以选择带有 Store-Release 语义。

汇编语法

l.sd.max<.{rl, f, rlf}> [SrcL<.ud>], SrcR.<T>

汇编符号

  • 指令可以带有如下可选后缀：
    • .rl：表示带有Store-Release的同步语义。
    • .f：表示内存访问发生在远端Cache中。
    • 其他后缀（例如.rlf）为以上基础后缀的组合形式。
  • SrcL：左源寄存器，可以索引的寄存器类型请见长指令介绍。
  • .ud: 左源寄存器后缀，表示其作为 64 位操作数。
  • SrcR：右源寄存器，可以索引的寄存器类型请见长指令介绍。
  • T：操作数的类型标识，可选类型包括sd,ud。

编码格式

L.SD.MAX

寄存器字段的编解码方式请见长指令编码小节。

执行方式

integer {m, srcWidth1, sign1} = DecodeINT(SrcL);
integer {n, srcWidth2, sign2} = DecodeINT(SrcR); 
integer {d, dstWidth} = DecodeDst(RegDst);

Atomic {
    bits(64) address = SREG[m, srcWidth1];
    bits(64) operand = SREG[n, srcWidth2];

    bits(64) oldValue = Mem[address][63:0];
    bits(64) newValue;

    if sign2 == 0 then
        newValue = (operand >(u) oldValue ? operand : oldValue);  // 无符号比较
    else 
        newValue = (operand >(s) oldValue ? operand : oldValue);  // 有符号比较

    Mem[address] = newValue;
}

注意事项

  1. 默认内存加载的数据与右源操作数的符号性相同。
  2. 如果源寄存器位宽不满足本指令的要求，那么硬件不保证执行结果的正确性（执行结果不可知）。
  3. 如果任意源寄存器是向量寄存器，那么应使用别名指令V.SD.MAX。

备注

  1. 本指令属于超长指令扩展，可用于向量数据块或访存数据块的块体内。
  2. 本指令的向量版本请见V.SD.MAX。