BitVecAnd

Function
April 17, 2026

Table of Contents

`BitVecAnd`

Description

Perform bitwise AND operation between two bitvectors. Result is stored in the first bitvector.

Parameters

Name	Direction	Description
`result`	out	Bitvector to store result in
`a`	in	First bitvector operand
`b`	in	Second bitvector operand

Usage example (from documentation)

  BitVecAnd(&result, &flags1, &flags2);

Usage example (Cross-references)

In BitVec.c:454:

    }
    
    void BitVecAnd(BitVec *result, BitVec *a, BitVec *b) {
    ValidateBitVec(result);
    ValidateBitVec(a);

In BitVec.BitWise.Deadend.c:38:

    
    // Test NULL pointer - should abort
    BitVecAnd(NULL, &bv, &bv2);
    
    BitVecDeinit(&bv);

In BitVec.BitWise.Deadend.c:82:

    
    // Test NULL result pointer - should abort
    BitVecAnd(NULL, &bv1, &bv2);
    
    BitVecDeinit(&bv1);

In BitVec.BitWise.Simple.c:33:

    // Test BitVecAnd function
    bool test_bitvec_and(void) {
    WriteFmt("Testing BitVecAnd\n");
    
    BitVec bv1    = BitVecInit();

In BitVec.BitWise.Simple.c:52:

    
    // Perform AND operation
    BitVecAnd(&result, &bv1, &bv2);
    
    // Expected result: 1000 (1101 AND 1010)

In BitVec.BitWise.Simple.c:408:

    // Test operations on empty bitvecs
    BitVec result_bv = BitVecInit();
    BitVecAnd(&result_bv, &bv1, &bv2);
    result = result && (result_bv.length == 0);

In BitVec.BitWise.Simple.c:419:

    BitVecPush(&bv2, false);
    
    BitVecAnd(&result_bv, &bv1, &bv2);
    result = result && (result_bv.length >= 1); // Should handle gracefully

In BitVec.BitWise.Simple.c:491:

    
    // Test AND with different lengths (result should be min length)
    BitVecAnd(&result, &bv1, &bv2);
    test_result = test_result && (result.length == 4);

In BitVec.BitWise.Simple.c:508:

    BitVecPush(&bv2, false);
    
    BitVecAnd(&result, &bv1, &bv2);
    test_result = test_result && (result.length == 1);
    test_result = test_result && (BitVecGet(&result, 0) == false);

In BitVec.BitWise.Simple.c:680:

    
    // Test A AND A = A
    BitVecAnd(&result, &bv1, &bv1);
    bool and_identity = true;
    for (int i = 0; i < 16; i++) {

In BitVec.BitWise.Simple.c:727:

    }
    
    BitVecAnd(&result, &bv1, &bv2);
    bool and_zero = true;
    for (int i = 0; i < 16; i++) {

In BitVec.BitWise.Simple.c:776:

    
    // Test A AND B = B AND A
    BitVecAnd(&result1, &bv1, &bv2);
    BitVecAnd(&result2, &bv2, &bv1);

In BitVec.BitWise.Simple.c:777:

    // Test A AND B = B AND A
    BitVecAnd(&result1, &bv1, &bv2);
    BitVecAnd(&result2, &bv2, &bv1);
    
    bool and_commutative = true;

In BitVec.BitWise.Simple.c:837:

    
    // Test AND on large data
    BitVecAnd(&result, &bv1, &bv2);
    test_result = test_result && (result.length == 1000);

In BitVec.BitWise.c:33:

    // Test BitVecAnd function
    bool test_bitvec_and(void) {
    WriteFmtLn("Testing BitVecAnd");
    
    BitVec bv1    = BitVecInit();

In BitVec.BitWise.c:52:

    
    // Perform AND operation
    BitVecAnd(&result, &bv1, &bv2);
    
    // Expected result: 1000 (1101 AND 1010)

In BitVec.BitWise.c:408:

    // Test operations on empty bitvecs
    BitVec result_bv = BitVecInit();
    BitVecAnd(&result_bv, &bv1, &bv2);
    result = result && (result_bv.length == 0);

In BitVec.BitWise.c:419:

    BitVecPush(&bv2, false);
    
    BitVecAnd(&result_bv, &bv1, &bv2);
    result = result && (result_bv.length >= 1); // Should handle gracefully

In BitVec.BitWise.c:491:

    
    // Test AND with different lengths (result should be min length)
    BitVecAnd(&result, &bv1, &bv2);
    test_result = test_result && (result.length == 4);

In BitVec.BitWise.c:508:

    BitVecPush(&bv2, false);
    
    BitVecAnd(&result, &bv1, &bv2);
    test_result = test_result && (result.length == 1);
    test_result = test_result && (BitVecGet(&result, 0) == false);

In BitVec.BitWise.c:680:

    
    // Test A AND A = A
    BitVecAnd(&result, &bv1, &bv1);
    bool and_identity = true;
    for (int i = 0; i < 16; i++) {

In BitVec.BitWise.c:727:

    }
    
    BitVecAnd(&result, &bv1, &bv2);
    bool and_zero = true;
    for (int i = 0; i < 16; i++) {

In BitVec.BitWise.c:776:

    
    // Test A AND B = B AND A
    BitVecAnd(&result1, &bv1, &bv2);
    BitVecAnd(&result2, &bv2, &bv1);

In BitVec.BitWise.c:777:

    // Test A AND B = B AND A
    BitVecAnd(&result1, &bv1, &bv2);
    BitVecAnd(&result2, &bv2, &bv1);
    
    bool and_commutative = true;

In BitVec.BitWise.c:837:

    
    // Test AND on large data
    BitVecAnd(&result, &bv1, &bv2);
    test_result = test_result && (result.length == 1000);

In BitVec.BitWise.c:899:

    
    // Test NULL pointer - should abort
    BitVecAnd(NULL, &bv, &bv2);
    
    BitVecDeinit(&bv);

In BitVec.BitWise.c:943:

    
    // Test NULL result pointer - should abort
    BitVecAnd(NULL, &bv1, &bv2);
    
    BitVecDeinit(&bv1);

BitVecAnd

`BitVecAnd`

Description

Parameters

Usage example (from documentation)

Usage example (Cross-references)

Tags :

Share :

Related Posts

BitVecSignedCompare

BitVecIsSorted

BitVecDisjoint