Function u4_and_with_xor_stack

bitvm/src/u4/u4_logic_stack.rs:99–110

Calculates the bitwise AND of top 2 u4 values using XOR tables Uses the formula (a and b) = ((a + b) - a XOR b) >> 1

(
    stack: &mut StackTracker,
    lookup_table: StackVariable,
    logic_table: StackVariable,
    shift_table: StackVariable,
)

/// Calculates the bitwise AND of top 2 u4 values using XOR tables
/// Uses the formula (a and b) = ((a + b) - a XOR b) >> 1
pub fn u4_and_with_xor_stack(
    stack: &mut StackTracker,
    lookup_table: StackVariable,
    logic_table: StackVariable,
    shift_table: StackVariable,
) -> StackVariable {
    stack.op_2dup();
    u4_logic_with_table_stack(stack, lookup_table, logic_table);
    stack.op_sub();
    stack.op_add();
    u4_rshift_stack(stack, shift_table, 1)
}

#[cfg(test)]
mod tests {