1  /* PR tree-optimization/56094 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -g -fdump-tree-optimized-lineno" } */
       4  
       5  _Bool cond;
       6  
       7  int
       8  fn0 (unsigned char, unsigned long long, unsigned char,
       9       unsigned char, signed short, unsigned int,
      10       unsigned char *);
      11  
      12  extern void fn3 (unsigned char, unsigned char, unsigned char, unsigned char,
      13  		 unsigned char, unsigned char, unsigned char, unsigned short);
      14  extern void fn7 (int);
      15  extern void fn8 (int);
      16  
      17  static __inline__ __attribute__ ((always_inline)) void
      18  fn1 (unsigned char arg0, unsigned char arg1, unsigned char arg2,
      19       unsigned char arg3, unsigned char arg4, unsigned char arg5,
      20       unsigned short arg6)
      21  {
      22    asm volatile ("" :: "g" ((unsigned long long) arg0), "g" (arg1),
      23  		      "g" (arg2), "g" (arg3), "g" (arg4), "g" (arg5),
      24  		      "g" (arg6));
      25    if (cond)
      26      {
      27        unsigned char loc0 = 0;
      28        fn3 (loc0, arg0, arg1, arg2, arg3, arg4, arg5, arg6);
      29      }
      30  }
      31  
      32  static __inline__ __attribute__ ((always_inline)) void
      33  fn4 (unsigned int arg0, unsigned long long arg1)
      34  {
      35    asm volatile ("" :: "g" (arg0), "g" (arg1));
      36  }
      37  
      38  static __inline__ __attribute__ ((always_inline)) void
      39  fn5 (unsigned int arg0, unsigned char arg1, unsigned int arg2,
      40       unsigned char arg3)
      41  {
      42    asm volatile ("" :: "g" (arg0), "g" (arg1),
      43  		      "g" ((unsigned long long) arg2), "g" (arg3));
      44  }
      45  
      46  static __inline__ __attribute__ ((always_inline)) void
      47  fn6 (unsigned long long arg0, unsigned char arg1,
      48       unsigned char arg2, signed short arg3,
      49       unsigned int arg4, unsigned char * arg5)
      50  {
      51    asm volatile ("" :: "g" (arg0), "g" ((unsigned long long) arg1),
      52  		      "g" ((unsigned long long) arg2), "g" (arg3),
      53  		      "g" (arg4), "g" (arg5));
      54    if (cond)
      55      {
      56        unsigned char loc0 = 0;
      57        fn0 (loc0, arg0, arg1, arg2, arg3, arg4, arg5);
      58      }
      59  }
      60  
      61  unsigned char b[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 0xa };
      62  unsigned int q = sizeof (b) / sizeof (b[0]);
      63  
      64  void
      65  foo ()
      66  {
      67    int i;
      68    for (i = 1; i <= 50; i++)
      69      {
      70        fn6 (i + 0x1234, i + 1, i + 0xa, i + 0x1234, q, b);
      71        fn5 (i + 0xabcd, i << 1, i + 0x1234, i << 2);
      72        fn7 (i + 0xdead);
      73        fn8 (i + 0xdead);
      74        fn1 (i, i + 1, i + 2, i + 3, i + 4, i + 5, i << 10);
      75        fn4 (i + 0xfeed, i);
      76      }
      77  }
      78  
      79  /* Verify no statements get the location of the foo () decl.  */
      80  /* { dg-final { scan-tree-dump-not " : 65:1\\\]" "optimized" } } */