inferno.cpp File Reference

#include "tree/cpptree.hpp"
#include "tree/sctree.hpp"
#include "parse/parse.hpp"
#include "render/render.hpp"
#include "render/graph.hpp"
#include "common/read_args.hpp"
#include "common/hit_count.hpp"
#include "helpers/walk.hpp"
#include "sr/search_replace.hpp"
#include "sr/soft_patterns.hpp"
#include "tree/validate.hpp"
#include "steps/split_instance_declarations.hpp"
#include "steps/generate_implicit_casts.hpp"
#include "steps/generate_stacks.hpp"
#include "steps/slave_test.hpp"
#include "steps/lower_control_flow.hpp"
#include "steps/clean_up.hpp"
#include "steps/state_out.hpp"
#include "steps/fall_out.hpp"
#include "steps/systemc_detection.hpp"
#include "steps/to_sc_method.hpp"
#include "render/doc_graphs.hpp"

Include dependency graph for inferno.cpp:

Go to the source code of this file.

Functions
void	SelfTest ()
void	BuildSequence (vector< shared_ptr< Transformation > > *sequence)
int	main (int argc, char *argv[])

---

Function Documentation

void BuildSequence

(

vector< shared_ptr< Transformation > > *

sequence

)

Definition at line 29 of file inferno.cpp.

References ASSERT.

Referenced by main().

int main	(	int	argc,
		char *	argv[]
	)

Definition at line 150 of file inferno.cpp.

References ASSERT, BuildSequence(), HitCount::Check(), ReadArgs::documentation_graphs, HitCount::Dump(), Tracer::Enable(), HitCount::Enable(), FOREACH, GenerateDocumentationGraphs(), ReadArgs::infile, HitCount::instance, ReadArgs::intermediate_graph, ReadArgs::outfile, ReadArgs::pattern_graph, ReadArgs::quitafter, ReadArgs::quitenable, ReadArgs::rep_error, ReadArgs::repetitions, ReadArgs::runonlyenable, ReadArgs::runonlystep, SelfTest(), ReadArgs::selftest, CompareReplace::SetMaxReps(), HitCount::SetStep(), ReadArgs::trace, TRACE, and ReadArgs::trace_hits.

Referenced by Steps::SwitchCleanUp::SwitchCleanUp().

void SelfTest

(

)

Definition at line 240 of file inferno.cpp.

References CommonTest(), GenericsTest(), and CompareReplace::Test().

Referenced by main().