diff options
| author | Evan Cheng <evan.cheng@apple.com> | 2013-01-10 23:22:53 +0000 |
|---|---|---|
| committer | Evan Cheng <evan.cheng@apple.com> | 2013-01-10 23:22:53 +0000 |
| commit | 582e4f278b95d50a45c6f56e33da5e78c19afc17 (patch) | |
| tree | 40554ee8f36be2e6a9d9982303424bcf10e2d4e0 /lib/IR/Instructions.cpp | |
| parent | 0e4776ce61092e34ac2340c60534cbed29aba87b (diff) | |
CastInst::castIsValid should return true if the dest type is the same as
Value's current type. The casting is trivial even for aggregate type.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@172143 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/IR/Instructions.cpp')
| -rw-r--r-- | lib/IR/Instructions.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/IR/Instructions.cpp b/lib/IR/Instructions.cpp index f2e9813bc6..26398ce851 100644 --- a/lib/IR/Instructions.cpp +++ b/lib/IR/Instructions.cpp @@ -2624,6 +2624,11 @@ CastInst::castIsValid(Instruction::CastOps op, Value *S, Type *DstTy) { // Check for type sanity on the arguments Type *SrcTy = S->getType(); + + // If this is a cast to the same type then it's trivially true. + if (SrcTy == DstTy) + return true; + if (!SrcTy->isFirstClassType() || !DstTy->isFirstClassType() || SrcTy->isAggregateType() || DstTy->isAggregateType()) return false; |