--
-- SPTEST / BODY
--
-- DESCRIPTION:
--
-- This package is the implementation of Test 19 of the RTEMS
-- Single Processor Test Suite.
--
-- DEPENDENCIES:
--
--
--
-- COPYRIGHT (c) 1989, 1990, 1991, 1992, 1993, 1994.
-- On-Line Applications Research Corporation (OAR).
--
with INTERFACES; use INTERFACES;
with FLOAT_IO;
with TEST_SUPPORT;
with TEXT_IO;
with UNSIGNED32_IO;
with RTEMS.CLOCK;
--
-- fp.inc
--
-- Macros to produce a large number of LOCAL floating point variables. This
-- preprocessing is necessary to insure that the variables are
-- scoped properly and to avoid duplicating hundreds of lines
-- of code.
--
--
-- DEFICIENCIES:
--
-- 1. This currently does not address whether or not the CPU
-- actually has hardware floating point. It just does the work.
--
-- COPYRIGHT (c) 1989-1997.
-- On-Line Applications Research Corporation (OAR).
--
-- The license and distribution terms for this file may in
-- the file LICENSE in this distribution or at
-- http://www.rtems.org/license/LICENSE.
--
-- private definitions for macro use
--
-- macro usage EPSILON()
-- macro usage FP_CHECK_ONE( value, base, factor )
-- macro usage FP_DECLARE
-- macro usage FP_LOAD( factor )
-- macro usage FP_CHECK( factor )
--
-- integer.inc
--
-- Macros to produce a large number of LOCAL integer variables. This
-- preprocessing is necessary to insure that the variables are
-- scoped properly and to avoid duplicating hundreds of lines
-- of code.
--
-- COPYRIGHT (c) 1989-1997.
-- On-Line Applications Research Corporation (OAR).
--
-- The license and distribution terms for this file may in
-- the file LICENSE in this distribution or at
-- http://www.rtems.org/license/LICENSE.
--
-- private definitions for macro use
--
-- macro usage INTEGER_CHECK_ONE( value, base, factor )
-- macro usage INTEGER_DECLARE
-- macro usage INTEGER_LOAD( factor )
-- macro usage INTEGER_CHECK( factor )
package body SPTEST is
--
-- INIT
--
procedure INIT (
ARGUMENT : in RTEMS.TASKS.ARGUMENT
) is
pragma Unreferenced(ARGUMENT);
STATUS : RTEMS.STATUS_CODES;
begin
TEXT_IO.NEW_LINE( 2 );
TEST_SUPPORT.ADA_TEST_BEGIN;
SPTEST.TASK_NAME( 1 ) := RTEMS.BUILD_NAME( 'T', 'A', '1', ' ' );
SPTEST.TASK_NAME( 2 ) := RTEMS.BUILD_NAME( 'T', 'A', '2', ' ' );
SPTEST.TASK_NAME( 3 ) := RTEMS.BUILD_NAME( 'T', 'A', '3', ' ' );
SPTEST.TASK_NAME( 4 ) := RTEMS.BUILD_NAME( 'T', 'A', '4', ' ' );
SPTEST.TASK_NAME( 5 ) := RTEMS.BUILD_NAME( 'T', 'A', '5', ' ' );
SPTEST.TASK_NAME( 6 ) := RTEMS.BUILD_NAME( 'F', 'P', '1', ' ' );
RTEMS.TASKS.CREATE(
SPTEST.TASK_NAME( 1 ),
2,
2048,
RTEMS.DEFAULT_MODES,
RTEMS.FLOATING_POINT,
SPTEST.TASK_ID( 1 ),
STATUS
);
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_CREATE OF TA1" );
RTEMS.TASKS.CREATE(
SPTEST.TASK_NAME( 2 ),
2,
2048,
RTEMS.DEFAULT_MODES,
RTEMS.FLOATING_POINT,
SPTEST.TASK_ID( 2 ),
STATUS
);
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_CREATE OF TA2" );
RTEMS.TASKS.CREATE(
SPTEST.TASK_NAME( 3 ),
2,
2048,
RTEMS.DEFAULT_MODES,
RTEMS.FLOATING_POINT,
SPTEST.TASK_ID( 3 ),
STATUS
);
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_CREATE OF TA3" );
RTEMS.TASKS.CREATE(
SPTEST.TASK_NAME( 4 ),
2,
2048,
RTEMS.DEFAULT_MODES,
RTEMS.FLOATING_POINT,
SPTEST.TASK_ID( 4 ),
STATUS
);
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_CREATE OF TA4" );
RTEMS.TASKS.CREATE(
SPTEST.TASK_NAME( 5 ),
2,
2048,
RTEMS.DEFAULT_MODES,
RTEMS.FLOATING_POINT,
SPTEST.TASK_ID( 5 ),
STATUS
);
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_CREATE OF TA5" );
RTEMS.TASKS.CREATE(
SPTEST.TASK_NAME( 6 ),
1,
2048,
RTEMS.DEFAULT_MODES,
RTEMS.FLOATING_POINT,
SPTEST.TASK_ID( 6 ),
STATUS
);
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_CREATE OF FP1" );
RTEMS.TASKS.START(
SPTEST.TASK_ID( 6 ),
SPTEST.FIRST_FP_TASK'ACCESS,
0,
STATUS
);
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_START OF FP1" );
RTEMS.TASKS.START(
SPTEST.TASK_ID( 1 ),
SPTEST.TASK_1'ACCESS,
0,
STATUS
);
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_START OF TA1" );
RTEMS.TASKS.START(
SPTEST.TASK_ID( 2 ),
SPTEST.TASK_1'ACCESS,
0,
STATUS
);
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_START OF TA2" );
RTEMS.TASKS.START(
SPTEST.TASK_ID( 3 ),
SPTEST.TASK_1'ACCESS,
0,
STATUS
);
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_START OF TA3" );
RTEMS.TASKS.START(
SPTEST.TASK_ID( 4 ),
SPTEST.FP_TASK'ACCESS,
0,
STATUS
);
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_START OF TA4" );
RTEMS.TASKS.START(
SPTEST.TASK_ID( 5 ),
SPTEST.FP_TASK'ACCESS,
0,
STATUS
);
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_START OF TA5" );
--
-- Load "task dependent factors" in the context areas
--
SPTEST.FP_FACTORS( 0 ) := 0.0;
SPTEST.FP_FACTORS( 1 ) := 1000.1;
SPTEST.FP_FACTORS( 2 ) := 2000.2;
SPTEST.FP_FACTORS( 3 ) := 3000.3;
SPTEST.FP_FACTORS( 4 ) := 4000.4;
SPTEST.FP_FACTORS( 5 ) := 5000.5;
SPTEST.FP_FACTORS( 6 ) := 6000.6;
SPTEST.FP_FACTORS( 7 ) := 7000.7;
SPTEST.FP_FACTORS( 8 ) := 8000.8;
SPTEST.FP_FACTORS( 9 ) := 9000.9;
SPTEST.INTEGER_FACTORS( 0 ) := 16#0000#;
SPTEST.INTEGER_FACTORS( 1 ) := 16#1000#;
SPTEST.INTEGER_FACTORS( 2 ) := 16#2000#;
SPTEST.INTEGER_FACTORS( 3 ) := 16#3000#;
SPTEST.INTEGER_FACTORS( 4 ) := 16#4000#;
SPTEST.INTEGER_FACTORS( 5 ) := 16#5000#;
SPTEST.INTEGER_FACTORS( 6 ) := 16#6000#;
SPTEST.INTEGER_FACTORS( 7 ) := 16#7000#;
SPTEST.INTEGER_FACTORS( 8 ) := 16#8000#;
SPTEST.INTEGER_FACTORS( 9 ) := 16#9000#;
RTEMS.TASKS.DELETE( RTEMS.SELF, STATUS );
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_DELETE OF SELF" );
end INIT;
--
-- FIRST_FP_TASK
--
procedure FIRST_FP_TASK (
ARGUMENT : in RTEMS.TASKS.ARGUMENT
) is
STATUS : RTEMS.STATUS_CODES;
TID : RTEMS.ID;
TIME : RTEMS.TIME_OF_DAY;
TASK_INDEX : RTEMS.UNSIGNED32;
INT01 : RTEMS.UNSIGNED32 := 1;
INT02 : RTEMS.UNSIGNED32 := 2;
INT03 : RTEMS.UNSIGNED32 := 3;
INT04 : RTEMS.UNSIGNED32 := 4;
INT05 : RTEMS.UNSIGNED32 := 5;
INT06 : RTEMS.UNSIGNED32 := 6;
INT07 : RTEMS.UNSIGNED32 := 7;
INT08 : RTEMS.UNSIGNED32 := 8;
INT09 : RTEMS.UNSIGNED32 := 9;
INT10 : RTEMS.UNSIGNED32 := 10;
INT11 : RTEMS.UNSIGNED32 := 11;
INT12 : RTEMS.UNSIGNED32 := 12;
INT13 : RTEMS.UNSIGNED32 := 13;
INT14 : RTEMS.UNSIGNED32 := 14;
INT15 : RTEMS.UNSIGNED32 := 15;
INT16 : RTEMS.UNSIGNED32 := 16;
INT17 : RTEMS.UNSIGNED32 := 17;
INT18 : RTEMS.UNSIGNED32 := 18;
INT19 : RTEMS.UNSIGNED32 := 19;
INT20 : RTEMS.UNSIGNED32 := 20;
INT21 : RTEMS.UNSIGNED32 := 21;
INT22 : RTEMS.UNSIGNED32 := 22;
INT23 : RTEMS.UNSIGNED32 := 23;
INT24 : RTEMS.UNSIGNED32 := 24;
INT25 : RTEMS.UNSIGNED32 := 25;
INT26 : RTEMS.UNSIGNED32 := 26;
INT27 : RTEMS.UNSIGNED32 := 27;
INT28 : RTEMS.UNSIGNED32 := 28;
INT29 : RTEMS.UNSIGNED32 := 29;
INT30 : RTEMS.UNSIGNED32 := 30;
INT31 : RTEMS.UNSIGNED32 := 31;
INT32 : RTEMS.UNSIGNED32 := 32
;
FP01 : FLOAT := 1.0;
FP02 : FLOAT := 2.0;
FP03 : FLOAT := 3.0;
FP04 : FLOAT := 4.0;
FP05 : FLOAT := 5.0;
FP06 : FLOAT := 6.0;
FP07 : FLOAT := 7.0;
FP08 : FLOAT := 8.0;
FP09 : FLOAT := 9.0;
FP10 : FLOAT := 10.0;
FP11 : FLOAT := 11.0;
FP12 : FLOAT := 12.0;
FP13 : FLOAT := 13.0;
FP14 : FLOAT := 14.0;
FP15 : FLOAT := 15.0;
FP16 : FLOAT := 16.0;
FP17 : FLOAT := 17.0;
FP18 : FLOAT := 18.0;
FP19 : FLOAT := 19.0;
FP20 : FLOAT := 20.0;
FP21 : FLOAT := 21.0;
FP22 : FLOAT := 22.0;
FP23 : FLOAT := 23.0;
FP24 : FLOAT := 24.0;
FP25 : FLOAT := 25.0;
FP26 : FLOAT := 26.0;
FP27 : FLOAT := 27.0;
FP28 : FLOAT := 28.0;
FP29 : FLOAT := 29.0;
FP30 : FLOAT := 30.0;
FP31 : FLOAT := 31.0;
FP32 : FLOAT := 32.0
;
begin
RTEMS.TASKS.IDENT( RTEMS.SELF, RTEMS.SEARCH_ALL_NODES, TID, STATUS );
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_IDENT OF SELF" );
TASK_INDEX := TEST_SUPPORT.TASK_NUMBER( TID );
INT01 := INT01 + INTEGER_FACTORS( TASK_INDEX ) ;
INT02 := INT02 + INTEGER_FACTORS( TASK_INDEX ) ;
INT03 := INT03 + INTEGER_FACTORS( TASK_INDEX ) ;
INT04 := INT04 + INTEGER_FACTORS( TASK_INDEX ) ;
INT05 := INT05 + INTEGER_FACTORS( TASK_INDEX ) ;
INT06 := INT06 + INTEGER_FACTORS( TASK_INDEX ) ;
INT07 := INT07 + INTEGER_FACTORS( TASK_INDEX ) ;
INT08 := INT08 + INTEGER_FACTORS( TASK_INDEX ) ;
INT09 := INT09 + INTEGER_FACTORS( TASK_INDEX ) ;
INT10 := INT10 + INTEGER_FACTORS( TASK_INDEX ) ;
INT11 := INT11 + INTEGER_FACTORS( TASK_INDEX ) ;
INT12 := INT12 + INTEGER_FACTORS( TASK_INDEX ) ;
INT13 := INT13 + INTEGER_FACTORS( TASK_INDEX ) ;
INT14 := INT14 + INTEGER_FACTORS( TASK_INDEX ) ;
INT15 := INT15 + INTEGER_FACTORS( TASK_INDEX ) ;
INT16 := INT16 + INTEGER_FACTORS( TASK_INDEX ) ;
INT17 := INT17 + INTEGER_FACTORS( TASK_INDEX ) ;
INT18 := INT18 + INTEGER_FACTORS( TASK_INDEX ) ;
INT19 := INT19 + INTEGER_FACTORS( TASK_INDEX ) ;
INT20 := INT20 + INTEGER_FACTORS( TASK_INDEX ) ;
INT21 := INT21 + INTEGER_FACTORS( TASK_INDEX ) ;
INT22 := INT22 + INTEGER_FACTORS( TASK_INDEX ) ;
INT23 := INT23 + INTEGER_FACTORS( TASK_INDEX ) ;
INT24 := INT24 + INTEGER_FACTORS( TASK_INDEX ) ;
INT25 := INT25 + INTEGER_FACTORS( TASK_INDEX ) ;
INT26 := INT26 + INTEGER_FACTORS( TASK_INDEX ) ;
INT27 := INT27 + INTEGER_FACTORS( TASK_INDEX ) ;
INT28 := INT28 + INTEGER_FACTORS( TASK_INDEX ) ;
INT29 := INT29 + INTEGER_FACTORS( TASK_INDEX ) ;
INT30 := INT30 + INTEGER_FACTORS( TASK_INDEX ) ;
INT31 := INT31 + INTEGER_FACTORS( TASK_INDEX ) ;
INT32 := INT32 + INTEGER_FACTORS( TASK_INDEX )
;
FP01 := FP01 + FP_FACTORS( TASK_INDEX ) ;
FP02 := FP02 + FP_FACTORS( TASK_INDEX ) ;
FP03 := FP03 + FP_FACTORS( TASK_INDEX ) ;
FP04 := FP04 + FP_FACTORS( TASK_INDEX ) ;
FP05 := FP05 + FP_FACTORS( TASK_INDEX ) ;
FP06 := FP06 + FP_FACTORS( TASK_INDEX ) ;
FP07 := FP07 + FP_FACTORS( TASK_INDEX ) ;
FP08 := FP08 + FP_FACTORS( TASK_INDEX ) ;
FP09 := FP09 + FP_FACTORS( TASK_INDEX ) ;
FP10 := FP10 + FP_FACTORS( TASK_INDEX ) ;
FP11 := FP11 + FP_FACTORS( TASK_INDEX ) ;
FP12 := FP12 + FP_FACTORS( TASK_INDEX ) ;
FP13 := FP13 + FP_FACTORS( TASK_INDEX ) ;
FP14 := FP14 + FP_FACTORS( TASK_INDEX ) ;
FP15 := FP15 + FP_FACTORS( TASK_INDEX ) ;
FP16 := FP16 + FP_FACTORS( TASK_INDEX ) ;
FP17 := FP17 + FP_FACTORS( TASK_INDEX ) ;
FP18 := FP18 + FP_FACTORS( TASK_INDEX ) ;
FP19 := FP19 + FP_FACTORS( TASK_INDEX ) ;
FP20 := FP20 + FP_FACTORS( TASK_INDEX ) ;
FP21 := FP21 + FP_FACTORS( TASK_INDEX ) ;
FP22 := FP22 + FP_FACTORS( TASK_INDEX ) ;
FP23 := FP23 + FP_FACTORS( TASK_INDEX ) ;
FP24 := FP24 + FP_FACTORS( TASK_INDEX ) ;
FP25 := FP25 + FP_FACTORS( TASK_INDEX ) ;
FP26 := FP26 + FP_FACTORS( TASK_INDEX ) ;
FP27 := FP27 + FP_FACTORS( TASK_INDEX ) ;
FP28 := FP28 + FP_FACTORS( TASK_INDEX ) ;
FP29 := FP29 + FP_FACTORS( TASK_INDEX ) ;
FP30 := FP30 + FP_FACTORS( TASK_INDEX ) ;
FP31 := FP31 + FP_FACTORS( TASK_INDEX ) ;
FP32 := FP32 + FP_FACTORS( TASK_INDEX )
;
TEST_SUPPORT.PUT_NAME( SPTEST.TASK_NAME( TASK_INDEX ), FALSE );
TEXT_IO.PUT( " - integer base = (" );
UNSIGNED32_IO.PUT( INTEGER_FACTORS( TASK_INDEX ), BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
--
-- C implementation prints NA if no hardware FP support.
--
TEST_SUPPORT.PUT_NAME(
SPTEST.TASK_NAME( TEST_SUPPORT.TASK_NUMBER( TID ) ),
FALSE
);
TEXT_IO.PUT( " - float base = (" );
FLOAT_IO.PUT( FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
if ( FP01 - ( 1.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP01 - ( 1.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP01 wrong -- (" );
FLOAT_IO.PUT( FP01 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 1.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP02 - ( 2.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP02 - ( 2.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP02 wrong -- (" );
FLOAT_IO.PUT( FP02 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 2.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP03 - ( 3.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP03 - ( 3.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP03 wrong -- (" );
FLOAT_IO.PUT( FP03 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 3.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP04 - ( 4.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP04 - ( 4.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP04 wrong -- (" );
FLOAT_IO.PUT( FP04 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 4.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP05 - ( 5.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP05 - ( 5.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP05 wrong -- (" );
FLOAT_IO.PUT( FP05 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 5.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP06 - ( 6.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP06 - ( 6.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP06 wrong -- (" );
FLOAT_IO.PUT( FP06 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 6.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP07 - ( 7.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP07 - ( 7.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP07 wrong -- (" );
FLOAT_IO.PUT( FP07 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 7.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP08 - ( 8.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP08 - ( 8.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP08 wrong -- (" );
FLOAT_IO.PUT( FP08 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 8.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP09 - ( 9.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP09 - ( 9.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP09 wrong -- (" );
FLOAT_IO.PUT( FP09 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 9.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP10 - ( 10.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP10 - ( 10.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP10 wrong -- (" );
FLOAT_IO.PUT( FP10 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 10.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP11 - ( 11.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP11 - ( 11.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP11 wrong -- (" );
FLOAT_IO.PUT( FP11 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 11.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP12 - ( 12.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP12 - ( 12.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP12 wrong -- (" );
FLOAT_IO.PUT( FP12 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 12.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP13 - ( 13.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP13 - ( 13.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP13 wrong -- (" );
FLOAT_IO.PUT( FP13 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 13.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP14 - ( 14.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP14 - ( 14.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP14 wrong -- (" );
FLOAT_IO.PUT( FP14 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 14.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP15 - ( 15.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP15 - ( 15.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP15 wrong -- (" );
FLOAT_IO.PUT( FP15 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 15.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP16 - ( 16.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP16 - ( 16.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP16 wrong -- (" );
FLOAT_IO.PUT( FP16 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 16.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP17 - ( 17.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP17 - ( 17.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP17 wrong -- (" );
FLOAT_IO.PUT( FP17 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 17.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP18 - ( 18.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP18 - ( 18.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP18 wrong -- (" );
FLOAT_IO.PUT( FP18 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 18.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP19 - ( 19.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP19 - ( 19.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP19 wrong -- (" );
FLOAT_IO.PUT( FP19 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 19.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP20 - ( 20.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP20 - ( 20.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP20 wrong -- (" );
FLOAT_IO.PUT( FP20 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 20.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP21 - ( 21.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP21 - ( 21.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP21 wrong -- (" );
FLOAT_IO.PUT( FP21 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 21.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP22 - ( 22.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP22 - ( 22.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP22 wrong -- (" );
FLOAT_IO.PUT( FP22 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 22.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP23 - ( 23.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP23 - ( 23.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP23 wrong -- (" );
FLOAT_IO.PUT( FP23 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 23.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP24 - ( 24.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP24 - ( 24.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP24 wrong -- (" );
FLOAT_IO.PUT( FP24 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 24.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP25 - ( 25.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP25 - ( 25.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP25 wrong -- (" );
FLOAT_IO.PUT( FP25 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 25.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP26 - ( 26.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP26 - ( 26.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP26 wrong -- (" );
FLOAT_IO.PUT( FP26 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 26.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP27 - ( 27.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP27 - ( 27.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP27 wrong -- (" );
FLOAT_IO.PUT( FP27 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 27.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP28 - ( 28.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP28 - ( 28.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP28 wrong -- (" );
FLOAT_IO.PUT( FP28 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 28.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP29 - ( 29.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP29 - ( 29.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP29 wrong -- (" );
FLOAT_IO.PUT( FP29 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 29.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP30 - ( 30.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP30 - ( 30.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP30 wrong -- (" );
FLOAT_IO.PUT( FP30 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 30.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP31 - ( 31.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP31 - ( 31.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP31 wrong -- (" );
FLOAT_IO.PUT( FP31 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 31.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP32 - ( 32.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP32 - ( 32.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP32 wrong -- (" );
FLOAT_IO.PUT( FP32 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 32.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT01 /= (1 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT01 wrong -- (" );
UNSIGNED32_IO.PUT( INT01, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 1, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT02 /= (2 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT02 wrong -- (" );
UNSIGNED32_IO.PUT( INT02, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 2, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT03 /= (3 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT03 wrong -- (" );
UNSIGNED32_IO.PUT( INT03, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 3, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT04 /= (4 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT04 wrong -- (" );
UNSIGNED32_IO.PUT( INT04, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 4, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT05 /= (5 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT05 wrong -- (" );
UNSIGNED32_IO.PUT( INT05, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 5, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT06 /= (6 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT06 wrong -- (" );
UNSIGNED32_IO.PUT( INT06, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 6, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT07 /= (7 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT07 wrong -- (" );
UNSIGNED32_IO.PUT( INT07, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 7, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT08 /= (8 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT08 wrong -- (" );
UNSIGNED32_IO.PUT( INT08, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 8, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT09 /= (9 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT09 wrong -- (" );
UNSIGNED32_IO.PUT( INT09, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 9, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT10 /= (10 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT10 wrong -- (" );
UNSIGNED32_IO.PUT( INT10, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 10, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT11 /= (11 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT11 wrong -- (" );
UNSIGNED32_IO.PUT( INT11, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 11, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT12 /= (12 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT12 wrong -- (" );
UNSIGNED32_IO.PUT( INT12, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 12, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT13 /= (13 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT13 wrong -- (" );
UNSIGNED32_IO.PUT( INT13, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 13, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT14 /= (14 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT14 wrong -- (" );
UNSIGNED32_IO.PUT( INT14, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 14, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT15 /= (15 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT15 wrong -- (" );
UNSIGNED32_IO.PUT( INT15, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 15, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT16 /= (16 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT16 wrong -- (" );
UNSIGNED32_IO.PUT( INT16, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 16, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT17 /= (17 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT17 wrong -- (" );
UNSIGNED32_IO.PUT( INT17, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 17, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT18 /= (18 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT18 wrong -- (" );
UNSIGNED32_IO.PUT( INT18, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 18, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT19 /= (19 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT19 wrong -- (" );
UNSIGNED32_IO.PUT( INT19, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 19, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT20 /= (20 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT20 wrong -- (" );
UNSIGNED32_IO.PUT( INT20, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 20, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT21 /= (21 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT21 wrong -- (" );
UNSIGNED32_IO.PUT( INT21, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 21, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT22 /= (22 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT22 wrong -- (" );
UNSIGNED32_IO.PUT( INT22, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 22, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT23 /= (23 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT23 wrong -- (" );
UNSIGNED32_IO.PUT( INT23, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 23, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT24 /= (24 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT24 wrong -- (" );
UNSIGNED32_IO.PUT( INT24, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 24, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT25 /= (25 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT25 wrong -- (" );
UNSIGNED32_IO.PUT( INT25, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 25, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT26 /= (26 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT26 wrong -- (" );
UNSIGNED32_IO.PUT( INT26, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 26, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT27 /= (27 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT27 wrong -- (" );
UNSIGNED32_IO.PUT( INT27, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 27, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT28 /= (28 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT28 wrong -- (" );
UNSIGNED32_IO.PUT( INT28, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 28, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT29 /= (29 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT29 wrong -- (" );
UNSIGNED32_IO.PUT( INT29, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 29, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT30 /= (30 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT30 wrong -- (" );
UNSIGNED32_IO.PUT( INT30, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 30, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT31 /= (31 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT31 wrong -- (" );
UNSIGNED32_IO.PUT( INT31, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 31, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT32 /= (32 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT32 wrong -- (" );
UNSIGNED32_IO.PUT( INT32, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 32, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ARGUMENT = 0 then
RTEMS.TASKS.RESTART(
RTEMS.SELF,
1,
STATUS
);
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_RESTART OF SELF" );
else
TIME := ( 1988, 12, 31, 9, 0, 0, 0 );
RTEMS.CLOCK.SET( TIME, STATUS );
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "CLOCK_SET" );
RTEMS.TASKS.DELETE( RTEMS.SELF, STATUS );
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_DELETE OF SELF" );
end if;
end FIRST_FP_TASK;
--
-- FP_TASK
--
procedure FP_TASK (
ARGUMENT : in RTEMS.TASKS.ARGUMENT
) is
pragma Unreferenced(ARGUMENT);
STATUS : RTEMS.STATUS_CODES;
TID : RTEMS.ID;
TIME : RTEMS.TIME_OF_DAY;
TASK_INDEX : RTEMS.UNSIGNED32;
INT01 : RTEMS.UNSIGNED32 := 1;
INT02 : RTEMS.UNSIGNED32 := 2;
INT03 : RTEMS.UNSIGNED32 := 3;
INT04 : RTEMS.UNSIGNED32 := 4;
INT05 : RTEMS.UNSIGNED32 := 5;
INT06 : RTEMS.UNSIGNED32 := 6;
INT07 : RTEMS.UNSIGNED32 := 7;
INT08 : RTEMS.UNSIGNED32 := 8;
INT09 : RTEMS.UNSIGNED32 := 9;
INT10 : RTEMS.UNSIGNED32 := 10;
INT11 : RTEMS.UNSIGNED32 := 11;
INT12 : RTEMS.UNSIGNED32 := 12;
INT13 : RTEMS.UNSIGNED32 := 13;
INT14 : RTEMS.UNSIGNED32 := 14;
INT15 : RTEMS.UNSIGNED32 := 15;
INT16 : RTEMS.UNSIGNED32 := 16;
INT17 : RTEMS.UNSIGNED32 := 17;
INT18 : RTEMS.UNSIGNED32 := 18;
INT19 : RTEMS.UNSIGNED32 := 19;
INT20 : RTEMS.UNSIGNED32 := 20;
INT21 : RTEMS.UNSIGNED32 := 21;
INT22 : RTEMS.UNSIGNED32 := 22;
INT23 : RTEMS.UNSIGNED32 := 23;
INT24 : RTEMS.UNSIGNED32 := 24;
INT25 : RTEMS.UNSIGNED32 := 25;
INT26 : RTEMS.UNSIGNED32 := 26;
INT27 : RTEMS.UNSIGNED32 := 27;
INT28 : RTEMS.UNSIGNED32 := 28;
INT29 : RTEMS.UNSIGNED32 := 29;
INT30 : RTEMS.UNSIGNED32 := 30;
INT31 : RTEMS.UNSIGNED32 := 31;
INT32 : RTEMS.UNSIGNED32 := 32
;
FP01 : FLOAT := 1.0;
FP02 : FLOAT := 2.0;
FP03 : FLOAT := 3.0;
FP04 : FLOAT := 4.0;
FP05 : FLOAT := 5.0;
FP06 : FLOAT := 6.0;
FP07 : FLOAT := 7.0;
FP08 : FLOAT := 8.0;
FP09 : FLOAT := 9.0;
FP10 : FLOAT := 10.0;
FP11 : FLOAT := 11.0;
FP12 : FLOAT := 12.0;
FP13 : FLOAT := 13.0;
FP14 : FLOAT := 14.0;
FP15 : FLOAT := 15.0;
FP16 : FLOAT := 16.0;
FP17 : FLOAT := 17.0;
FP18 : FLOAT := 18.0;
FP19 : FLOAT := 19.0;
FP20 : FLOAT := 20.0;
FP21 : FLOAT := 21.0;
FP22 : FLOAT := 22.0;
FP23 : FLOAT := 23.0;
FP24 : FLOAT := 24.0;
FP25 : FLOAT := 25.0;
FP26 : FLOAT := 26.0;
FP27 : FLOAT := 27.0;
FP28 : FLOAT := 28.0;
FP29 : FLOAT := 29.0;
FP30 : FLOAT := 30.0;
FP31 : FLOAT := 31.0;
FP32 : FLOAT := 32.0
;
begin
RTEMS.TASKS.IDENT( RTEMS.SELF, RTEMS.SEARCH_ALL_NODES, TID, STATUS );
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_IDENT OF SELF" );
TASK_INDEX := TEST_SUPPORT.TASK_NUMBER( TID );
INT01 := INT01 + INTEGER_FACTORS( TASK_INDEX ) ;
INT02 := INT02 + INTEGER_FACTORS( TASK_INDEX ) ;
INT03 := INT03 + INTEGER_FACTORS( TASK_INDEX ) ;
INT04 := INT04 + INTEGER_FACTORS( TASK_INDEX ) ;
INT05 := INT05 + INTEGER_FACTORS( TASK_INDEX ) ;
INT06 := INT06 + INTEGER_FACTORS( TASK_INDEX ) ;
INT07 := INT07 + INTEGER_FACTORS( TASK_INDEX ) ;
INT08 := INT08 + INTEGER_FACTORS( TASK_INDEX ) ;
INT09 := INT09 + INTEGER_FACTORS( TASK_INDEX ) ;
INT10 := INT10 + INTEGER_FACTORS( TASK_INDEX ) ;
INT11 := INT11 + INTEGER_FACTORS( TASK_INDEX ) ;
INT12 := INT12 + INTEGER_FACTORS( TASK_INDEX ) ;
INT13 := INT13 + INTEGER_FACTORS( TASK_INDEX ) ;
INT14 := INT14 + INTEGER_FACTORS( TASK_INDEX ) ;
INT15 := INT15 + INTEGER_FACTORS( TASK_INDEX ) ;
INT16 := INT16 + INTEGER_FACTORS( TASK_INDEX ) ;
INT17 := INT17 + INTEGER_FACTORS( TASK_INDEX ) ;
INT18 := INT18 + INTEGER_FACTORS( TASK_INDEX ) ;
INT19 := INT19 + INTEGER_FACTORS( TASK_INDEX ) ;
INT20 := INT20 + INTEGER_FACTORS( TASK_INDEX ) ;
INT21 := INT21 + INTEGER_FACTORS( TASK_INDEX ) ;
INT22 := INT22 + INTEGER_FACTORS( TASK_INDEX ) ;
INT23 := INT23 + INTEGER_FACTORS( TASK_INDEX ) ;
INT24 := INT24 + INTEGER_FACTORS( TASK_INDEX ) ;
INT25 := INT25 + INTEGER_FACTORS( TASK_INDEX ) ;
INT26 := INT26 + INTEGER_FACTORS( TASK_INDEX ) ;
INT27 := INT27 + INTEGER_FACTORS( TASK_INDEX ) ;
INT28 := INT28 + INTEGER_FACTORS( TASK_INDEX ) ;
INT29 := INT29 + INTEGER_FACTORS( TASK_INDEX ) ;
INT30 := INT30 + INTEGER_FACTORS( TASK_INDEX ) ;
INT31 := INT31 + INTEGER_FACTORS( TASK_INDEX ) ;
INT32 := INT32 + INTEGER_FACTORS( TASK_INDEX )
;
FP01 := FP01 + FP_FACTORS( TASK_INDEX ) ;
FP02 := FP02 + FP_FACTORS( TASK_INDEX ) ;
FP03 := FP03 + FP_FACTORS( TASK_INDEX ) ;
FP04 := FP04 + FP_FACTORS( TASK_INDEX ) ;
FP05 := FP05 + FP_FACTORS( TASK_INDEX ) ;
FP06 := FP06 + FP_FACTORS( TASK_INDEX ) ;
FP07 := FP07 + FP_FACTORS( TASK_INDEX ) ;
FP08 := FP08 + FP_FACTORS( TASK_INDEX ) ;
FP09 := FP09 + FP_FACTORS( TASK_INDEX ) ;
FP10 := FP10 + FP_FACTORS( TASK_INDEX ) ;
FP11 := FP11 + FP_FACTORS( TASK_INDEX ) ;
FP12 := FP12 + FP_FACTORS( TASK_INDEX ) ;
FP13 := FP13 + FP_FACTORS( TASK_INDEX ) ;
FP14 := FP14 + FP_FACTORS( TASK_INDEX ) ;
FP15 := FP15 + FP_FACTORS( TASK_INDEX ) ;
FP16 := FP16 + FP_FACTORS( TASK_INDEX ) ;
FP17 := FP17 + FP_FACTORS( TASK_INDEX ) ;
FP18 := FP18 + FP_FACTORS( TASK_INDEX ) ;
FP19 := FP19 + FP_FACTORS( TASK_INDEX ) ;
FP20 := FP20 + FP_FACTORS( TASK_INDEX ) ;
FP21 := FP21 + FP_FACTORS( TASK_INDEX ) ;
FP22 := FP22 + FP_FACTORS( TASK_INDEX ) ;
FP23 := FP23 + FP_FACTORS( TASK_INDEX ) ;
FP24 := FP24 + FP_FACTORS( TASK_INDEX ) ;
FP25 := FP25 + FP_FACTORS( TASK_INDEX ) ;
FP26 := FP26 + FP_FACTORS( TASK_INDEX ) ;
FP27 := FP27 + FP_FACTORS( TASK_INDEX ) ;
FP28 := FP28 + FP_FACTORS( TASK_INDEX ) ;
FP29 := FP29 + FP_FACTORS( TASK_INDEX ) ;
FP30 := FP30 + FP_FACTORS( TASK_INDEX ) ;
FP31 := FP31 + FP_FACTORS( TASK_INDEX ) ;
FP32 := FP32 + FP_FACTORS( TASK_INDEX )
;
TEST_SUPPORT.PUT_NAME(
SPTEST.TASK_NAME( TEST_SUPPORT.TASK_NUMBER( TID ) ),
FALSE
);
TEXT_IO.PUT( " - integer base = (" );
UNSIGNED32_IO.PUT( INTEGER_FACTORS( TASK_INDEX ), BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
--
-- C implementation prints NA if no hardware FP support.
--
TEST_SUPPORT.PUT_NAME(
SPTEST.TASK_NAME( TEST_SUPPORT.TASK_NUMBER( TID ) ),
FALSE
);
TEXT_IO.PUT( " - float base = (" );
FLOAT_IO.PUT( FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
loop
RTEMS.CLOCK.GET_TOD( TIME, STATUS );
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "CLOCK_GET_TOD" );
if TIME.SECOND >= 16 then
if TEST_SUPPORT.TASK_NUMBER( TID ) = 4 then
TEXT_IO.PUT_LINE( "TA4 - task_delete - self" );
RTEMS.TASKS.DELETE( RTEMS.SELF, STATUS );
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_DELETE OF TA4" );
end if;
TEXT_IO.PUT_LINE( "TA5 - task_delete - TA3" );
RTEMS.TASKS.DELETE( SPTEST.TASK_ID( 3 ), STATUS );
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_DELETE OF TA3" );
TEST_SUPPORT.ADA_TEST_END;
RTEMS.SHUTDOWN_EXECUTIVE( 0 );
end if;
TEST_SUPPORT.PUT_NAME(
SPTEST.TASK_NAME( TEST_SUPPORT.TASK_NUMBER( TID ) ),
FALSE
);
TEST_SUPPORT.PRINT_TIME( " - clock_get - ", TIME, "" );
TEXT_IO.NEW_LINE;
if INT01 /= (1 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT01 wrong -- (" );
UNSIGNED32_IO.PUT( INT01, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 1, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT02 /= (2 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT02 wrong -- (" );
UNSIGNED32_IO.PUT( INT02, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 2, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT03 /= (3 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT03 wrong -- (" );
UNSIGNED32_IO.PUT( INT03, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 3, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT04 /= (4 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT04 wrong -- (" );
UNSIGNED32_IO.PUT( INT04, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 4, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT05 /= (5 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT05 wrong -- (" );
UNSIGNED32_IO.PUT( INT05, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 5, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT06 /= (6 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT06 wrong -- (" );
UNSIGNED32_IO.PUT( INT06, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 6, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT07 /= (7 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT07 wrong -- (" );
UNSIGNED32_IO.PUT( INT07, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 7, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT08 /= (8 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT08 wrong -- (" );
UNSIGNED32_IO.PUT( INT08, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 8, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT09 /= (9 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT09 wrong -- (" );
UNSIGNED32_IO.PUT( INT09, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 9, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT10 /= (10 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT10 wrong -- (" );
UNSIGNED32_IO.PUT( INT10, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 10, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT11 /= (11 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT11 wrong -- (" );
UNSIGNED32_IO.PUT( INT11, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 11, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT12 /= (12 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT12 wrong -- (" );
UNSIGNED32_IO.PUT( INT12, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 12, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT13 /= (13 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT13 wrong -- (" );
UNSIGNED32_IO.PUT( INT13, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 13, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT14 /= (14 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT14 wrong -- (" );
UNSIGNED32_IO.PUT( INT14, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 14, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT15 /= (15 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT15 wrong -- (" );
UNSIGNED32_IO.PUT( INT15, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 15, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT16 /= (16 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT16 wrong -- (" );
UNSIGNED32_IO.PUT( INT16, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 16, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT17 /= (17 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT17 wrong -- (" );
UNSIGNED32_IO.PUT( INT17, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 17, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT18 /= (18 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT18 wrong -- (" );
UNSIGNED32_IO.PUT( INT18, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 18, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT19 /= (19 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT19 wrong -- (" );
UNSIGNED32_IO.PUT( INT19, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 19, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT20 /= (20 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT20 wrong -- (" );
UNSIGNED32_IO.PUT( INT20, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 20, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT21 /= (21 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT21 wrong -- (" );
UNSIGNED32_IO.PUT( INT21, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 21, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT22 /= (22 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT22 wrong -- (" );
UNSIGNED32_IO.PUT( INT22, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 22, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT23 /= (23 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT23 wrong -- (" );
UNSIGNED32_IO.PUT( INT23, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 23, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT24 /= (24 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT24 wrong -- (" );
UNSIGNED32_IO.PUT( INT24, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 24, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT25 /= (25 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT25 wrong -- (" );
UNSIGNED32_IO.PUT( INT25, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 25, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT26 /= (26 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT26 wrong -- (" );
UNSIGNED32_IO.PUT( INT26, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 26, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT27 /= (27 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT27 wrong -- (" );
UNSIGNED32_IO.PUT( INT27, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 27, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT28 /= (28 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT28 wrong -- (" );
UNSIGNED32_IO.PUT( INT28, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 28, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT29 /= (29 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT29 wrong -- (" );
UNSIGNED32_IO.PUT( INT29, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 29, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT30 /= (30 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT30 wrong -- (" );
UNSIGNED32_IO.PUT( INT30, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 30, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT31 /= (31 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT31 wrong -- (" );
UNSIGNED32_IO.PUT( INT31, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 31, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT32 /= (32 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT32 wrong -- (" );
UNSIGNED32_IO.PUT( INT32, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 32, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP01 - ( 1.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP01 - ( 1.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP01 wrong -- (" );
FLOAT_IO.PUT( FP01 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 1.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP02 - ( 2.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP02 - ( 2.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP02 wrong -- (" );
FLOAT_IO.PUT( FP02 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 2.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP03 - ( 3.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP03 - ( 3.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP03 wrong -- (" );
FLOAT_IO.PUT( FP03 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 3.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP04 - ( 4.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP04 - ( 4.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP04 wrong -- (" );
FLOAT_IO.PUT( FP04 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 4.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP05 - ( 5.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP05 - ( 5.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP05 wrong -- (" );
FLOAT_IO.PUT( FP05 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 5.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP06 - ( 6.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP06 - ( 6.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP06 wrong -- (" );
FLOAT_IO.PUT( FP06 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 6.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP07 - ( 7.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP07 - ( 7.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP07 wrong -- (" );
FLOAT_IO.PUT( FP07 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 7.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP08 - ( 8.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP08 - ( 8.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP08 wrong -- (" );
FLOAT_IO.PUT( FP08 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 8.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP09 - ( 9.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP09 - ( 9.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP09 wrong -- (" );
FLOAT_IO.PUT( FP09 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 9.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP10 - ( 10.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP10 - ( 10.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP10 wrong -- (" );
FLOAT_IO.PUT( FP10 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 10.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP11 - ( 11.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP11 - ( 11.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP11 wrong -- (" );
FLOAT_IO.PUT( FP11 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 11.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP12 - ( 12.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP12 - ( 12.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP12 wrong -- (" );
FLOAT_IO.PUT( FP12 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 12.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP13 - ( 13.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP13 - ( 13.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP13 wrong -- (" );
FLOAT_IO.PUT( FP13 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 13.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP14 - ( 14.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP14 - ( 14.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP14 wrong -- (" );
FLOAT_IO.PUT( FP14 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 14.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP15 - ( 15.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP15 - ( 15.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP15 wrong -- (" );
FLOAT_IO.PUT( FP15 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 15.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP16 - ( 16.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP16 - ( 16.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP16 wrong -- (" );
FLOAT_IO.PUT( FP16 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 16.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP17 - ( 17.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP17 - ( 17.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP17 wrong -- (" );
FLOAT_IO.PUT( FP17 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 17.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP18 - ( 18.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP18 - ( 18.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP18 wrong -- (" );
FLOAT_IO.PUT( FP18 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 18.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP19 - ( 19.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP19 - ( 19.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP19 wrong -- (" );
FLOAT_IO.PUT( FP19 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 19.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP20 - ( 20.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP20 - ( 20.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP20 wrong -- (" );
FLOAT_IO.PUT( FP20 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 20.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP21 - ( 21.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP21 - ( 21.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP21 wrong -- (" );
FLOAT_IO.PUT( FP21 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 21.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP22 - ( 22.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP22 - ( 22.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP22 wrong -- (" );
FLOAT_IO.PUT( FP22 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 22.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP23 - ( 23.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP23 - ( 23.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP23 wrong -- (" );
FLOAT_IO.PUT( FP23 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 23.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP24 - ( 24.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP24 - ( 24.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP24 wrong -- (" );
FLOAT_IO.PUT( FP24 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 24.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP25 - ( 25.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP25 - ( 25.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP25 wrong -- (" );
FLOAT_IO.PUT( FP25 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 25.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP26 - ( 26.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP26 - ( 26.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP26 wrong -- (" );
FLOAT_IO.PUT( FP26 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 26.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP27 - ( 27.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP27 - ( 27.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP27 wrong -- (" );
FLOAT_IO.PUT( FP27 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 27.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP28 - ( 28.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP28 - ( 28.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP28 wrong -- (" );
FLOAT_IO.PUT( FP28 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 28.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP29 - ( 29.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP29 - ( 29.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP29 wrong -- (" );
FLOAT_IO.PUT( FP29 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 29.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP30 - ( 30.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP30 - ( 30.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP30 wrong -- (" );
FLOAT_IO.PUT( FP30 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 30.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP31 - ( 31.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP31 - ( 31.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP31 wrong -- (" );
FLOAT_IO.PUT( FP31 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 31.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP32 - ( 32.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP32 - ( 32.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP32 wrong -- (" );
FLOAT_IO.PUT( FP32 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 32.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
RTEMS.TASKS.WAKE_AFTER( TEST_SUPPORT.TICKS_PER_SECOND, STATUS );
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_WAKE_AFTER" );
end loop;
end FP_TASK;
--
-- TASK_1
--
procedure TASK_1 (
ARGUMENT : in RTEMS.TASKS.ARGUMENT
) is
pragma Unreferenced(ARGUMENT);
STATUS : RTEMS.STATUS_CODES;
TID : RTEMS.ID;
TIME : RTEMS.TIME_OF_DAY;
TASK_INDEX : RTEMS.UNSIGNED32;
INT01 : RTEMS.UNSIGNED32 := 1;
INT02 : RTEMS.UNSIGNED32 := 2;
INT03 : RTEMS.UNSIGNED32 := 3;
INT04 : RTEMS.UNSIGNED32 := 4;
INT05 : RTEMS.UNSIGNED32 := 5;
INT06 : RTEMS.UNSIGNED32 := 6;
INT07 : RTEMS.UNSIGNED32 := 7;
INT08 : RTEMS.UNSIGNED32 := 8;
INT09 : RTEMS.UNSIGNED32 := 9;
INT10 : RTEMS.UNSIGNED32 := 10;
INT11 : RTEMS.UNSIGNED32 := 11;
INT12 : RTEMS.UNSIGNED32 := 12;
INT13 : RTEMS.UNSIGNED32 := 13;
INT14 : RTEMS.UNSIGNED32 := 14;
INT15 : RTEMS.UNSIGNED32 := 15;
INT16 : RTEMS.UNSIGNED32 := 16;
INT17 : RTEMS.UNSIGNED32 := 17;
INT18 : RTEMS.UNSIGNED32 := 18;
INT19 : RTEMS.UNSIGNED32 := 19;
INT20 : RTEMS.UNSIGNED32 := 20;
INT21 : RTEMS.UNSIGNED32 := 21;
INT22 : RTEMS.UNSIGNED32 := 22;
INT23 : RTEMS.UNSIGNED32 := 23;
INT24 : RTEMS.UNSIGNED32 := 24;
INT25 : RTEMS.UNSIGNED32 := 25;
INT26 : RTEMS.UNSIGNED32 := 26;
INT27 : RTEMS.UNSIGNED32 := 27;
INT28 : RTEMS.UNSIGNED32 := 28;
INT29 : RTEMS.UNSIGNED32 := 29;
INT30 : RTEMS.UNSIGNED32 := 30;
INT31 : RTEMS.UNSIGNED32 := 31;
INT32 : RTEMS.UNSIGNED32 := 32
;
FP01 : FLOAT := 1.0;
FP02 : FLOAT := 2.0;
FP03 : FLOAT := 3.0;
FP04 : FLOAT := 4.0;
FP05 : FLOAT := 5.0;
FP06 : FLOAT := 6.0;
FP07 : FLOAT := 7.0;
FP08 : FLOAT := 8.0;
FP09 : FLOAT := 9.0;
FP10 : FLOAT := 10.0;
FP11 : FLOAT := 11.0;
FP12 : FLOAT := 12.0;
FP13 : FLOAT := 13.0;
FP14 : FLOAT := 14.0;
FP15 : FLOAT := 15.0;
FP16 : FLOAT := 16.0;
FP17 : FLOAT := 17.0;
FP18 : FLOAT := 18.0;
FP19 : FLOAT := 19.0;
FP20 : FLOAT := 20.0;
FP21 : FLOAT := 21.0;
FP22 : FLOAT := 22.0;
FP23 : FLOAT := 23.0;
FP24 : FLOAT := 24.0;
FP25 : FLOAT := 25.0;
FP26 : FLOAT := 26.0;
FP27 : FLOAT := 27.0;
FP28 : FLOAT := 28.0;
FP29 : FLOAT := 29.0;
FP30 : FLOAT := 30.0;
FP31 : FLOAT := 31.0;
FP32 : FLOAT := 32.0
;
begin
RTEMS.TASKS.IDENT( RTEMS.SELF, RTEMS.SEARCH_ALL_NODES, TID, STATUS );
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_IDENT OF SELF" );
TASK_INDEX := TEST_SUPPORT.TASK_NUMBER( TID );
INT01 := INT01 + INTEGER_FACTORS( TASK_INDEX ) ;
INT02 := INT02 + INTEGER_FACTORS( TASK_INDEX ) ;
INT03 := INT03 + INTEGER_FACTORS( TASK_INDEX ) ;
INT04 := INT04 + INTEGER_FACTORS( TASK_INDEX ) ;
INT05 := INT05 + INTEGER_FACTORS( TASK_INDEX ) ;
INT06 := INT06 + INTEGER_FACTORS( TASK_INDEX ) ;
INT07 := INT07 + INTEGER_FACTORS( TASK_INDEX ) ;
INT08 := INT08 + INTEGER_FACTORS( TASK_INDEX ) ;
INT09 := INT09 + INTEGER_FACTORS( TASK_INDEX ) ;
INT10 := INT10 + INTEGER_FACTORS( TASK_INDEX ) ;
INT11 := INT11 + INTEGER_FACTORS( TASK_INDEX ) ;
INT12 := INT12 + INTEGER_FACTORS( TASK_INDEX ) ;
INT13 := INT13 + INTEGER_FACTORS( TASK_INDEX ) ;
INT14 := INT14 + INTEGER_FACTORS( TASK_INDEX ) ;
INT15 := INT15 + INTEGER_FACTORS( TASK_INDEX ) ;
INT16 := INT16 + INTEGER_FACTORS( TASK_INDEX ) ;
INT17 := INT17 + INTEGER_FACTORS( TASK_INDEX ) ;
INT18 := INT18 + INTEGER_FACTORS( TASK_INDEX ) ;
INT19 := INT19 + INTEGER_FACTORS( TASK_INDEX ) ;
INT20 := INT20 + INTEGER_FACTORS( TASK_INDEX ) ;
INT21 := INT21 + INTEGER_FACTORS( TASK_INDEX ) ;
INT22 := INT22 + INTEGER_FACTORS( TASK_INDEX ) ;
INT23 := INT23 + INTEGER_FACTORS( TASK_INDEX ) ;
INT24 := INT24 + INTEGER_FACTORS( TASK_INDEX ) ;
INT25 := INT25 + INTEGER_FACTORS( TASK_INDEX ) ;
INT26 := INT26 + INTEGER_FACTORS( TASK_INDEX ) ;
INT27 := INT27 + INTEGER_FACTORS( TASK_INDEX ) ;
INT28 := INT28 + INTEGER_FACTORS( TASK_INDEX ) ;
INT29 := INT29 + INTEGER_FACTORS( TASK_INDEX ) ;
INT30 := INT30 + INTEGER_FACTORS( TASK_INDEX ) ;
INT31 := INT31 + INTEGER_FACTORS( TASK_INDEX ) ;
INT32 := INT32 + INTEGER_FACTORS( TASK_INDEX )
;
FP01 := FP01 + FP_FACTORS( TASK_INDEX ) ;
FP02 := FP02 + FP_FACTORS( TASK_INDEX ) ;
FP03 := FP03 + FP_FACTORS( TASK_INDEX ) ;
FP04 := FP04 + FP_FACTORS( TASK_INDEX ) ;
FP05 := FP05 + FP_FACTORS( TASK_INDEX ) ;
FP06 := FP06 + FP_FACTORS( TASK_INDEX ) ;
FP07 := FP07 + FP_FACTORS( TASK_INDEX ) ;
FP08 := FP08 + FP_FACTORS( TASK_INDEX ) ;
FP09 := FP09 + FP_FACTORS( TASK_INDEX ) ;
FP10 := FP10 + FP_FACTORS( TASK_INDEX ) ;
FP11 := FP11 + FP_FACTORS( TASK_INDEX ) ;
FP12 := FP12 + FP_FACTORS( TASK_INDEX ) ;
FP13 := FP13 + FP_FACTORS( TASK_INDEX ) ;
FP14 := FP14 + FP_FACTORS( TASK_INDEX ) ;
FP15 := FP15 + FP_FACTORS( TASK_INDEX ) ;
FP16 := FP16 + FP_FACTORS( TASK_INDEX ) ;
FP17 := FP17 + FP_FACTORS( TASK_INDEX ) ;
FP18 := FP18 + FP_FACTORS( TASK_INDEX ) ;
FP19 := FP19 + FP_FACTORS( TASK_INDEX ) ;
FP20 := FP20 + FP_FACTORS( TASK_INDEX ) ;
FP21 := FP21 + FP_FACTORS( TASK_INDEX ) ;
FP22 := FP22 + FP_FACTORS( TASK_INDEX ) ;
FP23 := FP23 + FP_FACTORS( TASK_INDEX ) ;
FP24 := FP24 + FP_FACTORS( TASK_INDEX ) ;
FP25 := FP25 + FP_FACTORS( TASK_INDEX ) ;
FP26 := FP26 + FP_FACTORS( TASK_INDEX ) ;
FP27 := FP27 + FP_FACTORS( TASK_INDEX ) ;
FP28 := FP28 + FP_FACTORS( TASK_INDEX ) ;
FP29 := FP29 + FP_FACTORS( TASK_INDEX ) ;
FP30 := FP30 + FP_FACTORS( TASK_INDEX ) ;
FP31 := FP31 + FP_FACTORS( TASK_INDEX ) ;
FP32 := FP32 + FP_FACTORS( TASK_INDEX )
;
TEST_SUPPORT.PUT_NAME(
SPTEST.TASK_NAME( TEST_SUPPORT.TASK_NUMBER( TID ) ),
FALSE
);
TEXT_IO.PUT( " - integer base = (" );
UNSIGNED32_IO.PUT( INTEGER_FACTORS( TASK_INDEX ), BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
loop
RTEMS.CLOCK.GET_TOD( TIME, STATUS );
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "CLOCK_GET_TOD" );
TEST_SUPPORT.PUT_NAME(
SPTEST.TASK_NAME( TEST_SUPPORT.TASK_NUMBER( TID ) ),
FALSE
);
TEST_SUPPORT.PRINT_TIME( " - clock_get - ", TIME, "" );
TEXT_IO.NEW_LINE;
if INT01 /= (1 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT01 wrong -- (" );
UNSIGNED32_IO.PUT( INT01, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 1, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT02 /= (2 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT02 wrong -- (" );
UNSIGNED32_IO.PUT( INT02, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 2, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT03 /= (3 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT03 wrong -- (" );
UNSIGNED32_IO.PUT( INT03, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 3, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT04 /= (4 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT04 wrong -- (" );
UNSIGNED32_IO.PUT( INT04, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 4, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT05 /= (5 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT05 wrong -- (" );
UNSIGNED32_IO.PUT( INT05, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 5, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT06 /= (6 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT06 wrong -- (" );
UNSIGNED32_IO.PUT( INT06, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 6, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT07 /= (7 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT07 wrong -- (" );
UNSIGNED32_IO.PUT( INT07, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 7, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT08 /= (8 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT08 wrong -- (" );
UNSIGNED32_IO.PUT( INT08, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 8, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT09 /= (9 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT09 wrong -- (" );
UNSIGNED32_IO.PUT( INT09, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 9, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT10 /= (10 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT10 wrong -- (" );
UNSIGNED32_IO.PUT( INT10, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 10, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT11 /= (11 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT11 wrong -- (" );
UNSIGNED32_IO.PUT( INT11, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 11, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT12 /= (12 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT12 wrong -- (" );
UNSIGNED32_IO.PUT( INT12, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 12, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT13 /= (13 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT13 wrong -- (" );
UNSIGNED32_IO.PUT( INT13, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 13, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT14 /= (14 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT14 wrong -- (" );
UNSIGNED32_IO.PUT( INT14, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 14, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT15 /= (15 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT15 wrong -- (" );
UNSIGNED32_IO.PUT( INT15, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 15, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT16 /= (16 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT16 wrong -- (" );
UNSIGNED32_IO.PUT( INT16, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 16, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT17 /= (17 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT17 wrong -- (" );
UNSIGNED32_IO.PUT( INT17, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 17, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT18 /= (18 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT18 wrong -- (" );
UNSIGNED32_IO.PUT( INT18, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 18, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT19 /= (19 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT19 wrong -- (" );
UNSIGNED32_IO.PUT( INT19, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 19, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT20 /= (20 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT20 wrong -- (" );
UNSIGNED32_IO.PUT( INT20, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 20, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT21 /= (21 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT21 wrong -- (" );
UNSIGNED32_IO.PUT( INT21, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 21, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT22 /= (22 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT22 wrong -- (" );
UNSIGNED32_IO.PUT( INT22, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 22, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT23 /= (23 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT23 wrong -- (" );
UNSIGNED32_IO.PUT( INT23, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 23, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT24 /= (24 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT24 wrong -- (" );
UNSIGNED32_IO.PUT( INT24, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 24, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT25 /= (25 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT25 wrong -- (" );
UNSIGNED32_IO.PUT( INT25, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 25, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT26 /= (26 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT26 wrong -- (" );
UNSIGNED32_IO.PUT( INT26, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 26, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT27 /= (27 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT27 wrong -- (" );
UNSIGNED32_IO.PUT( INT27, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 27, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT28 /= (28 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT28 wrong -- (" );
UNSIGNED32_IO.PUT( INT28, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 28, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT29 /= (29 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT29 wrong -- (" );
UNSIGNED32_IO.PUT( INT29, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 29, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT30 /= (30 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT30 wrong -- (" );
UNSIGNED32_IO.PUT( INT30, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 30, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT31 /= (31 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT31 wrong -- (" );
UNSIGNED32_IO.PUT( INT31, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 31, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if INT32 /= (32 + INTEGER_FACTORS( TASK_INDEX ) ) then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": INT32 wrong -- (" );
UNSIGNED32_IO.PUT( INT32, BASE => 16);
TEXT_IO.PUT( " not " );
UNSIGNED32_IO.PUT( 32, BASE => 16 );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP01 - ( 1.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP01 - ( 1.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP01 wrong -- (" );
FLOAT_IO.PUT( FP01 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 1.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP02 - ( 2.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP02 - ( 2.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP02 wrong -- (" );
FLOAT_IO.PUT( FP02 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 2.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP03 - ( 3.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP03 - ( 3.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP03 wrong -- (" );
FLOAT_IO.PUT( FP03 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 3.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP04 - ( 4.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP04 - ( 4.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP04 wrong -- (" );
FLOAT_IO.PUT( FP04 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 4.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP05 - ( 5.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP05 - ( 5.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP05 wrong -- (" );
FLOAT_IO.PUT( FP05 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 5.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP06 - ( 6.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP06 - ( 6.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP06 wrong -- (" );
FLOAT_IO.PUT( FP06 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 6.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP07 - ( 7.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP07 - ( 7.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP07 wrong -- (" );
FLOAT_IO.PUT( FP07 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 7.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP08 - ( 8.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP08 - ( 8.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP08 wrong -- (" );
FLOAT_IO.PUT( FP08 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 8.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP09 - ( 9.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP09 - ( 9.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP09 wrong -- (" );
FLOAT_IO.PUT( FP09 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 9.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP10 - ( 10.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP10 - ( 10.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP10 wrong -- (" );
FLOAT_IO.PUT( FP10 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 10.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP11 - ( 11.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP11 - ( 11.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP11 wrong -- (" );
FLOAT_IO.PUT( FP11 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 11.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP12 - ( 12.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP12 - ( 12.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP12 wrong -- (" );
FLOAT_IO.PUT( FP12 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 12.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP13 - ( 13.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP13 - ( 13.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP13 wrong -- (" );
FLOAT_IO.PUT( FP13 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 13.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP14 - ( 14.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP14 - ( 14.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP14 wrong -- (" );
FLOAT_IO.PUT( FP14 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 14.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP15 - ( 15.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP15 - ( 15.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP15 wrong -- (" );
FLOAT_IO.PUT( FP15 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 15.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP16 - ( 16.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP16 - ( 16.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP16 wrong -- (" );
FLOAT_IO.PUT( FP16 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 16.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP17 - ( 17.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP17 - ( 17.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP17 wrong -- (" );
FLOAT_IO.PUT( FP17 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 17.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP18 - ( 18.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP18 - ( 18.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP18 wrong -- (" );
FLOAT_IO.PUT( FP18 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 18.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP19 - ( 19.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP19 - ( 19.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP19 wrong -- (" );
FLOAT_IO.PUT( FP19 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 19.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP20 - ( 20.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP20 - ( 20.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP20 wrong -- (" );
FLOAT_IO.PUT( FP20 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 20.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP21 - ( 21.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP21 - ( 21.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP21 wrong -- (" );
FLOAT_IO.PUT( FP21 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 21.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP22 - ( 22.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP22 - ( 22.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP22 wrong -- (" );
FLOAT_IO.PUT( FP22 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 22.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP23 - ( 23.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP23 - ( 23.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP23 wrong -- (" );
FLOAT_IO.PUT( FP23 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 23.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP24 - ( 24.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP24 - ( 24.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP24 wrong -- (" );
FLOAT_IO.PUT( FP24 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 24.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP25 - ( 25.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP25 - ( 25.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP25 wrong -- (" );
FLOAT_IO.PUT( FP25 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 25.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP26 - ( 26.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP26 - ( 26.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP26 wrong -- (" );
FLOAT_IO.PUT( FP26 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 26.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP27 - ( 27.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP27 - ( 27.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP27 wrong -- (" );
FLOAT_IO.PUT( FP27 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 27.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP28 - ( 28.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP28 - ( 28.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP28 wrong -- (" );
FLOAT_IO.PUT( FP28 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 28.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP29 - ( 29.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP29 - ( 29.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP29 wrong -- (" );
FLOAT_IO.PUT( FP29 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 29.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP30 - ( 30.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP30 - ( 30.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP30 wrong -- (" );
FLOAT_IO.PUT( FP30 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 30.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP31 - ( 31.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP31 - ( 31.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP31 wrong -- (" );
FLOAT_IO.PUT( FP31 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 31.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
if ( FP32 - ( 32.0 + FP_FACTORS( TASK_INDEX ) ) ) > 0.0005 or else ( FP32 - ( 32.0 + FP_FACTORS( TASK_INDEX ) ) ) < - 0.0005 then
UNSIGNED32_IO.PUT( TASK_INDEX );
TEXT_IO.PUT( ": FP32 wrong -- (" );
FLOAT_IO.PUT( FP32 );
TEXT_IO.PUT( " not " );
FLOAT_IO.PUT( 32.0 + FP_FACTORS( TASK_INDEX ) );
TEXT_IO.PUT_LINE( ")" );
end if
;
RTEMS.TASKS.WAKE_AFTER(
TEST_SUPPORT.TASK_NUMBER( TID ) * 5 *
TEST_SUPPORT.TICKS_PER_SECOND,
STATUS
);
TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_WAKE_AFTER" );
end loop;
end TASK_1;
end SPTEST;