sdcc/support/regression/tests/gcc-torture-execute-compare-1.c

   1 /*
   2    compare-1.c from the execute part of the gcc torture tests.
   3  */
   4
   5 #include <testfwk.h>
   6
   7 #ifdef __SDCC
   8 #pragma std_c99
   9 #endif
  10
  11 /* Copyright (C) 2002 Free Software Foundation.
  12
  13    Test for correctness of composite comparisons.
  14
  15    Written by Roger Sayle, 3rd June 2002.  */
  16
  17 int ieq (int x, int y, int ok)
  18 {
  19   if ((x<=y) && (x>=y))
  20     {
  21       if (!ok) ASSERT (0);
  22     }
  23   else
  24     if (ok) ASSERT (0);
  25
  26   if ((x<=y) && (x==y))
  27     {
  28       if (!ok) ASSERT (0);
  29     }
  30   else
  31     if (ok) ASSERT (0);
  32
  33   if ((x<=y) && (y<=x))
  34     {
  35       if (!ok) ASSERT (0);
  36     }
  37   else
  38     if (ok) ASSERT (0);
  39
  40   if ((y==x) && (x<=y))
  41     {
  42       if (!ok) ASSERT (0);
  43     }
  44   else
  45     if (ok) ASSERT (0);
  46 }
  47
  48 int ine (int x, int y, int ok)
  49 {
  50   if ((x<y) || (x>y))
  51     {
  52       if (!ok) ASSERT (0);
  53     }
  54   else
  55     if (ok) ASSERT (0);
  56 }
  57
  58 int ilt (int x, int y, int ok)
  59 {
  60   if ((x<y) && (x!=y))
  61     {
  62       if (!ok) ASSERT (0);
  63     }
  64   else
  65     if (ok) ASSERT (0);
  66 }
  67
  68 int ile (int x, int y, int ok)
  69 {
  70   if ((x<y) || (x==y))
  71     {
  72       if (!ok) ASSERT (0);
  73     }
  74   else
  75     if (ok) ASSERT (0);
  76 }
  77
  78 int igt (int x, int y, int ok)
  79 {
  80   if ((x>y) && (x!=y))
  81     {
  82       if (!ok) ASSERT (0);
  83     }
  84   else
  85     if (ok) ASSERT (0);
  86 }
  87
  88 int ige (int x, int y, int ok)
  89 {
  90   if ((x>y) || (x==y))
  91     {
  92       if (!ok) ASSERT (0);
  93     }
  94   else
  95     if (ok) ASSERT (0);
  96 }
  97
  98 void
  99 testTortureExecute (void)
 100 {
 101   ieq (1, 4, 0);
 102   ieq (3, 3, 1);
 103   ieq (5, 2, 0);
 104
 105   ine (1, 4, 1);
 106   ine (3, 3, 0);
 107   ine (5, 2, 1);
 108
 109   ilt (1, 4, 1);
 110   ilt (3, 3, 0);
 111   ilt (5, 2, 0);
 112
 113   ile (1, 4, 1);
 114   ile (3, 3, 1);
 115   ile (5, 2, 0);
 116
 117   igt (1, 4, 0);
 118   igt (3, 3, 0);
 119   igt (5, 2, 1);
 120
 121   ige (1, 4, 0);
 122   ige (3, 3, 1);
 123   ige (5, 2, 1);
 124
 125   return;
 126 }
 127