Lines Matching full:vcon
93 void LibVEX_default_VexControl ( /*OUT*/ VexControl* vcon )
95 vex_bzero(vcon, sizeof(*vcon));
96 vcon->iropt_verbosity = 0;
97 vcon->iropt_level = 2;
98 vcon->iropt_register_updates = VexRegUpdUnwindregsAtMemAccess;
99 vcon->iropt_unroll_thresh = 120;
100 vcon->guest_max_insns = 60;
101 vcon->guest_chase_thresh = 10;
102 vcon->guest_chase_cond = False;
119 /*READONLY*/VexControl* vcon
133 vassert(vcon->iropt_verbosity >= 0);
134 vassert(vcon->iropt_level >= 0);
135 vassert(vcon->iropt_level <= 2);
136 vassert(vcon->iropt_unroll_thresh >= 0);
137 vassert(vcon->iropt_unroll_thresh <= 400);
138 vassert(vcon->guest_max_insns >= 1);
139 vassert(vcon->guest_max_insns <= 100);
140 vassert(vcon->guest_chase_thresh >= 0);
141 vassert(vcon->guest_chase_thresh < vcon->guest_max_insns);
142 vassert(vcon->guest_chase_cond == True
143 || vcon->guest_chase_cond == False);
199 vex_control = *vcon;
