diff --git a/alu_u32/src/bitwise/columns.rs b/alu_u32/src/bitwise/columns.rs index 5e80aabe..551a37d7 100644 --- a/alu_u32/src/bitwise/columns.rs +++ b/alu_u32/src/bitwise/columns.rs @@ -4,7 +4,7 @@ use valida_derive::AlignedBorrow; use valida_machine::Word; use valida_util::indices_arr; -#[derive(AlignedBorrow, Default)] +#[derive(AlignedBorrow, Default, Debug)] pub struct Bitwise32Cols { pub input_1: Word, pub input_2: Word, diff --git a/alu_u32/src/bitwise/mod.rs b/alu_u32/src/bitwise/mod.rs index 2ec2684d..9d98aef9 100644 --- a/alu_u32/src/bitwise/mod.rs +++ b/alu_u32/src/bitwise/mod.rs @@ -19,7 +19,7 @@ use valida_util::pad_to_power_of_two; pub mod columns; pub mod stark; -#[derive(Clone)] +#[derive(Clone, Debug)] pub enum Operation { And32(Word, Word, Word), // (dst, src1, src2) Or32(Word, Word, Word), // '' @@ -124,6 +124,8 @@ impl Bitwise32Chip { bits_2[i][j] = F::from_canonical_u8(c[i] >> j & 1); } } + cols.bits_1 = bits_1; + cols.bits_2 = bits_2; } } @@ -246,7 +248,7 @@ where state .bitwise_u32_mut() .operations - .push(Operation::And32(a, b, c)); + .push(Operation::Or32(a, b, c)); state.cpu_mut().push_bus_op(imm, opcode, ops); } }