1 /* PR rtl-optimization/70429 */
2 
3 __attribute__((noinline, noclone)) int
foo(int a)4 foo (int a)
5 {
6   return (int) (0x14ff6e2207db5d1fLL >> a) >> 4;
7 }
8 
9 int
main()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 }
18