Public Member Functions
	OCValueFlowBuilder (DebugInfoAnalysis DIA, TSDataLayout TSDL, ControlDependenceAnalysis *CDGs)

SymbolicExprGraph *	buildSymbolicExprGraph (Function &F)
	It undertakes real SEG construction job for the function `F`.

void	modelInstruction (Instruction &I, BasicBlock B, SymbolicExprGraph SEG)
	Model instructions.

void	modelIntrinsics (CallSite CS, SymbolicExprGraph *G)
	Model intrinsics `CS` in the SEG `G` of a function.

SEGOperandNode *	modelConstantExpr (ConstantExpr CE, SymbolicExprGraph SEG)
	Model constant expr.

SEGOpcodeNode *	modelGEPOperator (GEPOperator GEP, BasicBlock B, SymbolicExprGraph *G)
	Model GEP operator.

SEGOpcodeNode::CodeKind	getOpcode (int LLVMInstOpcode, int Predicate=0)

SEGOperandNode *	findOrCreateNode (SymbolicExprGraph SEG, Value V)
	Find or create a node in SEG.

Member Function Documentation

◆ getOpcode()

SEGOpcodeNode::CodeKind OCValueFlowBuilder::getOpcode	(	int	LLVMInstOpcode,
		int	Predicate = `0`
	)

The function translates llvm opcode LLVMInstOpcode to SEG opcode If the llvm opcode is ICmp or FCmp, Predicate should be set.

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