summaryrefslogtreecommitdiff
path: root/support/regression/tests/gcc-torture-execute-divmod-1.c
blob: 8231f7793db4b840fcf4f6ecd919e4ba7a545df8 (plain) (blame)
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
/*
   divmod-1.c from the execute part of the gcc torture tests.
 */

#include <testfwk.h>

#ifdef __SDCC
#pragma std_c99
#endif

div1 (signed char x)
{
  return x / -1;
}

div2 (signed short x)
{
  return x / -1;
}

div3 (signed char x, signed char y)
{
  return x / y;
}

div4 (signed short x, signed short y)
{
  return x / y;
}

mod1 (signed char x)
{
  return x % -1;
}

mod2 (signed short x)
{
  return x % -1;
}

mod3 (signed char x, signed char y)
{
  return x % y;
}

mod4 (signed short x, signed short y)
{
  return x % y;
}

#ifndef __SDCC_pdk14 // Lack of memory
signed long
mod5 (signed long x, signed long y)
{
  return x % y;
}
     
unsigned long
mod6 (unsigned long x, unsigned long y)
{
  return x % y;
}
#endif
     
void
testTortureExecute (void)
{
  if (div1 (-(1 << 7)) != 1 << 7)
    ASSERT (0);
  if (div2 (-(1 << 15)) != 1 << 15)
    ASSERT (0);
  if (div3 (-(1 << 7), -1) != 1 << 7)
    ASSERT (0);
  if (div4 (-(1 << 15), -1) != 1 << 15)
    ASSERT (0);
  if (mod1 (-(1 << 7)) != 0)
    ASSERT (0);
  if (mod2 (-(1 << 15)) != 0)
    ASSERT (0);
  if (mod3 (-(1 << 7), -1) != 0)
    ASSERT (0);
  if (mod4 (-(1 << 15), -1) != 0)
    ASSERT (0);
#ifndef __SDCC_pdk14 // Lack of memory
  if (mod5 (0x50000000, 2) != 0)
    ASSERT (0);
  if (mod6 (0x50000000, 2) != 0)
    ASSERT (0);
#endif
  
  return;
}