Merge pull request #127 from valida-xyz/add-type-signatures

add type signatures to LT / LTE comparisons
valida-xyz · Mar 22, 2024 · 7bbbaf6 · 7bbbaf6
2 parents 8c2244d + 59393ea
commit 7bbbaf6
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/alu_u32/src/lt/mod.rs b/alu_u32/src/lt/mod.rs
@@ -150,7 +150,7 @@ where
         let mut imm: Option<Word<u8>> = None;
         let read_addr_1 = (state.cpu().fp as i32 + ops.b()) as u32;
         let write_addr = (state.cpu().fp as i32 + ops.a()) as u32;
-        let src1 = if ops.d() == 1 {
+        let src1: Word<u8> = if ops.d() == 1 {
             let b = (ops.b() as u32).into();
             imm = Some(b);
             b
@@ -159,7 +159,7 @@ where
                 .mem_mut()
                 .read(clk, read_addr_1, true, pc, opcode, 0, "")
         };
-        let src2 = if ops.is_imm() == 1 {
+        let src2: Word<u8> = if ops.is_imm() == 1 {
             let c = (ops.c() as u32).into();
             imm = Some(c);
             c
@@ -199,7 +199,7 @@ where
         let mut imm: Option<Word<u8>> = None;
         let read_addr_1 = (state.cpu().fp as i32 + ops.b()) as u32;
         let write_addr = (state.cpu().fp as i32 + ops.a()) as u32;
-        let src1 = if ops.d() == 1 {
+        let src1: Word<u8> = if ops.d() == 1 {
             let b = (ops.b() as u32).into();
             imm = Some(b);
             b
@@ -208,7 +208,7 @@ where
                 .mem_mut()
                 .read(clk, read_addr_1, true, pc, opcode, 0, "")
         };
-        let src2 = if ops.is_imm() == 1 {
+        let src2: Word<u8> = if ops.is_imm() == 1 {
             let c = (ops.c() as u32).into();
             imm = Some(c);
             c