these false syntactic dependencies in Section 8 of the

result = (rs1 >> shamt) | (rs1 >> (32 - shamt)); X(rd) = EXTS(hi_half @ lo_half); Included in Extension Minimum version Lifecycle state Zkne (RV64) v1.0.0 Ratified Zkn (RV32) v1.0.0 Ratified Zk (RV32) v1.0.0 Ratified Zks v1.0.0

Kristi