| /* PR target/97387 */ |
| /* { dg-do compile { target { ! ia32 } } } */ |
| /* { dg-options "-O2 -fomit-frame-pointer" } */ |
| /* { dg-final { scan-assembler-times "\taddq\t" 1 } } */ |
| /* { dg-final { scan-assembler-times "\tadcq\t" 3 } } */ |
| /* { dg-final { scan-assembler-times "\tsubq\t" 1 } } */ |
| /* { dg-final { scan-assembler-times "\tsbbq\t" 3 } } */ |
| /* { dg-final { scan-assembler-not "\tset\[bc]\t" } } */ |
| /* { dg-final { scan-assembler-not "\taddb\t" } } */ |
| |
| #include <x86intrin.h> |
| |
| void |
| foo (unsigned long long a[4], unsigned long long b[4]) |
| { |
| unsigned char carry = 0; |
| carry = _addcarry_u64 (carry, a[0], b[0], &a[0]); |
| carry = _addcarry_u64 (carry, a[1], b[1], &a[1]); |
| carry = _addcarry_u64 (carry, a[2], b[2], &a[2]); |
| _addcarry_u64 (carry, a[3], b[3], &a[3]); |
| } |
| |
| void |
| bar (unsigned long long a[4], unsigned long long b[4]) |
| { |
| unsigned char carry = 0; |
| carry = _subborrow_u64 (carry, a[0], b[0], &a[0]); |
| carry = _subborrow_u64 (carry, a[1], b[1], &a[1]); |
| carry = _subborrow_u64 (carry, a[2], b[2], &a[2]); |
| _subborrow_u64 (carry, a[3], b[3], &a[3]); |
| } |