6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-02-05 14:34:55 +00:00
Code Issues Projects Releases Wiki Activity

Tighten up assertion checking for binary operators, not allowing invalid

Browse Source 
instructions to _even be created_.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3661 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2002-09-10 19:57:53 +00:00
parent 4a6482ba9c
commit 9a66d5109e
1 changed files with 27 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
lib/VMCore/iOperators.cpp
View File

@ -17,11 +17,36 @@ BinaryOperator::BinaryOperator(BinaryOps iType, Value *S1, Value *S2,
const Type *Ty, const std::string &Name, const Type *Ty, const std::string &Name,
Instruction *InsertBefore) Instruction *InsertBefore)
: Instruction(Ty, iType, Name, InsertBefore) { : Instruction(Ty, iType, Name, InsertBefore) {
Operands.reserve(2); Operands.reserve(2);
Operands.push_back(Use(S1, this)); Operands.push_back(Use(S1, this));
Operands.push_back(Use(S2, this)); Operands.push_back(Use(S2, this));
assert(Operands[0] && Operands[1] && assert(S1 && S2 && S1->getType() == S2->getType());
Operands[0]->getType() == Operands[1]->getType());
#ifndef NDEBUG
switch (iType) {
case Add: case Sub:
case Mul: case Div:
case Rem:
assert(Ty == S1->getType() &&
"Arithmetic operation should return same type as operands!");
assert((Ty->isInteger() || Ty->isFloatingPoint()) &&
"Tried to create an arithmetic operation on a non-arithmetic type!");
break;
case And: case Or:
case Xor:
assert(Ty == S1->getType() &&
"Logical operation should return same type as operands!");
assert(Ty->isIntegral() &&
"Tried to create an logical operation on a non-integral type!");
break;
case SetLT: case SetGT: case SetLE:
case SetGE: case SetEQ: case SetNE:
assert(Ty == Type::BoolTy && "Setcc must return bool!");
default:
break;
}
#endif
} }