reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

lib/IR/Verifier.cpp
 3159   Assert(B.getOperand(0)->getType() == B.getOperand(1)->getType(),
 3159   Assert(B.getOperand(0)->getType() == B.getOperand(1)->getType(),
 3160          "Both operands to a binary operator are not of the same type!", &B);
 3162   switch (B.getOpcode()) {
 3172     Assert(B.getType()->isIntOrIntVectorTy(),
 3173            "Integer arithmetic operators only work with integral types!", &B);
 3174     Assert(B.getType() == B.getOperand(0)->getType(),
 3174     Assert(B.getType() == B.getOperand(0)->getType(),
 3177            &B);
 3186     Assert(B.getType()->isFPOrFPVectorTy(),
 3189            &B);
 3190     Assert(B.getType() == B.getOperand(0)->getType(),
 3190     Assert(B.getType() == B.getOperand(0)->getType(),
 3193            &B);
 3199     Assert(B.getType()->isIntOrIntVectorTy(),
 3200            "Logical operators only work with integral types!", &B);
 3201     Assert(B.getType() == B.getOperand(0)->getType(),
 3201     Assert(B.getType() == B.getOperand(0)->getType(),
 3203            &B);
 3208     Assert(B.getType()->isIntOrIntVectorTy(),
 3209            "Shifts only work with integral types!", &B);
 3210     Assert(B.getType() == B.getOperand(0)->getType(),
 3210     Assert(B.getType() == B.getOperand(0)->getType(),
 3211            "Shift return type must be same as operands!", &B);
 3217   visitInstruction(B);