| /* PR tree-optimization/116093 */ | |
| /* { dg-do run { target bitint } } */ | |
| /* { dg-options "-Og -ftree-vrp -fno-tree-dce" } */ | |
| #if __BITINT_MAXWIDTH__ >= 129 | |
| char | |
| foo (int a, _BitInt (129) b, char c) | |
| { | |
| return c << (5 / b % (0xdb75dbf5 | a)); | |
| } | |
| #endif | |
| int | |
| main () | |
| { | |
| #if __BITINT_MAXWIDTH__ >= 129 | |
| if (foo (0, 6, 1) != 1) | |
| __builtin_abort (); | |
| #endif | |
| } |