File: divzero.c

package info (click to toggle)
gcc-arm-none-eabi 15%3A8-2019-q3-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 571,828 kB
  • sloc: ansic: 2,937,651; cpp: 881,644; ada: 597,189; makefile: 65,528; asm: 56,499; xml: 46,621; exp: 24,747; sh: 19,684; python: 7,256; pascal: 4,370; awk: 3,497; perl: 2,695; yacc: 316; ml: 285; f90: 234; lex: 198; objc: 194; haskell: 119
file content (85 lines) | stat: -rw-r--r-- 1,978 bytes parent folder | download | duplicates (6)
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
/* { dg-do run } */
/* { dg-require-effective-target arm_eabi } */
/* { dg-options "" } */

/* Check that long long divmod functions pass the right argument to
   __aeabi_ldiv0 on divide by zero.  */

#ifdef DEBUGME
#include <stdio.h>
#else
extern void abort (void);
#endif

/* Override div zero handler and simply return the provided value.  */
long long __aeabi_ldiv0 (long long r)
{
  return r;
}

long long lldiv (long long a, long long b)
{
  return a / b;
}

unsigned long long ulldiv (unsigned long long a, unsigned long long b)
{
  return a / b;
}

void check (long long num, long long expected)
{
  long long res = lldiv (num, 0LL);
  if (res != expected)
#ifdef DEBUGME
    {
      printf ("num=%08X:%08X\n", (unsigned)(num >> 32), (unsigned)num);
      printf ("res=%08X:%08X\n", (unsigned)(res >> 32), (unsigned)res);
    }
#else
    abort ();
#endif
}

void ucheck (unsigned long long num, unsigned long long expected)
{
  unsigned long long res = ulldiv (num, 0ULL);
  if (res != expected)
#ifdef DEBUGME
    {
      printf ("num=%08X:%08X\n", (unsigned)(num >> 32), (unsigned)num);
      printf ("res=%08X:%08X\n", (unsigned)(res >> 32), (unsigned)res);
    }
#else
    abort ();
#endif
}

#define POS_BIG 0x7fffffffffffffffLL
#define NEG_BIG 0x8000000000000000LL
#define UNS_BIG 0xffffffffffffffffULL

int main ()
{
  check (0LL, 0LL);
  check (1LL, POS_BIG);
  check (0x000000007fffffffLL, POS_BIG);
  check (0x00000000ffffffffLL, POS_BIG);
  check (0x0000000100000000LL, POS_BIG);
  check (POS_BIG, POS_BIG);
  check (-1LL, NEG_BIG);
  check (-0x000000007fffffffLL, NEG_BIG);
  check (-0x00000000ffffffffLL, NEG_BIG);
  check (-0x0000000100000000LL, NEG_BIG);
  check (NEG_BIG, NEG_BIG);

  ucheck (0ULL, 0ULL);
  ucheck (1ULL, UNS_BIG);
  ucheck (0x000000007fffffffULL, UNS_BIG);
  ucheck (0x00000000ffffffffULL, UNS_BIG);
  ucheck (0x0000000100000000ULL, UNS_BIG);
  ucheck ((unsigned long long)POS_BIG, UNS_BIG);
  ucheck (UNS_BIG, UNS_BIG);

  return 0;
}