Lines Matching refs:vcon
75 void LibVEX_default_VexControl ( /*OUT*/ VexControl* vcon ) in LibVEX_default_VexControl() argument
77 vcon->iropt_verbosity = 0; in LibVEX_default_VexControl()
78 vcon->iropt_level = 2; in LibVEX_default_VexControl()
79 vcon->iropt_precise_memory_exns = False; in LibVEX_default_VexControl()
80 vcon->iropt_unroll_thresh = 120; in LibVEX_default_VexControl()
81 vcon->guest_max_insns = 60; in LibVEX_default_VexControl()
82 vcon->guest_chase_thresh = 10; in LibVEX_default_VexControl()
83 vcon->guest_chase_cond = False; in LibVEX_default_VexControl()
100 /*READONLY*/VexControl* vcon in LibVEX_Init() argument
114 vassert(vcon->iropt_verbosity >= 0); in LibVEX_Init()
115 vassert(vcon->iropt_level >= 0); in LibVEX_Init()
116 vassert(vcon->iropt_level <= 2); in LibVEX_Init()
117 vassert(vcon->iropt_unroll_thresh >= 0); in LibVEX_Init()
118 vassert(vcon->iropt_unroll_thresh <= 400); in LibVEX_Init()
119 vassert(vcon->guest_max_insns >= 1); in LibVEX_Init()
120 vassert(vcon->guest_max_insns <= 100); in LibVEX_Init()
121 vassert(vcon->guest_chase_thresh >= 0); in LibVEX_Init()
122 vassert(vcon->guest_chase_thresh < vcon->guest_max_insns); in LibVEX_Init()
123 vassert(vcon->guest_chase_cond == True in LibVEX_Init()
124 || vcon->guest_chase_cond == False); in LibVEX_Init()
158 vex_control = *vcon; in LibVEX_Init()