BitVecNot

Documentation

API Reference

BitVecNot

Description

Perform bitwise NOT operation on a bitvector. Result is stored in the first bitvector.

Parameters

Name	Direction	Description
`result`	out	Bitvector to store result in
`bv`	in	Bitvector operand

Usage example (from documentation)

  BitVecNot(&result, &flags);

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.c:499:

    }
    
    void BitVecNot(BitVec *result, BitVec *bitvec) {
        ValidateBitVec(result);
        ValidateBitVec(bitvec);

In BitVec.BitWise.Deadend.c:123:

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

In BitVec.BitWise.Simple.c:147:

    // Test BitVecNot function
    bool test_bitvec_not(void) {
        WriteFmt("Testing BitVecNot\n");
    
        BitVec bv     = BitVecInit();

In BitVec.BitWise.Simple.c:159:

    
        // Perform NOT operation
        BitVecNot(&result, &bv);
    
        // Expected result: 0101 (NOT 1010)

In BitVec.BitWise.Simple.c:424:

        // Test NOT on various sizes
        BitVecClear(&bv1);
        BitVecNot(&result_bv, &bv1);
        result = result && (result_bv.length == 0);

In BitVec.BitWise.Simple.c:428:

    
        BitVecPush(&bv1, true);
        BitVecNot(&result_bv, &bv1);
        result = result && (BitVecGet(&result_bv, 0) == false);

In BitVec.BitWise.Simple.c:521:

        }
    
        BitVecNot(&result, &bv1);
        test_result = test_result && (result.length == 100);

In BitVec.BitWise.Simple.c:709:

    
        // Test NOT(NOT(A)) = A
        BitVecNot(&result, &bv1);    // result = NOT(A)
        BitVecNot(&result, &result); // result = NOT(NOT(A))

In BitVec.BitWise.Simple.c:710:

        // Test NOT(NOT(A)) = A
        BitVecNot(&result, &bv1);    // result = NOT(A)
        BitVecNot(&result, &result); // result = NOT(NOT(A))
    
        bool double_not = true;

In BitVec.BitWise.Simple.c:852:

    
        // Test NOT on large data
        BitVecNot(&result, &bv1);
        test_result = test_result && (result.length == 1000);

In BitVec.BitWise.c:147:

    // Test BitVecNot function
    bool test_bitvec_not(void) {
        WriteFmtLn("Testing BitVecNot");
    
        BitVec bv     = BitVecInit();

In BitVec.BitWise.c:159:

    
        // Perform NOT operation
        BitVecNot(&result, &bv);
    
        // Expected result: 0101 (NOT 1010)

In BitVec.BitWise.c:424:

        // Test NOT on various sizes
        BitVecClear(&bv1);
        BitVecNot(&result_bv, &bv1);
        result = result && (result_bv.length == 0);

In BitVec.BitWise.c:428:

    
        BitVecPush(&bv1, true);
        BitVecNot(&result_bv, &bv1);
        result = result && (BitVecGet(&result_bv, 0) == false);

In BitVec.BitWise.c:521:

        }
    
        BitVecNot(&result, &bv1);
        test_result = test_result && (result.length == 100);

In BitVec.BitWise.c:709:

    
        // Test NOT(NOT(A)) = A
        BitVecNot(&result, &bv1);    // result = NOT(A)
        BitVecNot(&result, &result); // result = NOT(NOT(A))

In BitVec.BitWise.c:710:

        // Test NOT(NOT(A)) = A
        BitVecNot(&result, &bv1);    // result = NOT(A)
        BitVecNot(&result, &result); // result = NOT(NOT(A))
    
        bool double_not = true;

In BitVec.BitWise.c:852:

    
        // Test NOT on large data
        BitVecNot(&result, &bv1);
        test_result = test_result && (result.length == 1000);

In BitVec.BitWise.c:984:

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

Last updated on April 20, 2026

BitVecNone BitVecPop