diff --git a/xtheadmempair/ldd.adoc b/xtheadmempair/ldd.adoc index c6c1b8a..d84103a 100644 --- a/xtheadmempair/ldd.adoc +++ b/xtheadmempair/ldd.adoc @@ -35,7 +35,7 @@ case the whole instruction will be re-executed. Operation:: [source,sail] -- -if (rs1 != rd1 && rs != rd2 && rd1 != rd2) { +if (rs1 != rd1 && rs1 != rd2 && rd1 != rd2) { addr := rs1 + (zero_extend(imm2) << 4) tmp1 := mem[addr+7:addr] tmp2 := mem[addr+15:addr+8] diff --git a/xtheadmempair/lwd.adoc b/xtheadmempair/lwd.adoc index 2a6ae7c..6df250f 100644 --- a/xtheadmempair/lwd.adoc +++ b/xtheadmempair/lwd.adoc @@ -35,7 +35,7 @@ case the whole instruction will be re-executed. Operation:: [source,sail] -- -if (rs1 != rd1 && rs != rd2 && rd1 != rd2) { +if (rs1 != rd1 && rs1 != rd2 && rd1 != rd2) { addr := rs1 + (zero_extend(imm2) << 3) tmp1 := sign_extend(mem[addr+3:addr]) tmp2 := sign_extend(mem[addr+7:addr+4]) diff --git a/xtheadmempair/lwud.adoc b/xtheadmempair/lwud.adoc index 9cf1575..897e5ee 100644 --- a/xtheadmempair/lwud.adoc +++ b/xtheadmempair/lwud.adoc @@ -35,7 +35,7 @@ case the whole instruction will be re-executed. Operation:: [source,sail] -- -if (rs1 != rd1 && rs != rd2 && rd1 != rd2) { +if (rs1 != rd1 && rs1 != rd2 && rd1 != rd2) { addr := rs1 + (zero_extend(imm2) << 3) tmp1 := zero_extend(mem[addr+3:addr]) tmp2 := zero_extend(mem[addr+7:addr+4])