feat(data): Add a few missing pseudoinstructions

Author: ThinkOpenly

arch/inst/I/addi.yaml

@@ -23,6 +23,9 @@ access:
   vu: always
 data_independent_timing: true
 operation(): X[xd] = X[xs1] + $signed(imm);
+pseudoinstructions:
+  - when: imm == 0
+    to: mv xd,xs1
 
 # SPDX-SnippetBegin
 # SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>

arch/inst/I/sltiu.yaml

@@ -28,6 +28,10 @@ access:
   vs: always
   vu: always
 data_independent_timing: true
+pseudoinstructions:
+  - when: xs1 == 0
+    to: seqz xd,xs1
+
 operation(): |
   Bits<MXLEN> sign_extend_imm = $signed(imm);
   X[xd] = (X[xs1] < sign_extend_imm) ? 1 : 0;

arch/inst/I/xori.yaml

@@ -22,6 +22,10 @@ access:
   vs: always
   vu: always
 data_independent_timing: true
+pseudoinstructions:
+  - when: $signed(imm) == -1
+    to: not xd,xs1
+
 operation(): X[xd] = X[xs1] ^ $signed(imm);
 
 # SPDX-SnippetBegin