cloud9_root/src/cloud9/lib/Core/CacheSideChannel.cpp
// generate tag inequality constraints for constant address pairs
generate tag inequality constraints for constant address pairs
generate tag inequality constraints for constant address pairs
bool CacheChannel::generateTagCnstrCC(ref<Expr>& addressI, ref<Expr>& addressJ) {
	ConstantExpr* CE = dyn_cast < ConstantExpr > (addressI);
	uint64_t addrRaw = CE->getZExtValue();
	int tagI = CACHE_TAG(addrRaw, nset, line);
	CE = dyn_cast < ConstantExpr > (addressJ);
	addrRaw = CE->getZExtValue();
	int tagJ = CACHE_TAG(addrRaw, nset, line);
	return (tagI != tagJ);
}
bool CacheChannel :: generateTagCnstrCC ( ref < Expr > & addressI , ref < Expr > & addressJ ) { ConstantExpr * CE = dyn_cast < ConstantExpr > ( addressI ) ; uint64_t addrRaw = CE -> getZExtValue ( ) ; int tagI = CACHE_TAG ( addrRaw , nset , line ) ; CE = dyn_cast < ConstantExpr > ( addressJ ) ; addrRaw = CE -> getZExtValue ( ) ; int tagJ = CACHE_TAG ( addrRaw , nset , line ) ; return ( tagI != tagJ ) ; }
generate tag inequality constraints for constant address pairs
generate tag inequality constraints for constant address pairs