WITH REPORT;
PROCEDURE C45531G IS
USE REPORT;
MIN_WORD_LENGTH : CONSTANT := 16;
FULL_SCALE : CONSTANT := 2 ** (MIN_WORD_LENGTH - 1);
FORTH : CONSTANT := FULL_SCALE / 4;
RNG1 : CONSTANT := FULL_SCALE * 0.5;
TYPE FX_0P5 IS DELTA 0.5 RANGE -RNG1 * 1 .. RNG1 * 1 - 0.5;
TYPE FX_1 IS DELTA 1.0 RANGE -RNG1 * 2 .. RNG1 * 2 - 1.0;
TYPE FX_RNG1 IS DELTA RNG1
RANGE -RNG1 * FULL_SCALE .. RNG1 * (FULL_SCALE - 1);
BEGIN TEST ("C45531G", "MIXED FIXED POINT AND INTEGER ""*"" "
& "FOR DELTA <, =, > 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 (7.5);
HIGHEST_ACCEPTABLE_VALUE : FX_0P5 := FX_0P5 (7.5);
BEGIN
IF EQUAL (3, 3) THEN
A := 3;
B := FX_0P5 (2.5); 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 (3 * FORTH);
HIGHEST_ACCEPTABLE_VALUE : FX_1 := FX_1 (3 * FORTH);
BEGIN
IF EQUAL (3, 3) THEN
A := FX_1 (FULL_SCALE / 8); 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_RNG1 := 0.0;
RESULT_VALUE : FX_RNG1 := 0.0;
LOW_COUNT : CONSTANT := (3 * (FORTH + 0) );
HIGH_COUNT : CONSTANT := (3 * (FORTH + 1) );
LOWEST_ACCEPTABLE_VALUE : FX_RNG1
:= FX_RNG1 (RNG1 * LOW_COUNT );
HIGHEST_ACCEPTABLE_VALUE : FX_RNG1
:= FX_RNG1 (RNG1 * HIGH_COUNT);
BEGIN
IF EQUAL (3, 3) THEN A := 3;
B := FX_RNG1 (RNG1 * FORTH + 0.5);
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_RNG1 := 0.0;
B : INTEGER := 0;
RESULT_VALUE : FX_RNG1 := 0.0;
LOW_COUNT : CONSTANT := (3 * (FORTH + 0) );
HIGH_COUNT : CONSTANT := (3 * (FORTH + 1) );
LOWEST_ACCEPTABLE_VALUE : FX_RNG1
:= FX_RNG1 (RNG1 * LOW_COUNT );
HIGHEST_ACCEPTABLE_VALUE : FX_RNG1
:= FX_RNG1 (RNG1 * HIGH_COUNT);
BEGIN
IF EQUAL (3, 3) THEN A := FX_RNG1 (RNG1 * FORTH + 0.5);
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 C45531G;