File Metadata

Created: Tue, Jul 7, 4:39 PM

dfapass.h
View Options

	// Data Flow Graph determination pass

	#ifndef DFGPASS_H
	#define DFGPASS_H

	#include "abstractpass.h"
	#include "analysis/dfagraph.h"

	namespace xreate {

	class ClaspLayer;

	class DFAPass : public AbstractPass<xreate::analysis::SymbolNode> {
	public:
	xreate::analysis::SymbolNode process(CodeScope* scope, PassContext context, const std::string& hintBlockDecl="") override;
	xreate::analysis::SymbolNode process(const Expression& expression, PassContext context, const std::string& varDecl="") override;

	DFAPass(PassManager* manager);

	void init();
	void run();
	void finish();

	private:
	struct
	{
	xreate::analysis::DFAGraph* graph;
	} __context;

	struct ExpressionCache{
	std::vector<xreate::analysis::SymbolNode> operands;
	std::vector<xreate::analysis::SymbolNode> blocks;
	xreate::analysis::SymbolNode result;
	};

	std::map<Operator, Expression> __signatures; //DFA data for particular operators
	ClaspLayer* clasp;

	void processCompoundOp(const Expression& expression, PassContext context, ExpressionCache& cache, const std::string& varDecl="");
	void processElementaryOp(const Expression& expression, PassContext context, ExpressionCache& cache, const std::string& varDecl="");

	void applyDependencies(const Expression& expression, PassContext context, ExpressionCache& cache, const std::string& decl);
	void applyInPlaceAnnotations(const Expression& expression, PassContext context, ExpressionCache& cache, const std::string& decl);
	void applySignatureAnnotations(const Expression& expression, PassContext context, ExpressionCache& cache, const std::string& decl);
	void applyStaticAnnotations(const Expression& expression, PassContext context, ExpressionCache& cache, const std::string& decl);
	};
	};

	#endif

dfapass.h
No OneTemporary
Actions

File Metadata

dfapass.h
View Options

Event Timeline

dfapass.hNo OneTemporaryActions

File Metadata

dfapass.hView Options

Event Timeline

dfapass.h
No OneTemporary
Actions

dfapass.h
View Options