Lines Matching refs:vcon
190 void LibVEX_default_VexControl ( /*OUT*/ VexControl* vcon ) in LibVEX_default_VexControl() argument
192 vex_bzero(vcon, sizeof(*vcon)); in LibVEX_default_VexControl()
193 vcon->iropt_verbosity = 0; in LibVEX_default_VexControl()
194 vcon->iropt_level = 2; in LibVEX_default_VexControl()
195 vcon->iropt_register_updates_default = VexRegUpdUnwindregsAtMemAccess; in LibVEX_default_VexControl()
196 vcon->iropt_unroll_thresh = 120; in LibVEX_default_VexControl()
197 vcon->guest_max_insns = 60; in LibVEX_default_VexControl()
198 vcon->guest_chase_thresh = 10; in LibVEX_default_VexControl()
199 vcon->guest_chase_cond = False; in LibVEX_default_VexControl()
214 const VexControl* vcon in LibVEX_Init() argument
228 vassert(vcon->iropt_verbosity >= 0); in LibVEX_Init()
229 vassert(vcon->iropt_level >= 0); in LibVEX_Init()
230 vassert(vcon->iropt_level <= 2); in LibVEX_Init()
231 vassert(vcon->iropt_unroll_thresh >= 0); in LibVEX_Init()
232 vassert(vcon->iropt_unroll_thresh <= 400); in LibVEX_Init()
233 vassert(vcon->guest_max_insns >= 1); in LibVEX_Init()
234 vassert(vcon->guest_max_insns <= 100); in LibVEX_Init()
235 vassert(vcon->guest_chase_thresh >= 0); in LibVEX_Init()
236 vassert(vcon->guest_chase_thresh < vcon->guest_max_insns); in LibVEX_Init()
237 vassert(vcon->guest_chase_cond == True in LibVEX_Init()
238 || vcon->guest_chase_cond == False); in LibVEX_Init()
302 vex_control = *vcon; in LibVEX_Init()