1  #include "check.h"
       2  
       3  
       4  #define ASMNAME(cname)  ASMNAME2 (__USER_LABEL_PREFIX__, cname)
       5  #define ASMNAME2(prefix, cname) STRING (prefix) cname
       6  #define STRING(x)    #x
       7  
       8  #ifdef  __cplusplus
       9  extern "C" void abort (void);
      10  #else
      11  extern void abort (void);
      12  #endif
      13  
      14  extern void foo(void);
      15  
      16  #define INIT_EDI 1
      17  #define INIT_ESI 2
      18  #define INIT_EBX 3
      19  
      20  /* Set DI/SI/BX to wrong value
      21     Use following template so that RA will save/restore callee
      22     save registers in prologue/epilogue */
      23  #define ALTER_REGS() \
      24    { \
      25          int dummy;      \
      26          __asm__  __volatile__ (\
      27          "movl %1, %0" : "=D" (dummy) : "i" (-INIT_EDI)\
      28          );\
      29          __asm__  __volatile__ (\
      30          "movl %1, %0" : "=S" (dummy) : "i" (-INIT_ESI)\
      31          );\
      32          __asm__  __volatile__ (\
      33          "movl %1, %0" : "=b" (dummy) : "i" (-INIT_EBX)\
      34          );\
      35    }
      36  
      37  #if defined __PIC__ || defined __USING_SJLJ_EXCEPTIONS__
      38  int
      39  main ()
      40  {
      41    return 0;
      42  }
      43  #else
      44  void __attribute__ ((noinline))
      45  copy (char *p, int size)
      46  {
      47    __builtin_strncpy (p, "good", size);
      48  }
      49  
      50  int g_edi __attribute__((externally_visible)) =INIT_EDI;
      51  int g_esi __attribute__((externally_visible)) =INIT_ESI;
      52  int g_ebx __attribute__((externally_visible)) = INIT_EBX; 
      53  int g_ebp __attribute__((externally_visible));
      54  int g_esp __attribute__((externally_visible));
      55  int g_ebp_save __attribute__((externally_visible));
      56  int g_esp_save __attribute__((externally_visible));
      57  int n_error;
      58  
      59  int
      60  main()
      61  {
      62          int dummy;
      63  	// Init registers to correct value.
      64          // Use following template so that RA will save/restore callee
      65  	// save registers in prologue/epilogue
      66  	__asm__  __volatile__ (
      67  	"movl %1, %0"
      68  	: "=D" (dummy)
      69  	: "i" (INIT_EDI)
      70  	);
      71  	__asm__  __volatile__ (
      72  	"movl %1, %0"
      73  	: "=S" (dummy)
      74  	: "i" (INIT_ESI)
      75  	);
      76  	__asm__  __volatile__ (
      77  	"movl %1, %0"
      78  	: "=b" (dummy)
      79  	: "i" (INIT_EBX)
      80  	);
      81  	__asm__ __volatile__ (
      82  	"movl %ebp," ASMNAME("g_ebp_save")"\n\t"
      83  	"movl %esp," ASMNAME("g_esp_save")"\n\t"
      84  	);
      85  	try {
      86  		foo();
      87  	}
      88  	catch (...)
      89  	{
      90  	}
      91  
      92  	// Get DI/SI/BX register value after exception caught
      93  	__asm__ __volatile__ (
      94  	"movl %edi," ASMNAME("g_edi")"\n\t"
      95  	"movl %esi," ASMNAME("g_esi")"\n\t"
      96  	"movl %ebx," ASMNAME("g_ebx")"\n\t"
      97  	"movl %ebp," ASMNAME("g_ebp")"\n\t"
      98  	"movl %esp," ASMNAME("g_esp")"\n\t"
      99  	);
     100  
     101  	// Check if DI/SI/BX register value are the same as before calling
     102          // foo.
     103  	if (g_edi != INIT_EDI)
     104  	{
     105  		n_error++;
     106  #ifdef DEBUG
     107  		printf("edi=%d, correct value:%d\n", g_edi, INIT_EDI);
     108  #endif
     109  	}
     110  	if (g_esi != INIT_ESI)
     111  	{
     112  		n_error++;
     113  #ifdef DEBUG
     114  		printf("esi=%d, correct value:%d\n", g_esi, INIT_ESI);
     115  #endif
     116  	}
     117  	if (g_ebx != INIT_EBX)
     118  	{
     119  		n_error++;
     120  #ifdef DEBUG
     121  		printf("ebx=%d, correct value:%d\n", g_ebx, INIT_EBX);
     122  #endif
     123  	}
     124  	if (g_ebp != g_ebp_save)
     125  	{
     126  		n_error++;
     127  #ifdef DEBUG
     128  		printf("ebp=0x%x, correct value:0x%x\n", g_ebp, g_ebp_save);
     129  #endif
     130  	}
     131  	if (g_esp != g_esp_save)
     132  	{
     133  		n_error++;
     134  #ifdef DEBUG
     135  		printf("esp=0x%x, correct value:0x%x\n", g_esp, g_esp_save);
     136  #endif
     137  	}
     138  	if (n_error !=0)
     139  		abort();
     140  	return 0;
     141  }
     142  #endif