diff --git a/lib/cretonne/meta/isa/riscv/encodings.py b/lib/cretonne/meta/isa/riscv/encodings.py
index ac719460a1..374aef17d1 100644
--- a/lib/cretonne/meta/isa/riscv/encodings.py
+++ b/lib/cretonne/meta/isa/riscv/encodings.py
@@ -155,3 +155,8 @@ RV64.enc(base.copy.i32, Icopy, OPIMM32(0b000))
 RV32.enc(base.regmove.i32, Irmov, OPIMM(0b000))
 RV64.enc(base.regmove.i64, Irmov, OPIMM(0b000))
 RV64.enc(base.regmove.i32, Irmov, OPIMM32(0b000))
+
+RV32.enc(base.copy.b1, Icopy, OPIMM(0b000))
+RV64.enc(base.copy.b1, Icopy, OPIMM(0b000))
+RV32.enc(base.regmove.b1, Irmov, OPIMM(0b000))
+RV64.enc(base.regmove.b1, Irmov, OPIMM(0b000))