diff options
| author | Rafael Espindola <rafael.espindola@gmail.com> | 2014-05-26 19:57:55 +0000 |
|---|---|---|
| committer | Rafael Espindola <rafael.espindola@gmail.com> | 2014-05-26 19:57:55 +0000 |
| commit | ce5ddbab6df9201a1b3b98fd19e3cb313f13bdbb (patch) | |
| tree | 9f9d97b45fb8d9868a0ae7c6c8650e7b43c7505a /lib/IR/Verifier.cpp | |
| parent | f2928b9b5f3d2af68f724af16cdaed2628fddfc9 (diff) | |
| download | llvm-ce5ddbab6df9201a1b3b98fd19e3cb313f13bdbb.tar.gz llvm-ce5ddbab6df9201a1b3b98fd19e3cb313f13bdbb.tar.bz2 llvm-ce5ddbab6df9201a1b3b98fd19e3cb313f13bdbb.tar.xz | |
Use existing helper function.
No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@209639 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/IR/Verifier.cpp')
| -rw-r--r-- | lib/IR/Verifier.cpp | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/lib/IR/Verifier.cpp b/lib/IR/Verifier.cpp index 80e731ab15..bcc38c1ad5 100644 --- a/lib/IR/Verifier.cpp +++ b/lib/IR/Verifier.cpp @@ -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)) { |