1  /* PR rtl-optimization/70429 */
       2  
       3  __attribute__((noinline, noclone)) int
       4  foo (int a)
       5  {
       6    return (int) (0x14ff6e2207db5d1fLL >> a) >> 4;
       7  }
       8  
       9  int
      10  main ()
      11  {
      12    if (sizeof (int) != 4 || sizeof (long long) != 8 || __CHAR_BIT__ != 8)
      13      return 0;
      14    if (foo (1) != 0x3edae8 || foo (2) != -132158092)
      15      __builtin_abort ();
      16    return 0;
      17  }