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