| /* { dg-do compile { target int128 } } */ | |
| /* { dg-options "-O2" } */ | |
| typedef int __attribute ((mode(TI))) ti_t; | |
| long long foo(long long x) | |
| { | |
| return ((ti_t)x * 19065) >> 72; | |
| } | |
| /* { dg-final { scan-assembler "movl\[ \\t]+\\\$19065, %eax" } } */ | |
| /* { dg-final { scan-assembler-times "movq" 1 } } */ |