diff --git a/llvm/lib/VMCore/ConstantHandling.cpp b/llvm/lib/VMCore/ConstantHandling.cpp index 36cc13cf5502..8da98f19979b 100644 --- a/llvm/lib/VMCore/ConstantHandling.cpp +++ b/llvm/lib/VMCore/ConstantHandling.cpp @@ -461,9 +461,21 @@ struct DirectIntRules : public DirectRules > { + static Constant *Div(const ConstantClass *V1, const ConstantClass *V2) { + if (V2->isNullValue()) return 0; + if (V2->isAllOnesValue() && // MIN_INT / -1 + (BuiltinType)V1->getValue() == -(BuiltinType)V1->getValue()) + return 0; + BuiltinType R = (BuiltinType)V1->getValue() / (BuiltinType)V2->getValue(); + return ConstantClass::get(*Ty, R); + } + static Constant *Rem(const ConstantClass *V1, const ConstantClass *V2) { - if (V2->isNullValue()) return 0; + if (V2->isNullValue()) return 0; // X / 0 + if (V2->isAllOnesValue() && // MIN_INT / -1 + (BuiltinType)V1->getValue() == -(BuiltinType)V1->getValue()) + return 0; BuiltinType R = (BuiltinType)V1->getValue() % (BuiltinType)V2->getValue(); return ConstantClass::get(*Ty, R); }