2 /* { dg-require-effective-target int128 } */
3 /* { dg-options "-O -fschedule-insns" } */
5 typedef unsigned char u8
;
6 typedef unsigned __int128 u128
;
11 u128
__attribute__ ((noinline
, noclone
))
16 u128_0
= u128_0
<< 127 | u128_0
>> 1;
17 u128_0
>>= (u8
)u128_0
;
27 if (u128_0
!= ((u128
)2 << 124))
29 if (x
!= ((u128
)2 << 124) + 2)