reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
511 Solver->mkBitvector(NewFromInt, NewFromInt.getBitWidth()); 515 llvm::SMTExprRef Exp = getExpr(Solver, Ctx, Sym, &SymTy); 519 return getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_EQ : BO_NE, 526 Solver->mkBitvector(NewToInt, NewToInt.getBitWidth()); 531 getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_GE : BO_LT, FromExp, 533 llvm::SMTExprRef RHS = getBinExpr(Solver, Ctx, Exp, SymTy, 537 return fromBinOp(Solver, LHS, InRange ? BO_LAnd : BO_LOr, RHS,