blob: eb761497def499f9f179c0f1bfb3505a235a2b9f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
/* { dg-do run } */
/* The checked bifs are only supported on 64-bit env. */
/* { dg-require-effective-target lp64 } */
/* { dg-require-effective-target power10_hw } */
/* { dg-options "-mdejagnu-cpu=power10 -O2 -ftree-vectorize -fno-vect-cost-model" } */
#include "dive-vectorize-2.h"
/* Check if test cases with signed/unsigned int extended division
vectorization run successfully. */
/* Make optimize (1) to avoid vectorization applied on check func. */
__attribute__ ((optimize (1))) void
check_divde ()
{
test_divde ();
for (int i = 0; i < N; i++)
{
sLL exp = __builtin_divde (sll_a[i], sll_b[i]);
if (exp != sll_c[i])
__builtin_abort ();
}
}
__attribute__ ((optimize (1))) void
check_divdeu ()
{
test_divdeu ();
for (int i = 0; i < N; i++)
{
uLL exp = __builtin_divdeu (ull_a[i], ull_b[i]);
if (exp != ull_c[i])
__builtin_abort ();
}
}
int
main ()
{
for (int i = 0; i < N; i++)
{
sll_a[i] = 0x102 * (i * 3 + 2);
sll_b[i] = 0x789ab * (i * 3 + 1);
ull_a[i] = 0x2345 * (i * 11 + 3) - 0xcd1 * (i * 5 - 7);
ull_b[i] = 0x6078e * (i * 7 + 3) + 0xefa * (i * 7 - 11);
if (sll_b[i] == 0 || ull_b[i] == 0)
__builtin_abort ();
}
check_divde ();
check_divdeu ();
return 0;
}
|
