BitVecReverse

Documentation

API Reference

BitVecReverse

Description

Reverse the order of all bits in bitvector. First bit becomes last, last becomes first, etc.

Parameters

Name	Direction	Description
`bv`	in	Bitvector to reverse

Usage example (from documentation)

  BitVecReverse(&flags);

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.c:961:

    }
    
    void BitVecReverse(BitVec *bv) {
        ValidateBitVec(bv);
        if (bv->length <= 1) {

In BitVec.BitWise.Deadend.c:49:

    
        // Test NULL pointer - should abort
        BitVecReverse(NULL);
    
        return false;

In BitVec.BitWise.Simple.c:308:

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

In BitVec.BitWise.Simple.c:319:

    
        // Reverse the bits
        BitVecReverse(&bv);
    
        // Expected result: 1101 (1011 reversed)

In BitVec.BitWise.Simple.c:439:

    
    bool test_bitvec_reverse_edge_cases(void) {
        WriteFmt("Testing BitVecReverse edge cases\n");
    
        BitVec bv     = BitVecInit();

In BitVec.BitWise.Simple.c:445:

    
        // Test reverse empty bitvec
        BitVecReverse(&bv);
        result = result && (bv.length == 0);

In BitVec.BitWise.Simple.c:450:

        // Test reverse single bit
        BitVecPush(&bv, true);
        BitVecReverse(&bv);
        result = result && (bv.length == 1);
        result = result && (BitVecGet(&bv, 0) == true);

In BitVec.BitWise.Simple.c:458:

        BitVecPush(&bv, true);
        BitVecPush(&bv, false);
        BitVecReverse(&bv);
        result = result && (BitVecGet(&bv, 0) == false);
        result = result && (BitVecGet(&bv, 1) == true);

In BitVec.BitWise.Simple.c:463:

    
        // Test double reverse (should restore original)
        BitVecReverse(&bv);
        result = result && (BitVecGet(&bv, 0) == true);
        result = result && (BitVecGet(&bv, 1) == false);

In BitVec.BitWise.c:308:

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

In BitVec.BitWise.c:319:

    
        // Reverse the bits
        BitVecReverse(&bv);
    
        // Expected result: 1101 (1011 reversed)

In BitVec.BitWise.c:439:

    
    bool test_bitvec_reverse_edge_cases(void) {
        WriteFmtLn("Testing BitVecReverse edge cases");
    
        BitVec bv     = BitVecInit();

In BitVec.BitWise.c:445:

    
        // Test reverse empty bitvec
        BitVecReverse(&bv);
        result = result && (bv.length == 0);

In BitVec.BitWise.c:450:

        // Test reverse single bit
        BitVecPush(&bv, true);
        BitVecReverse(&bv);
        result = result && (bv.length == 1);
        result = result && (BitVecGet(&bv, 0) == true);

In BitVec.BitWise.c:458:

        BitVecPush(&bv, true);
        BitVecPush(&bv, false);
        BitVecReverse(&bv);
        result = result && (BitVecGet(&bv, 0) == false);
        result = result && (BitVecGet(&bv, 1) == true);

In BitVec.BitWise.c:463:

    
        // Test double reverse (should restore original)
        BitVecReverse(&bv);
        result = result && (BitVecGet(&bv, 0) == true);
        result = result && (BitVecGet(&bv, 1) == false);

In BitVec.BitWise.c:910:

    
        // Test NULL pointer - should abort
        BitVecReverse(NULL);
    
        return false;

Last updated on April 20, 2026

BitVecResize BitVecRFindPattern