BitVecXor

Function
April 17, 2026

Table of Contents

`BitVecXor`

Description

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

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

Usage example (Cross-references)

In BitVec.c:484:

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

In BitVec.BitWise.Deadend.c:110:

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

In BitVec.BitWise.Simple.c:109:

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

In BitVec.BitWise.Simple.c:128:

    
    // Perform XOR operation
    BitVecXor(&result, &bv1, &bv2);
    
    // Expected result: 0110 (1100 XOR 1010)

In BitVec.BitWise.Simple.c:499:

    
    // Test XOR with different lengths
    BitVecXor(&result, &bv1, &bv2);
    test_result = test_result && (result.length == 8);

In BitVec.BitWise.Simple.c:702:

    
    // Test A XOR A = 0
    BitVecXor(&result, &bv1, &bv1);
    test_result = test_result && (result.length == 16);
    for (int i = 0; i < 16; i++) {

In BitVec.BitWise.Simple.c:802:

    
    // Test A XOR B = B XOR A
    BitVecXor(&result1, &bv1, &bv2);
    BitVecXor(&result2, &bv2, &bv1);

In BitVec.BitWise.Simple.c:803:

    // Test A XOR B = B XOR A
    BitVecXor(&result1, &bv1, &bv2);
    BitVecXor(&result2, &bv2, &bv1);
    
    bool xor_commutative = true;

In BitVec.BitWise.Simple.c:848:

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

In BitVec.BitWise.c:109:

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

In BitVec.BitWise.c:128:

    
    // Perform XOR operation
    BitVecXor(&result, &bv1, &bv2);
    
    // Expected result: 0110 (1100 XOR 1010)

In BitVec.BitWise.c:499:

    
    // Test XOR with different lengths
    BitVecXor(&result, &bv1, &bv2);
    test_result = test_result && (result.length == 8);

In BitVec.BitWise.c:702:

    
    // Test A XOR A = 0
    BitVecXor(&result, &bv1, &bv1);
    test_result = test_result && (result.length == 16);
    for (int i = 0; i < 16; i++) {

In BitVec.BitWise.c:802:

    
    // Test A XOR B = B XOR A
    BitVecXor(&result1, &bv1, &bv2);
    BitVecXor(&result2, &bv2, &bv1);

In BitVec.BitWise.c:803:

    // Test A XOR B = B XOR A
    BitVecXor(&result1, &bv1, &bv2);
    BitVecXor(&result2, &bv2, &bv1);
    
    bool xor_commutative = true;

In BitVec.BitWise.c:848:

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

In BitVec.BitWise.c:971:

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

BitVecXor

`BitVecXor`

Description

Parameters

Usage example (from documentation)

Usage example (Cross-references)

Tags :

Share :

Related Posts

BitVecIsSorted

BitVecOverlaps

BitVecDisjoint