timespecops.c revision 1.1.1.3.10.2
1 1.1.1.3.10.2 riz /* $NetBSD: timespecops.c,v 1.1.1.3.10.2 2015/11/08 01:55:37 riz Exp $ */ 2 1.1.1.3.10.2 riz 3 1.1.1.3.10.2 riz #include "config.h" 4 1.1.1.3.10.2 riz 5 1.1.1.3.10.2 riz #include "ntp_types.h" 6 1.1.1.3.10.2 riz #include "ntp_fp.h" 7 1.1.1.3.10.2 riz #include "timespecops.h" 8 1.1.1.3.10.2 riz 9 1.1.1.3.10.2 riz #include "unity.h" 10 1.1.1.3.10.2 riz 11 1.1.1.3.10.2 riz #include <math.h> 12 1.1.1.3.10.2 riz #include <string.h> 13 1.1.1.3.10.2 riz 14 1.1.1.3.10.2 riz 15 1.1.1.3.10.2 riz #define TEST_ASSERT_EQUAL_timespec(a, b) { \ 16 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_MESSAGE(a.tv_sec, b.tv_sec, "Field tv_sec"); \ 17 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_MESSAGE(a.tv_nsec, b.tv_nsec, "Field tv_nsec"); \ 18 1.1.1.3.10.2 riz } 19 1.1.1.3.10.2 riz 20 1.1.1.3.10.2 riz 21 1.1.1.3.10.2 riz #define TEST_ASSERT_EQUAL_l_fp(a, b) { \ 22 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_MESSAGE(a.l_i, b.l_i, "Field l_i"); \ 23 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_UINT_MESSAGE(a.l_uf, b.l_uf, "Field l_uf"); \ 24 1.1.1.3.10.2 riz } 25 1.1.1.3.10.2 riz 26 1.1.1.3.10.2 riz 27 1.1.1.3.10.2 riz static u_int32 my_tick_to_tsf(u_int32 ticks); 28 1.1.1.3.10.2 riz static u_int32 my_tsf_to_tick(u_int32 tsf); 29 1.1.1.3.10.2 riz 30 1.1.1.3.10.2 riz 31 1.1.1.3.10.2 riz // that's it... 32 1.1.1.3.10.2 riz struct lfpfracdata { 33 1.1.1.3.10.2 riz long nsec; 34 1.1.1.3.10.2 riz u_int32 frac; 35 1.1.1.3.10.2 riz }; 36 1.1.1.3.10.2 riz 37 1.1.1.3.10.2 riz 38 1.1.1.3.10.2 riz void test_Helpers1(void); 39 1.1.1.3.10.2 riz void test_Normalise(void); 40 1.1.1.3.10.2 riz void test_SignNoFrac(void); 41 1.1.1.3.10.2 riz void test_SignWithFrac(void); 42 1.1.1.3.10.2 riz void test_CmpFracEQ(void); 43 1.1.1.3.10.2 riz void test_CmpFracGT(void); 44 1.1.1.3.10.2 riz void test_CmpFracLT(void); 45 1.1.1.3.10.2 riz void test_AddFullNorm(void); 46 1.1.1.3.10.2 riz void test_AddFullOflow1(void); 47 1.1.1.3.10.2 riz void test_AddNsecNorm(void); 48 1.1.1.3.10.2 riz void test_AddNsecOflow1(void); 49 1.1.1.3.10.2 riz void test_SubFullNorm(void); 50 1.1.1.3.10.2 riz void test_SubFullOflow(void); 51 1.1.1.3.10.2 riz void test_SubNsecNorm(void); 52 1.1.1.3.10.2 riz void test_SubNsecOflow(void); 53 1.1.1.3.10.2 riz void test_Neg(void); 54 1.1.1.3.10.2 riz void test_AbsNoFrac(void); 55 1.1.1.3.10.2 riz void test_AbsWithFrac(void); 56 1.1.1.3.10.2 riz void test_Helpers2(void); 57 1.1.1.3.10.2 riz void test_ToLFPbittest(void); 58 1.1.1.3.10.2 riz void test_ToLFPrelPos(void); 59 1.1.1.3.10.2 riz void test_ToLFPrelNeg(void); 60 1.1.1.3.10.2 riz void test_ToLFPabs(void); 61 1.1.1.3.10.2 riz void test_FromLFPbittest(void); 62 1.1.1.3.10.2 riz void test_FromLFPrelPos(void); 63 1.1.1.3.10.2 riz void test_FromLFPrelNeg(void); 64 1.1.1.3.10.2 riz void test_LFProundtrip(void); 65 1.1.1.3.10.2 riz void test_ToString(void); 66 1.1.1.3.10.2 riz 67 1.1.1.3.10.2 riz typedef int bool; 68 1.1.1.3.10.2 riz 69 1.1.1.3.10.2 riz const bool timespec_isValid(struct timespec V); 70 1.1.1.3.10.2 riz struct timespec timespec_init(time_t hi, long lo); 71 1.1.1.3.10.2 riz l_fp l_fp_init(int32 i, u_int32 f); 72 1.1.1.3.10.2 riz bool AssertFpClose(const l_fp m, const l_fp n, const l_fp limit); 73 1.1.1.3.10.2 riz bool AssertTimespecClose(const struct timespec m, const struct timespec n, const struct timespec limit); 74 1.1.1.3.10.2 riz 75 1.1.1.3.10.2 riz 76 1.1.1.3.10.2 riz //******************************************MY CUSTOM FUNCTIONS******************************* 77 1.1.1.3.10.2 riz 78 1.1.1.3.10.2 riz 79 1.1.1.3.10.2 riz 80 1.1.1.3.10.2 riz const bool 81 1.1.1.3.10.2 riz timespec_isValid(struct timespec V) { 82 1.1.1.3.10.2 riz return V.tv_nsec >= 0 && V.tv_nsec < 1000000000; 83 1.1.1.3.10.2 riz } 84 1.1.1.3.10.2 riz 85 1.1.1.3.10.2 riz 86 1.1.1.3.10.2 riz struct timespec 87 1.1.1.3.10.2 riz timespec_init(time_t hi, long lo) { 88 1.1.1.3.10.2 riz struct timespec V; 89 1.1.1.3.10.2 riz V.tv_sec = hi; 90 1.1.1.3.10.2 riz V.tv_nsec = lo; 91 1.1.1.3.10.2 riz return V; 92 1.1.1.3.10.2 riz } 93 1.1.1.3.10.2 riz 94 1.1.1.3.10.2 riz 95 1.1.1.3.10.2 riz l_fp 96 1.1.1.3.10.2 riz l_fp_init(int32 i, u_int32 f) { 97 1.1.1.3.10.2 riz l_fp temp; 98 1.1.1.3.10.2 riz temp.l_i = i; 99 1.1.1.3.10.2 riz temp.l_uf = f; 100 1.1.1.3.10.2 riz 101 1.1.1.3.10.2 riz return temp; 102 1.1.1.3.10.2 riz } 103 1.1.1.3.10.2 riz 104 1.1.1.3.10.2 riz 105 1.1.1.3.10.2 riz bool 106 1.1.1.3.10.2 riz AssertFpClose(const l_fp m, const l_fp n, const l_fp limit) { 107 1.1.1.3.10.2 riz l_fp diff; 108 1.1.1.3.10.2 riz 109 1.1.1.3.10.2 riz if (L_ISGEQ(&m, &n)) { 110 1.1.1.3.10.2 riz diff = m; 111 1.1.1.3.10.2 riz L_SUB(&diff, &n); 112 1.1.1.3.10.2 riz } else { 113 1.1.1.3.10.2 riz diff = n; 114 1.1.1.3.10.2 riz L_SUB(&diff, &m); 115 1.1.1.3.10.2 riz } 116 1.1.1.3.10.2 riz if (L_ISGEQ(&limit, &diff)){ 117 1.1.1.3.10.2 riz return TRUE; 118 1.1.1.3.10.2 riz } 119 1.1.1.3.10.2 riz else { 120 1.1.1.3.10.2 riz printf("m_expr which is %s \nand\nn_expr which is %s\nare not close; diff=%susec\n", lfptoa(&m, 10), lfptoa(&n, 10), lfptoa(&diff, 10)); 121 1.1.1.3.10.2 riz return FALSE; 122 1.1.1.3.10.2 riz } 123 1.1.1.3.10.2 riz } 124 1.1.1.3.10.2 riz 125 1.1.1.3.10.2 riz 126 1.1.1.3.10.2 riz bool 127 1.1.1.3.10.2 riz AssertTimespecClose(const struct timespec m, const struct timespec n, const struct timespec limit) { 128 1.1.1.3.10.2 riz struct timespec diff; 129 1.1.1.3.10.2 riz 130 1.1.1.3.10.2 riz diff = abs_tspec(sub_tspec(m, n)); 131 1.1.1.3.10.2 riz if (cmp_tspec(limit, diff) >= 0) 132 1.1.1.3.10.2 riz return TRUE; 133 1.1.1.3.10.2 riz else 134 1.1.1.3.10.2 riz { 135 1.1.1.3.10.2 riz printf("m_expr which is %ld.%lu \nand\nn_expr which is %ld.%lu\nare not close; diff=%ld.%lunsec\n", m.tv_sec, m.tv_nsec, n.tv_sec, n.tv_nsec, diff.tv_sec, diff.tv_nsec); 136 1.1.1.3.10.2 riz return FALSE; 137 1.1.1.3.10.2 riz } 138 1.1.1.3.10.2 riz } 139 1.1.1.3.10.2 riz 140 1.1.1.3.10.2 riz //----------------------------------------------- 141 1.1.1.3.10.2 riz 142 1.1.1.3.10.2 riz static const struct lfpfracdata fdata[] = { 143 1.1.1.3.10.2 riz { 0, 0x00000000 }, { 2218896, 0x00916ae6 }, 144 1.1.1.3.10.2 riz { 16408100, 0x0433523d }, { 125000000, 0x20000000 }, 145 1.1.1.3.10.2 riz { 250000000, 0x40000000 }, { 287455871, 0x4996b53d }, 146 1.1.1.3.10.2 riz { 375000000, 0x60000000 }, { 500000000, 0x80000000 }, 147 1.1.1.3.10.2 riz { 518978897, 0x84dbcd0e }, { 563730222, 0x90509fb3 }, 148 1.1.1.3.10.2 riz { 563788007, 0x9054692c }, { 583289882, 0x95527c57 }, 149 1.1.1.3.10.2 riz { 607074509, 0x9b693c2a }, { 625000000, 0xa0000000 }, 150 1.1.1.3.10.2 riz { 645184059, 0xa52ac851 }, { 676497788, 0xad2ef583 }, 151 1.1.1.3.10.2 riz { 678910895, 0xadcd1abb }, { 679569625, 0xadf84663 }, 152 1.1.1.3.10.2 riz { 690926741, 0xb0e0932d }, { 705656483, 0xb4a5e73d }, 153 1.1.1.3.10.2 riz { 723553854, 0xb93ad34c }, { 750000000, 0xc0000000 }, 154 1.1.1.3.10.2 riz { 763550253, 0xc3780785 }, { 775284917, 0xc6791284 }, 155 1.1.1.3.10.2 riz { 826190764, 0xd3813ce8 }, { 875000000, 0xe0000000 }, 156 1.1.1.3.10.2 riz { 956805507, 0xf4f134a9 }, { 982570733, 0xfb89c16c } 157 1.1.1.3.10.2 riz }; 158 1.1.1.3.10.2 riz 159 1.1.1.3.10.2 riz 160 1.1.1.3.10.2 riz u_int32 161 1.1.1.3.10.2 riz my_tick_to_tsf(u_int32 ticks) { 162 1.1.1.3.10.2 riz // convert nanoseconds to l_fp fractional units, using double 163 1.1.1.3.10.2 riz // precision float calculations or, if available, 64bit integer 164 1.1.1.3.10.2 riz // arithmetic. This should give the precise fraction, rounded to 165 1.1.1.3.10.2 riz // the nearest representation. 166 1.1.1.3.10.2 riz #ifdef HAVE_U_INT64 167 1.1.1.3.10.2 riz return (u_int32)((( ((u_int64)(ticks)) << 32) + 500000000) / 1000000000); 168 1.1.1.3.10.2 riz #else 169 1.1.1.3.10.2 riz return (u_int32)((double(ticks)) * 4.294967296 + 0.5); 170 1.1.1.3.10.2 riz #endif 171 1.1.1.3.10.2 riz // And before you ask: if ticks >= 1000000000, the result is 172 1.1.1.3.10.2 riz // truncated nonsense, so don't use it out-of-bounds. 173 1.1.1.3.10.2 riz } 174 1.1.1.3.10.2 riz 175 1.1.1.3.10.2 riz 176 1.1.1.3.10.2 riz u_int32 177 1.1.1.3.10.2 riz my_tsf_to_tick(u_int32 tsf) { 178 1.1.1.3.10.2 riz // Inverse operation: converts fraction to microseconds. 179 1.1.1.3.10.2 riz #ifdef HAVE_U_INT64 180 1.1.1.3.10.2 riz return (u_int32)(( ((u_int64)(tsf)) * 1000000000 + 0x80000000) >> 32); 181 1.1.1.3.10.2 riz #else 182 1.1.1.3.10.2 riz return (u_int32)(double(tsf) / 4.294967296 + 0.5); 183 1.1.1.3.10.2 riz #endif 184 1.1.1.3.10.2 riz // Beware: The result might be 10^9 due to rounding! 185 1.1.1.3.10.2 riz } 186 1.1.1.3.10.2 riz 187 1.1.1.3.10.2 riz 188 1.1.1.3.10.2 riz 189 1.1.1.3.10.2 riz // --------------------------------------------------------------------- 190 1.1.1.3.10.2 riz // test support stuff -- part 1 191 1.1.1.3.10.2 riz // --------------------------------------------------------------------- 192 1.1.1.3.10.2 riz 193 1.1.1.3.10.2 riz void 194 1.1.1.3.10.2 riz test_Helpers1(void) { 195 1.1.1.3.10.2 riz struct timespec x; 196 1.1.1.3.10.2 riz 197 1.1.1.3.10.2 riz for (x.tv_sec = -2; x.tv_sec < 3; x.tv_sec++) { 198 1.1.1.3.10.2 riz x.tv_nsec = -1; 199 1.1.1.3.10.2 riz TEST_ASSERT_FALSE(timespec_isValid(x)); 200 1.1.1.3.10.2 riz x.tv_nsec = 0; 201 1.1.1.3.10.2 riz TEST_ASSERT_TRUE(timespec_isValid(x)); 202 1.1.1.3.10.2 riz x.tv_nsec = 999999999; 203 1.1.1.3.10.2 riz TEST_ASSERT_TRUE(timespec_isValid(x)); 204 1.1.1.3.10.2 riz x.tv_nsec = 1000000000; 205 1.1.1.3.10.2 riz TEST_ASSERT_FALSE(timespec_isValid(x)); 206 1.1.1.3.10.2 riz } 207 1.1.1.3.10.2 riz } 208 1.1.1.3.10.2 riz 209 1.1.1.3.10.2 riz 210 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 211 1.1.1.3.10.2 riz // test normalisation 212 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 213 1.1.1.3.10.2 riz 214 1.1.1.3.10.2 riz void 215 1.1.1.3.10.2 riz test_Normalise(void) { 216 1.1.1.3.10.2 riz long ns; 217 1.1.1.3.10.2 riz for ( ns = -2000000000; ns <= 2000000000; ns += 10000000) { 218 1.1.1.3.10.2 riz struct timespec x = timespec_init(0, ns); 219 1.1.1.3.10.2 riz 220 1.1.1.3.10.2 riz x = normalize_tspec(x); 221 1.1.1.3.10.2 riz TEST_ASSERT_TRUE(timespec_isValid(x)); 222 1.1.1.3.10.2 riz } 223 1.1.1.3.10.2 riz } 224 1.1.1.3.10.2 riz 225 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 226 1.1.1.3.10.2 riz // test classification 227 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 228 1.1.1.3.10.2 riz 229 1.1.1.3.10.2 riz void 230 1.1.1.3.10.2 riz test_SignNoFrac(void) { 231 1.1.1.3.10.2 riz // sign test, no fraction 232 1.1.1.3.10.2 riz int i; 233 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) { 234 1.1.1.3.10.2 riz struct timespec a = timespec_init(i, 0); 235 1.1.1.3.10.2 riz int E = (i > 0) - (i < 0); 236 1.1.1.3.10.2 riz int r = test_tspec(a); 237 1.1.1.3.10.2 riz 238 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL(E, r); 239 1.1.1.3.10.2 riz } 240 1.1.1.3.10.2 riz } 241 1.1.1.3.10.2 riz 242 1.1.1.3.10.2 riz 243 1.1.1.3.10.2 riz void 244 1.1.1.3.10.2 riz test_SignWithFrac(void) { 245 1.1.1.3.10.2 riz // sign test, with fraction 246 1.1.1.3.10.2 riz int i; 247 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) { 248 1.1.1.3.10.2 riz struct timespec a = timespec_init(i, 10); 249 1.1.1.3.10.2 riz int E = (i >= 0) - (i < 0); 250 1.1.1.3.10.2 riz int r = test_tspec(a); 251 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL(E, r); 252 1.1.1.3.10.2 riz } 253 1.1.1.3.10.2 riz } 254 1.1.1.3.10.2 riz 255 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 256 1.1.1.3.10.2 riz // test compare 257 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 258 1.1.1.3.10.2 riz void 259 1.1.1.3.10.2 riz test_CmpFracEQ(void) { 260 1.1.1.3.10.2 riz // fractions are equal 261 1.1.1.3.10.2 riz int i, j; 262 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) 263 1.1.1.3.10.2 riz for (j = -4; j <= 4; ++j) { 264 1.1.1.3.10.2 riz struct timespec a = timespec_init( i , 200); 265 1.1.1.3.10.2 riz struct timespec b = timespec_init( j , 200); 266 1.1.1.3.10.2 riz int E = (i > j) - (i < j); 267 1.1.1.3.10.2 riz int r = cmp_tspec_denorm(a, b); 268 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL(E, r); 269 1.1.1.3.10.2 riz } 270 1.1.1.3.10.2 riz } 271 1.1.1.3.10.2 riz 272 1.1.1.3.10.2 riz 273 1.1.1.3.10.2 riz void 274 1.1.1.3.10.2 riz test_CmpFracGT(void) { 275 1.1.1.3.10.2 riz // fraction a bigger fraction b 276 1.1.1.3.10.2 riz int i, j; 277 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) 278 1.1.1.3.10.2 riz for (j = -4; j <= 4; ++j) { 279 1.1.1.3.10.2 riz struct timespec a = timespec_init(i, 999999800); 280 1.1.1.3.10.2 riz struct timespec b = timespec_init(j, 200); 281 1.1.1.3.10.2 riz int E = (i >= j) - (i < j); 282 1.1.1.3.10.2 riz int r = cmp_tspec_denorm(a, b); 283 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL(E, r); 284 1.1.1.3.10.2 riz } 285 1.1.1.3.10.2 riz } 286 1.1.1.3.10.2 riz 287 1.1.1.3.10.2 riz 288 1.1.1.3.10.2 riz void 289 1.1.1.3.10.2 riz test_CmpFracLT(void) { 290 1.1.1.3.10.2 riz // fraction a less fraction b 291 1.1.1.3.10.2 riz int i, j; 292 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) 293 1.1.1.3.10.2 riz for (j = -4; j <= 4; ++j) { 294 1.1.1.3.10.2 riz struct timespec a = timespec_init(i, 200); 295 1.1.1.3.10.2 riz struct timespec b = timespec_init(j, 999999800); 296 1.1.1.3.10.2 riz int E = (i > j) - (i <= j); 297 1.1.1.3.10.2 riz int r = cmp_tspec_denorm(a, b); 298 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL(E, r); 299 1.1.1.3.10.2 riz } 300 1.1.1.3.10.2 riz } 301 1.1.1.3.10.2 riz 302 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 303 1.1.1.3.10.2 riz // Test addition (sum) 304 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 305 1.1.1.3.10.2 riz 306 1.1.1.3.10.2 riz void 307 1.1.1.3.10.2 riz test_AddFullNorm(void) { 308 1.1.1.3.10.2 riz int i, j; 309 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) 310 1.1.1.3.10.2 riz for (j = -4; j <= 4; ++j) { 311 1.1.1.3.10.2 riz struct timespec a = timespec_init(i, 200); 312 1.1.1.3.10.2 riz struct timespec b = timespec_init(j, 400); 313 1.1.1.3.10.2 riz struct timespec E = timespec_init(i + j, 200 + 400); 314 1.1.1.3.10.2 riz struct timespec c; 315 1.1.1.3.10.2 riz 316 1.1.1.3.10.2 riz c = add_tspec(a, b); 317 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_timespec(E, c); 318 1.1.1.3.10.2 riz } 319 1.1.1.3.10.2 riz } 320 1.1.1.3.10.2 riz 321 1.1.1.3.10.2 riz 322 1.1.1.3.10.2 riz void 323 1.1.1.3.10.2 riz test_AddFullOflow1(void) { 324 1.1.1.3.10.2 riz int i, j; 325 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) 326 1.1.1.3.10.2 riz for (j = -4; j <= 4; ++j) { 327 1.1.1.3.10.2 riz struct timespec a = timespec_init(i, 200); 328 1.1.1.3.10.2 riz struct timespec b = timespec_init(j, 999999900); 329 1.1.1.3.10.2 riz struct timespec E = timespec_init(i + j + 1, 100); 330 1.1.1.3.10.2 riz struct timespec c; 331 1.1.1.3.10.2 riz 332 1.1.1.3.10.2 riz c = add_tspec(a, b); 333 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_timespec(E, c); 334 1.1.1.3.10.2 riz } 335 1.1.1.3.10.2 riz } 336 1.1.1.3.10.2 riz 337 1.1.1.3.10.2 riz 338 1.1.1.3.10.2 riz void 339 1.1.1.3.10.2 riz test_AddNsecNorm(void) { 340 1.1.1.3.10.2 riz int i; 341 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) { 342 1.1.1.3.10.2 riz struct timespec a = timespec_init(i, 200); 343 1.1.1.3.10.2 riz struct timespec E = timespec_init(i, 600); 344 1.1.1.3.10.2 riz struct timespec c; 345 1.1.1.3.10.2 riz 346 1.1.1.3.10.2 riz c = add_tspec_ns(a, 600 - 200); 347 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_timespec(E, c); 348 1.1.1.3.10.2 riz } 349 1.1.1.3.10.2 riz } 350 1.1.1.3.10.2 riz 351 1.1.1.3.10.2 riz 352 1.1.1.3.10.2 riz void 353 1.1.1.3.10.2 riz test_AddNsecOflow1(void) { 354 1.1.1.3.10.2 riz int i; 355 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) { 356 1.1.1.3.10.2 riz struct timespec a = timespec_init(i, 200); 357 1.1.1.3.10.2 riz struct timespec E = timespec_init(i + 1, 100); 358 1.1.1.3.10.2 riz struct timespec c; 359 1.1.1.3.10.2 riz 360 1.1.1.3.10.2 riz c = add_tspec_ns(a, NANOSECONDS - 100); 361 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_timespec(E, c); 362 1.1.1.3.10.2 riz } 363 1.1.1.3.10.2 riz } 364 1.1.1.3.10.2 riz 365 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 366 1.1.1.3.10.2 riz // test subtraction (difference) 367 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 368 1.1.1.3.10.2 riz 369 1.1.1.3.10.2 riz void 370 1.1.1.3.10.2 riz test_SubFullNorm(void) { 371 1.1.1.3.10.2 riz int i, j; 372 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) 373 1.1.1.3.10.2 riz for (j = -4; j <= 4; ++j) { 374 1.1.1.3.10.2 riz struct timespec a = timespec_init( i , 600); 375 1.1.1.3.10.2 riz struct timespec b = timespec_init( j , 400); 376 1.1.1.3.10.2 riz struct timespec E = timespec_init(i-j, 200); 377 1.1.1.3.10.2 riz struct timespec c; 378 1.1.1.3.10.2 riz 379 1.1.1.3.10.2 riz c = sub_tspec(a, b); 380 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_timespec(E, c); 381 1.1.1.3.10.2 riz } 382 1.1.1.3.10.2 riz } 383 1.1.1.3.10.2 riz 384 1.1.1.3.10.2 riz 385 1.1.1.3.10.2 riz void 386 1.1.1.3.10.2 riz test_SubFullOflow(void) { 387 1.1.1.3.10.2 riz int i, j; 388 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) 389 1.1.1.3.10.2 riz for (j = -4; j <= 4; ++j) { 390 1.1.1.3.10.2 riz struct timespec a = timespec_init(i, 100); 391 1.1.1.3.10.2 riz struct timespec b = timespec_init(j, 999999900); 392 1.1.1.3.10.2 riz struct timespec E = timespec_init(i - j - 1, 200); 393 1.1.1.3.10.2 riz struct timespec c; 394 1.1.1.3.10.2 riz 395 1.1.1.3.10.2 riz c = sub_tspec(a, b); 396 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_timespec(E, c); 397 1.1.1.3.10.2 riz } 398 1.1.1.3.10.2 riz } 399 1.1.1.3.10.2 riz 400 1.1.1.3.10.2 riz 401 1.1.1.3.10.2 riz void 402 1.1.1.3.10.2 riz test_SubNsecNorm(void) { 403 1.1.1.3.10.2 riz int i; 404 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) { 405 1.1.1.3.10.2 riz struct timespec a = timespec_init(i, 600); 406 1.1.1.3.10.2 riz struct timespec E = timespec_init(i, 200); 407 1.1.1.3.10.2 riz struct timespec c; 408 1.1.1.3.10.2 riz 409 1.1.1.3.10.2 riz c = sub_tspec_ns(a, 600 - 200); 410 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_timespec(E, c); 411 1.1.1.3.10.2 riz } 412 1.1.1.3.10.2 riz } 413 1.1.1.3.10.2 riz 414 1.1.1.3.10.2 riz 415 1.1.1.3.10.2 riz void 416 1.1.1.3.10.2 riz test_SubNsecOflow(void) { 417 1.1.1.3.10.2 riz int i; 418 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) { 419 1.1.1.3.10.2 riz struct timespec a = timespec_init( i , 100); 420 1.1.1.3.10.2 riz struct timespec E = timespec_init(i-1, 200); 421 1.1.1.3.10.2 riz struct timespec c; 422 1.1.1.3.10.2 riz 423 1.1.1.3.10.2 riz c = sub_tspec_ns(a, NANOSECONDS - 100); 424 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_timespec(E, c); 425 1.1.1.3.10.2 riz } 426 1.1.1.3.10.2 riz } 427 1.1.1.3.10.2 riz 428 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 429 1.1.1.3.10.2 riz // test negation 430 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 431 1.1.1.3.10.2 riz 432 1.1.1.3.10.2 riz 433 1.1.1.3.10.2 riz void 434 1.1.1.3.10.2 riz test_Neg(void) { 435 1.1.1.3.10.2 riz int i; 436 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) { 437 1.1.1.3.10.2 riz struct timespec a = timespec_init(i, 100); 438 1.1.1.3.10.2 riz struct timespec b; 439 1.1.1.3.10.2 riz struct timespec c; 440 1.1.1.3.10.2 riz 441 1.1.1.3.10.2 riz b = neg_tspec(a); 442 1.1.1.3.10.2 riz c = add_tspec(a, b); 443 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL(0, test_tspec(c)); 444 1.1.1.3.10.2 riz } 445 1.1.1.3.10.2 riz } 446 1.1.1.3.10.2 riz 447 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 448 1.1.1.3.10.2 riz // test abs value 449 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 450 1.1.1.3.10.2 riz 451 1.1.1.3.10.2 riz void 452 1.1.1.3.10.2 riz test_AbsNoFrac(void) { 453 1.1.1.3.10.2 riz int i; 454 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) { 455 1.1.1.3.10.2 riz struct timespec a = timespec_init(i , 0); 456 1.1.1.3.10.2 riz struct timespec b; 457 1.1.1.3.10.2 riz 458 1.1.1.3.10.2 riz b = abs_tspec(a); 459 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL((i != 0), test_tspec(b)); 460 1.1.1.3.10.2 riz } 461 1.1.1.3.10.2 riz } 462 1.1.1.3.10.2 riz 463 1.1.1.3.10.2 riz 464 1.1.1.3.10.2 riz void 465 1.1.1.3.10.2 riz test_AbsWithFrac(void) { 466 1.1.1.3.10.2 riz int i; 467 1.1.1.3.10.2 riz for (i = -4; i <= 4; ++i) { 468 1.1.1.3.10.2 riz struct timespec a = timespec_init(i, 100); 469 1.1.1.3.10.2 riz struct timespec b; 470 1.1.1.3.10.2 riz 471 1.1.1.3.10.2 riz b = abs_tspec(a); 472 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL(1, test_tspec(b)); 473 1.1.1.3.10.2 riz } 474 1.1.1.3.10.2 riz } 475 1.1.1.3.10.2 riz 476 1.1.1.3.10.2 riz // --------------------------------------------------------------------- 477 1.1.1.3.10.2 riz // test support stuff -- part 2 478 1.1.1.3.10.2 riz // --------------------------------------------------------------------- 479 1.1.1.3.10.2 riz 480 1.1.1.3.10.2 riz void 481 1.1.1.3.10.2 riz test_Helpers2(void) { 482 1.1.1.3.10.2 riz struct timespec limit = timespec_init(0, 2); 483 1.1.1.3.10.2 riz 484 1.1.1.3.10.2 riz struct timespec x, y; 485 1.1.1.3.10.2 riz long i; 486 1.1.1.3.10.2 riz 487 1.1.1.3.10.2 riz for (x.tv_sec = -2; x.tv_sec < 3; x.tv_sec++) 488 1.1.1.3.10.2 riz for (x.tv_nsec = 1; 489 1.1.1.3.10.2 riz x.tv_nsec < 1000000000; 490 1.1.1.3.10.2 riz x.tv_nsec += 499999999) { 491 1.1.1.3.10.2 riz for (i = -4; i < 5; ++i) { 492 1.1.1.3.10.2 riz y = x; 493 1.1.1.3.10.2 riz y.tv_nsec += i; 494 1.1.1.3.10.2 riz if (i >= -2 && i <= 2){ 495 1.1.1.3.10.2 riz TEST_ASSERT_TRUE(AssertTimespecClose(x, y, limit)); 496 1.1.1.3.10.2 riz } 497 1.1.1.3.10.2 riz else 498 1.1.1.3.10.2 riz { 499 1.1.1.3.10.2 riz TEST_ASSERT_FALSE(AssertTimespecClose(x, y, limit)); 500 1.1.1.3.10.2 riz } 501 1.1.1.3.10.2 riz } 502 1.1.1.3.10.2 riz } 503 1.1.1.3.10.2 riz } 504 1.1.1.3.10.2 riz 505 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 506 1.1.1.3.10.2 riz // conversion to l_fp 507 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 508 1.1.1.3.10.2 riz 509 1.1.1.3.10.2 riz void 510 1.1.1.3.10.2 riz test_ToLFPbittest(void) { 511 1.1.1.3.10.2 riz l_fp lfpClose = l_fp_init(0, 1); 512 1.1.1.3.10.2 riz u_int32 i; 513 1.1.1.3.10.2 riz for (i = 0; i < 1000000000; i+=1000) { 514 1.1.1.3.10.2 riz struct timespec a = timespec_init(1, i); 515 1.1.1.3.10.2 riz l_fp E= l_fp_init(1, my_tick_to_tsf(i)); 516 1.1.1.3.10.2 riz l_fp r; 517 1.1.1.3.10.2 riz 518 1.1.1.3.10.2 riz r = tspec_intv_to_lfp(a); 519 1.1.1.3.10.2 riz TEST_ASSERT_TRUE(AssertFpClose(E, r, lfpClose)); 520 1.1.1.3.10.2 riz } 521 1.1.1.3.10.2 riz } 522 1.1.1.3.10.2 riz 523 1.1.1.3.10.2 riz 524 1.1.1.3.10.2 riz void 525 1.1.1.3.10.2 riz test_ToLFPrelPos(void) { 526 1.1.1.3.10.2 riz int i; 527 1.1.1.3.10.2 riz for (i = 0; i < COUNTOF(fdata); ++i) { 528 1.1.1.3.10.2 riz struct timespec a = timespec_init(1, fdata[i].nsec); 529 1.1.1.3.10.2 riz l_fp E = l_fp_init(1, fdata[i].frac); 530 1.1.1.3.10.2 riz l_fp r; 531 1.1.1.3.10.2 riz 532 1.1.1.3.10.2 riz r = tspec_intv_to_lfp(a); 533 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_l_fp(E, r); 534 1.1.1.3.10.2 riz } 535 1.1.1.3.10.2 riz } 536 1.1.1.3.10.2 riz 537 1.1.1.3.10.2 riz 538 1.1.1.3.10.2 riz void 539 1.1.1.3.10.2 riz test_ToLFPrelNeg(void) { 540 1.1.1.3.10.2 riz int i; 541 1.1.1.3.10.2 riz for (i = 0; i < COUNTOF(fdata); ++i) { 542 1.1.1.3.10.2 riz struct timespec a = timespec_init(-1, fdata[i].nsec); 543 1.1.1.3.10.2 riz l_fp E = l_fp_init(~0, fdata[i].frac); 544 1.1.1.3.10.2 riz l_fp r; 545 1.1.1.3.10.2 riz 546 1.1.1.3.10.2 riz r = tspec_intv_to_lfp(a); 547 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_l_fp(E, r); 548 1.1.1.3.10.2 riz } 549 1.1.1.3.10.2 riz } 550 1.1.1.3.10.2 riz 551 1.1.1.3.10.2 riz 552 1.1.1.3.10.2 riz void 553 1.1.1.3.10.2 riz test_ToLFPabs(void) { 554 1.1.1.3.10.2 riz int i; 555 1.1.1.3.10.2 riz for (i = 0; i < COUNTOF(fdata); ++i) { 556 1.1.1.3.10.2 riz struct timespec a = timespec_init(1, fdata[i].nsec); 557 1.1.1.3.10.2 riz l_fp E = l_fp_init(1 + JAN_1970, fdata[i].frac); 558 1.1.1.3.10.2 riz l_fp r; 559 1.1.1.3.10.2 riz 560 1.1.1.3.10.2 riz r = tspec_stamp_to_lfp(a); 561 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_l_fp(E, r); 562 1.1.1.3.10.2 riz } 563 1.1.1.3.10.2 riz } 564 1.1.1.3.10.2 riz 565 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 566 1.1.1.3.10.2 riz // conversion from l_fp 567 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 568 1.1.1.3.10.2 riz 569 1.1.1.3.10.2 riz void 570 1.1.1.3.10.2 riz test_FromLFPbittest(void) { 571 1.1.1.3.10.2 riz struct timespec limit = timespec_init(0, 2); 572 1.1.1.3.10.2 riz 573 1.1.1.3.10.2 riz // Not *exactly* a bittest, because 2**32 tests would take a 574 1.1.1.3.10.2 riz // really long time even on very fast machines! So we do test 575 1.1.1.3.10.2 riz // every 1000 fractional units. 576 1.1.1.3.10.2 riz u_int32 tsf; 577 1.1.1.3.10.2 riz for (tsf = 0; tsf < ~((u_int32)(1000)); tsf += 1000) { 578 1.1.1.3.10.2 riz struct timespec E = timespec_init(1, my_tsf_to_tick(tsf)); 579 1.1.1.3.10.2 riz l_fp a = l_fp_init(1, tsf); 580 1.1.1.3.10.2 riz struct timespec r; 581 1.1.1.3.10.2 riz 582 1.1.1.3.10.2 riz r = lfp_intv_to_tspec(a); 583 1.1.1.3.10.2 riz // The conversion might be off by one nanosecond when 584 1.1.1.3.10.2 riz // comparing to calculated value. 585 1.1.1.3.10.2 riz TEST_ASSERT_TRUE(AssertTimespecClose(E, r, limit)); 586 1.1.1.3.10.2 riz } 587 1.1.1.3.10.2 riz } 588 1.1.1.3.10.2 riz 589 1.1.1.3.10.2 riz 590 1.1.1.3.10.2 riz void 591 1.1.1.3.10.2 riz test_FromLFPrelPos(void) { 592 1.1.1.3.10.2 riz struct timespec limit = timespec_init(0, 2); 593 1.1.1.3.10.2 riz int i; 594 1.1.1.3.10.2 riz for (i = 0; i < COUNTOF(fdata); ++i) { 595 1.1.1.3.10.2 riz l_fp a = l_fp_init(1, fdata[i].frac); 596 1.1.1.3.10.2 riz struct timespec E = timespec_init(1, fdata[i].nsec); 597 1.1.1.3.10.2 riz struct timespec r; 598 1.1.1.3.10.2 riz 599 1.1.1.3.10.2 riz r = lfp_intv_to_tspec(a); 600 1.1.1.3.10.2 riz TEST_ASSERT_TRUE(AssertTimespecClose(E, r, limit)); 601 1.1.1.3.10.2 riz } 602 1.1.1.3.10.2 riz } 603 1.1.1.3.10.2 riz 604 1.1.1.3.10.2 riz 605 1.1.1.3.10.2 riz void 606 1.1.1.3.10.2 riz test_FromLFPrelNeg(void) { 607 1.1.1.3.10.2 riz struct timespec limit = timespec_init(0, 2); 608 1.1.1.3.10.2 riz int i; 609 1.1.1.3.10.2 riz for (i = 0; i < COUNTOF(fdata); ++i) { 610 1.1.1.3.10.2 riz l_fp a = l_fp_init(~0, fdata[i].frac); 611 1.1.1.3.10.2 riz struct timespec E = timespec_init(-1, fdata[i].nsec); 612 1.1.1.3.10.2 riz struct timespec r; 613 1.1.1.3.10.2 riz 614 1.1.1.3.10.2 riz r = lfp_intv_to_tspec(a); 615 1.1.1.3.10.2 riz TEST_ASSERT_TRUE(AssertTimespecClose(E, r, limit)); 616 1.1.1.3.10.2 riz } 617 1.1.1.3.10.2 riz } 618 1.1.1.3.10.2 riz 619 1.1.1.3.10.2 riz 620 1.1.1.3.10.2 riz // nsec -> frac -> nsec roundtrip, using a prime start and increment 621 1.1.1.3.10.2 riz void 622 1.1.1.3.10.2 riz test_LFProundtrip(void) { 623 1.1.1.3.10.2 riz int32_t t; 624 1.1.1.3.10.2 riz u_int32 i; 625 1.1.1.3.10.2 riz for (t = -1; t < 2; ++t) 626 1.1.1.3.10.2 riz for (i = 4999; i < 1000000000; i += 10007) { 627 1.1.1.3.10.2 riz struct timespec E = timespec_init(t, i); 628 1.1.1.3.10.2 riz l_fp a; 629 1.1.1.3.10.2 riz struct timespec r; 630 1.1.1.3.10.2 riz 631 1.1.1.3.10.2 riz a = tspec_intv_to_lfp(E); 632 1.1.1.3.10.2 riz r = lfp_intv_to_tspec(a); 633 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_timespec(E, r); 634 1.1.1.3.10.2 riz } 635 1.1.1.3.10.2 riz } 636 1.1.1.3.10.2 riz 637 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 638 1.1.1.3.10.2 riz // string formatting 639 1.1.1.3.10.2 riz //---------------------------------------------------------------------- 640 1.1.1.3.10.2 riz 641 1.1.1.3.10.2 riz void 642 1.1.1.3.10.2 riz test_ToString(void) { 643 1.1.1.3.10.2 riz static const struct { 644 1.1.1.3.10.2 riz time_t sec; 645 1.1.1.3.10.2 riz long nsec; 646 1.1.1.3.10.2 riz const char * repr; 647 1.1.1.3.10.2 riz } data [] = { 648 1.1.1.3.10.2 riz { 0, 0, "0.000000000" }, 649 1.1.1.3.10.2 riz { 2, 0, "2.000000000" }, 650 1.1.1.3.10.2 riz {-2, 0, "-2.000000000" }, 651 1.1.1.3.10.2 riz { 0, 1, "0.000000001" }, 652 1.1.1.3.10.2 riz { 0,-1, "-0.000000001" }, 653 1.1.1.3.10.2 riz { 1,-1, "0.999999999" }, 654 1.1.1.3.10.2 riz {-1, 1, "-0.999999999" }, 655 1.1.1.3.10.2 riz {-1,-1, "-1.000000001" }, 656 1.1.1.3.10.2 riz }; 657 1.1.1.3.10.2 riz int i; 658 1.1.1.3.10.2 riz for (i = 0; i < COUNTOF(data); ++i) { 659 1.1.1.3.10.2 riz struct timespec a = timespec_init(data[i].sec, data[i].nsec); 660 1.1.1.3.10.2 riz const char * E = data[i].repr; 661 1.1.1.3.10.2 riz const char * r = tspectoa(a); 662 1.1.1.3.10.2 riz TEST_ASSERT_EQUAL_STRING(E, r); 663 1.1.1.3.10.2 riz } 664 1.1.1.3.10.2 riz } 665 1.1.1.3.10.2 riz 666 1.1.1.3.10.2 riz // -*- EOF -*- 667
Indexes created Fri May 08 00:25:09 UTC 2026