popcount.cpp File Reference

#include "expr_lowering.h"
#include <util/arith_tools.h>
#include <util/invariant.h>
#include <util/pointer_offset_size.h>
#include <util/std_expr.h>

Include dependency graph for popcount.cpp:

Go to the source code of this file.

Functions
exprt	lower_popcount (const popcount_exprt &expr, const namespacet &ns)
	Lower a popcount_exprt to arithmetic and logic expressions. More...

Function Documentation

lower_popcount()

exprt lower_popcount	(	const popcount_exprt &	expr,
		const namespacet &	ns
	)

Lower a popcount_exprt to arithmetic and logic expressions.

Parameters

expr	Input expression to be translated
ns	Namespace for type lookups

Returns

Semantically equivalent expression

Definition at line 16 of file popcount.cpp.