48                            ConstantInt *In1, ConstantInt *In2,  in HasAddOverflow()  argument
51     return Result->getValue().ult(In1->getValue());  in HasAddOverflow()
54     return Result->getValue().sgt(In1->getValue());  in HasAddOverflow()
55   return Result->getValue().slt(In1->getValue());  in HasAddOverflow()
60 static bool AddWithOverflow(Constant *&Result, Constant *In1,  in AddWithOverflow()  argument
62   Result = ConstantExpr::getAdd(In1, In2);  in AddWithOverflow()
64   if (VectorType *VTy = dyn_cast<VectorType>(In1->getType())) {  in AddWithOverflow()
66       Constant *Idx = ConstantInt::get(Type::getInt32Ty(In1->getContext()), i);  in AddWithOverflow()
68                          ExtractElement(In1, Idx),  in AddWithOverflow()
77                         cast<ConstantInt>(In1), cast<ConstantInt>(In2),  in AddWithOverflow()
82                            ConstantInt *In1, ConstantInt *In2,  in HasSubOverflow()  argument
85     return Result->getValue().ugt(In1->getValue());  in HasSubOverflow()
88     return Result->getValue().slt(In1->getValue());  in HasSubOverflow()
90   return Result->getValue().sgt(In1->getValue());  in HasSubOverflow()
95 static bool SubWithOverflow(Constant *&Result, Constant *In1,  in SubWithOverflow()  argument
97   Result = ConstantExpr::getSub(In1, In2);  in SubWithOverflow()
99   if (VectorType *VTy = dyn_cast<VectorType>(In1->getType())) {  in SubWithOverflow()
101       Constant *Idx = ConstantInt::get(Type::getInt32Ty(In1->getContext()), i);  in SubWithOverflow()
103                          ExtractElement(In1, Idx),  in SubWithOverflow()
112                         cast<ConstantInt>(In1), cast<ConstantInt>(In2),  in SubWithOverflow()