gcc/testsuite/gcc.target/i386/cleanup-2.c

   1 /* { dg-do run { target { *-*-linux* && { ! ia32 } } } } */
   2 /* { dg-options "-fexceptions -fnon-call-exceptions -fasynchronous-unwind-tables -O2" } */
   3 /* Test complex CFA value expressions.  */
   4
   5 #include <unwind.h>
   6 #include <stdlib.h>
   7 #include <stddef.h>
   8 #include <string.h>
   9 #include <stdio.h>
  10 #include <unistd.h>
  11
  12 static _Unwind_Reason_Code
  13 force_unwind_stop (int version, _Unwind_Action actions,
  14                    _Unwind_Exception_Class exc_class,
  15                    struct _Unwind_Exception *exc_obj,
  16                    struct _Unwind_Context *context,
  17                    void *stop_parameter)
  18 {
  19   if (actions & _UA_END_OF_STACK)
  20     abort ();
  21   return _URC_NO_REASON;
  22 }
  23
  24 static void
  25 force_unwind ()
  26 {
  27   struct _Unwind_Exception *exc = malloc (sizeof (*exc));
  28   memset (&exc->exception_class, 0, sizeof (exc->exception_class));
  29   exc->exception_cleanup = 0;
  30
  31   _Unwind_ForcedUnwind (exc, force_unwind_stop, 0);
  32   abort ();
  33 }
  34
  35 int count;
  36
  37 static void
  38 counter (void *p __attribute__((unused)))
  39 {
  40   ++count;
  41 }
  42
  43 static void
  44 handler (void *p __attribute__((unused)))
  45 {
  46   if (count != 2)
  47     abort ();
  48   _exit (0);
  49 }
  50
  51 static void
  52 __attribute__((noinline))
  53 check (intptr_t p)
  54 {
  55   if ((p & 15) != 0)
  56     abort ();
  57 }
  58
  59 static int __attribute__((noinline))
  60 fn5 (void)
  61 {
  62   char dummy __attribute__((cleanup (counter)));
  63   force_unwind ();
  64   return 0;
  65 }
  66
  67 void
  68 bar (void)
  69 {
  70   char dummy __attribute__((cleanup (counter)));
  71   unsigned long tmp[4] __attribute__((aligned(16)));
  72   check ((intptr_t) tmp);
  73   fn5 ();
  74 }
  75
  76 void __attribute__((noinline))
  77 foo (int x)
  78 {
  79   char buf[256];
  80 #ifdef __x86_64__
  81   __asm (
  82         "testl  %0, %0\n\t"
  83         "jnz    1f\n\t"
  84         ".subsection 1\n\t"
  85         ".type  _L_mutex_lock_%=, @function\n"
  86 "_L_mutex_lock_%=:\n"
  87 "1:\t"  "leaq   %1, %%rdi\n"
  88 "2:\t"  "subq   $136, %%rsp\n"
  89 "3:\t"  "call   bar\n"
  90 "4:\t"  "addq   $136, %%rsp\n"
  91 "5:\t"  "jmp    21f\n"
  92 "6:\t"  ".size _L_mutex_lock_%=, .-_L_mutex_lock_%=\n\t"
  93         ".previous\n\t"
  94         ".section       .eh_frame,\"a\",@progbits\n"
  95 "7:\t"  ".long  9f-8f   # Length of Common Information Entry\n"
  96 "8:\t"  ".long  0x0     # CIE Identifier Tag\n\t"
  97         ".byte  0x1     # CIE Version\n\t"
  98         ".ascii \"zR\\0\"       # CIE Augmentation\n\t"
  99         ".uleb128 0x1   # CIE Code Alignment Factor\n\t"
 100         ".sleb128 -8    # CIE Data Alignment Factor\n\t"
 101         ".byte  0x10    # CIE RA Column\n\t"
 102         ".uleb128 0x1   # Augmentation size\n\t"
 103         ".byte  0x1b    # FDE Encoding (pcrel sdata4)\n\t"
 104         ".byte  0xc     # DW_CFA_def_cfa\n\t"
 105         ".uleb128 0x7\n\t"
 106         ".uleb128 0x0\n\t"
 107         ".align 8\n"
 108 "9:\t"  ".long  20f-10f # FDE Length\n"
 109 "10:\t" ".long  10b-7b  # FDE CIE offset\n\t"
 110         ".long  1b-.    # FDE initial location\n\t"
 111         ".long  6b-1b   # FDE address range\n\t"
 112         ".uleb128 0x0   # Augmentation size\n\t"
 113         /* This CFA expression computes the address right
 114            past the jnz instruction above, from %rip somewhere
 115            within the _L_mutex_lock_%= subsection.  */
 116         ".byte  0x16    # DW_CFA_val_expression\n\t"
 117         ".uleb128 0x10\n\t"
 118         ".uleb128 19f-11f\n"
 119 "11:\t" ".byte  0x80    # DW_OP_breg16\n\t"
 120         ".sleb128 0\n"
 121 "12:\t" ".byte  0x12    # DW_OP_dup\n\t"
 122         ".byte  0x94    # DW_OP_deref_size\n\t"
 123         ".byte  1\n\t"
 124         ".byte  0x12    # DW_OP_dup\n\t"
 125         ".byte  0x08    # DW_OP_const1u\n\t"
 126         ".byte  0x48\n\t"
 127         ".byte  0x2e    # DW_OP_ne\n\t"
 128         ".byte  0x28    # DW_OP_bra\n\t"
 129         ".2byte 16f-13f\n"
 130 "13:\t" ".byte  0x13    # DW_OP_drop\n\t"
 131         ".byte  0x23    # DW_OP_plus_uconst\n\t"
 132         ".uleb128 1\n\t"
 133         ".byte  0x12    # DW_OP_dup\n\t"
 134         ".byte  0x94    # DW_OP_deref_size\n\t"
 135         ".byte  1\n\t"
 136         ".byte  0x08    # DW_OP_const1u\n\t"
 137         ".byte  0x81\n\t"
 138         ".byte  0x2e    # DW_OP_ne\n\t"
 139         ".byte  0x28    # DW_OP_bra\n\t"
 140         ".2byte 15f-14f\n"
 141 "14:\t" ".byte  0x23    # DW_OP_plus_uconst\n\t"
 142         ".uleb128 3b-2b-1\n\t"
 143         ".byte  0x2f    # DW_OP_skip\n\t"
 144         ".2byte 12b-15f\n"
 145 "15:\t" ".byte  0x23    # DW_OP_plus_uconst\n\t"
 146         ".uleb128 2b-1b-1\n\t"
 147         ".byte  0x2f    # DW_OP_skip\n\t"
 148         ".2byte 12b-16f\n"
 149 "16:\t" ".byte  0x08    # DW_OP_const1u\n\t"
 150         ".byte  0xe8\n\t"
 151         ".byte  0x2e    # DW_OP_ne\n\t"
 152         ".byte  0x28    # DW_OP_bra\n\t"
 153         ".2byte 18f-17f\n"
 154 "17:\t" ".byte  0x23    # DW_OP_plus_uconst\n\t"
 155         ".uleb128 4b-3b\n\t"
 156         ".byte  0x2f    # DW_OP_skip\n\t"
 157         ".2byte 12b-18f\n"
 158 "18:\t" ".byte  0x23    # DW_OP_plus_uconst\n\t"
 159         ".uleb128 1\n\t"
 160         ".byte  0x12    # DW_OP_dup\n\t"
 161         ".byte  0x94    # DW_OP_deref_size\n\t"
 162         ".byte  4\n\t"
 163         ".byte  0x08    # DW_OP_const1u\n\t"
 164         ".byte  72 - (6b-5b) * 8 # (6b-5b) == 5 ? 32 : 56\n\t"
 165         ".byte  0x24    # DW_OP_shl\n\t"
 166         ".byte  0x08    # DW_OP_const1u\n\t"
 167         ".byte  72 - (6b-5b) * 8 # (6b-5b) == 5 ? 32 : 56\n\t"
 168         ".byte  0x26    # DW_OP_shra\n\t"
 169         ".byte  0x22    # DW_OP_plus\n\t"
 170         ".byte  0x23    # DW_OP_plus_uconst\n\t"
 171         ".uleb128 6b-5b-1\n"
 172 "19:\t" ".byte  0x40 + (3b-1b) # DW_CFA_advance_loc\n\t"
 173         ".byte  0xe     # DW_CFA_def_cfa_offset\n\t"
 174         ".uleb128 136\n\t"
 175         ".byte  0x40 + (5b-3b) # DW_CFA_advance_loc\n\t"
 176         ".byte  0xe     # DW_CFA_def_cfa_offset\n\t"
 177         ".uleb128 0\n\t"
 178         ".align 8\n"
 179 "20:\t" ".previous\n"
 180 "21:"
 181         : : "r" (x), "m" (x), "r" (buf)
 182         : "memory", "rax", "rdx", "rcx", "rsi", "rdi",
 183           "r8", "r9", "r10", "r11");
 184 #else
 185 # error Unsupported test architecture
 186 #endif
 187 }
 188
 189 static int __attribute__((noinline))
 190 fn2 (void)
 191 {
 192   foo (3);
 193   return 0;
 194 }
 195
 196 static int __attribute__((noinline))
 197 fn1 (void)
 198 {
 199   fn2 ();
 200   return 0;
 201 }
 202
 203 static void *
 204 fn0 (void)
 205 {
 206   char dummy __attribute__((cleanup (handler)));
 207   fn1 ();
 208   return 0;
 209 }
 210
 211 int
 212 main (void)
 213 {
 214   fn0 ();
 215   return 0;
 216 }