1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-optimized" }  */
       3  int t;
       4  static inline int cvmx_atomic_get32(int *ptr)
       5  {
       6      return *(volatile int*)ptr;
       7  }
       8  void f(void)
       9  {
      10    while (!cvmx_atomic_get32(&t))
      11      ;
      12  }
      13  
      14  /* { dg-final { scan-tree-dump "\{v\}" "optimized" } } */
      15  
      16