1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
/* PR target/81300 */
/* { dg-do run { target { ! ia32 } } } */
/* { dg-options "-O2" } */
int
__attribute__((noinline, noclone))
foo (void)
{
unsigned long long _discard = 0, zero = 0, maxull = 0;
unsigned char zero1 = __builtin_ia32_addcarryx_u64 (0, 0, 0, &_discard);
unsigned char zero2 = __builtin_ia32_addcarryx_u64 (zero1, 0, 0, &zero);
__builtin_ia32_sbb_u64 (0x0, 2, -1, &_discard);
unsigned char one = __builtin_ia32_sbb_u64 (0, zero, 1, &maxull);
unsigned long long x = __builtin_ia32_sbb_u64 (one, zero2, 0, &_discard);
unsigned long long z1 = 0;
__asm__ ("mov{q}\t{%1, %0|%0, %1}" : "+r" (z1) : "r" (x));
unsigned long long z2 = 3;
__asm__ ("mov{q}\t{%1, %0|%0, %1}" : "+r" (z2) : "r" (x));
return 1 - (z1 | z2);
}
int main ()
{
if (foo ())
__builtin_abort ();
return 0;
}
|
