blob: 683d2cbc96bf2b585746bfb6f472880151583383 [file] [log] [blame]
/* PR tree-optimization/108440 */
/* { dg-do compile { target { { ilp32 || lp64 } || llp64 } } } */
/* { dg-options "-O2 -fdump-tree-optimized" } */
/* { dg-final { scan-tree-dump-times " r<< " 5 "optimized" } } */
/* { dg-final { scan-tree-dump-times " \\\& 7;" 4 "optimized" } } */
unsigned char
foo (unsigned char x, unsigned int y)
{
if (y > __CHAR_BIT__)
__builtin_unreachable ();
return (x << y) | (x >> ((-y) & (__CHAR_BIT__ - 1)));
}
unsigned char
bar (unsigned char x, unsigned int y)
{
if (y >= __CHAR_BIT__)
__builtin_unreachable ();
return (x << y) | (x >> ((-y) & (__CHAR_BIT__ - 1)));
}
unsigned char
baz (unsigned char x, unsigned int y)
{
if (y > __CHAR_BIT__ && y != 2 * __CHAR_BIT__)
__builtin_unreachable ();
return (x << y) | (x >> ((-y) & (__CHAR_BIT__ - 1)));
}
unsigned char
qux (unsigned char x, unsigned int y)
{
if (y > __CHAR_BIT__ && y != 2 * __CHAR_BIT__ && y != __CHAR_BIT__ + 2)
__builtin_unreachable ();
return (x << y) | (x >> ((-y) & (__CHAR_BIT__ - 1)));
}
unsigned char
quux (unsigned char x, unsigned int y)
{
if (y > __CHAR_BIT__)
__builtin_unreachable ();
return (x << y) | (x >> (__CHAR_BIT__ - y));
}
unsigned char
corge (unsigned char x, unsigned int y)
{
if (y >= __CHAR_BIT__)
__builtin_unreachable ();
return (x << y) | (x >> (__CHAR_BIT__ - y));
}