projects
/
oota-llvm.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f2928b9
)
Use existing helper function.
author
Rafael Espindola
<rafael.espindola@gmail.com>
Mon, 26 May 2014 19:57:55 +0000
(19:57 +0000)
committer
Rafael 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
patch
|
blob
|
history
diff --git
a/lib/IR/Verifier.cpp
b/lib/IR/Verifier.cpp
index 80e731ab152f07dc104916f69dbfb88878bd884c..bcc38c1ad51328b1ae0545893506ca9542b4b747 100644
(file)
--- 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)) {