[61] | 1 | /*
|
---|
| 2 | * TOPPERS Software
|
---|
| 3 | * Toyohashi Open Platform for Embedded Real-Time Systems
|
---|
| 4 | *
|
---|
| 5 | * Copyright (C) 2005-2009 by Embedded and Real-Time Systems Laboratory
|
---|
| 6 | * Graduate School of Information Science, Nagoya Univ., JAPAN
|
---|
| 7 | *
|
---|
| 8 | * ãLì ÒÍCȺÌ(1)`(4)Ìðð½·êÉÀèC{\tgEF
|
---|
| 9 | * Ai{\tgEFAðüϵ½àÌðÜÞDȺ¯¶jðgpE¡»Eü
|
---|
| 10 | * ÏEÄzziȺCpÆÄÔj·é±Æð³Åø·éD
|
---|
| 11 | * (1) {\tgEFAð\[XR[hÌ`Åp·éêÉÍCãLÌì
|
---|
| 12 | * \¦C±Ìpð¨æѺL̳ÛØKèªC»ÌÜÜÌ`Å\[
|
---|
| 13 | * XR[hÉÜÜêÄ¢é±ÆD
|
---|
| 14 | * (2) {\tgEFAðCCu`®ÈÇC¼Ì\tgEFAJÉg
|
---|
| 15 | * pÅ«é`ÅÄzz·éêÉÍCÄzzɺ¤hL
|
---|
| 16 | gip
|
---|
| 17 | * Ò}j
|
---|
| 18 | AÈÇjÉCãLÌì \¦C±Ìpð¨æѺL
|
---|
| 19 | * ̳ÛØKèðfÚ·é±ÆD
|
---|
| 20 | * (3) {\tgEFAðC@íÉgÝÞÈÇC¼Ì\tgEFAJÉg
|
---|
| 21 | * pÅ«È¢`ÅÄzz·éêÉÍCÌ¢¸ê©Ìðð½·±
|
---|
| 22 | * ÆD
|
---|
| 23 | * (a) Äzzɺ¤hL
|
---|
| 24 | gipÒ}j
|
---|
| 25 | AÈÇjÉCãLÌ
|
---|
| 26 | * ì \¦C±Ìpð¨æѺL̳ÛØKèðfÚ·é±ÆD
|
---|
| 27 | * (b) ÄzzÌ`ÔðCÊÉèßéû@ÉæÁÄCTOPPERSvWFNgÉ
|
---|
| 28 | * ñ·é±ÆD
|
---|
| 29 | * (4) {\tgEFAÌpÉæè¼ÚIܽÍÔÚIɶ¶é¢©Èé¹
|
---|
| 30 | * Q©çàCãLì Ò¨æÑTOPPERSvWFNgðÆÓ·é±ÆD
|
---|
| 31 | * ܽC{\tgEFAÌ[UܽÍGh[U©çÌ¢©Èé
|
---|
| 32 | * RÉîÿ©çàCãLì Ò¨æÑTOPPERSvWFNgð
|
---|
| 33 | * ÆÓ·é±ÆD
|
---|
| 34 | *
|
---|
| 35 | * {\tgEFAÍC³ÛØÅñ³êÄ¢éàÌÅ éDãLì Ò¨
|
---|
| 36 | * æÑTOPPERSvWFNgÍC{\tgEFAÉÖµÄCÁèÌgpÚI
|
---|
| 37 | * ÉηéK«àÜßÄC¢©ÈéÛØàsíÈ¢DܽC{\tgEF
|
---|
| 38 | * AÌpÉæè¼ÚIܽÍÔÚIɶ¶½¢©Èé¹QÉÖµÄàC»
|
---|
| 39 | * ÌÓCðíÈ¢D
|
---|
| 40 | *
|
---|
| 41 | * @(#) $Id: test_lib.h 1652 2009-10-10 18:01:05Z ertl-hiro $
|
---|
| 42 | */
|
---|
| 43 |
|
---|
| 44 | /*
|
---|
| 45 | * eXgvOpCu
|
---|
| 46 | */
|
---|
| 47 |
|
---|
| 48 | #include <t_stddef.h>
|
---|
| 49 |
|
---|
| 50 | /*
|
---|
| 51 | * ^[Qbg˶Ìè`
|
---|
| 52 | */
|
---|
| 53 | #include "target_test.h"
|
---|
| 54 |
|
---|
| 55 | /*
|
---|
| 56 | * ©ÈffÖÌ^
|
---|
| 57 | */
|
---|
| 58 | typedef ER (*BIT_FUNC)(void);
|
---|
| 59 |
|
---|
| 60 | /*
|
---|
| 61 | * ©ÈffÖÌÝè
|
---|
| 62 | */
|
---|
| 63 | extern void set_bit_func(BIT_FUNC bit_func);
|
---|
| 64 |
|
---|
| 65 | /*
|
---|
| 66 | * VXeOÌoÍ
|
---|
| 67 | */
|
---|
| 68 | extern void syslog_flush(void);
|
---|
| 69 |
|
---|
| 70 | /*
|
---|
| 71 | * eXgvOÌI¹
|
---|
| 72 | */
|
---|
| 73 | extern void test_finish(void);
|
---|
| 74 |
|
---|
| 75 | /*
|
---|
| 76 | * `FbN|Cg
|
---|
| 77 | */
|
---|
| 78 | extern void check_point(uint_t count);
|
---|
| 79 |
|
---|
| 80 | /*
|
---|
| 81 | * ®¹`FbN|Cg
|
---|
| 82 | */
|
---|
| 83 | extern void check_finish(uint_t count);
|
---|
| 84 |
|
---|
| 85 | /*
|
---|
| 86 | * ð`FbN
|
---|
| 87 | */
|
---|
| 88 | extern void _check_assert(const char *expr, const char *file, int_t line);
|
---|
| 89 | #define check_assert(exp) \
|
---|
| 90 | ((void)(!(exp) ? (_check_assert(#exp, __FILE__, __LINE__), 0) : 0))
|
---|
| 91 |
|
---|
| 92 | /*
|
---|
| 93 | * G[R[h`FbN
|
---|
| 94 | */
|
---|
| 95 | extern void _check_ercd(ER ercd, const char *file, int_t line);
|
---|
| 96 | #define check_ercd(ercd, expected_ercd) \
|
---|
| 97 | ((void)((ercd) != (expected_ercd) ? \
|
---|
| 98 | (_check_ercd(ercd, __FILE__, __LINE__), 0) : 0))
|
---|
| 99 |
|
---|
| 100 | /*
|
---|
| 101 | * VXeóÔÌ`FbN
|
---|
| 102 | */
|
---|
| 103 | Inline void
|
---|
| 104 | check_state(bool_t ctx, bool_t loc, PRI ipm, bool_t dsp,
|
---|
| 105 | bool_t dpn, bool_t tex)
|
---|
| 106 | {
|
---|
| 107 | PRI intpri;
|
---|
| 108 | ER ercd;
|
---|
| 109 |
|
---|
| 110 | check_assert(sns_ctx() == ctx);
|
---|
| 111 | check_assert(sns_loc() == loc);
|
---|
| 112 | if (!loc) {
|
---|
| 113 | /*
|
---|
| 114 | * IPMÌ`FbNÍCCPUbNðóÔÌêÉÌÝs¤D
|
---|
| 115 | */
|
---|
| 116 | ercd = get_ipm(&intpri);
|
---|
| 117 | check_ercd(ercd, E_OK);
|
---|
| 118 | check_assert(intpri == ipm);
|
---|
| 119 | }
|
---|
| 120 | check_assert(sns_dsp() == dsp);
|
---|
| 121 | check_assert(sns_dpn() == dpn);
|
---|
| 122 | check_assert(sns_tex() == tex);
|
---|
| 123 | }
|
---|
| 124 |
|
---|
| 125 | /*
|
---|
| 126 | * VXeóÔÌ`FbNiñ^XNReLXgpj
|
---|
| 127 | */
|
---|
| 128 | Inline void
|
---|
| 129 | check_state_i(bool_t ctx, bool_t loc, bool_t dsp, bool_t dpn, bool_t tex)
|
---|
| 130 | {
|
---|
| 131 | check_assert(sns_ctx() == ctx);
|
---|
| 132 | check_assert(sns_loc() == loc);
|
---|
| 133 | check_assert(sns_dsp() == dsp);
|
---|
| 134 | check_assert(sns_dpn() == dpn);
|
---|
| 135 | check_assert(sns_tex() == tex);
|
---|
| 136 | }
|
---|