test/test-uint_cases.c

/*
 * compile with -DUINT_TYPE="unsigned char"
 *          or  -DUINT_TYPE="unsigned short"
 *          or  -DUINT_TYPE="unsigned int"
 *          or  -DUINT_TYPE="unsigned long"
 *          or  -DUINT_TYPE="unsigned long long"
 */

#include <assert.h>

int main() {

  volatile UINT_TYPE a, b;

  a = 1;
  b = 8;
  assert((a < b));
  assert((a <= b));
  assert(!(a > b));
  assert(!(a >= b));
  assert((a != b));
  assert(!(a == b));

  if ((UINT_TYPE)(~0) > 255) {
    volatile unsigned short a, b;
    a = 256+2;
    b = 256+21;
    assert((a < b));
    assert((a <= b));
    assert(!(a > b));
    assert(!(a >= b));
    assert((a != b));
    assert(!(a == b));

    a = 21;
    b = 256+1;
    assert((a < b));
    assert((a <= b));
    assert(!(a > b));
    assert(!(a >= b));
    assert((a != b));
    assert(!(a == b));

    if ((UINT_TYPE)(~0) > 65535) {
      volatile unsigned int a, b;
      a = 65536+2;
      b = 65536+21;
      assert((a < b));
      assert((a <= b));
      assert(!(a > b));
      assert(!(a >= b));
      assert((a != b));
      assert(!(a == b));
 
      a = 21;
      b = 65536+1;
      assert((a < b));
      assert((a <= b));
      assert(!(a > b));
      assert(!(a >= b));
      assert((a != b));
      assert(!(a == b));
    }

    if ((UINT_TYPE)(~0) > 4294967295) {
      volatile unsigned long a, b;
      a = 4294967296+2;
      b = 4294967296+21;
      assert((a < b));
      assert((a <= b));
      assert(!(a > b));
      assert(!(a >= b));
      assert((a != b));
      assert(!(a == b));
 
      a = 21;
      b = 4294967296+1;
      assert((a < b));
      assert((a <= b));
      assert(!(a > b));
      assert(!(a >= b));
      assert((a != b));
      assert(!(a == b));
    }
  }

  a = 8;
  b = 1;
  assert((a > b));
  assert((a >= b));
  assert(!(a < b));
  assert(!(a <= b));
  assert((a != b));
  assert(!(a == b));

  if ((UINT_TYPE)(~0) > 255) {
    volatile unsigned short a, b;
    a = 256+2;
    b = 256+1;
    assert((a > b));
    assert((a >= b));
    assert(!(a < b));
    assert(!(a <= b));
    assert((a != b));
    assert(!(a == b));

    a = 256+2;
    b = 6;
    assert((a > b));
    assert((a >= b));
    assert(!(a < b));
    assert(!(a <= b));
    assert((a != b));
    assert(!(a == b));

    if ((UINT_TYPE)(~0) > 65535) {
      volatile unsigned int a, b;
      a = 65536+2;
      b = 65536+1;
      assert((a > b));
      assert((a >= b));
      assert(!(a < b));
      assert(!(a <= b));
      assert((a != b));
      assert(!(a == b));
 
      a = 65536+2;
      b = 6;
      assert((a > b));
      assert((a >= b));
      assert(!(a < b));
      assert(!(a <= b));
      assert((a != b));
      assert(!(a == b));

      if ((UINT_TYPE)(~0) > 4294967295) {
        volatile unsigned long a, b;
        a = 4294967296+2;
        b = 4294967296+1;
        assert((a > b));
        assert((a >= b));
        assert(!(a < b));
        assert(!(a <= b));
        assert((a != b));
        assert(!(a == b));
  
        a = 4294967296+2;
        b = 6;
        assert((a > b));
        assert((a >= b));
        assert(!(a < b));
        assert(!(a <= b));
        assert((a != b));
        assert(!(a == b));

      }
    }
  }


  a = 0;
  b = 0;
  assert(!(a < b));
  assert((a <= b));
  assert(!(a > b));
  assert((a >= b));
  assert(!(a != b));
  assert((a == b));

  a = 1;
  b = 1;
  assert(!(a < b));
  assert((a <= b));
  assert(!(a > b));
  assert((a >= b));
  assert(!(a != b));
  assert((a == b));

  if ((UINT_TYPE)(~0) > 255) {
    volatile unsigned short a, b;
    a = 256+5;
    b = 256+5;
    assert(!(a < b));
    assert((a <= b));
    assert(!(a > b));
    assert((a >= b));
    assert(!(a != b));
    assert((a == b));

    if ((UINT_TYPE)(~0) > 65535) {
      volatile unsigned int a, b;
      a = 65536+5;
      b = 65536+5;
      assert(!(a < b));
      assert((a <= b));
      assert(!(a > b));
      assert((a >= b));
      assert(!(a != b));
      assert((a == b));

      if ((UINT_TYPE)(~0) > 4294967295) {
        volatile unsigned long a, b;
        a = 4294967296+5;
        b = 4294967296+5;
        assert(!(a < b));
        assert((a <= b));
        assert(!(a > b));
        assert((a >= b));
        assert(!(a != b));
        assert((a == b));
      }
    }

  }

}