| /* { dg-do compile { target { { i?86-*-* x86_64-*-* } && { ! ia32 } } } } */ | |
| /* { dg-options "-fdump-rtl-ce1 -O2" } */ | |
| typedef unsigned long long uint64_t; | |
| static uint64_t umulh(uint64_t a, uint64_t b) | |
| { | |
| return (unsigned __int128)a*b >> 64; | |
| } | |
| uint64_t f(uint64_t a, uint64_t b, int c) | |
| { | |
| if (c) | |
| a = umulh(a, (b-umulh(a,b))<<44) << 1; | |
| return a; | |
| } | |
| /* { dg-final { scan-rtl-dump "0 true changes made" "ce1" } } */ | |
| /* { dg-final { scan-assembler-not "cmov" } } */ |