source: test/test_cpuexc8.c

/*
 *  TOPPERS Software
 *      Toyohashi Open Platform for Embedded Real-Time Systems
 * 
 *  Copyright (C) 2007-2013 by Embedded and Real-Time Systems Laboratory
 *              Graduate School of Information Science, Nagoya Univ., JAPAN
 * 
 *  Ÿåµ­Ãøºîž¢ŒÔ€Ï¡€°Ê²Œ€Î(1)¡Á(4)€ÎŸò·ï€òËþ€¿€¹Ÿì¹ç€ËžÂ€ê¡€ËÜ¥œ¥Õ¥È¥Š¥§
 *  ¥¢¡ÊËÜ¥œ¥Õ¥È¥Š¥§¥¢€ò²þÊÑ€·€¿€â€Î€òŽÞ€à¡¥°Ê²ŒÆ±€ž¡Ë€ò»ÈÍÑ¡ŠÊ£Àœ¡Š²þ
 *  ÊÑ¡ŠºÆÇÛÉۡʰʲŒ¡€ÍøÍрȞƀ֡ˀ¹€ë€³€È€ò̵œþ€ÇµöÂú€¹€ë¡¥
 *  (1) ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ò¥œ¡Œ¥¹¥³¡Œ¥É€Î·Á€ÇÍøÍÑ€¹€ëŸì¹ç€Ë€Ï¡€Ÿåµ­€ÎÃøºî
 *      ž¢ÉœŒš¡€€³€ÎÍøÍÑŸò·ï€ª€è€Ó²Œµ­€Î̵ÊÝŸÚµ¬Äꀬ¡€€œ€Î€Þ€Þ€Î·Á€Ç¥œ¡Œ
 *      ¥¹¥³¡Œ¥ÉÃæ€ËŽÞ€Þ€ì€Æ€€€ë€³€È¡¥
 *  (2) ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ò¡€¥é¥€¥Ö¥é¥ê·ÁŒ°€Ê€É¡€ÂŸ€Î¥œ¥Õ¥È¥Š¥§¥¢³«È¯€Ë»È
 *      Íрǀ­€ë·Á€ÇºÆÇÛÉÛ€¹€ëŸì¹ç€Ë€Ï¡€ºÆÇÛÉÛ€ËÈŒ€Š¥É¥­¥å¥á¥ó¥È¡ÊÍøÍÑ
 *      ŒÔ¥Þ¥Ë¥å¥¢¥ë€Ê€É¡Ë€Ë¡€Ÿåµ­€ÎÃøºîž¢ÉœŒš¡€€³€ÎÍøÍÑŸò·ï€ª€è€Ó²Œµ­
 *      €Î̵ÊÝŸÚµ¬Äê€ò·ÇºÜ€¹€ë€³€È¡¥
 *  (3) ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ò¡€µ¡Žï€ËÁȀ߹þ€à€Ê€É¡€ÂŸ€Î¥œ¥Õ¥È¥Š¥§¥¢³«È¯€Ë»È
 *      Íрǀ­€Ê€€·Á€ÇºÆÇÛÉÛ€¹€ëŸì¹ç€Ë€Ï¡€Œ¡€Î€€€º€ì€«€ÎŸò·ï€òËþ€¿€¹€³
 *      €È¡¥
 *    (a) ºÆÇÛÉÛ€ËÈŒ€Š¥É¥­¥å¥á¥ó¥È¡ÊÍøÍьԥޥ˥奢¥ë€Ê€É¡Ë€Ë¡€Ÿåµ­€ÎÃø
 *        ºîž¢ÉœŒš¡€€³€ÎÍøÍÑŸò·ï€ª€è€Ó²Œµ­€Î̵ÊÝŸÚµ¬Äê€ò·ÇºÜ€¹€ë€³€È¡¥
 *    (b) ºÆÇÛÉۀηÁÂÖ€ò¡€ÊÌ€ËÄê€á€ëÊýË¡€Ë€è€Ã€Æ¡€TOPPERS¥×¥í¥ž¥§¥¯¥È€Ë
 *        Êó¹ð€¹€ë€³€È¡¥
 *  (4) ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ÎÍøÍрˀè€êÄŸÀÜŪ€Þ€¿€ÏŽÖÀÜŪ€ËÀž€ž€ë€€€«€Ê€ë»
 *      ³²€«€é€â¡€Ÿåµ­Ãøºîž¢ŒÔ€ª€è€ÓTOPPERS¥×¥í¥ž¥§¥¯¥È€òÌÈÀÕ€¹€ë€³€È¡¥
 *      €Þ€¿¡€ËÜ¥œ¥Õ¥È¥Š¥§¥¢€Î¥æ¡Œ¥¶€Þ€¿€Ï¥š¥ó¥É¥æ¡Œ¥¶€«€é€Î€€€«€Ê€ëÍý
 *      ͳ€ËŽð€Å€¯ÀÁµá€«€é€â¡€Ÿåµ­Ãøºîž¢ŒÔ€ª€è€ÓTOPPERS¥×¥í¥ž¥§¥¯¥È€ò
 *      ÌÈÀÕ€¹€ë€³€È¡¥
 * 
 *  ËÜ¥œ¥Õ¥È¥Š¥§¥¢€Ï¡€ÌµÊÝŸÚ€ÇÄ󶡀µ€ì€Æ€€€ë€â€Î€Ç€¢€ë¡¥Ÿåµ­Ãøºîž¢ŒÔ€ª
 *  €è€ÓTOPPERS¥×¥í¥ž¥§¥¯¥È€Ï¡€ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ËŽØ€·€Æ¡€ÆÃÄê€Î»ÈÍÑÌÜŪ
 *  €ËÂЀ¹€ëŬ¹çÀ­€âŽÞ€á€Æ¡€€€€«€Ê€ëÊÝŸÚ€â¹Ô€ï€Ê€€¡¥€Þ€¿¡€ËÜ¥œ¥Õ¥È¥Š¥§
 *  ¥¢€ÎÍøÍрˀè€êÄŸÀÜŪ€Þ€¿€ÏŽÖÀÜŪ€ËÀž€ž€¿€€€«€Ê€ë»³²€ËŽØ€·€Æ€â¡€€œ
 *  €ÎÀÕÇ€€òÉé€ï€Ê€€¡¥
 * 
 *  $Id$
 */

/* 
 *              CPUÎã³°œèÍý€Î¥Æ¥¹¥È(8)
 *
 * ¡Ú¥Æ¥¹¥È€ÎÌÜŪ¡Û
 *
 *  ³ä¹þ€ßÍ¥ÀèÅÙ¥Þ¥¹¥¯¡áTMAX_INTPRI¡€¥Ç¥£¥¹¥Ñ¥Ã¥Áµö²ÄŸõÂÖ¡€¥¿¥¹¥¯Îã³°µö
 *  ²ÄŸõÂÖ€ÇȯÀž€·€¿CPUÎã³°€Ë€ª€±€ë¥·¥¹¥Æ¥àŸõÂրΥƥ¹¥È¡¥
 *
 *  €³€Î¥Æ¥¹¥È€Ï¡€TMAX_INTPRI€ÈTMIN_INTPRI€¬°Û€Ê€ëŸì¹ç€Î€ßŒÂ»Ü€¹€ë¡¥
 *
 * ¡Ú¥Æ¥¹¥È¹àÌÜ¡Û
 *
 *  €€€º€ì€â¡€³ä¹þ€ßÍ¥ÀèÅÙ¥Þ¥¹¥¯¡áTMAX_INTPRI¡€¥Ç¥£¥¹¥Ñ¥Ã¥Áµö²ÄŸõÂÖ¡€¥¿
 *  ¥¹¥¯Îã³°µö²ÄŸõÂÖ€ÇȯÀž€·€¿CPUÎã³°€Ë€ª€€€Æ¡€
 *
 *      (A) CPUÎã³°¥Ï¥ó¥É¥éŒÂ¹Ô³«»Ï»þ€ËCPU¥í¥Ã¥¯¥Õ¥é¥°€¬ÊѲœ€·€Ê€€€³€È
 *      (B) CPUÎã³°¥Ï¥ó¥É¥éŒÂ¹Ô³«»Ï»þ€Ë³ä¹þ€ßÍ¥ÀèÅÙ¥Þ¥¹¥¯€¬ÊѲœ€·€Ê€€€³€È
 *              ¡ªCPUÎã³°¥Ï¥ó¥É¥éÃæ€Ç³ä¹þ€ßÍ¥ÀèÅÙ¥Þ¥¹¥¯€òÆÉ€á€Ê€€€¿€á¡€¥Æ¥¹¥È€Ç
 *              €­€Ê€€¡¥
 *      (C) CPUÎã³°¥Ï¥ó¥É¥éŒÂ¹Ô³«»Ï»þ€Ë¥Ç¥£¥¹¥Ñ¥Ã¥Á¶Ø»ß¥Õ¥é¥°€¬ÊѲœ€·€Ê€€€³€È
 *      (D) CPUÎã³°¥Ï¥ó¥É¥éŒÂ¹Ô³«»Ï»þ€Ë¥¿¥¹¥¯Îã³°œèÍý¶Ø»ß¥Õ¥é¥°€¬ÊѲœ€·€Ê€€€³€È
 *      (E) CPUÎã³°¥Ï¥ó¥É¥é¥ê¥¿¡Œ¥ó»þ€ËCPU¥í¥Ã¥¯¥Õ¥é¥°€¬žµ€ËÌá€ë€³€È
 *              ¡ªCPUÎã³°¥Ï¥ó¥É¥é€«€é¥ê¥¿¡Œ¥ó€Ç€­€ëŸì¹ç€Î€ß¥Æ¥¹¥È€¹€ë¡¥
 *      (F) CPUÎã³°¥Ï¥ó¥É¥é¥ê¥¿¡Œ¥ó»þ€Ë³ä¹þ€ßÍ¥ÀèÅÙ¥Þ¥¹¥¯€¬žµ€ËÌá€ë€³€È
 *              ¡ªCPUÎã³°¥Ï¥ó¥É¥é€«€é¥ê¥¿¡Œ¥ó€Ç€­€ëŸì¹ç€Î€ß¥Æ¥¹¥È€¹€ë¡¥
 *      (G) CPUÎã³°¥Ï¥ó¥É¥é¥ê¥¿¡Œ¥ó»þ€Ë¥Ç¥£¥¹¥Ñ¥Ã¥Á¶Ø»ß¥Õ¥é¥°€¬ÊѲœ€·€Ê€€€³€È
 *              ¡ªCPUÎã³°¥Ï¥ó¥É¥é€«€é¥ê¥¿¡Œ¥ó€Ç€­€ëŸì¹ç€Î€ß¥Æ¥¹¥È€¹€ë¡¥
 *      (H) CPUÎã³°¥Ï¥ó¥É¥é¥ê¥¿¡Œ¥ó»þ€Ë¥¿¥¹¥¯Îã³°œèÍý¶Ø»ß¥Õ¥é¥°€¬ÊѲœ€·€Ê€€€³€È
 *              ¡ªCPUÎã³°¥Ï¥ó¥É¥é€«€é¥ê¥¿¡Œ¥ó€Ç€­€ëŸì¹ç€Î€ß¥Æ¥¹¥È€¹€ë¡¥
 *      (I) xsns_xpn€¬true€òÊÖ€¹€³€È
 *      (J) xsns_dpn€¬true€òÊÖ€¹€³€È
 *
 * ¡Ú»ÈÍѥ꥜¡Œ¥¹¡Û
 *
 *      TASK1: TA_ACT¡€ÃæÍ¥ÀèÅÙ¡€¥¿¥¹¥¯Îã³°œèÍý¥ë¡Œ¥Á¥óÅÐÏ¿
 *      CPUEXC1: TA_NULL
 *
 * ¡Ú¥Æ¥¹¥È¥·¡Œ¥±¥ó¥¹¡Û
 *
 *      == TASK1¡ÊÃæÍ¥ÀèÅÙ¡Ë==
 *      1:      ŸõÂրΥÁ¥§¥Ã¥¯
 *              chg_ipm(TMAX_INTPRI)
 *              ena_tex()
 *      2:      ŸõÂրΥÁ¥§¥Ã¥¯
 *              RAISE_CPU_EXCEPTION
 *      == CPUEXC1 ==
 *      3:      ŸõÂրΥÁ¥§¥Ã¥¯                          ... (A)(C)(D)
 *              xsns_xpn() == true                      ... (I)
 *              xsns_dpn() == true                      ... (J)
 *      4:      CPUÎã³°¥Ï¥ó¥É¥é€«€é¥ê¥¿¡Œ¥ó€Ç€­€Ê€€Ÿì¹ç€Ï¡€€³€³€ÇœªÎ»
 *      4:      ¥ê¥¿¡Œ¥ó
 *      == TASK1¡Ê³€­¡Ë==
 *      5:      ŸõÂրΥÁ¥§¥Ã¥¯                          ... (E)(F)(G)(H)
 *      6:      ¥Æ¥¹¥ÈœªÎ»
 */

#include <kernel.h>
#include <test_lib.h>
#include <t_syslog.h>
#include "kernel_cfg.h"
#include "test_cpuexc.h"

void
task1(intptr_t exinf)
{
        ER              ercd;

        test_start(__FILE__);

        if (TMAX_INTPRI == TMIN_INTPRI) {
                syslog_0(LOG_NOTICE, "This test program is not necessary.");
                ext_ker();
        }

        check_point(1);
        check_state(false, false, TIPM_ENAALL, false, false, true);
        ercd = chg_ipm(TMAX_INTPRI);
        check_ercd(ercd, E_OK);
        ercd = ena_tex();
        check_ercd(ercd, E_OK);

        check_point(2);
        check_state(false, false, TMAX_INTPRI, false, true, false);
        RAISE_CPU_EXCEPTION;

        check_point(5);
        check_state(false, false, TMAX_INTPRI, false, true, false);

        check_finish(6);
}

void
tex_task1(TEXPTN texptn, intptr_t exinf)
{
        check_point(0);
}

void
task2(intptr_t exinf)
{
        check_point(0);
}

void
alarm1_handler(intptr_t exinf)
{
        check_point(0);
}

void
cpuexc_handler(void *p_excinf)
{
        check_point(3);
        check_state_i(true, false, false, true, false);
        check_assert(xsns_xpn(p_excinf) == true);
        check_assert(xsns_dpn(p_excinf) == true);

#ifdef CANNOT_RETURN_CPUEXC
        check_finish(4);
#endif /* CANNOT_RETURN_CPUEXC */

        check_point(4);
}