in src/cpp/modules/tapenade/utils/adStack.c [367:410]
void showpushpopsequence_(int *op, int *index, int* nbobjects, int* sorts, int* sizes) {
char *prefix = "" ;
if (*op==1) prefix = "+" ;
else if (*op==-1) prefix = "-" ;
else if (*op==2) prefix = "+s" ;
else if (*op==-2) prefix = "-s" ;
else if (*op==-3) prefix = "Ls" ;
printf("%s%02i", prefix, *index) ;
// Comment the rest for compact display:
printf(":") ;
int i ;
for (i=0 ; i<*nbobjects ; ++i) {
switch (sorts[i]) {
case 1:
printf(" I4") ;
break ;
case 2:
printf(" I8") ;
break ;
case 3:
printf(" R4") ;
break ;
case 4:
printf(" R8") ;
break ;
case 5:
printf(" C8") ;
break ;
case 6:
printf(" C16") ;
break ;
case 7:
printf(" char") ;
break ;
case 8:
printf(" bit") ;
break ;
case 9:
printf(" PTR") ;
break ;
}
if (sizes[i]!=0) printf("[%1i]",sizes[i]) ;
}
}