Lines Matching defs:es
200 exec_state *es;
212 es = push_exec_state(sigNum);
213 CLG_(zero_cost)( CLG_(sets).full, es->cost );
214 CLG_(current_state).cost = es->cost;
215 es->call_stack_bottom = CLG_(current_call_stack).sp;
230 exec_state* es = top_exec_state();
231 CLG_ASSERT(es != 0);
234 if (CLG_(current_call_stack).sp == es->call_stack_bottom)
240 exec_state* es;
253 es = top_exec_state();
254 CLG_ASSERT(es != 0);
255 while(CLG_(current_call_stack).sp > es->call_stack_bottom)
281 CLG_ASSERT(CLG_(current_state).cost == es->cost);
287 es->sig = -1;
289 es = top_exec_state();
290 CLG_(current_state).sig = es->sig;
314 void CLG_(init_exec_state)(exec_state* es)
316 es->collect = CLG_(clo).collect_atstart;
317 es->cxt = 0;
318 es->jmps_passed = 0;
319 es->bbcc = 0;
320 es->nonskipped = 0;
326 exec_state* es;
327 es = (exec_state*) CLG_MALLOC("cl.threads.nes.1",
332 es->cost = CLG_(get_eventset_cost)(CLG_(sets).full);
333 CLG_(zero_cost)( CLG_(sets).full, es->cost );
334 CLG_(init_exec_state)(es);
335 es->sig = sigNum;
336 es->call_stack_bottom = 0;
338 return es;
341 void CLG_(init_exec_stack)(exec_stack* es)
346 es->entry[0] = new_exec_state(0);
348 es->entry[i] = 0;
349 es->sp = 0;
376 exec_state* es;
379 es = current_states.entry[sp];
380 CLG_ASSERT(es != 0);
381 return es;
391 exec_state* es;
398 es = current_states.entry[sp];
399 if (!es) {
400 es = new_exec_state(sigNum);
401 current_states.entry[sp] = es;
404 es->sig = sigNum;
406 return es;
413 exec_state* es = top_exec_state();
415 es->cxt = CLG_(current_state).cxt;
416 es->collect = CLG_(current_state).collect;
417 es->jmps_passed = CLG_(current_state).jmps_passed;
418 es->bbcc = CLG_(current_state).bbcc;
419 es->nonskipped = CLG_(current_state).nonskipped;
420 CLG_ASSERT(es->cost == CLG_(current_state).cost);
424 es->sig, es->collect ? "Yes": "No", es->jmps_passed);
425 CLG_(print_bbcc)(-9, es->bbcc);
426 CLG_(print_cost)(-9, CLG_(sets).full, es->cost);
430 CLG_ASSERT(CLG_(current_state).sig == es->sig);
432 return es;
438 exec_state* es = top_exec_state();
440 CLG_(current_state).cxt = es->cxt;
441 CLG_(current_state).collect = es->collect;
442 CLG_(current_state).jmps_passed = es->jmps_passed;
443 CLG_(current_state).bbcc = es->bbcc;
444 CLG_(current_state).nonskipped = es->nonskipped;
445 CLG_(current_state).cost = es->cost;
446 CLG_(current_state).sig = es->sig;
450 es->sig, es->collect ? "Yes": "No", es->jmps_passed);
451 CLG_(print_bbcc)(-9, es->bbcc);
452 CLG_(print_cxt)(-9, es->cxt, 0);
453 CLG_(print_cost)(-9, CLG_(sets).full, es->cost);
456 return es;
