This is an archive of the discontinued LLVM Phabricator instance.

[AMDGPU] Remove assumption that vector and scalar types do not alias
ClosedPublic

Authored by rampitec on Mar 31 2017, 1:20 PM.

Reviewers

cfang
arsenm

Commits

LGTM

This revision is now accepted and ready to land.Mar 31 2017, 1:26 PM

This revision was automatically updated to reflect the committed changes.

Path

Size

llvm/

trunk/

lib/

Target/

AMDGPU/

8 lines

	Show First 20 Lines • Show All 92 Lines • ▼ Show 20 Lines
	AliasResult AMDGPUAAResult::alias(const MemoryLocation &LocA,			AliasResult AMDGPUAAResult::alias(const MemoryLocation &LocA,
	const MemoryLocation &LocB) {			const MemoryLocation &LocB) {
	unsigned asA = LocA.Ptr->getType()->getPointerAddressSpace();			unsigned asA = LocA.Ptr->getType()->getPointerAddressSpace();
	unsigned asB = LocB.Ptr->getType()->getPointerAddressSpace();			unsigned asB = LocB.Ptr->getType()->getPointerAddressSpace();

	AliasResult Result = ASAliasRules.getAliasResult(asA, asB);			AliasResult Result = ASAliasRules.getAliasResult(asA, asB);
	if (Result == NoAlias) return Result;			if (Result == NoAlias) return Result;

	if (isa<Argument>(LocA.Ptr) && isa<Argument>(LocB.Ptr)) {
	Type *T1 = cast<PointerType>(LocA.Ptr->getType())->getElementType();
	Type *T2 = cast<PointerType>(LocB.Ptr->getType())->getElementType();

	if ((T1->isVectorTy() && !T2->isVectorTy()) \|\|
	(T2->isVectorTy() && !T1->isVectorTy()))
	return NoAlias;
	}
	// Forward the query to the next alias analysis.			// Forward the query to the next alias analysis.
	return AAResultBase::alias(LocA, LocB);			return AAResultBase::alias(LocA, LocB);
	}			}

	bool AMDGPUAAResult::pointsToConstantMemory(const MemoryLocation &Loc,			bool AMDGPUAAResult::pointsToConstantMemory(const MemoryLocation &Loc,
	bool OrLocal) {			bool OrLocal) {
	const Value *Base = GetUnderlyingObject(Loc.Ptr, DL);			const Value *Base = GetUnderlyingObject(Loc.Ptr, DL);

	Show All 39 Lines