1 /* Test the crc32d ACLE intrinsic.  */
2 
3 /* { dg-do assemble } */
4 /* { dg-require-effective-target arm_crc_ok } */
5 /* { dg-options "-save-temps -O0" } */
6 /* { dg-add-options arm_crc } */
7 
8 #include "arm_acle.h"
9 
test_crc32d(void)10 void test_crc32d (void)
11 {
12   uint32_t out_uint32_t;
13   uint32_t arg0_uint32_t;
14   uint64_t arg1_uint64_t;
15 
16   out_uint32_t = __crc32d (arg0_uint32_t, arg1_uint64_t);
17 }
18 
19 /* { dg-final { scan-assembler-times "crc32w\t...?, ...?, ...?\n" 2 } } */
20