1 /* PR target/67317 */ 2 /* { dg-do compile } */ 3 /* { dg-options "-O2" } */ 4 5 typedef unsigned int u32; 6 testcarry_u32(u32 a,u32 b,u32 c,u32 d)7u32 testcarry_u32 (u32 a, u32 b, u32 c, u32 d) 8 { 9 u32 result0, result1; 10 11 __builtin_ia32_addcarryx_u32 12 (__builtin_ia32_addcarryx_u32 (0, a, c, &result0), b, d, &result1); 13 14 return result0 ^ result1; 15 } 16 17 /* { dg-final { scan-assembler-not "addb" } } */ 18 /* { dg-final { scan-assembler-not "setn?c" } } */ 19