kadd32.h\insns\riscv - rocket-tools/riscv-gnu-toolchain/spike.git - Unnamed repository; edit this file 'description' to name the repository.

index : rocket-tools/riscv-gnu-toolchain/spike.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/riscv/insns/kadd32.h

blob: d0c53f5691422e99c4835bebfa27a2ca1fa4830a (plain)

require_rv64;
P_LOOP(32, {
  bool sat = false;
  pd = (sat_add<int32_t, uint32_t>(ps1, ps2, sat));
  P_SET_OV(sat);
})