BitVecAnd

Documentation

API Reference

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)

Usage examples (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);

Last updated on April 20, 2026

BitVecAlignmentScore BitVecBestAlignment