File: simplefloat.c

package info (click to toggle)
cc1111 2.9.0-4
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 38,692 kB
  • ctags: 132,262
  • sloc: ansic: 442,650; cpp: 37,006; sh: 10,334; makefile: 5,511; asm: 5,279; yacc: 2,953; lisp: 1,524; perl: 807; awk: 493; python: 468; lex: 447
file content (82 lines) | stat: -rw-r--r-- 1,342 bytes parent folder | download | duplicates (7)
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
/** Simple set of tests for floating pt.
 */
#include <testfwk.h>
#include <math.h>

#if (PORT_HOST)
#  define FCOMP(a,b) (fabsf((a) - (b)) < ((b) * 1e-7))
#else
   /* Testing floats for equality is normally a bug,
      but too keep this test simple we dare it. And
      it works with the exception of the division on
      the host port. */
#  define FCOMP(a,b) ((a) == (b))
#endif

void
testCmp(void)
{
  volatile float left, right;

  left = 5;
  right = 13;
  ASSERT(left + right == 18);
  ASSERT(left + right <= 18);
  ASSERT(left + right >= 18);
  ASSERT(left + right > 17.9);
  ASSERT(left + right < 18.1);
}

void
testDiv(void)
{
#if defined (__mcs51) && !defined (SDCC_STACK_AUTO)
  idata at 0xd0
#endif
  volatile float left;
  volatile float right;

  left = 17;
  right = 343;

  ASSERT(FCOMP(left/right, (17.0/343.0)));
  ASSERT(FCOMP(right/left, (343.0/17.0)));

  right = 17;
  ASSERT(FCOMP(left/right, 1.0));
}

void
testDivNearOne(void)
{
  volatile float left, right, result;

  left = 12392.4;
  right = 12392.4;
  result = left / right;

  if (result > 0.999999)
    {
      /* Fine */
    }
  else
    {
      FAIL();
    }
  if (result < 1.00001)
    {
      /* Fine */
    }
  else
    {
      FAIL();
    }
  if (result > 0.999999 && result < 1.00001)
    {
      /* Fine */
    }
  else
    {
      FAIL();
    }
}