findConstants.C File Reference

#include "rose.h"
#include "findConstants.h"

Include dependency graph for findConstants.C:

Functions
bool	mayAlias (const MemoryWrite &a, const MemoryWrite &b)
	Returns true if the contents of memory location a could possibly overlap with b.
bool	mustAlias (const MemoryWrite &a, const MemoryWrite &b)
	Returns true if memory locations a and b are the same (note that "same" is more strict than "overlap").
std::ostream &	operator<< (std::ostream &o, const RegisterSet &rs)
Variables
uint64_t	xvarNameCounter = 0
	Counter to generate unique names for XVariables (and thereby, LatticeElements).
SgAsmx86Instruction *	currentInstruction = NULL
	Instruction on which we are currently working.

---

Function Documentation

bool mayAlias	(	const MemoryWrite &	a,
		const MemoryWrite &	b
	)

Returns true if the contents of memory location a could possibly overlap with b.

In other words, returns false only if memory location a cannot overlap with memory location b.

bool mustAlias	(	const MemoryWrite &	a,
		const MemoryWrite &	b
	)

Returns true if memory locations a and b are the same (note that "same" is more strict than "overlap").

std::ostream& operator<<	(	std::ostream &	o,
		const RegisterSet &	rs
	)

---

Variable Documentation

uint64_t xvarNameCounter = 0

Counter to generate unique names for XVariables (and thereby, LatticeElements).

SgAsmx86Instruction* currentInstruction = NULL

Instruction on which we are currently working.

Set by FindConstantsPolicy::startInstruction, cleared by FindConstantsPolicy::finishInstruction, and accessed by the XVariable constructor.

---