3 //some unused features are still in the wrapper, unconverted
8 #include "timevalops.h"
14 #define TEST_ASSERT_EQUAL_timeval(a, b) { \
15 TEST_ASSERT_EQUAL_MESSAGE(a.tv_sec, b.tv_sec, "Field tv_sec"); \
16 TEST_ASSERT_EQUAL_MESSAGE(a.tv_usec, b.tv_usec, "Field tv_usec"); \
20 static u_int32 my_tick_to_tsf(u_int32 ticks);
21 static u_int32 my_tsf_to_tick(u_int32 tsf);
32 struct timeval timeval_init( time_t hi, long lo);
33 const bool timeval_isValid(struct timeval V);
34 l_fp l_fp_init(int32 i, u_int32 f);
35 bool AssertTimevalClose(const struct timeval m, const struct timeval n, const struct timeval limit);
36 bool AssertFpClose(const l_fp m, const l_fp n, const l_fp limit);
38 void test_Helpers1(void);
39 void test_Normalise(void);
40 void test_SignNoFrac(void);
41 void test_SignWithFrac(void);
42 void test_CmpFracEQ(void);
43 void test_CmpFracGT(void);
44 void test_CmpFracLT(void);
45 void test_AddFullNorm(void);
46 void test_AddFullOflow1(void);
47 void test_AddUsecNorm(void);
48 void test_AddUsecOflow1(void);
49 void test_SubFullNorm(void);
50 void test_SubFullOflow(void);
51 void test_SubUsecNorm(void);
52 void test_SubUsecOflow(void);
54 void test_AbsNoFrac(void);
55 void test_AbsWithFrac(void);
56 void test_Helpers2(void);
57 void test_ToLFPbittest(void);
58 void test_ToLFPrelPos(void);
59 void test_ToLFPrelNeg(void);
60 void test_ToLFPabs(void);
61 void test_FromLFPbittest(void);
62 void test_FromLFPrelPos(void);
63 void test_FromLFPrelNeg(void);
64 void test_LFProundtrip(void);
65 void test_ToString(void);
68 //******************************************MY CUSTOM FUNCTIONS*******************************
73 timeval_init( time_t hi, long lo){
82 timeval_isValid(struct timeval V) {
83 return V.tv_usec >= 0 && V.tv_usec < 1000000;
88 l_fp_init(int32 i, u_int32 f) {
98 AssertTimevalClose(const struct timeval m, const struct timeval n, const struct timeval limit) {
101 diff = abs_tval(sub_tval(m, n));
102 if (cmp_tval(limit, diff) >= 0)
107 printf("m_expr which is %ld.%lu \nand\nn_expr which is %ld.%lu\nare not close; diff=%ld.%luusec\n", m.tv_sec, m.tv_usec, n.tv_sec, n.tv_usec, diff.tv_sec, diff.tv_usec);
108 //I don't have variables m_expr and n_expr in unity, those are command line arguments which only getst has!!!
116 AssertFpClose(const l_fp m, const l_fp n, const l_fp limit) {
119 if (L_ISGEQ(&m, &n)) {
126 if (L_ISGEQ(&limit, &diff)){
130 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));
131 //printf("m_expr which is %d.%d \nand\nn_expr which is %d.%d\nare not close; diff=%d.%dusec\n", m.l_uf, m.Ul_i, n.l_uf, n.Ul_i, diff.l_uf, diff.Ul_i);
137 //---------------------------------------------------
139 static const lfpfracdata fdata[] = {
140 { 0, 0x00000000 }, { 7478, 0x01ea1405 },
141 { 22077, 0x05a6d699 }, { 125000, 0x20000000 },
142 { 180326, 0x2e29d841 }, { 207979, 0x353e1c9b },
143 { 250000, 0x40000000 }, { 269509, 0x44fe8ab5 },
144 { 330441, 0x5497c808 }, { 333038, 0x5541fa76 },
145 { 375000, 0x60000000 }, { 394734, 0x650d4995 },
146 { 446327, 0x72427c7c }, { 500000, 0x80000000 },
147 { 517139, 0x846338b4 }, { 571953, 0x926b8306 },
148 { 587353, 0x965cc426 }, { 625000, 0xa0000000 },
149 { 692136, 0xb12fd32c }, { 750000, 0xc0000000 },
150 { 834068, 0xd5857aff }, { 848454, 0xd9344806 },
151 { 854222, 0xdaae4b02 }, { 861465, 0xdc88f862 },
152 { 875000, 0xe0000000 }, { 910661, 0xe921144d },
153 { 922162, 0xec12cf10 }, { 942190, 0xf1335d25 }
158 my_tick_to_tsf(u_int32 ticks) {
159 // convert microseconds to l_fp fractional units, using double
160 // precision float calculations or, if available, 64bit integer
161 // arithmetic. This should give the precise fraction, rounded to
162 // the nearest representation.
164 return (u_int32)((( ((u_int64)(ticks)) << 32) + 500000) / 1000000); //I put too much () when casting just to be safe
166 return (u_int32)( ((double)(ticks)) * 4294.967296 + 0.5);
168 // And before you ask: if ticks >= 1000000, the result is
169 // truncated nonsense, so don't use it out-of-bounds.
174 my_tsf_to_tick(u_int32 tsf) {
175 // Inverse operation: converts fraction to microseconds.
177 return (u_int32)( ((u_int64)(tsf) * 1000000 + 0x80000000) >> 32); //CHECK ME!!!
179 return (u_int32)(double(tsf) / 4294.967296 + 0.5);
181 // Beware: The result might be 10^6 due to rounding!
185 //***************************************END OF CUSTOM FUNCTIONS*****************************
188 // ---------------------------------------------------------------------
189 // test support stuff - part1
190 // ---------------------------------------------------------------------
193 test_Helpers1(void) {
196 for (x.tv_sec = -2; x.tv_sec < 3; x.tv_sec++) {
198 TEST_ASSERT_FALSE(timeval_isValid(x));
200 TEST_ASSERT_TRUE(timeval_isValid(x));
202 TEST_ASSERT_TRUE(timeval_isValid(x));
204 TEST_ASSERT_FALSE(timeval_isValid(x));
209 //----------------------------------------------------------------------
210 // test normalisation
211 //----------------------------------------------------------------------
214 test_Normalise(void) {
216 for (ns = -2000000000; ns <= 2000000000; ns += 10000000) {
217 struct timeval x = timeval_init(0, ns);
219 x = normalize_tval(x);
220 TEST_ASSERT_TRUE(timeval_isValid(x));
224 //----------------------------------------------------------------------
225 // test classification
226 //----------------------------------------------------------------------
229 test_SignNoFrac(void) {
231 // sign test, no fraction
232 for (i = -4; i <= 4; ++i) {
233 struct timeval a = timeval_init(i, 0);
234 int E = (i > 0) - (i < 0);
235 int r = test_tval(a);
237 TEST_ASSERT_EQUAL(E, r);
243 test_SignWithFrac(void) {
244 // sign test, with fraction
246 for (i = -4; i <= 4; ++i) {
247 struct timeval a = timeval_init(i, 10);
248 int E = (i >= 0) - (i < 0);
249 int r = test_tval(a);
251 TEST_ASSERT_EQUAL(E, r);
255 //----------------------------------------------------------------------
257 //----------------------------------------------------------------------
259 test_CmpFracEQ(void) {
261 // fractions are equal
262 for (i = -4; i <= 4; ++i)
263 for (j = -4; j <= 4; ++j) {
264 struct timeval a = timeval_init(i, 200);
265 struct timeval b = timeval_init(j, 200);
266 int E = (i > j) - (i < j);
267 int r = cmp_tval_denorm(a, b);
269 TEST_ASSERT_EQUAL(E, r);
275 test_CmpFracGT(void) {
276 // fraction a bigger fraction b
278 for (i = -4; i <= 4; ++i)
279 for (j = -4; j <= 4; ++j) {
280 struct timeval a = timeval_init( i , 999800);
281 struct timeval b = timeval_init( j , 200);
282 int E = (i >= j) - (i < j);
283 int r = cmp_tval_denorm(a, b);
285 TEST_ASSERT_EQUAL(E, r);
291 test_CmpFracLT(void) {
292 // fraction a less fraction b
294 for (i = -4; i <= 4; ++i)
295 for (j = -4; j <= 4; ++j) {
296 struct timeval a = timeval_init(i, 200);
297 struct timeval b = timeval_init(j, 999800);
298 int E = (i > j) - (i <= j);
299 int r = cmp_tval_denorm(a, b);
301 TEST_ASSERT_EQUAL(E, r);
305 //----------------------------------------------------------------------
306 // Test addition (sum)
307 //----------------------------------------------------------------------
310 test_AddFullNorm(void) {
312 for (i = -4; i <= 4; ++i)
313 for (j = -4; j <= 4; ++j) {
314 struct timeval a = timeval_init(i, 200);
315 struct timeval b = timeval_init(j, 400);
316 struct timeval E = timeval_init(i + j, 200 + 400);
320 TEST_ASSERT_EQUAL_timeval(E, c);
326 test_AddFullOflow1(void) {
328 for (i = -4; i <= 4; ++i)
329 for (j = -4; j <= 4; ++j) {
330 struct timeval a = timeval_init(i, 200);
331 struct timeval b = timeval_init(j, 999900);
332 struct timeval E = timeval_init(i + j + 1, 100);
336 TEST_ASSERT_EQUAL_timeval(E, c);
342 test_AddUsecNorm(void) {
344 for (i = -4; i <= 4; ++i) {
345 struct timeval a = timeval_init(i, 200);
346 struct timeval E = timeval_init(i, 600);
349 c = add_tval_us(a, 600 - 200);
350 TEST_ASSERT_EQUAL_timeval(E, c);
356 test_AddUsecOflow1(void) {
358 for (i = -4; i <= 4; ++i) {
359 struct timeval a = timeval_init(i, 200);
360 struct timeval E = timeval_init(i + 1, 100);
363 c = add_tval_us(a, MICROSECONDS - 100);
364 TEST_ASSERT_EQUAL_timeval(E, c);
368 //----------------------------------------------------------------------
369 // test subtraction (difference)
370 //----------------------------------------------------------------------
373 test_SubFullNorm(void) {
375 for (i = -4; i <= 4; ++i)
376 for (j = -4; j <= 4; ++j) {
377 struct timeval a = timeval_init(i, 600);
378 struct timeval b = timeval_init(j, 400);
379 struct timeval E = timeval_init(i - j, 600 - 400);
383 TEST_ASSERT_EQUAL_timeval(E, c);
389 test_SubFullOflow(void) {
391 for (i = -4; i <= 4; ++i)
392 for (j = -4; j <= 4; ++j) {
393 struct timeval a = timeval_init(i, 100);
394 struct timeval b = timeval_init(j, 999900);
395 struct timeval E = timeval_init(i - j - 1, 200);
399 TEST_ASSERT_EQUAL_timeval(E, c);
405 test_SubUsecNorm(void) {
407 for (i = -4; i <= 4; ++i) {
408 struct timeval a = timeval_init(i, 600);
409 struct timeval E = timeval_init(i, 200);
412 c = sub_tval_us(a, 600 - 200);
413 TEST_ASSERT_EQUAL_timeval(E, c);
419 test_SubUsecOflow(void) {
421 for (i = -4; i <= 4; ++i) {
422 struct timeval a = timeval_init(i, 100);
423 struct timeval E = timeval_init(i - 1, 200);
426 c = sub_tval_us(a, MICROSECONDS - 100);
427 TEST_ASSERT_EQUAL_timeval(E, c);
431 //----------------------------------------------------------------------
433 //----------------------------------------------------------------------
438 for (i = -4; i <= 4; ++i) {
439 struct timeval a = timeval_init(i, 100);
445 TEST_ASSERT_EQUAL(0, test_tval(c));
449 //----------------------------------------------------------------------
451 //----------------------------------------------------------------------
454 test_AbsNoFrac(void) {
456 for (i = -4; i <= 4; ++i) {
457 struct timeval a = timeval_init(i, 0);
461 TEST_ASSERT_EQUAL((i != 0), test_tval(b));
467 test_AbsWithFrac(void) {
469 for (i = -4; i <= 4; ++i) {
470 struct timeval a = timeval_init(i, 100);
474 TEST_ASSERT_EQUAL(1, test_tval(b));
478 // ---------------------------------------------------------------------
479 // test support stuff -- part 2
480 // ---------------------------------------------------------------------
484 test_Helpers2(void) {
486 struct timeval limit = timeval_init(0, 2);
490 for (x.tv_sec = -2; x.tv_sec < 3; x.tv_sec++){
493 x.tv_usec += 499999) {
494 for (i = -4; i < 5; ++i) {
497 if (i >= -2 && i <= 2){
498 TEST_ASSERT_TRUE(AssertTimevalClose(x, y, limit));//ASSERT_PRED_FORMAT2(isClose, x, y);
501 TEST_ASSERT_FALSE(AssertTimevalClose(x, y, limit));
508 // and the global predicate instances we're using here
510 //static l_fp lfpClose = l_fp_init(0, 1); //static AssertFpClose FpClose(0, 1);
511 //static struct timeval timevalClose = timeval_init(0, 1); //static AssertTimevalClose TimevalClose(0, 1);
513 //----------------------------------------------------------------------
514 // conversion to l_fp
515 //----------------------------------------------------------------------
518 test_ToLFPbittest(void) {
519 l_fp lfpClose = l_fp_init(0, 1);
522 for (i = 0; i < 1000000; ++i) {
523 struct timeval a = timeval_init(1, i);
524 l_fp E = l_fp_init(1, my_tick_to_tsf(i));
527 r = tval_intv_to_lfp(a);
528 TEST_ASSERT_TRUE(AssertFpClose(E, r, lfpClose)); //ASSERT_PRED_FORMAT2(FpClose, E, r);
534 test_ToLFPrelPos(void) {
535 l_fp lfpClose = l_fp_init(0, 1);
538 for (i = 0; i < COUNTOF(fdata); ++i) {
539 struct timeval a = timeval_init(1, fdata[i].usec);
540 l_fp E = l_fp_init(1, fdata[i].frac);
543 r = tval_intv_to_lfp(a);
544 TEST_ASSERT_TRUE(AssertFpClose(E, r, lfpClose));
550 test_ToLFPrelNeg(void) {
551 l_fp lfpClose = l_fp_init(0, 1);
553 for (i = 0; i < COUNTOF(fdata); ++i) {
554 struct timeval a = timeval_init(-1, fdata[i].usec);
555 l_fp E = l_fp_init(~0, fdata[i].frac);
558 r = tval_intv_to_lfp(a);
559 TEST_ASSERT_TRUE(AssertFpClose(E, r, lfpClose));
565 test_ToLFPabs(void) {
566 l_fp lfpClose = l_fp_init(0, 1);
569 for (i = 0; i < COUNTOF(fdata); ++i) {
570 struct timeval a = timeval_init(1, fdata[i].usec);
571 l_fp E = l_fp_init(1 + JAN_1970, fdata[i].frac);
574 r = tval_stamp_to_lfp(a);
575 TEST_ASSERT_TRUE(AssertFpClose(E, r, lfpClose));
579 //----------------------------------------------------------------------
580 // conversion from l_fp
581 //----------------------------------------------------------------------
584 test_FromLFPbittest(void) {
585 struct timeval timevalClose = timeval_init(0, 1);
586 // Not *exactly* a bittest, because 2**32 tests would take a
587 // really long time even on very fast machines! So we do test
588 // every 1000 fractional units.
590 for (tsf = 0; tsf < ~((u_int32)(1000)); tsf += 1000) {
591 struct timeval E = timeval_init(1, my_tsf_to_tick(tsf));
592 l_fp a = l_fp_init(1, tsf);
595 r = lfp_intv_to_tval(a);
596 // The conversion might be off by one microsecond when
597 // comparing to calculated value.
598 TEST_ASSERT_TRUE(AssertTimevalClose(E, r, timevalClose));
604 test_FromLFPrelPos(void) {
605 struct timeval timevalClose = timeval_init(0, 1);
607 for (i = 0; i < COUNTOF(fdata); ++i) {
608 l_fp a = l_fp_init(1, fdata[i].frac);
609 struct timeval E = timeval_init(1, fdata[i].usec);
612 r = lfp_intv_to_tval(a);
613 TEST_ASSERT_TRUE(AssertTimevalClose(E, r, timevalClose));
619 test_FromLFPrelNeg(void) {
620 struct timeval timevalClose = timeval_init(0, 1);
622 for (i = 0; i < COUNTOF(fdata); ++i) {
623 l_fp a = l_fp_init(~0, fdata[i].frac);
624 struct timeval E = timeval_init(-1, fdata[i].usec);
627 r = lfp_intv_to_tval(a);
628 TEST_ASSERT_TRUE(AssertTimevalClose(E, r, timevalClose));
633 // usec -> frac -> usec roundtrip, using a prime start and increment
635 test_LFProundtrip(void) {
638 for (t = -1; t < 2; ++t)
639 for (i = 5; i < 1000000; i += 11) {
640 struct timeval E = timeval_init(t, i);
644 a = tval_intv_to_lfp(E);
645 r = lfp_intv_to_tval(a);
646 TEST_ASSERT_EQUAL_timeval(E, r);
650 //----------------------------------------------------------------------
652 //----------------------------------------------------------------------
655 test_ToString(void) {
656 static const struct {
661 { 0, 0, "0.000000" },
662 { 2, 0, "2.000000" },
663 {-2, 0, "-2.000000" },
664 { 0, 1, "0.000001" },
665 { 0,-1, "-0.000001" },
666 { 1,-1, "0.999999" },
667 {-1, 1, "-0.999999" },
668 {-1,-1, "-1.000001" },
671 for (i = 0; i < COUNTOF(data); ++i) {
672 struct timeval a = timeval_init(data[i].sec, data[i].usec);
673 const char * E = data[i].repr;
674 const char * r = tvaltoa(a);
676 TEST_ASSERT_EQUAL_STRING(E, r);