boolbv_bitreverse.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Michael Tautschnig
 
\*******************************************************************/
 
#include "boolbv.h"
 
#include <util/bitvector_expr.h>
 
bvt boolbvt::convert_bitreverse(const bitreverse_exprt &expr)
{
  const std::size_t width = boolbv_width(expr.type());
 
  bvt bv = convert_bv(expr.op(), width);
 
  std::reverse(bv.begin(), bv.end());
 
  return bv;
}