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)7 u32 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