[llvm] r299250 - [AMDGPU] Remove assumption that vector and scalar types do not alias

[Stanislav Mekhanoshin via llvm-commits]

Author: rampitec
Date: Fri Mar 31 15:16:54 2017
New Revision: 299250

URL: http://llvm.org/viewvc/llvm-project?rev=299250&view=rev
Log:
[AMDGPU] Remove assumption that vector and scalar types do not alias

Differential Revision: https://reviews.llvm.org/D31547

Modified:
    llvm/trunk/lib/Target/AMDGPU/AMDGPUAliasAnalysis.cpp

Modified: llvm/trunk/lib/Target/AMDGPU/AMDGPUAliasAnalysis.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/AMDGPU/AMDGPUAliasAnalysis.cpp?rev=299250&r1=299249&r2=299250&view=diff
==============================================================================
--- llvm/trunk/lib/Target/AMDGPU/AMDGPUAliasAnalysis.cpp (original)
+++ llvm/trunk/lib/Target/AMDGPU/AMDGPUAliasAnalysis.cpp Fri Mar 31 15:16:54 2017
@@ -98,14 +98,6 @@ AliasResult AMDGPUAAResult::alias(const
   AliasResult Result = ASAliasRules.getAliasResult(asA, asB);
   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.
   return AAResultBase::alias(LocA, LocB);
 }