<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Llvm" rel="Chapter" href="Llvm.html"> <link title="Llvm_analysis" rel="Chapter" href="Llvm_analysis.html"> <link title="Llvm_bitreader" rel="Chapter" href="Llvm_bitreader.html"> <link title="Llvm_bitwriter" rel="Chapter" href="Llvm_bitwriter.html"> <link title="Llvm_executionengine" rel="Chapter" href="Llvm_executionengine.html"> <link title="Llvm_ipo" rel="Chapter" href="Llvm_ipo.html"> <link title="Llvm_scalar_opts" rel="Chapter" href="Llvm_scalar_opts.html"> <link title="Llvm_target" rel="Chapter" href="Llvm_target.html"><title>Llvm_scalar_opts</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">external</span> add_constant_propagation :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_constant_propagation"</span><br> <span class="keyword">external</span> add_sccp : [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_sccp"</span><br> <span class="keyword">external</span> add_dead_store_elimination :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_dead_store_elimination"</span><br> <span class="keyword">external</span> add_aggressive_dce :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_aggressive_dce"</span><br> <span class="keyword">external</span> add_scalar_repl_aggregation :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_scalar_repl_aggregation"</span><br> <span class="keyword">external</span> add_scalar_repl_aggregation_ssa :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_scalar_repl_aggregation_ssa"</span><br> <span class="keyword">external</span> add_scalar_repl_aggregation_with_threshold :<br> int <span class="keywordsign">-></span> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_scalar_repl_aggregation_with_threshold"</span><br> <span class="keyword">external</span> add_ind_var_simplification :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_ind_var_simplification"</span><br> <span class="keyword">external</span> add_instruction_combination :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_instruction_combination"</span><br> <span class="keyword">external</span> add_licm : [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_licm"</span><br> <span class="keyword">external</span> add_loop_unswitch :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_loop_unswitch"</span><br> <span class="keyword">external</span> add_loop_unroll :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_loop_unroll"</span><br> <span class="keyword">external</span> add_loop_rotation :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_loop_rotation"</span><br> <span class="keyword">external</span> add_memory_to_register_promotion :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_memory_to_register_promotion"</span><br> <span class="keyword">external</span> add_memory_to_register_demotion :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_memory_to_register_demotion"</span><br> <span class="keyword">external</span> add_reassociation :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_reassociation"</span><br> <span class="keyword">external</span> add_jump_threading :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_jump_threading"</span><br> <span class="keyword">external</span> add_cfg_simplification :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_cfg_simplification"</span><br> <span class="keyword">external</span> add_tail_call_elimination :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_tail_call_elimination"</span><br> <span class="keyword">external</span> add_gvn : [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_gvn"</span><br> <span class="keyword">external</span> add_memcpy_opt :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_memcpy_opt"</span><br> <span class="keyword">external</span> add_loop_deletion :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_loop_deletion"</span><br> <span class="keyword">external</span> add_loop_idiom :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_loop_idiom"</span><br> <span class="keyword">external</span> add_lib_call_simplification :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_lib_call_simplification"</span><br> <span class="keyword">external</span> add_verifier :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_verifier"</span><br> <span class="keyword">external</span> add_correlated_value_propagation :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_correlated_value_propagation"</span><br> <span class="keyword">external</span> add_early_cse :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_early_cse"</span><br> <span class="keyword">external</span> add_lower_expect_intrinsic :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_lower_expect_intrinsic"</span><br> <span class="keyword">external</span> add_type_based_alias_analysis :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_type_based_alias_analysis"</span><br> <span class="keyword">external</span> add_basic_alias_analysis :<br> [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_basic_alias_analysis"</span><br> <span class="keyword">end</span></code></body></html>
