Mercurial > projects > ldc

view tests/mini/floatcmp.d @ 1052:12ea38902e83

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add '-singleobj' command line switch that will tell LDC to link LLVM modules internally and only emit a single object file. The switch allows the optimizer and inliner to run on all modules at once and opens the door for template instantiation improvements that should lower compile time and executable size.
author Christian Kamm <kamm incasoftware de>
date Sat, 07 Mar 2009 19:38:00 +0100
parents 1bb99290e03a
children
line wrap: on
line source

module floatcmp;
extern(C) int printf(char*, ...);

void eq()
{
    float _3 = 3;
    assert(!(_3 == 4));
    assert(!(_3 == 2));
    assert(_3 == 3);
    assert(!(_3 == float.nan));
}

void neq()
{
    float _3 = 3;
    assert(_3 != 4);
    assert(_3 != 2);
    assert(!(_3 != 3));
    assert(_3 != float.nan);
}

void gt()
{
    float _3 = 3;
    assert(_3 > 2);
    assert(!(_3 > 4));
    assert(!(_3 > 3));
    assert(!(_3 > float.nan));
}

void ge()
{
    float _3 = 3;
    assert(_3 >= 2);
    assert(!(_3 >= 4));
    assert(_3 >= 3);
    assert(!(_3 >= float.nan));
}

void lt()
{
    float _3 = 3;
    assert(_3 < 4);
    assert(!(_3 < 2));
    assert(!(_3 < 3));
    assert(!(_3 < float.nan));
}

void le()
{
    float _3 = 3;
    assert(_3 <= 4);
    assert(!(_3 <= 2));
    assert(_3 <= 3);
    assert(!(_3 <= float.nan));
}

void uno()
{
    float _3 = 3;
    assert(!(_3 !<>= 2));
    assert(!(_3 !<>= 3));
    assert(!(_3 !<>= 4));
    assert(_3 !<>= float.nan);
}

void lg()
{
    float _3 = 3;
    assert(_3 <> 4);
    assert(_3 <> 2);
    assert(!(_3 <> 3));
    assert(!(_3 <> float.nan));
}

void lge()
{
    float _3 = 3;
    assert(_3 <>= 4);
    assert(_3 <>= 2);
    assert(_3 <>= 3);
    assert(!(_3 <>= float.nan));
}

void ugt()
{
    float _3 = 3;
    assert(_3 !<= 2);
    assert(!(_3 !<= 4));
    assert(!(_3 !<= 3));
    assert(_3 !<= float.nan);
}

void uge()
{
    float _3 = 3;
    assert(_3 !< 2);
    assert(!(_3 !< 4));
    assert(_3 !< 3);
    assert(_3 !< float.nan);
}

void ult()
{
    float _3 = 3;
    assert(_3 !>= 4);
    assert(!(_3 !>= 2));
    assert(!(_3 !>= 3));
    assert(_3 !>= float.nan);
}

void ule()
{
    float _3 = 3;
    assert(_3 !> 4);
    assert(!(_3 !> 2));
    assert(_3 !> 3);
    assert(_3 !> float.nan);
}

void ueq()
{
    float _3 = 3;
    assert(!(_3 !<> 2));
    assert(!(_3 !<> 4));
    assert(_3 !<> 3);
    assert(_3 !<> float.nan);
}

void main()
{
    printf("floating point comparison test\n");
    
    eq();
    neq();
    gt();
    ge();
    lt();
    le();
    uno();
    lg();
    lge();
    ugt();
    uge();
    ult();
    ule();
    ueq();
    
    printf("  SUCCESS\n");
}

/+
void gt()
{
    float _3 = 3;
    assert();
    assert();
    assert();
    assert();
}
+/