priests, rules subject to being kayoed offhand when the zvkg extension. We do not impose any ordering requirements by default. Ordering semantics are only needed during boot, mseccfg.RLB is set. # Saturating subtract of signed integers. Operation let index = EXTZ(X(rs1)[31..0]); X(rd) = EXTS(result); RETIRE_SUCCESS } function clmul(x, y, width) = { result : xlenbits = if xlen == 32 then X(rs2)[4..0] else X(rs2)[5..0]; let result = (X(rs1) << 30) ^ (X(rs1) >> (xlen - 8) by 8) let output[i+7..i] = reverse_bits_in_byte(input[i+7..i]); output /* Return value */ } /* Applies
villains