klut_network_ext class provides operations derived from the one already existing in mockturtle::klut_network. More...

Inheritance diagram for klut_network_ext:

[legend]

Collaboration diagram for klut_network_ext:

[legend]

Public Member Functions
signal	create_ge (signal const a, signal const b)
	Creates a 'greater' or equal operation. More...

signal	create_gt (signal const a, signal const b)
	Creates a 'greater' operation. More...

signal	create_eq (signal const a, signal const b)
	Creates a 'equal' operation. More...

signal	create_ne (signal const a, signal const b)
	Creates a 'not equal' operation. More...

std::vector< signal >	create_pi_v (size_t size)

void	create_po_v (std::vector< signal > pos)

std::vector< signal >	get_constant_v (std::vector< bool > bits)

signal	create_lut (std::vector< signal > s, long long f)
	Creates a 'lut' operation from an `std::vector` of `mockturtle::klut_network::signal` with the associated constant. More...

std::vector< signal >	create_buf_v (std::vector< signal > const &a)

std::vector< signal >	create_not_v (std::vector< signal > const &a)

std::vector< signal >	create_and_v (std::vector< signal > const &a, std::vector< signal > const &b, bool signedValues)

std::vector< signal >	create_or_v (std::vector< signal > const &a, std::vector< signal > const &b, bool signedValues)

std::vector< signal >	create_xor_v (std::vector< signal > const &a, std::vector< signal > const &b, bool signedValues)

std::vector< signal >	create_lt_v (std::vector< signal > const &a, std::vector< signal > const &b, bool signedValues)

std::vector< signal >	create_ge_v (std::vector< signal > const &a, std::vector< signal > const &b, bool signedValues)

std::vector< signal >	create_gt_v (std::vector< signal > const &a, std::vector< signal > const &b, bool signedValues)

std::vector< signal >	create_le_v (std::vector< signal > const &a, std::vector< signal > const &b, bool signedValues)

std::vector< signal >	create_eq_v (std::vector< signal > const &a, std::vector< signal > const &b, bool signedValues)

std::vector< signal >	create_ne_v (std::vector< signal > const &a, std::vector< signal > const &b, bool signedValues)

Private Member Functions
void	fix_inputs_size (std::vector< signal > a, std::vector< signal > b, bool signedValues)

kitty::dynamic_truth_table	create_lt_tt (unsigned int bits)

Detailed Description

klut_network_ext class provides operations derived from the one already existing in mockturtle::klut_network.

Definition at line 223 of file lut_transformation.cpp.

Member Function Documentation

◆ create_and_v()

std::vector<signal> klut_network_ext::create_and_v	(	std::vector< signal > const &	a,
		std::vector< signal > const &	b,
		bool	signedValues
	)

inline

Definition at line 420 of file lut_transformation.cpp.

◆ create_buf_v()

std::vector<signal> klut_network_ext::create_buf_v ( std::vector< signal > const & a )

inline

Definition at line 405 of file lut_transformation.cpp.

◆ create_eq()

signal klut_network_ext::create_eq	(	signal const	a,
		signal const	b
	)

inline

Creates a 'equal' operation.

Parameters

a	a `mockturtle::klut_network::signal` representing the first operator of the `gt` operation
b	a `mockturtle::klut_network::signal` representing the second operator of the `gt` operation

Returns: a mockturtle::klut_network::signal representing the operation eq between a and b

Definition at line 314 of file lut_transformation.cpp.

Referenced by GetBooleanNodeCreationFunction().

Here is the caller graph for this function:

◆ create_eq_v()

std::vector<signal> klut_network_ext::create_eq_v	(	std::vector< signal > const &	a,
		std::vector< signal > const &	b,
		bool	signedValues
	)

inline

Definition at line 498 of file lut_transformation.cpp.

Referenced by GetIntegerNodeCreationFunction().

Here is the caller graph for this function:

◆ create_ge()

signal klut_network_ext::create_ge	(	signal const	a,
		signal const	b
	)

inline

Creates a 'greater' or equal operation.

Parameters

a	a `mockturtle::klut_network::signal` representing the first operator of the `ge` operation
b	a `mockturtle::klut_network::signal` representing the second operator of the `ge` operation

Returns: a mockturtle::klut_network::signal representing the operation ge between a and b

Definition at line 288 of file lut_transformation.cpp.

Referenced by GetBooleanNodeCreationFunction().

Here is the caller graph for this function:

◆ create_ge_v()

std::vector<signal> klut_network_ext::create_ge_v	(	std::vector< signal > const &	a,
		std::vector< signal > const &	b,
		bool	signedValues
	)

inline

Definition at line 482 of file lut_transformation.cpp.

Referenced by GetIntegerNodeCreationFunction().

Here is the caller graph for this function:

◆ create_gt()

signal klut_network_ext::create_gt	(	signal const	a,
		signal const	b
	)

inline

Creates a 'greater' operation.

Parameters

a	a `mockturtle::klut_network::signal` representing the first operator of the `gt` operation
b	a `mockturtle::klut_network::signal` representing the second operator of the `gt` operation

Returns: a mockturtle::klut_network::signal representing the operation gt between a and b

Definition at line 301 of file lut_transformation.cpp.

Referenced by GetBooleanNodeCreationFunction().

Here is the caller graph for this function:

◆ create_gt_v()

std::vector<signal> klut_network_ext::create_gt_v	(	std::vector< signal > const &	a,
		std::vector< signal > const &	b,
		bool	signedValues
	)

inline

Definition at line 488 of file lut_transformation.cpp.

Referenced by GetIntegerNodeCreationFunction().

Here is the caller graph for this function:

◆ create_le_v()

std::vector<signal> klut_network_ext::create_le_v	(	std::vector< signal > const &	a,
		std::vector< signal > const &	b,
		bool	signedValues
	)

inline

Definition at line 493 of file lut_transformation.cpp.

Referenced by GetIntegerNodeCreationFunction().

Here is the caller graph for this function:

◆ create_lt_tt()

kitty::dynamic_truth_table klut_network_ext::create_lt_tt ( unsigned int bits )

inlineprivate

Definition at line 262 of file lut_transformation.cpp.

◆ create_lt_v()

std::vector<signal> klut_network_ext::create_lt_v	(	std::vector< signal > const &	a,
		std::vector< signal > const &	b,
		bool	signedValues
	)

inline

Definition at line 459 of file lut_transformation.cpp.

References result.

Referenced by GetIntegerNodeCreationFunction().

Here is the caller graph for this function:

◆ create_lut()

signal klut_network_ext::create_lut	(	std::vector< signal >	s,
		long long	f
	)

inline

Creates a 'lut' operation from an std::vector of mockturtle::klut_network::signal with the associated constant.

Parameters

s	an `std::vector` of `mockturtle::klut_network::signal` containing the inputs of the lut
f	the constant associated to the lut

Returns: a mockturtle::klut_network::signal representing a lut between s with constant f

Definition at line 375 of file lut_transformation.cpp.

Referenced by lut_transformation::ProcessBasicBlock().

Here is the caller graph for this function:

◆ create_ne()

signal klut_network_ext::create_ne	(	signal const	a,
		signal const	b
	)

inline

Creates a 'not equal' operation.

Parameters

a	a `mockturtle::klut_network::signal` representing the first operator of the `ne` operation
b	a `mockturtle::klut_network::signal` representing the second operator of the `ne` operation

Returns: a mockturtle::klut_network::signal representing the operation ne between a and b

Definition at line 327 of file lut_transformation.cpp.

Referenced by GetBooleanNodeCreationFunction().

Here is the caller graph for this function:

◆ create_ne_v()

std::vector<signal> klut_network_ext::create_ne_v	(	std::vector< signal > const &	a,
		std::vector< signal > const &	b,
		bool	signedValues
	)

inline

Definition at line 511 of file lut_transformation.cpp.

Referenced by GetIntegerNodeCreationFunction().

Here is the caller graph for this function:

◆ create_not_v()

std::vector<signal> klut_network_ext::create_not_v ( std::vector< signal > const & a )

inline

Definition at line 410 of file lut_transformation.cpp.

◆ create_or_v()

std::vector<signal> klut_network_ext::create_or_v	(	std::vector< signal > const &	a,
		std::vector< signal > const &	b,
		bool	signedValues
	)

inline

Definition at line 433 of file lut_transformation.cpp.

◆ create_pi_v()

std::vector<signal> klut_network_ext::create_pi_v ( size_t size )

inline

Definition at line 335 of file lut_transformation.cpp.

Referenced by lut_transformation::ProcessBasicBlock().

Here is the caller graph for this function:

◆ create_po_v()

void klut_network_ext::create_po_v ( std::vector< signal > pos )

inline

Definition at line 347 of file lut_transformation.cpp.

Referenced by lut_transformation::ProcessBasicBlock().

Here is the caller graph for this function:

◆ create_xor_v()

std::vector<signal> klut_network_ext::create_xor_v	(	std::vector< signal > const &	a,
		std::vector< signal > const &	b,
		bool	signedValues
	)

inline

Definition at line 446 of file lut_transformation.cpp.

◆ fix_inputs_size()

void klut_network_ext::fix_inputs_size	(	std::vector< signal > *	a,
		std::vector< signal > *	b,
		bool	signedValues
	)

inlineprivate

Definition at line 226 of file lut_transformation.cpp.

◆ get_constant_v()

std::vector<signal> klut_network_ext::get_constant_v ( std::vector< bool > bits )

inline

Definition at line 355 of file lut_transformation.cpp.

Referenced by lut_transformation::ProcessBasicBlock().

Here is the caller graph for this function:

The documentation for this class was generated from the following file:

/workspace/src/frontend_analysis/IR_analysis/lut_transformation.cpp

Public Member Functions

Private Member Functions

Detailed Description

Member Function Documentation

◆ create_and_v()

◆ create_buf_v()

◆ create_eq()

◆ create_eq_v()

◆ create_ge()

◆ create_ge_v()

◆ create_gt()

◆ create_gt_v()

◆ create_le_v()

◆ create_lt_tt()

◆ create_lt_v()

◆ create_lut()

◆ create_ne()

◆ create_ne_v()

◆ create_not_v()

◆ create_or_v()

◆ create_pi_v()

◆ create_po_v()

◆ create_xor_v()

◆ fix_inputs_size()

◆ get_constant_v()