crc-verification.h File Reference

#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "backend.h"
#include "cfgloop.h"
#include "sym-exec/sym-exec-state.h"

Include dependency graph for crc-verification.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	crc_symbolic_execution

Functions
bool	all_states_match_lfsr (value *, bool, tree, const vec< state * > &)

Function Documentation

all_states_match_lfsr()

bool all_states_match_lfsr	(	value *	lfsr,
		bool	is_bit_forward,
		tree	calculated_crc,
		const vec< state * > &	final_states )

Returns true if all states match the LFSR, otherwise - false.   

Return true if all states from the FINAL_STATES match the LFSR,
otherwise - false.   

References dump_file, dump_flags, get_crc_val(), init_sb_index_and_other_part_begin_end(), is_xor_state(), lfsr_matches_crc_state(), and TDF_DETAILS.

Referenced by crc_optimization::loop_calculates_crc().