Lines Matching refs:vcon
179 void LibVEX_default_VexControl ( /*OUT*/ VexControl* vcon ) in LibVEX_default_VexControl() argument
181 vex_bzero(vcon, sizeof(*vcon)); in LibVEX_default_VexControl()
182 vcon->iropt_verbosity = 0; in LibVEX_default_VexControl()
183 vcon->iropt_level = 2; in LibVEX_default_VexControl()
184 vcon->iropt_register_updates_default = VexRegUpdUnwindregsAtMemAccess; in LibVEX_default_VexControl()
185 vcon->iropt_unroll_thresh = 120; in LibVEX_default_VexControl()
186 vcon->guest_max_insns = 60; in LibVEX_default_VexControl()
187 vcon->guest_chase_thresh = 10; in LibVEX_default_VexControl()
188 vcon->guest_chase_cond = False; in LibVEX_default_VexControl()
203 const VexControl* vcon in LibVEX_Init() argument
217 vassert(vcon->iropt_verbosity >= 0); in LibVEX_Init()
218 vassert(vcon->iropt_level >= 0); in LibVEX_Init()
219 vassert(vcon->iropt_level <= 2); in LibVEX_Init()
220 vassert(vcon->iropt_unroll_thresh >= 0); in LibVEX_Init()
221 vassert(vcon->iropt_unroll_thresh <= 400); in LibVEX_Init()
222 vassert(vcon->guest_max_insns >= 1); in LibVEX_Init()
223 vassert(vcon->guest_max_insns <= 100); in LibVEX_Init()
224 vassert(vcon->guest_chase_thresh >= 0); in LibVEX_Init()
225 vassert(vcon->guest_chase_thresh < vcon->guest_max_insns); in LibVEX_Init()
226 vassert(vcon->guest_chase_cond == True in LibVEX_Init()
227 || vcon->guest_chase_cond == False); in LibVEX_Init()
291 vex_control = *vcon; in LibVEX_Init()