Rim Chaabane. Analyse dynamique de ... - Université Paris 8

Analyse dynamique de programmes C
328 break;
329 case stofloat:
330 AR[InSt[p].ext][InSt[p].val.ival].v.fval =
(float)STK[ToP].v.dval; /*if(EiC_traceON) {printf("stofloat ");}*/
331 break;
332
333
334 /* specific short stuff */
335 case rvalshort:
336 STK[ToP].v.ival=AR[InSt[p].ext][InSt[p].val.ival].v.sval;
/*if(EiC_traceON) {printf("rvalshort ");}*/
337 break;
338 case rvalushort:
339 STK[ToP].v.ival=AR[InSt[p].ext][InSt[p].val.ival].v.usval;/*
if(EiC_traceON) { printf("rvalushort ");}*/
340 break;
341 case drefushort:
342 drefTYPE(unsigned short, ival);/*if(EiC_traceON)
{ printf("drefushort ");}*/
343 break;
344 case drefshort:
345 drefTYPE(short, ival);/* if(EiC_traceON) {printf("drefshort
");}*/
346 break;
347 case refshort: refTYPE(short, ival); /*if(EiC_traceON)
{printf("refshort ");} */
348 break;
349 case stoshort:
350 AR[InSt[p].ext][InSt[p].val.ival].v.sval = STK[ToP].v.ival;
351 /*if(EiC_traceON) {printf("stoshort ");}*/
352 break;
353
354 /* specific char stuff */
355 case rvalchar:
356 STK[ToP].v.ival=AR[InSt[p].ext][InSt[p].val.ival].v.cval;
357 /*if(EiC_traceON) {printf("rvalchar "); }*/
358 break;
359 case rvaluchar:
360 STK[ToP].v.ival=AR[InSt[p].ext][InSt[p].val.ival].v.ucval;
361 /*if(EiC_traceON) {printf("rvaluchar "); }*/
362 break;
363 case stochar:
364 AR[InSt[p].ext][InSt[p].val.ival].v.cval = STK[ToP].v.ival;
365 /*if(EiC_traceON) {printf("stochar ");}*/
366 break;
367 case drefuchar:
368 drefTYPE(unsigned char, ival); /*if(EiC_traceON)
{printf("drefuchar "); }*/
369 break;
370 case drefchar:
371 drefTYPE(char, ival); /*if(EiC_traceON) {printf("drefchar
"); }*/
372 break;
373 case refchar: refTYPE(char, ival); /*if(EiC_traceON)
{printf("refchar "); }*/
374 break;
375 case neguchar: STK[ToP].v.uival = 256 - STK[ToP].v.uival;
/*if(EiC_traceON) {printf("neguchar "); }*/
376 break;
377
378 /* specific int stuff */
379 case incint: STK[ToP].v.ival += InSt[p].val.ival; /*if(EiC_traceON)
{printf("incrint ");}*/
380 break;
381 case decint: STK[ToP].v.ival -= InSt[p].val.ival;/*if(EiC_traceON)
{ printf("decrint"); }*/
382 break;
383 case drefint:
105