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