1-- C45531L.ADA 2 3-- Grant of Unlimited Rights 4-- 5-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, 6-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 7-- unlimited rights in the software and documentation contained herein. 8-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making 9-- this public release, the Government intends to confer upon all 10-- recipients unlimited rights equal to those held by the Government. 11-- These rights include rights to use, duplicate, release or disclose the 12-- released technical data and computer software in whole or in part, in 13-- any manner and for any purpose whatsoever, and to have or permit others 14-- to do so. 15-- 16-- DISCLAIMER 17-- 18-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR 19-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 20-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE 21-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 22-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A 23-- PARTICULAR PURPOSE OF SAID MATERIAL. 24--* 25-- OBJECTIVE: 26-- CHECK THAT THE OPERATOR "/" PRODUCES CORRECT RESULTS 27-- FOR MIXED FIXED POINT AND INTEGER TYPES USING 3 SUBTESTS. 28-- THIS TEST REQUIRES MIN_WORD_LENGTH = 32. 29-- THIS TEST USES VALUES OF DELTA WHICH ARE GREATER THAN OR 30-- EQUAL TO 0.5. 31-- 32-- TEST CASES ARE: 33-- A) FIXED / INTEGER WHEN ALL VALUES ARE MODEL NUMBERS. 34-- B) FIXED / INTEGER WITH NUMERATOR MODEL NUMBER AND RESULT NOT. 35-- C) FIXED / INTEGER FOR NON-MODEL NUMBERS. 36-- 37-- REPEAT FOR MINIMUM REQUIRED WORD LENGTHS OF 12, 16, 32 AND 48, 38-- WITH RANGE <, =, AND > THAN 1.0 AND 39-- WITH DELTA <, =, AND > THAN 1.0. 40 41-- HISTORY: 42-- NTW 09/08/86 CREATED ORIGINAL TEST. 43-- RJW 11/05/86 REVISED COMMENTS. 44-- DHH 01/13/88 ADDED APPLICABILITY CRITERIA AND STANDARD HEADER. 45-- BCB 04/27/90 REVISED APPLICABILITY CRITERIA. 46-- BCB 10/03/90 REMOVED APPLICABILITY CRITERIA AND N/A => ERROR 47-- LINE. CHANGED EXTENSION FROM '.DEP' TO '.ADA'. 48 49 50WITH REPORT; 51PROCEDURE C45531L IS 52 53 USE REPORT; 54 55 MIN_WORD_LENGTH : CONSTANT := 32; 56 FULL_SCALE : CONSTANT := 2 ** (MIN_WORD_LENGTH - 1); 57 FORTH : CONSTANT := FULL_SCALE / 4; 58 RNG1 : CONSTANT := FULL_SCALE * 0.5; 59 TYPE FX_0P5 IS DELTA 0.5 RANGE -RNG1 * 1 .. RNG1 * 1 - 0.5; 60 TYPE FX_1 IS DELTA 1.0 RANGE -RNG1 * 2 .. RNG1 * 2 - 1.0; 61 TYPE FX_RNG1 IS DELTA RNG1 62 RANGE -RNG1 * FULL_SCALE .. RNG1 * (FULL_SCALE - 1); 63 64BEGIN TEST ("C45531L", "MIXED FIXED POINT AND INTEGER ""/"" " 65 & "FOR DELTA <, =, > 1.0"); 66 67 -------------------------------------------------- 68 69 -- CASE A) FIXED / INTEGER WHEN ALL VALUES ARE MODEL NUMBERS. 70 71A: DECLARE 72 A : FX_0P5 := 0.0; 73 B : INTEGER := 0; 74 RESULT_VALUE : FX_0P5 := 0.0; 75 LOWEST_ACCEPTABLE_VALUE : FX_0P5 := FX_0P5 (1.5); 76 HIGHEST_ACCEPTABLE_VALUE : FX_0P5 := FX_0P5 (1.5); 77 BEGIN 78 IF EQUAL (3, 3) THEN 79 A := FX_0P5 (7.5); -- A MODEL NUMBER 80 B := 5; 81 END IF; 82 83 RESULT_VALUE := A / B; 84 85 IF (RESULT_VALUE < LOWEST_ACCEPTABLE_VALUE) 86 OR (RESULT_VALUE > HIGHEST_ACCEPTABLE_VALUE) THEN 87 FAILED ("RESULT OF ""/"" OUTSIDE RESULT MODEL INTERVAL " 88 & "FOR FIXED / INTEGER " 89 & "WHEN ALL VALUES ARE MODEL NUMBERS"); 90 END IF; 91 END A; 92 93 -------------------------------------------------- 94 95 -- CASE B) FIXED / INTEGER WITH NUMERATOR MODEL NUMBER, RESULT NOT 96 97B: DECLARE 98 A : FX_1 := 0.0; 99 B : INTEGER := 0; 100 RESULT_VALUE : FX_1 := 0.0; 101 LOWEST_ACCEPTABLE_VALUE : FX_1 102 := FX_1 (FORTH ); 103 HIGHEST_ACCEPTABLE_VALUE : FX_1 104 := FX_1 (FORTH + 1); 105 BEGIN 106 IF EQUAL (3, 3) THEN 107 A := FX_1 (3 * FORTH + 1); -- A MODEL NUMBER 108 B := 3; 109 END IF; 110 111 RESULT_VALUE := A / B; 112 113 IF (RESULT_VALUE < LOWEST_ACCEPTABLE_VALUE) 114 OR (RESULT_VALUE > HIGHEST_ACCEPTABLE_VALUE) THEN 115 FAILED ("RESULT OF ""/"" OUTSIDE RESULT MODEL INTERVAL " 116 & "FOR FIXED / INTEGER WITH NUMERATOR MODEL " 117 & "NUMBER, RESULT NOT"); 118 119 END IF; 120 END B; 121 122 -------------------------------------------------- 123 124 -- CASE C) FIXED / INTEGER FOR NON-MODEL NUMBERS 125 126C: DECLARE 127 A : FX_RNG1 := 0.0; 128 B : INTEGER := 0; 129 RESULT_VALUE : FX_RNG1 := 0.0; 130 LOWEST_ACCEPTABLE_VALUE : FX_RNG1 131 := FX_RNG1 (RNG1 * FORTH ); 132 HIGHEST_ACCEPTABLE_VALUE : FX_RNG1 133 := FX_RNG1 (RNG1 * (FORTH + 1) ); 134 BEGIN 135 IF EQUAL (3, 3) THEN -- A NOT MODEL NUMBER 136 A := FX_RNG1 (3 * (RNG1 * FORTH + 0.5) ); 137 B := 3; 138 END IF; 139 140 RESULT_VALUE := A / B; 141 142 IF (RESULT_VALUE < LOWEST_ACCEPTABLE_VALUE) 143 OR (RESULT_VALUE > HIGHEST_ACCEPTABLE_VALUE) THEN 144 FAILED ("RESULT OF ""/"" OUTSIDE RESULT MODEL INTERVAL " 145 & "FOR FIXED / INTEGER FOR NON-MODEL NUMBERS"); 146 END IF; 147 END C; 148 149 -------------------------------------------------- 150 151 152 RESULT; 153 154END C45531L; 155