Subversion Repositories openrisc_2011-10-31

/* Contributed by Dodji Seketeli <dodji@redhat.com>

   Origin: PR debug/37801

  Abstract instances (DW_TAG_subroutines having the DW_AT_inline attribute)

  of second and first were having a DW_TAG_lexical_block DIE wrongly

  representing the inlined calls to third (in second) and to

  second (in first). At the same time, main didn't have children

  DW_TAG_inlined_subroutine DIEs representing the inlined calls to

  first, second and third.

  The ideal goal here is to test that we have no superfluous

  DW_TAG_lexical_block DIE anymore, that abstract instances DIEs have

  no descendant DIE with a DW_AT_abstract_origin attribute, and that main has

  properly nested DW_TAG_inlined_subroutine DIEs for third, second and first.

*/

/* { dg-options "-O -g3 -gdwarf-2 -dA" } */

/* { dg-do compile } */

/* There are 6 inlined subroutines:

   - One for each subroutine inlined into main, that's 3.

   - One for earch subroutine inline into the out of line instances

     of third, second and first.  */

/* { dg-final { scan-assembler-times "\\(DIE \\(.*?\\) DW_TAG_inlined_subroutine" 6 } } */

/* Likewise we should have 6 DW_TAG_lexical_block DIEs:

   - One for each subroutine inlined into main, so that's 3.

   - One for each subroutine inlined in the out of line instances

     of third, second and first, that's 3.

*/

/* { dg-final { scan-assembler-times "\\(DIE \\(.*?\\) DW_TAG_lexical_block" 6 } } */

/* There are 3 DW_AT_inline attributes: one per abstract inline instance.

   The value of the attribute must be 0x3, meaning the function was

   actually inlined.  */

/* { dg-final { scan-assembler-times  "(?:byte|data1)\[^\n\]*0x3\[^\n\]* DW_AT_inline" 3 } } */

volatile int *a;

inline void

third (int arg3)

{

  int var3 = arg3;

  a[0] = var3;

}

inline void

second (int arg2)

{

  int var2 = arg2;

  third (var2+1);

}

inline void

first (int arg1)

{

  int var1 = arg1;

  second (var1+1);

}

int

main ()

{

  int some_int = 1;

  first (some_int);

  return 0;

}