Searched refs:RHS_Cst (Results 1 – 1 of 1) sorted by relevance
746 int64_t RHS_Cst = RHS.getConstant(); in evaluateSymbolicAdd() local752 int64_t Result_Cst = LHS_Cst + RHS_Cst; in evaluateSymbolicAdd()