Lines Matching refs:es
198 exec_state *es;
210 es = push_exec_state(sigNum);
211 CLG_(zero_cost)( CLG_(sets).full, es->cost );
212 CLG_(current_state).cost = es->cost;
213 es->call_stack_bottom = CLG_(current_call_stack).sp;
228 exec_state* es = top_exec_state();
229 CLG_ASSERT(es != 0);
232 if (CLG_(current_call_stack).sp == es->call_stack_bottom)
238 exec_state* es;
251 es = top_exec_state();
252 CLG_ASSERT(es != 0);
253 while(CLG_(current_call_stack).sp > es->call_stack_bottom)
279 CLG_ASSERT(CLG_(current_state).cost == es->cost);
285 es->sig = -1;
287 es = top_exec_state();
288 CLG_(current_state).sig = es->sig;
312 void CLG_(init_exec_state)(exec_state* es)
314 es->collect = CLG_(clo).collect_atstart;
315 es->cxt = 0;
316 es->jmps_passed = 0;
317 es->bbcc = 0;
318 es->nonskipped = 0;
324 exec_state* es;
325 es = (exec_state*) CLG_MALLOC("cl.threads.nes.1",
330 es->cost = CLG_(get_eventset_cost)(CLG_(sets).full);
331 CLG_(zero_cost)( CLG_(sets).full, es->cost );
332 CLG_(init_exec_state)(es);
333 es->sig = sigNum;
334 es->call_stack_bottom = 0;
336 return es;
339 void CLG_(init_exec_stack)(exec_stack* es)
344 es->entry[0] = new_exec_state(0);
346 es->entry[i] = 0;
347 es->sp = 0;
374 exec_state* es;
377 es = current_states.entry[sp];
378 CLG_ASSERT(es != 0);
379 return es;
389 exec_state* es;
396 es = current_states.entry[sp];
397 if (!es) {
398 es = new_exec_state(sigNum);
399 current_states.entry[sp] = es;
402 es->sig = sigNum;
404 return es;
411 exec_state* es = top_exec_state();
413 es->cxt = CLG_(current_state).cxt;
414 es->collect = CLG_(current_state).collect;
415 es->jmps_passed = CLG_(current_state).jmps_passed;
416 es->bbcc = CLG_(current_state).bbcc;
417 es->nonskipped = CLG_(current_state).nonskipped;
418 CLG_ASSERT(es->cost == CLG_(current_state).cost);
422 es->sig, es->collect ? "Yes": "No", es->jmps_passed);
423 CLG_(print_bbcc)(-9, es->bbcc);
424 CLG_(print_cost)(-9, CLG_(sets).full, es->cost);
428 CLG_ASSERT(CLG_(current_state).sig == es->sig);
430 return es;
436 exec_state* es = top_exec_state();
438 CLG_(current_state).cxt = es->cxt;
439 CLG_(current_state).collect = es->collect;
440 CLG_(current_state).jmps_passed = es->jmps_passed;
441 CLG_(current_state).bbcc = es->bbcc;
442 CLG_(current_state).nonskipped = es->nonskipped;
443 CLG_(current_state).cost = es->cost;
444 CLG_(current_state).sig = es->sig;
448 es->sig, es->collect ? "Yes": "No", es->jmps_passed);
449 CLG_(print_bbcc)(-9, es->bbcc);
450 CLG_(print_cxt)(-9, es->cxt, 0);
451 CLG_(print_cost)(-9, CLG_(sets).full, es->cost);
454 return es;
