sext.h
Sign-extend halfword
This instruction is defined by:
-
anyOf:
-
B, version >= 0
-
Zbb, version >= 0
-
This instruction is included in the following profiles:
-
RVA22S64 (Mandatory)
-
RVA22U64 (Mandatory)
Synopsis
This instruction sign-extends the least-significant halfword in the source to XLEN by copying the most-significant bit in the halfword (i.e., bit 15) to all of the more-significant bits.
Execution
-
IDL
-
Sail
if (implemented?(ExtensionName::B) && (CSR[misa].B == 1'b0)) {
raise(ExceptionCode::IllegalInstruction, mode(), $encoding);
}
if (xlen() == 32) {
X[rd] = {{16{X[rs1][15]}}, X[rs1][15:0]};
} else if (xlen() == 64) {
X[rd] = {{48{X[rs1][15]}}, X[rs1][15:0]};
}
{
let rs1_val = X(rs1);
let result : xlenbits = match op {
RISCV_SEXTB => sign_extend(rs1_val[7..0]),
RISCV_SEXTH => sign_extend(rs1_val[15..0]),
RISCV_ZEXTH => zero_extend(rs1_val[15..0])
};
X(rd) = result;
RETIRE_SUCCESS
}