41 |
struct |
struct |
42 |
val print = ref false |
val print = ref false |
43 |
val printPhases = ref false |
val printPhases = ref false |
44 |
val phases = ref ["lcontract", "specialize", "fixfix", "fcontract", |
val phases = ref ["lcontract", "specialize", |
45 |
"wrap", "fcontract", |
"fixfix", "fcontract", |
46 |
|
"wrap", "loopify", "fixfix", "fcontract", |
47 |
(* "names2deb", "typelift", "deb2names", *) |
(* "names2deb", "typelift", "deb2names", *) |
48 |
"reify", "loopify", "fcontract", |
"reify", "loopify", "fixfix", "fcontract", |
49 |
"fixfix", "fcontract"] |
"fixfix", "fcontract"] |
50 |
|
|
51 |
val inlineThreshold = ref 16 |
val inlineThreshold = ref 14 |
52 |
val unrollThreshold = ref 20 |
val unrollThreshold = ref 20 |
53 |
val maxargs = ref 10 |
val maxargs = ref 6 |
54 |
val dropinvariant = ref true |
val dropinvariant = ref true |
55 |
|
|
56 |
val specialize = ref true |
val specialize = ref true |