WITH REPORT;
PROCEDURE C45531A IS
USE REPORT;
MIN_WORD_LENGTH : CONSTANT := 12;
FULL_SCALE : CONSTANT := 2 ** (MIN_WORD_LENGTH - 1);
FORTH : CONSTANT := FULL_SCALE / 4;
DEL1 : CONSTANT := 0.5 / FULL_SCALE;
DEL4 : CONSTANT := 4.0 * DEL1;
TYPE FX_0P5 IS DELTA DEL1 * 1 RANGE -0.5 .. 0.5 - DEL1 * 1;
TYPE FX_1 IS DELTA DEL1 * 2 RANGE -1.0 .. 1.0 - DEL1 * 2;
TYPE FX_2 IS DELTA DEL1 * 4 RANGE -2.0 .. 2.0 - DEL1 * 4;
BEGIN TEST ("C45531A", "MIXED FIXED POINT AND INTEGER ""*"" "
& "FOR RANGE <, =, > 1.0");
A: DECLARE
A : INTEGER := 0;
B : FX_0P5 := 0.0;
RESULT_VALUE : FX_0P5 := 0.0;
LOWEST_ACCEPTABLE_VALUE : FX_0P5 := FX_0P5 (0.375);
HIGHEST_ACCEPTABLE_VALUE : FX_0P5 := FX_0P5 (0.375);
BEGIN
IF EQUAL (3, 3) THEN
A := 3;
B := FX_0P5 (0.125); END IF;
RESULT_VALUE := A * B;
IF (RESULT_VALUE < LOWEST_ACCEPTABLE_VALUE)
OR (RESULT_VALUE > HIGHEST_ACCEPTABLE_VALUE) THEN
FAILED ("RESULT OF ""*"" OUTSIDE RESULT MODEL INTERVAL "
& "FOR INTEGER * FIXED "
& "WHEN ALL VALUES ARE MODEL NUMBERS");
END IF;
END A;
B: DECLARE
A : FX_1 := 0.0;
B : INTEGER := 0;
RESULT_VALUE : FX_1 := 0.0;
LOWEST_ACCEPTABLE_VALUE : FX_1 := FX_1 (0.75);
HIGHEST_ACCEPTABLE_VALUE : FX_1 := FX_1 (0.75);
BEGIN
IF EQUAL (3, 3) THEN
A := FX_1 (0.125); B := 6;
END IF;
RESULT_VALUE := A * B;
IF (RESULT_VALUE < LOWEST_ACCEPTABLE_VALUE)
OR (RESULT_VALUE > HIGHEST_ACCEPTABLE_VALUE) THEN
FAILED ("RESULT OF ""*"" OUTSIDE RESULT MODEL INTERVAL "
& "FOR FIXED * INTEGER "
& "WHEN ALL VALUES ARE MODEL NUMBERS");
END IF;
END B;
C: DECLARE
A : INTEGER := 0;
B : FX_2 := 0.0;
RESULT_VALUE : FX_2 := 0.0;
LOW_COUNT : CONSTANT := (3 * (FORTH + 0) );
HIGH_COUNT : CONSTANT := (3 * (FORTH + 1) );
LOWEST_ACCEPTABLE_VALUE : FX_2
:= FX_2 (DEL4 * LOW_COUNT );
HIGHEST_ACCEPTABLE_VALUE : FX_2
:= FX_2 (DEL4 * HIGH_COUNT);
BEGIN
IF EQUAL (3, 3) THEN A := 3;
B := FX_2 (DEL4 * FORTH + DEL1 );
END IF;
RESULT_VALUE := A * B;
IF (RESULT_VALUE < LOWEST_ACCEPTABLE_VALUE)
OR (RESULT_VALUE > HIGHEST_ACCEPTABLE_VALUE) THEN
FAILED ("RESULT OF ""*"" OUTSIDE RESULT MODEL INTERVAL "
& "FOR INTEGER * FIXED FOR NON-MODEL NUMBERS");
END IF;
END C;
D: DECLARE
A : FX_2 := 0.0;
B : INTEGER := 0;
RESULT_VALUE : FX_2 := 0.0;
LOW_COUNT : CONSTANT := (3 * (FORTH + 0) );
HIGH_COUNT : CONSTANT := (3 * (FORTH + 1) );
LOWEST_ACCEPTABLE_VALUE : FX_2
:= FX_2 (DEL4 * LOW_COUNT );
HIGHEST_ACCEPTABLE_VALUE : FX_2
:= FX_2 (DEL4 * HIGH_COUNT);
BEGIN
IF EQUAL (3, 3) THEN A := FX_2 (DEL4 * FORTH + DEL1 );
B := 3;
END IF;
RESULT_VALUE := A * B;
IF (RESULT_VALUE < LOWEST_ACCEPTABLE_VALUE)
OR (RESULT_VALUE > HIGHEST_ACCEPTABLE_VALUE) THEN
FAILED ("RESULT OF ""*"" OUTSIDE RESULT MODEL INTERVAL "
& "FOR FIXED * INTEGER FOR NON-MODEL NUMBERS");
END IF;
END D;
RESULT;
END C45531A;