Viewing file:  pr97387-1.c (1020 B) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* PR target/97387 */
/* { dg-do compile } */
/* { dg-options "-O2 -fomit-frame-pointer" } */
/* { dg-final { scan-assembler-times "\taddl\t" 1 } } */
/* { dg-final { scan-assembler-times "\tadcl\t" 3 } } */
/* { dg-final { scan-assembler-times "\tsubl\t" 1 } } */
/* { dg-final { scan-assembler-times "\tsbbl\t" 3 } } */
/* { dg-final { scan-assembler-not "\tset\[bc]\t" } } */
/* { dg-final { scan-assembler-not "\taddb\t" } } */
#include <x86intrin.h>
void
foo (unsigned int a[4], unsigned int b[4])
{
unsigned char carry = 0;
carry = _addcarry_u32 (carry, a[0], b[0], &a[0]);
carry = _addcarry_u32 (carry, a[1], b[1], &a[1]);
carry = _addcarry_u32 (carry, a[2], b[2], &a[2]);
_addcarry_u32 (carry, a[3], b[3], &a[3]);
}
void
bar (unsigned int a[4], unsigned int b[4])
{
unsigned char carry = 0;
carry = _subborrow_u32 (carry, a[0], b[0], &a[0]);
carry = _subborrow_u32 (carry, a[1], b[1], &a[1]);
carry = _subborrow_u32 (carry, a[2], b[2], &a[2]);
_subborrow_u32 (carry, a[3], b[3], &a[3]);
}
|
