Xqci: Make sure imm is signed for extended loads (#792)

Otherwise loads from negative offsets such as

  qc.e.lw a0, -0x8004(a0)

won't work correctly.

Signed-off-by: Anton Johansson <[email protected]>
Co-authored-by: Anton Johansson <[email protected]>
Co-authored-by: ayosher <[email protected]>

Author: 3 people

arch_overlay/qc_iu/inst/Xqci/qc.e.lb.yaml

@@ -30,5 +30,5 @@ access:
   vs: always
   vu: always
 operation(): |
-  XReg virtual_address = X[rs1] + imm;
+  XReg virtual_address = X[rs1] + $signed(imm);
   X[rd] = sext(read_memory<8>(virtual_address, $encoding), 8);

arch_overlay/qc_iu/inst/Xqci/qc.e.lbu.yaml

@@ -30,5 +30,5 @@ access:
   vs: always
   vu: always
 operation(): |
-  XReg virtual_address = X[rs1] + imm;
+  XReg virtual_address = X[rs1] + $signed(imm);
   X[rd] = read_memory<8>(virtual_address, $encoding);

arch_overlay/qc_iu/inst/Xqci/qc.e.lh.yaml

@@ -30,5 +30,5 @@ access:
   vs: always
   vu: always
 operation(): |
-  XReg virtual_address = X[rs1] + imm;
+  XReg virtual_address = X[rs1] + $signed(imm);
   X[rd] = sext(read_memory<16>(virtual_address, $encoding), 16);

arch_overlay/qc_iu/inst/Xqci/qc.e.lhu.yaml

@@ -30,5 +30,5 @@ access:
   vs: always
   vu: always
 operation(): |
-  XReg virtual_address = X[rs1] + imm;
+  XReg virtual_address = X[rs1] + $signed(imm);
   X[rd] = read_memory<16>(virtual_address, $encoding);

arch_overlay/qc_iu/inst/Xqci/qc.e.lw.yaml

@@ -30,5 +30,5 @@ access:
   vs: always
   vu: always
 operation(): |
-  XReg virtual_address = X[rs1] + imm;
+  XReg virtual_address = X[rs1] + $signed(imm);
   X[rd] = read_memory<32>(virtual_address, $encoding);