project_files/hwc/rtl/tests/check_system.c
changeset 14185 801dc57371c3
parent 10015 4feced261c68
equal deleted inserted replaced
14184:ab77b144245d 14185:801dc57371c3
   128     {
   128     {
   129           fail_unless(fpcrtl_trunc(123.456) == 123, "trunc(123.456)");
   129           fail_unless(fpcrtl_trunc(123.456) == 123, "trunc(123.456)");
   130           fail_unless(fpcrtl_trunc(-123.456) == -123, "trunc(-123.456)");
   130           fail_unless(fpcrtl_trunc(-123.456) == -123, "trunc(-123.456)");
   131           fail_unless(fpcrtl_trunc(12.3456) == 12, "trunc(12.3456)");
   131           fail_unless(fpcrtl_trunc(12.3456) == 12, "trunc(12.3456)");
   132           fail_unless(fpcrtl_trunc(-12.3456) == -12, "trunc(-12.3456)");
   132           fail_unless(fpcrtl_trunc(-12.3456) == -12, "trunc(-12.3456)");
       
   133           fail_unless(fpcrtl_trunc(0.3) == 0, "trunc(0.3)");
       
   134           fail_unless(fpcrtl_trunc(0.5) == 0, "trunc(0.5)");
       
   135           fail_unless(fpcrtl_trunc(99.9999999) == 99, "trunc(99.9999999)");
       
   136           fail_unless(fpcrtl_trunc(0x01000000.0) == 0x01000000, "trunc(0x01000000.0)");
       
   137           fail_unless(fpcrtl_trunc(0x01000001.0) == 0x01000001, "trunc(0x01000001.0)");
       
   138           fail_unless(fpcrtl_trunc(0x02000000.0) == 0x02000000, "trunc(0x02000000.0)");
       
   139           fail_unless(fpcrtl_trunc(0x04000000.0) == 0x04000000, "trunc(0x04000000.0)");
       
   140           fail_unless(fpcrtl_trunc(0x08000000.0) == 0x08000000, "trunc(0x08000000.0)");
       
   141           fail_unless(fpcrtl_trunc(0x10000000.0) == 0x10000000, "trunc(0x10000000.0)");
       
   142           fail_unless(fpcrtl_trunc(0x10000001.0) == 0x10000001, "trunc(0x10000001.0)");
       
   143           fail_unless(fpcrtl_trunc(0x20000000.0) == 0x20000000, "trunc(0x20000000.0)");
       
   144           fail_unless(fpcrtl_trunc(0x40000000.0) == 0x40000000, "trunc(0x40000000.0)");
       
   145           fail_unless(fpcrtl_trunc(0x80000000.0) == 0x80000000, "trunc(0x80000000.0)");
       
   146           fail_unless(fpcrtl_trunc(0xF0000000.0) == 0xF0000000, "trunc(0xF0000000.0)");
       
   147           fail_unless(fpcrtl_trunc(0xF0000001.0) == 0xF0000001, "trunc(0xF0000001.0)");
       
   148           fail_unless(fpcrtl_trunc(0x01010101.0) == 0x01010101, "trunc(0x01010101.0)");
       
   149           fail_unless(fpcrtl_trunc(0xFFFFFFFF.0) == 0xFFFFFFFF, "trunc(0xFFFFFFFF.0)");
       
   150           fail_unless(fpcrtl_trunc(0x8943FE39.0) == 0x8943FE39, "trunc(0x01000000.0)");
   133     }
   151     }
   134 END_TEST
   152 END_TEST
   135 
   153 
   136 START_TEST (test_odd)
   154 START_TEST (test_odd)
   137 {
   155 {