Module `Llvm_scalar_opts`Source

Scalar Transforms.

This interface provides an OCaml API for LLVM scalar transforms, the classes in the LLVMScalarOpts library.

Sourceval add_aggressive_dce : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createAggressiveDCEPass function.

Sourceval add_dce : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createDCEPass function.

val add_alignment_from_assumptions : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createAlignmentFromAssumptionsPass function.

Source

val add_cfg_simplification : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createCFGSimplificationPass function.

Source

val add_dead_store_elimination : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See llvm::createDeadStoreEliminationPass function.

Sourceval add_scalarizer : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See llvm::createScalarizerPass function.

Source

val add_merged_load_store_motion : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See llvm::createMergedLoadStoreMotionPass function.

Sourceval add_gvn : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createGVNPass function.

Source

val add_ind_var_simplification : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createIndVarSimplifyPass function.

Source

val add_instruction_combination : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createInstructionCombiningPass function.

Sourceval add_jump_threading : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createJumpThreadingPass function.

Sourceval add_licm : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createLICMPass function.

Sourceval add_loop_deletion : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createLoopDeletionPass function.

Sourceval add_loop_idiom : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createLoopIdiomPass function.

Sourceval add_loop_rotation : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createLoopRotatePass function.

Sourceval add_loop_reroll : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createLoopRerollPass function.

Sourceval add_loop_unroll : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createLoopUnrollPass function.

Sourceval add_memcpy_opt : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createMemCpyOptPass function.

Source

val add_partially_inline_lib_calls : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createPartiallyInlineLibCallsPass function.

Sourceval add_lower_atomic : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createLowerAtomicPass function.

Sourceval add_lower_switch : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createLowerSwitchPass function.

Source

val add_memory_to_register_promotion : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createPromoteMemoryToRegisterPass function.

Sourceval add_reassociation : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createReassociatePass function.

Sourceval add_sccp : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createSCCPPass function.

Source

val add_scalar_repl_aggregation : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createSROAPass function.

Source

val add_scalar_repl_aggregation_ssa : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createSROAPass function.

Source

val add_scalar_repl_aggregation_with_threshold : 
  int ->
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createSROAPass function.

Source

val add_lib_call_simplification : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createSimplifyLibCallsPass function.

Source

val add_tail_call_elimination : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createTailCallEliminationPass function.

Source

val add_memory_to_register_demotion : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createDemoteMemoryToRegisterPass function.

Sourceval add_verifier : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createVerifierPass function.

Source

val add_correlated_value_propagation : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createCorrelatedValuePropagationPass function.

Sourceval add_early_cse : [< Llvm.PassManager.any ] Llvm.PassManager.t -> unit

See the llvm::createEarlyCSE function.

Source

val add_lower_expect_intrinsic : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createLowerExpectIntrinsicPass function.

Source

val add_lower_constant_intrinsics : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createLowerConstantIntrinsicsPass function.

Source

val add_type_based_alias_analysis : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createTypeBasedAliasAnalysisPass function.

Source

val add_scoped_no_alias_alias_analysis : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createScopedNoAliasAAPass function.

Source

val add_basic_alias_analysis : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createBasicAliasAnalysisPass function.

Source

val add_unify_function_exit_nodes : 
  [< Llvm.PassManager.any ] Llvm.PassManager.t ->
  unit

See the llvm::createUnifyFunctionExitNodesPass function.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/llvm_scalar_opts_static/Llvm_scalar_opts/index.html

Module `Llvm_scalar_opts`Source

package llvm

Install

Dune Dependency

Authors

Maintainers

Sources

doc/llvm_scalar_opts_static/Llvm_scalar_opts/index.html

Module Llvm_scalar_optsSource

Module `Llvm_scalar_opts`Source