| /* 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)); |
| } |