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