Method reduce_const_binary_op

src/Reducer.cpp:659–703

}

int
Reducer::reduce_const_binary_op(const FunctionInvocationBinary* fib)
{
	const Expression* op1 = fib->param_value[0];
	const Expression* op2 = fib->param_value[1];
	if (op1->get_invoke() != NULL && map_reduced_invocations.find(op1->get_invoke()) != map_reduced_invocations.end()) {
		op1 = map_reduced_invocations[op1->get_invoke()];
	}
	if (op2->get_invoke() != NULL && map_reduced_invocations.find(op2->get_invoke()) != map_reduced_invocations.end()) {
		op2 = map_reduced_invocations[op2->get_invoke()];
	}
	if (op1->term_type == eConstant || map_reduced_vars.find(op1) != map_reduced_vars.end()) {
		string str1 = (op1->term_type == eConstant) ? ((const Constant*)op1)->get_value() : map_reduced_vars[op1];
		if (op2->term_type == eConstant || map_reduced_vars.find(op2) != map_reduced_vars.end()) {
			string str2 = (op2->term_type == eConstant) ? ((const Constant*)op2)->get_value() : map_reduced_vars[op2];
			INT64 result = 0;
			INT64 v1 = StringUtils::str2longlong(str1);
			INT64 v2 = StringUtils::str2longlong(str2);
			switch (fib->get_operation()) {
				case eAdd: result = v1 + v2; break;
				case eSub: result = v1 - v2; break;
				case eMul: result = v1 * v2; break;
				case eDiv: result = v2 ? v1 / v2 : v1; break;
				case eMod: result = v2 ? v1 % v2 : v1; break;
				case eCmpGt: result = v1 > v2; break;
				case eCmpLt: result = v1 < v2; break;
				case eCmpGe: result = v1 >= v2; break;
				case eCmpLe: result = v1 <= v2; break;
				case eCmpEq: result = v1 == v2; break;
				case eCmpNe: result = v1 != v2; break;
				case eAnd: result = v1 && v2; break;
				case eOr:  result = v1 || v2; break;
				case eBitXor: result = v1 ^ v2; break;
				case eBitAnd: result = v1 & v2; break;
				case eBitOr:  result = v1 | v2; break;
				case eRShift: result = (v2 > 0) ? v1 >> v2 : v1; break;
				case eLShift: result = (v2 > 0) ? v1 << v2 : v1; break;
			}
			Constant* cst = new Constant(&fib->get_type(), StringUtils::longlong2str(result));
			map_reduced_invocations[fib] = cst;
			return 1;
		}
	}
	return 0;
}

void
Reducer::reduce_const_binary_ops(vector<const FunctionInvocationBinary*>& ops)