Revision 61df3cb9
Added by Pierre-Loïc Garoche about 4 years ago
| src/plugins/salsa/salsa_plugin.ml | ||
|---|---|---|
| 5 | 5 |
(* "-salsa", Arg.Set salsa_enabled, "activate Salsa optimization <default>"; *) |
| 6 | 6 |
(* "-no-salsa", Arg.Clear salsa_enabled, "deactivate Salsa optimization"; *) |
| 7 | 7 |
|
| 8 |
|
|
| 8 |
|
|
| 9 |
|
|
| 9 | 10 |
module Plugin = |
| 10 | 11 |
(struct |
| 11 | 12 |
include PluginType.Default |
| ... | ... | |
| 13 | 14 |
|
| 14 | 15 |
let options = [ |
| 15 | 16 |
"-debug", Arg.Set SalsaDatatypes.debug, "debug salsa plugin"; |
| 17 |
"-verbose", Arg.Set_int Salsa.Log.verbose_level, "salsa plugin verbose level (default is 0)"; |
|
| 16 | 18 |
"-slice-depth", Arg.Set_int Salsa.Prelude.sliceSize, "salsa slice depth (default is 5)"; |
| 17 | 19 |
"-disable", Arg.Clear salsa_enabled, "disable salsa"; |
| 18 | 20 |
] |
| 19 | 21 |
|
| 20 |
let activate () = salsa_enabled := true |
|
| 21 |
|
|
| 22 |
let activate () = |
|
| 23 |
salsa_enabled := true |
|
| 24 |
|
|
| 25 |
let init () = |
|
| 26 |
if !salsa_enabled then |
|
| 27 |
if !SalsaDatatypes.debug then |
|
| 28 |
Salsa.Log.debug := true |
|
| 29 |
|
|
| 22 | 30 |
let refine_machine_code prog machine_code = |
| 23 | 31 |
if !salsa_enabled then |
| 24 | 32 |
begin |
Also available in: Unified diff
Reformating plugin signatures. Better report management