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