Function maj1_calculation_nib_stack

bitvm/src/hash/sha256_u4_stack.rs:218–248

(
    stack: &mut StackTracker,
    a: StackVariable,
    b: StackVariable,
    c: StackVariable,
    nib: u32,
    lookup: StackVariable,
    xortable: StackVariable,
    shift_table: StackVariable,

#[allow(clippy::too_many_arguments)]
pub fn maj1_calculation_nib_stack(
    stack: &mut StackTracker,
    a: StackVariable,
    b: StackVariable,
    c: StackVariable,
    nib: u32,
    lookup: StackVariable,
    xortable: StackVariable,
    shift_table: StackVariable,
) -> StackVariable {
    stack.copy_var(a); // a[nib]

    stack.copy_var(b); // a b[nib]

    stack.copy_var(c); // a b c[nib]

    stack.op_3dup(); // a b c a b c

    u4_logic_with_table_stack(stack, lookup, xortable); // a b c a (b^c)

    u4_logic_with_table_stack(stack, lookup, xortable); // a b c (a^b^c)

    stack.op_sub(); // a b (c-a^b^c)
    stack.op_add(); // a (b+c-a^b^c)
    stack.op_add(); // a+b+c-a^b^c

    let var = u4_rshift_stack(stack, shift_table, 1);

    stack.rename(var, format!("maj_{nib}").as_str());
    var
}

pub fn u4_add_nibble_stack(
    stack: &mut StackTracker,