Lines Matching refs:vcon
81 void LibVEX_default_VexControl ( /*OUT*/ VexControl* vcon )
83 vcon->iropt_verbosity = 0;
84 vcon->iropt_level = 2;
85 vcon->iropt_register_updates = VexRegUpdUnwindregsAtMemAccess;
86 vcon->iropt_unroll_thresh = 120;
87 vcon->guest_max_insns = 60;
88 vcon->guest_chase_thresh = 10;
89 vcon->guest_chase_cond = False;
106 /*READONLY*/VexControl* vcon
120 vassert(vcon->iropt_verbosity >= 0);
121 vassert(vcon->iropt_level >= 0);
122 vassert(vcon->iropt_level <= 2);
123 vassert(vcon->iropt_unroll_thresh >= 0);
124 vassert(vcon->iropt_unroll_thresh <= 400);
125 vassert(vcon->guest_max_insns >= 1);
126 vassert(vcon->guest_max_insns <= 100);
127 vassert(vcon->guest_chase_thresh >= 0);
128 vassert(vcon->guest_chase_thresh < vcon->guest_max_insns);
129 vassert(vcon->guest_chase_cond == True
130 || vcon->guest_chase_cond == False);
176 vex_control = *vcon;