blob: 3608dea79b90d71f838f018ec3f64289fade4e29 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
/* { dg-do compile { target { ! ia32 } } } */
/* { dg-options "-madx -O2" } */
/* { dg-final { scan-assembler-times "adcx" 2 } } */
/* { dg-final { scan-assembler-times "sbbq" 1 } } */
#include <x86intrin.h>
volatile unsigned char c;
volatile unsigned long long x, y;
unsigned long long *sum;
void extern
adx_test (void)
{
c = _addcarryx_u64 (c, x, y, sum);
c = _addcarry_u64 (c, x, y, sum);
c = _subborrow_u64 (c, x, y, sum);
}
|
