Searched refs:LHS_Cst (Results 1 – 3 of 3) sorted by relevance
375 int64_t LHS_Cst = LHS.getConstant(); in EvaluateSymbolicAdd() local378 int64_t Result_Cst = LHS_Cst + RHS_Cst; in EvaluateSymbolicAdd()
532 int64_t LHS_Cst = LHS.getConstant(); in EvaluateSymbolicAdd() local535 int64_t Result_Cst = LHS_Cst + RHS_Cst; in EvaluateSymbolicAdd()
591 int64_t LHS_Cst = LHS.getConstant(); in EvaluateSymbolicAdd() local594 int64_t Result_Cst = LHS_Cst + RHS_Cst; in EvaluateSymbolicAdd()