Use existing helper function.
authorRafael Espindola <rafael.espindola@gmail.com>
Mon, 26 May 2014 19:57:55 +0000 (19:57 +0000)
committerRafael Espindola <rafael.espindola@gmail.com>
Mon, 26 May 2014 19:57:55 +0000 (19:57 +0000)
No functionality change.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@209639 91177308-0d34-0410-b5e6-96231b3b80d8

lib/IR/Verifier.cpp

index 80e731ab152f07dc104916f69dbfb88878bd884c..bcc38c1ad51328b1ae0545893506ca9542b4b747 100644 (file)
@@ -497,14 +497,7 @@ void Verifier::visitGlobalAlias(const GlobalAlias &GA) {
                 "addrspacecast of GlobalValue",
             &GA);
 
-    if (CE->getOpcode() == Instruction::BitCast) {
-      unsigned SrcAS = GV->getType()->getPointerAddressSpace();
-      unsigned DstAS = CE->getType()->getPointerAddressSpace();
-
-      Assert1(SrcAS == DstAS,
-              "Alias bitcasts cannot be between different address spaces",
-              &GA);
-    }
+    VerifyConstantExprBitcastType(CE);
   }
   Assert1(!GV->isDeclaration(), "Alias must point to a definition", &GA);
   if (const GlobalAlias *GAAliasee = dyn_cast<GlobalAlias>(GV)) {