57 |
|
{"nosound", TYPE_BOOLEAN, false, "don't enable sound output"}, |
58 |
|
{"noclipconversion", TYPE_BOOLEAN, false, "don't convert clipboard contents"}, |
59 |
|
{"nogui", TYPE_BOOLEAN, false, "disable GUI"}, |
60 |
+ |
{"jit", TYPE_BOOLEAN, false, "enable JIT compiler"}, |
61 |
+ |
{"jitfpu", TYPE_BOOLEAN, false, "enable JIT compilation of FPU instructions"}, |
62 |
+ |
{"jitdebug", TYPE_BOOLEAN, false, "enable JIT debugger (requires mon builtin)"}, |
63 |
+ |
{"jitcachesize", TYPE_INT32, false, "translation cache size in KB"}, |
64 |
+ |
{"jitlazyflush", TYPE_BOOLEAN, false, "enable lazy invalidation of translation cache"}, |
65 |
|
{NULL, TYPE_END, false, NULL} // End of list |
66 |
|
}; |
67 |
|
|
86 |
|
PrefsAddBool("nosound", false); |
87 |
|
PrefsAddBool("noclipconversion", false); |
88 |
|
PrefsAddBool("nogui", false); |
89 |
+ |
|
90 |
+ |
#if USE_JIT |
91 |
+ |
// JIT compiler specific options |
92 |
+ |
PrefsAddBool("jit", true); |
93 |
+ |
PrefsAddBool("jitfpu", true); |
94 |
+ |
PrefsAddBool("jitdebug", false); |
95 |
+ |
PrefsAddInt32("jitcachesize", 8192); |
96 |
+ |
PrefsAddInt32("jitlazyflush", true); |
97 |
+ |
#else |
98 |
+ |
PrefsAddBool("jit", false); |
99 |
+ |
#endif |
100 |
|
} |