nsz Git - libfirm/blob - ir/be/test/boolsimplify.c

   1 int range0(int a)
   2 {
   3         return 0 <= a && a < 10;
   4 }
   5
   6 int range1(int a)
   7 {
   8         return 1 <= a && a < 10;
   9 }
  10
  11 int test_lt_and_lt(int a)
  12 {
  13         return a < 5 && a < 10;
  14 }
  15
  16 int test_lt_and_eq(int a)
  17 {
  18         return a < 5 && a == 10;
  19 }
  20
  21 int test_lt_and_gt(int a)
  22 {
  23         return a < 5 && a > 10;
  24 }
  25
  26 int test_eq_and_lt(int a)
  27 {
  28         return a == 5 && a < 10;
  29 }
  30
  31 int test_eq_and_eq(int a)
  32 {
  33         return a == 5 && a == 10;
  34 }
  35
  36 int test_eq_and_gt(int a)
  37 {
  38         return a == 5 && a > 10;
  39 }
  40
  41 int test_ge_and_lt(int a)
  42 {
  43         return a >= 5 && a < 6;
  44 }
  45
  46 int test_gt_and_lt(int a)
  47 {
  48         return a > 5 && a < 6;
  49 }
  50
  51 int test_lt_or_lt(int a)
  52 {
  53         return a < 5 || a < 10;
  54 }
  55
  56 int test_lt_or_eq(int a)
  57 {
  58         return a < 5 || a == 5;
  59 }
  60
  61 int test_ne_or_ne(int a)
  62 {
  63         return a != 5 || a != 10;
  64 }
  65
  66 int main(void)
  67 {
  68         return 0;
  69 }