Function u4_logic_with_table_stack

bitvm/src/u4/u4_logic_stack.rs:83–95

Does the given logical operation with parameters

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

/// Does the given logical operation with parameters
pub fn u4_logic_with_table_stack(
    stack: &mut StackTracker,
    lookup_table: StackVariable,
    logic_table: StackVariable,
) -> StackVariable {
    let use_full_table = logic_table.size() > 136;
    if !use_full_table {
        stack.custom(u4_sort(), 0, false, 0, "sort");
    }
    stack.get_value_from_table(lookup_table, None);
    stack.op_add();
    stack.get_value_from_table(logic_table, None)
}

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