blob: cb26ea4deab5fc0c08bb4ca1837edbb83dcc1dfe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
/* { 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" } } */
|
