Changeset View
Changeset View
Standalone View
Standalone View
llvm/bindings/ocaml/llvm/llvm.mli
| Show First 20 Lines • Show All 1,093 Lines • ▼ Show 20 Lines | (** [const_nsw_add c1 c2] returns the constant sum of two constants with no | ||||
| See the method [llvm::ConstantExpr::getNSWAdd]. *) | See the method [llvm::ConstantExpr::getNSWAdd]. *) | ||||
| val const_nsw_add : llvalue -> llvalue -> llvalue | val const_nsw_add : llvalue -> llvalue -> llvalue | ||||
| (** [const_nuw_add c1 c2] returns the constant sum of two constants with no | (** [const_nuw_add c1 c2] returns the constant sum of two constants with no | ||||
| unsigned wrapping. The result is undefined if the sum overflows. | unsigned wrapping. The result is undefined if the sum overflows. | ||||
| See the method [llvm::ConstantExpr::getNSWAdd]. *) | See the method [llvm::ConstantExpr::getNSWAdd]. *) | ||||
| val const_nuw_add : llvalue -> llvalue -> llvalue | val const_nuw_add : llvalue -> llvalue -> llvalue | ||||
| (** [const_fadd c1 c2] returns the constant sum of two constant floats. | |||||
| See the method [llvm::ConstantExpr::getFAdd]. *) | |||||
| val const_fadd : llvalue -> llvalue -> llvalue | |||||
| (** [const_sub c1 c2] returns the constant difference, [c1 - c2], of two | (** [const_sub c1 c2] returns the constant difference, [c1 - c2], of two | ||||
| constants. See the method [llvm::ConstantExpr::getSub]. *) | constants. See the method [llvm::ConstantExpr::getSub]. *) | ||||
| val const_sub : llvalue -> llvalue -> llvalue | val const_sub : llvalue -> llvalue -> llvalue | ||||
| (** [const_nsw_sub c1 c2] returns the constant difference of two constants with | (** [const_nsw_sub c1 c2] returns the constant difference of two constants with | ||||
| no signed wrapping. The result is undefined if the sum overflows. | no signed wrapping. The result is undefined if the sum overflows. | ||||
| See the method [llvm::ConstantExpr::getNSWSub]. *) | See the method [llvm::ConstantExpr::getNSWSub]. *) | ||||
| val const_nsw_sub : llvalue -> llvalue -> llvalue | val const_nsw_sub : llvalue -> llvalue -> llvalue | ||||
| (** [const_nuw_sub c1 c2] returns the constant difference of two constants with | (** [const_nuw_sub c1 c2] returns the constant difference of two constants with | ||||
| no unsigned wrapping. The result is undefined if the sum overflows. | no unsigned wrapping. The result is undefined if the sum overflows. | ||||
| See the method [llvm::ConstantExpr::getNSWSub]. *) | See the method [llvm::ConstantExpr::getNSWSub]. *) | ||||
| val const_nuw_sub : llvalue -> llvalue -> llvalue | val const_nuw_sub : llvalue -> llvalue -> llvalue | ||||
| (** [const_fsub c1 c2] returns the constant difference, [c1 - c2], of two | |||||
| constant floats. See the method [llvm::ConstantExpr::getFSub]. *) | |||||
| val const_fsub : llvalue -> llvalue -> llvalue | |||||
| (** [const_mul c1 c2] returns the constant product of two constants. | (** [const_mul c1 c2] returns the constant product of two constants. | ||||
| See the method [llvm::ConstantExpr::getMul]. *) | See the method [llvm::ConstantExpr::getMul]. *) | ||||
| val const_mul : llvalue -> llvalue -> llvalue | val const_mul : llvalue -> llvalue -> llvalue | ||||
| (** [const_nsw_mul c1 c2] returns the constant product of two constants with | (** [const_nsw_mul c1 c2] returns the constant product of two constants with | ||||
| no signed wrapping. The result is undefined if the sum overflows. | no signed wrapping. The result is undefined if the sum overflows. | ||||
| See the method [llvm::ConstantExpr::getNSWMul]. *) | See the method [llvm::ConstantExpr::getNSWMul]. *) | ||||
| val const_nsw_mul : llvalue -> llvalue -> llvalue | val const_nsw_mul : llvalue -> llvalue -> llvalue | ||||
| (** [const_nuw_mul c1 c2] returns the constant product of two constants with | (** [const_nuw_mul c1 c2] returns the constant product of two constants with | ||||
| no unsigned wrapping. The result is undefined if the sum overflows. | no unsigned wrapping. The result is undefined if the sum overflows. | ||||
| See the method [llvm::ConstantExpr::getNSWMul]. *) | See the method [llvm::ConstantExpr::getNSWMul]. *) | ||||
| val const_nuw_mul : llvalue -> llvalue -> llvalue | val const_nuw_mul : llvalue -> llvalue -> llvalue | ||||
| (** [const_fmul c1 c2] returns the constant product of two constants floats. | |||||
| See the method [llvm::ConstantExpr::getFMul]. *) | |||||
| val const_fmul : llvalue -> llvalue -> llvalue | |||||
| (** [const_fdiv c1 c2] returns the constant quotient [c1 / c2] of two floating | |||||
| point constants. | |||||
| See the method [llvm::ConstantExpr::getFDiv]. *) | |||||
| val const_fdiv : llvalue -> llvalue -> llvalue | |||||
| (** [const_frem c1 c2] returns the constant remainder [c1 MOD c2] of two | |||||
| signed floating point constants. | |||||
| See the method [llvm::ConstantExpr::getFRem]. *) | |||||
| val const_frem : llvalue -> llvalue -> llvalue | |||||
| (** [const_and c1 c2] returns the constant bitwise [AND] of two integer | (** [const_and c1 c2] returns the constant bitwise [AND] of two integer | ||||
| constants. | constants. | ||||
| See the method [llvm::ConstantExpr::getAnd]. *) | See the method [llvm::ConstantExpr::getAnd]. *) | ||||
| val const_and : llvalue -> llvalue -> llvalue | val const_and : llvalue -> llvalue -> llvalue | ||||
| (** [const_or c1 c2] returns the constant bitwise [OR] of two integer | (** [const_or c1 c2] returns the constant bitwise [OR] of two integer | ||||
| constants. | constants. | ||||
| See the method [llvm::ConstantExpr::getOr]. *) | See the method [llvm::ConstantExpr::getOr]. *) | ||||
| ▲ Show 20 Lines • Show All 1,595 Lines • Show Last 20 Lines | |||||