// Unary operators...
inline Constant *operator~(const Constant &V) {
- assert(V.getType()->isIntegral() && "Cannot invert non-intergral constant!");
+ assert(V.getType()->isIntegral() && "Cannot invert non-integral constant!");
return ConstRules::get(V, V)->op_xor(&V,
ConstantInt::getAllOnesValue(V.getType()));
}
+inline Constant *operator-(const Constant &V) {
+ return ConstRules::get(V, V)->sub(Constant::getNullValue(V.getType()), &V);
+}
+
// Standard binary operators...
inline Constant *operator+(const Constant &V1, const Constant &V2) {
assert(V1.getType() == V2.getType() && "Constant types must be identical!");
// Unary operators...
inline Constant *operator~(const Constant &V) {
- assert(V.getType()->isIntegral() && "Cannot invert non-intergral constant!");
+ assert(V.getType()->isIntegral() && "Cannot invert non-integral constant!");
return ConstRules::get(V, V)->op_xor(&V,
ConstantInt::getAllOnesValue(V.getType()));
}
+inline Constant *operator-(const Constant &V) {
+ return ConstRules::get(V, V)->sub(Constant::getNullValue(V.getType()), &V);
+}
+
// Standard binary operators...
inline Constant *operator+(const Constant &V1, const Constant &V2) {
assert(V1.getType() == V2.getType() && "Constant types must be identical!");
// Unary operators...
inline Constant *operator~(const Constant &V) {
- assert(V.getType()->isIntegral() && "Cannot invert non-intergral constant!");
+ assert(V.getType()->isIntegral() && "Cannot invert non-integral constant!");
return ConstRules::get(V, V)->op_xor(&V,
ConstantInt::getAllOnesValue(V.getType()));
}
+inline Constant *operator-(const Constant &V) {
+ return ConstRules::get(V, V)->sub(Constant::getNullValue(V.getType()), &V);
+}
+
// Standard binary operators...
inline Constant *operator+(const Constant &V1, const Constant &V2) {
assert(V1.getType() == V2.getType() && "Constant types must be identical!");