1 /* 2 * Copyright (c) 2014-2020 Pavel Kalvoda <me@pavelkalvoda.com> 3 * 4 * libcbor is free software; you can redistribute it and/or modify 5 * it under the terms of the MIT license. See LICENSE for details. 6 */ 7 8 #include <math.h> 9 #include <setjmp.h> 10 #include <stdarg.h> 11 #include <stddef.h> 12 #include <stdint.h> 13 #include <tgmath.h> 14 15 #include <cmocka.h> 16 17 #include "cbor.h" 18 #include "test_allocator.h" 19 20 cbor_item_t* float_ctrl; 21 struct cbor_load_result res; 22 23 static const float eps = 0.00001f; 24 25 unsigned char float2_data[] = {0xF9, 0x7B, 0xFF}; 26 27 static void test_float2(void** _state _CBOR_UNUSED) { 28 float_ctrl = cbor_load(float2_data, 3, &res); 29 assert_true(cbor_isa_float_ctrl(float_ctrl)); 30 assert_true(cbor_is_float(float_ctrl)); 31 assert_true(cbor_float_get_width(float_ctrl) == CBOR_FLOAT_16); 32 assert_true(cbor_float_get_float2(float_ctrl) == 65504.0F); 33 assert_float_equal(cbor_float_get_float(float_ctrl), 65504.0F, eps); 34 cbor_decref(&float_ctrl); 35 assert_null(float_ctrl); 36 } 37 38 unsigned char float4_data[] = {0xFA, 0x47, 0xC3, 0x50, 0x00}; 39 40 static void test_float4(void** _state _CBOR_UNUSED) { 41 float_ctrl = cbor_load(float4_data, 5, &res); 42 assert_true(cbor_isa_float_ctrl(float_ctrl)); 43 assert_true(cbor_is_float(float_ctrl)); 44 assert_true(cbor_float_get_width(float_ctrl) == CBOR_FLOAT_32); 45 assert_true(cbor_float_get_float4(float_ctrl) == 100000.0F); 46 assert_float_equal(cbor_float_get_float(float_ctrl), 100000.0F, eps); 47 cbor_decref(&float_ctrl); 48 assert_null(float_ctrl); 49 } 50 51 unsigned char float8_data[] = {0xFB, 0x7E, 0x37, 0xE4, 0x3C, 52 0x88, 0x00, 0x75, 0x9C}; 53 54 static void test_float8(void** _state _CBOR_UNUSED) { 55 float_ctrl = cbor_load(float8_data, 9, &res); 56 assert_true(cbor_isa_float_ctrl(float_ctrl)); 57 assert_true(cbor_is_float(float_ctrl)); 58 assert_true(cbor_float_get_width(float_ctrl) == CBOR_FLOAT_64); 59 // XXX: the cast prevents promotion to 80-bit floats on 32-bit x86 60 assert_true(cbor_float_get_float8(float_ctrl) == (double)1.0e+300); 61 // Not using `assert_double_equal` since CI has an old version of cmocka 62 assert_true(fabs(cbor_float_get_float(float_ctrl) - (double)1.0e+300) < eps); 63 cbor_decref(&float_ctrl); 64 assert_null(float_ctrl); 65 } 66 67 unsigned char null_data[] = {0xF6}; 68 69 static void test_null(void** _state _CBOR_UNUSED) { 70 float_ctrl = cbor_load(null_data, 1, &res); 71 assert_true(cbor_isa_float_ctrl(float_ctrl)); 72 assert_true(cbor_float_ctrl_is_ctrl(float_ctrl)); 73 assert_true(cbor_float_get_width(float_ctrl) == CBOR_FLOAT_0); 74 assert_true(cbor_is_null(float_ctrl)); 75 cbor_decref(&float_ctrl); 76 assert_null(float_ctrl); 77 } 78 79 unsigned char undef_data[] = {0xF7}; 80 81 static void test_undef(void** _state _CBOR_UNUSED) { 82 float_ctrl = cbor_load(undef_data, 1, &res); 83 assert_true(cbor_isa_float_ctrl(float_ctrl)); 84 assert_true(cbor_float_ctrl_is_ctrl(float_ctrl)); 85 assert_true(cbor_float_get_width(float_ctrl) == CBOR_FLOAT_0); 86 assert_true(cbor_is_undef(float_ctrl)); 87 cbor_decref(&float_ctrl); 88 assert_null(float_ctrl); 89 } 90 91 unsigned char bool_data[] = {0xF4, 0xF5}; 92 93 static void test_bool(void** _state _CBOR_UNUSED) { 94 _CBOR_TEST_DISABLE_ASSERT({ 95 float_ctrl = cbor_load(bool_data, 1, &res); 96 assert_true(cbor_isa_float_ctrl(float_ctrl)); 97 assert_true(cbor_float_ctrl_is_ctrl(float_ctrl)); 98 assert_true(cbor_float_get_width(float_ctrl) == CBOR_FLOAT_0); 99 assert_true(cbor_is_bool(float_ctrl)); 100 assert_false(cbor_get_bool(float_ctrl)); 101 cbor_set_bool(float_ctrl, true); 102 assert_true(cbor_get_bool(float_ctrl)); 103 assert_true(isnan(cbor_float_get_float(float_ctrl))); 104 cbor_decref(&float_ctrl); 105 assert_null(float_ctrl); 106 107 float_ctrl = cbor_load(bool_data + 1, 1, &res); 108 assert_true(cbor_isa_float_ctrl(float_ctrl)); 109 assert_true(cbor_float_ctrl_is_ctrl(float_ctrl)); 110 assert_true(cbor_float_get_width(float_ctrl) == CBOR_FLOAT_0); 111 assert_true(cbor_is_bool(float_ctrl)); 112 assert_true(cbor_get_bool(float_ctrl)); 113 cbor_set_bool(float_ctrl, false); 114 assert_false(cbor_get_bool(float_ctrl)); 115 assert_true(isnan(cbor_float_get_float(float_ctrl))); 116 cbor_decref(&float_ctrl); 117 assert_null(float_ctrl); 118 }); 119 } 120 121 static void test_float_ctrl_creation(void** _state _CBOR_UNUSED) { 122 WITH_FAILING_MALLOC({ assert_null(cbor_new_ctrl()); }); 123 WITH_FAILING_MALLOC({ assert_null(cbor_new_float2()); }); 124 WITH_FAILING_MALLOC({ assert_null(cbor_new_float4()); }); 125 WITH_FAILING_MALLOC({ assert_null(cbor_new_float8()); }); 126 WITH_FAILING_MALLOC({ assert_null(cbor_new_null()); }); 127 WITH_FAILING_MALLOC({ assert_null(cbor_new_undef()); }); 128 129 WITH_FAILING_MALLOC({ assert_null(cbor_build_bool(false)); }); 130 WITH_FAILING_MALLOC({ assert_null(cbor_build_float2(3.14f)); }); 131 WITH_FAILING_MALLOC({ assert_null(cbor_build_float4(3.14f)); }); 132 WITH_FAILING_MALLOC({ assert_null(cbor_build_float8(3.14)); }); 133 WITH_FAILING_MALLOC({ assert_null(cbor_build_ctrl(0xAF)); }); 134 } 135 136 static void test_ctrl_on_float(void** _state _CBOR_UNUSED) { 137 float_ctrl = cbor_build_float4(3.14f); 138 assert_non_null(float_ctrl); 139 assert_true(cbor_is_float(float_ctrl)); 140 assert_false(cbor_float_ctrl_is_ctrl(float_ctrl)); 141 assert_false(cbor_is_null(float_ctrl)); 142 assert_false(cbor_is_undef(float_ctrl)); 143 assert_false(cbor_is_bool(float_ctrl)); 144 cbor_decref(&float_ctrl); 145 assert_null(float_ctrl); 146 } 147 148 int main(void) { 149 const struct CMUnitTest tests[] = { 150 cmocka_unit_test(test_float2), 151 cmocka_unit_test(test_float4), 152 cmocka_unit_test(test_float8), 153 cmocka_unit_test(test_null), 154 cmocka_unit_test(test_undef), 155 cmocka_unit_test(test_bool), 156 cmocka_unit_test(test_float_ctrl_creation), 157 cmocka_unit_test(test_ctrl_on_float), 158 }; 159 return cmocka_run_group_tests(tests, NULL, NULL); 160 } 161