BitVecOr

Documentation

API Reference

BitVecOr

Description

Perform bitwise OR 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)

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

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.c:469:

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

In BitVec.BitWise.Deadend.c:96:

    
        // Test NULL operand - should abort
        BitVecOr(&result, &bv1, NULL);
    
        BitVecDeinit(&result);

In BitVec.BitWise.Simple.c:71:

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

In BitVec.BitWise.Simple.c:90:

    
        // Perform OR operation
        BitVecOr(&result, &bv1, &bv2);
    
        // Expected result: 1110 (1100 OR 1010)

In BitVec.BitWise.Simple.c:411:

        result = result && (result_bv.length == 0);
    
        BitVecOr(&result_bv, &bv1, &bv2);
        result = result && (result_bv.length == 0);

In BitVec.BitWise.Simple.c:495:

    
        // Test OR with different lengths (result should be max length)
        BitVecOr(&result, &bv1, &bv2);
        test_result = test_result && (result.length == 8);

In BitVec.BitWise.Simple.c:512:

        test_result = test_result && (BitVecGet(&result, 0) == false);
    
        BitVecOr(&result, &bv1, &bv2);
        test_result = test_result && (BitVecGet(&result, 0) == true);

In BitVec.BitWise.Simple.c:691:

    
        // Test A OR A = A
        BitVecOr(&result, &bv1, &bv1);
        bool or_identity = true;
        for (int i = 0; i < 16; i++) {

In BitVec.BitWise.Simple.c:743:

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

In BitVec.BitWise.Simple.c:789:

    
        // Test A OR B = B OR A
        BitVecOr(&result1, &bv1, &bv2);
        BitVecOr(&result2, &bv2, &bv1);

In BitVec.BitWise.Simple.c:790:

        // Test A OR B = B OR A
        BitVecOr(&result1, &bv1, &bv2);
        BitVecOr(&result2, &bv2, &bv1);
    
        bool or_commutative = true;

In BitVec.BitWise.c:71:

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

In BitVec.BitWise.c:90:

    
        // Perform OR operation
        BitVecOr(&result, &bv1, &bv2);
    
        // Expected result: 1110 (1100 OR 1010)

In BitVec.BitWise.c:411:

        result = result && (result_bv.length == 0);
    
        BitVecOr(&result_bv, &bv1, &bv2);
        result = result && (result_bv.length == 0);

In BitVec.BitWise.c:495:

    
        // Test OR with different lengths (result should be max length)
        BitVecOr(&result, &bv1, &bv2);
        test_result = test_result && (result.length == 8);

In BitVec.BitWise.c:512:

        test_result = test_result && (BitVecGet(&result, 0) == false);
    
        BitVecOr(&result, &bv1, &bv2);
        test_result = test_result && (BitVecGet(&result, 0) == true);

In BitVec.BitWise.c:691:

    
        // Test A OR A = A
        BitVecOr(&result, &bv1, &bv1);
        bool or_identity = true;
        for (int i = 0; i < 16; i++) {

In BitVec.BitWise.c:743:

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

In BitVec.BitWise.c:789:

    
        // Test A OR B = B OR A
        BitVecOr(&result1, &bv1, &bv2);
        BitVecOr(&result2, &bv2, &bv1);

In BitVec.BitWise.c:790:

        // Test A OR B = B OR A
        BitVecOr(&result1, &bv1, &bv2);
        BitVecOr(&result2, &bv2, &bv1);
    
        bool or_commutative = true;

In BitVec.BitWise.c:957:

    
        // Test NULL operand - should abort
        BitVecOr(&result, &bv1, NULL);
    
        BitVecDeinit(&result);

Last updated on April 20, 2026

BitVecNumericalCompare BitVecOverlaps