Adds capability to specify constraints between two fields/overlays.

In the binary decoder specification, you can now use constraints
between the value of two fields/overlays, not just a field or overlay,
and a constant.

PiperOrigin-RevId: 693798358
Change-Id: If0c441db2680a7da48eb42fd92a472681ebac9c9

riscv/riscv_zc.bin_fmt

diff --git a/riscv/riscv_zc.bin_fmt b/riscv/riscv_zc.bin_fmt
index dc47da8..2a9ce58 100644
--- a/riscv/riscv_zc.bin_fmt
+++ b/riscv/riscv_zc.bin_fmt
@@ -175,8 +175,7 @@
   cm_pop     : CMPP : func8 == 0b101'11010, rlist > 3,op == 0b10;
   cm_popret  : CMPP : func8 == 0b101'11110, rlist > 3,op == 0b10;
   cm_popretz : CMPP : func8 == 0b101'11100, rlist > 3, op == 0b10;
-  cm_mvsa01  : CMMV : func6 == 0b101'011, func2 == 0b01, op == 0b10;
-  // cm_mvsa01  : CMMV : func6 == 0b101'011, func2 == 0b01, rs1p != rs2p, op == 0b10;
+  cm_mvsa01  : CMMV : func6 == 0b101'011, func2 == 0b01, rs1p != rs2p, op == 0b10;
   cm_mva01s  : CMMV : func6 == 0b101'011, func2 == 0b11, op == 0b10;
 }