1 /*
2 * Copyright (c) 2014-2019 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 <setjmp.h>
9 #include <stdarg.h>
10 #include <stddef.h>
11
12 #include <cmocka.h>
13
14 #include <math.h>
15 #include "cbor.h"
16
17 unsigned char buffer[512];
18
test_bools(void ** state)19 static void test_bools(void **state) {
20 assert_int_equal(1, cbor_encode_bool(false, buffer, 512));
21 assert_memory_equal(buffer, ((unsigned char[]){0xF4}), 1);
22 assert_int_equal(1, cbor_encode_bool(true, buffer, 512));
23 assert_memory_equal(buffer, ((unsigned char[]){0xF5}), 1);
24 }
25
test_null(void ** state)26 static void test_null(void **state) {
27 assert_int_equal(1, cbor_encode_null(buffer, 512));
28 assert_memory_equal(buffer, ((unsigned char[]){0xF6}), 1);
29 }
30
test_undef(void ** state)31 static void test_undef(void **state) {
32 assert_int_equal(1, cbor_encode_undef(buffer, 512));
33 assert_memory_equal(buffer, ((unsigned char[]){0xF7}), 1);
34 }
35
test_break(void ** state)36 static void test_break(void **state) {
37 assert_int_equal(1, cbor_encode_break(buffer, 512));
38 assert_memory_equal(buffer, ((unsigned char[]){0xFF}), 1);
39 }
40
test_half(void ** state)41 static void test_half(void **state) {
42 assert_int_equal(3, cbor_encode_half(1.5f, buffer, 512));
43 assert_memory_equal(buffer, ((unsigned char[]){0xF9, 0x3E, 0x00}), 3);
44
45 assert_int_equal(3, cbor_encode_half(-0.0f, buffer, 512));
46 assert_memory_equal(buffer, ((unsigned char[]){0xF9, 0x80, 0x00}), 3);
47
48 assert_int_equal(3, cbor_encode_half(0.0f, buffer, 512));
49 assert_memory_equal(buffer, ((unsigned char[]){0xF9, 0x00, 0x00}), 3);
50
51 assert_int_equal(3, cbor_encode_half(65504.0f, buffer, 512));
52 assert_memory_equal(buffer, ((unsigned char[]){0xF9, 0x7B, 0xFF}), 3);
53
54 assert_int_equal(3, cbor_encode_half(0.00006103515625f, buffer, 512));
55 assert_memory_equal(buffer, ((unsigned char[]){0xF9, 0x04, 0x00}), 3);
56
57 assert_int_equal(3, cbor_encode_half(-4.0f, buffer, 512));
58 assert_memory_equal(buffer, ((unsigned char[]){0xF9, 0xC4, 0x00}), 3);
59
60 /* Smallest representable value */
61 assert_int_equal(3, cbor_encode_half(5.960464477539063e-8f, buffer, 512));
62 assert_memory_equal(buffer, ((unsigned char[]){0xF9, 0x00, 0x01}), 3);
63
64 /* Smaller than the smallest, approximate magnitude representation */
65 assert_int_equal(3, cbor_encode_half(5.960464477539062e-8f, buffer, 512));
66 assert_memory_equal(buffer, ((unsigned char[]){0xF9, 0x00, 0x01}), 3);
67
68 /* Smaller than the smallest and even the magnitude cannot be represented,
69 round off to zero */
70 assert_int_equal(3, cbor_encode_half(1e-25f, buffer, 512));
71 assert_memory_equal(buffer, ((unsigned char[]){0xF9, 0x00, 0x00}), 3);
72
73 assert_int_equal(3, cbor_encode_half(1.1920928955078125e-7, buffer, 512));
74 assert_memory_equal(buffer, ((unsigned char[]){0xF9, 0x00, 0x02}), 3);
75
76 assert_int_equal(3, cbor_encode_half(INFINITY, buffer, 512));
77 assert_memory_equal(buffer, ((unsigned char[]){0xF9, 0x7C, 0x00}), 3);
78 }
79
test_half_special(void ** state)80 static void test_half_special(void **state) {
81 assert_int_equal(3, cbor_encode_half(NAN, buffer, 512));
82 assert_memory_equal(buffer, ((unsigned char[]){0xF9, 0xE7, 0x00}), 3);
83 }
84
test_float(void ** state)85 static void test_float(void **state) {
86 assert_int_equal(5, cbor_encode_single(3.4028234663852886e+38, buffer, 512));
87 assert_memory_equal(buffer, ((unsigned char[]){0xFA, 0x7F, 0x7F, 0xFF, 0xFF}),
88 5);
89 }
90
test_double(void ** state)91 static void test_double(void **state) {
92 assert_int_equal(9, cbor_encode_double(1.0e+300, buffer, 512));
93 assert_memory_equal(
94 buffer,
95 ((unsigned char[]){0xFB, 0x7E, 0x37, 0xE4, 0x3C, 0x88, 0x00, 0x75, 0x9C}),
96 9);
97 }
98
main(void)99 int main(void) {
100 const struct CMUnitTest tests[] = {
101 cmocka_unit_test(test_bools), cmocka_unit_test(test_null),
102 cmocka_unit_test(test_undef), cmocka_unit_test(test_break),
103 cmocka_unit_test(test_half), cmocka_unit_test(test_float),
104 cmocka_unit_test(test_double), cmocka_unit_test(test_half_special)};
105 return cmocka_run_group_tests(tests, NULL, NULL);
106 }
107