diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cxg/cxg2023.a')
-rw-r--r-- | gcc/testsuite/ada/acats/tests/cxg/cxg2023.a | 351 |
1 files changed, 0 insertions, 351 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cxg/cxg2023.a b/gcc/testsuite/ada/acats/tests/cxg/cxg2023.a deleted file mode 100644 index 0cdd5574e09..00000000000 --- a/gcc/testsuite/ada/acats/tests/cxg/cxg2023.a +++ /dev/null @@ -1,351 +0,0 @@ --- CXG2023.A --- --- Grant of Unlimited Rights --- --- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, --- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained --- unlimited rights in the software and documentation contained herein. --- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making --- this public release, the Government intends to confer upon all --- recipients unlimited rights equal to those held by the Government. --- These rights include rights to use, duplicate, release or disclose the --- released technical data and computer software in whole or in part, in --- any manner and for any purpose whatsoever, and to have or permit others --- to do so. --- --- DISCLAIMER --- --- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR --- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED --- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE --- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE --- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A --- PARTICULAR PURPOSE OF SAID MATERIAL. ---* --- --- OBJECTIVE: --- Check that multiplication and division of decimal fixed point --- numbers produce exact results. --- --- TEST DESCRIPTION: --- Check that multiplication and division of decimal fixed point --- numbers produce exact results. --- --- SPECIAL REQUIREMENTS --- The Strict Mode for the numerical accuracy must be --- selected. The method by which this mode is selected --- is implementation dependent. --- --- APPLICABILITY CRITERIA: --- This test applies only to implementations supporting the --- Numerics Annex. --- This test only applies to the Strict Mode for numerical --- accuracy. --- This test applies only to implementations supporting --- decimal fixed point types of at least 9 digits. --- --- --- CHANGE HISTORY: --- 3 Apr 96 SAIC Initial release for 2.1 --- ---! - -with System; -with Report; -procedure CXG2023 is - Verbose : constant Boolean := False; - -procedure Check_1 is - Num_Digits : constant := 6; - type Pennies is delta 0.01 digits Num_Digits; - type Franklins is delta 100.0 digits Num_Digits; - type Dollars is delta 1.0 digits Num_Digits; - - P1 : Pennies; - F1 : Franklins; - D1 : Dollars; - - -- optimization thwarting functions - - function P (X : Pennies) return Pennies is - begin - if Report.Ident_Bool (True) then - return X; - else - return 3.21; -- never executed - end if; - end P; - - - function F (X : Franklins) return Franklins is - begin - if Report.Ident_Bool (True) then - return X; - else - return 32100.0; -- never executed - end if; - end F; - - - function D (X : Dollars) return Dollars is - begin - if Report.Ident_Bool (True) then - return X; - else - return 321.0; -- never executed - end if; - end D; - - -begin - -- multiplication where one operand is universal real - - P1 := P(0.05) * 200.0; - if P1 /= 10.00 then - Report.Failed ("1 - expected 10.00 got " & Pennies'Image (P1)); - end if; - - D1 := P(0.05) * 100.0; - if D1 /= 5.00 then - Report.Failed ("2 - expected 5.00 got " & Dollars'Image (D1)); - end if; - - F1 := P(0.05) * 50_000.0; - if F1 /= 2500.00 then - Report.Failed ("3 - expected 2500.0 got " & Franklins'Image (F1)); - end if; - - -- multiplication where both operands are decimal fixed - - P1 := P(0.05) * D(-200.0); - if P1 /= -10.00 then - Report.Failed ("4 - expected -10.00 got " & Pennies'Image (P1)); - end if; - - D1 := P(0.05) * P(-100.0); - if D1 /= -5.00 then - Report.Failed ("5 - expected -5.00 got " & Dollars'Image (D1)); - end if; - - F1 := P(-0.05) * F(50_000.0); - if F1 /= -2500.00 then - Report.Failed ("6 - expected -2500.0 got " & Franklins'Image (F1)); - end if; - - -- division where one operand is universal real - - P1 := P(0.05) / 0.001; - if P1 /= 50.00 then - Report.Failed ("7 - expected 50.00 got " & Pennies'Image (P1)); - end if; - - D1 := D(1000.0) / 3.0; - if D1 /= 333.00 then - Report.Failed ("8 - expected 333.00 got " & Dollars'Image (D1)); - end if; - - F1 := P(1234.56) / 0.0001; - if F1 /= 12345600.00 then - Report.Failed ("9 - expected 12345600.0 got " & Franklins'Image (F1)); - end if; - - - -- division where both operands are decimal fixed - - P1 := P(0.05) / D(1.0); - if P1 /= 0.05 then - Report.Failed ("10 - expected 0.05 got " & Pennies'Image (P1)); - end if; - - -- check for truncation toward 0 - D1 := P(-101.00) / P(2.0); - if D1 /= -50.00 then - Report.Failed ("11 - expected -50.00 got " & Dollars'Image (D1)); - end if; - - P1 := P(-102.03) / P(-0.5); - if P1 /= 204.06 then - Report.Failed ("12 - expected 204.06 got " & Pennies'Image (P1)); - end if; - - F1 := P(876.54) / P(0.03); - if F1 /= 29200.00 then - Report.Failed ("13 - expected 29200.0 got " & Franklins'Image (F1)); - end if; - -exception - when others => - Report.Failed ("unexpected exception in Check_1"); -end Check_1; - -generic - type Pennies is delta<> digits<>; - type Dollars is delta<> digits<>; - type Franklins is delta<> digits<>; -procedure Generic_Check; -procedure Generic_Check is - - -- the following code is copied directly from the - -- above procedure Check_1 - - P1 : Pennies; - F1 : Franklins; - D1 : Dollars; - - -- optimization thwarting functions - - function P (X : Pennies) return Pennies is - begin - if Report.Ident_Bool (True) then - return X; - else - return 3.21; -- never executed - end if; - end P; - - - function F (X : Franklins) return Franklins is - begin - if Report.Ident_Bool (True) then - return X; - else - return 32100.0; -- never executed - end if; - end F; - - - function D (X : Dollars) return Dollars is - begin - if Report.Ident_Bool (True) then - return X; - else - return 321.0; -- never executed - end if; - end D; - - -begin - -- multiplication where one operand is universal real - - P1 := P(0.05) * 200.0; - if P1 /= 10.00 then - Report.Failed ("1 - expected 10.00 got " & Pennies'Image (P1)); - end if; - - D1 := P(0.05) * 100.0; - if D1 /= 5.00 then - Report.Failed ("2 - expected 5.00 got " & Dollars'Image (D1)); - end if; - - F1 := P(0.05) * 50_000.0; - if F1 /= 2500.00 then - Report.Failed ("3 - expected 2500.0 got " & Franklins'Image (F1)); - end if; - - -- multiplication where both operands are decimal fixed - - P1 := P(0.05) * D(-200.0); - if P1 /= -10.00 then - Report.Failed ("4 - expected -10.00 got " & Pennies'Image (P1)); - end if; - - D1 := P(0.05) * P(-100.0); - if D1 /= -5.00 then - Report.Failed ("5 - expected -5.00 got " & Dollars'Image (D1)); - end if; - - F1 := P(-0.05) * F(50_000.0); - if F1 /= -2500.00 then - Report.Failed ("6 - expected -2500.0 got " & Franklins'Image (F1)); - end if; - - -- division where one operand is universal real - - P1 := P(0.05) / 0.001; - if P1 /= 50.00 then - Report.Failed ("7 - expected 50.00 got " & Pennies'Image (P1)); - end if; - - D1 := D(1000.0) / 3.0; - if D1 /= 333.00 then - Report.Failed ("8 - expected 333.00 got " & Dollars'Image (D1)); - end if; - - F1 := P(1234.56) / 0.0001; - if F1 /= 12345600.00 then - Report.Failed ("9 - expected 12345600.0 got " & Franklins'Image (F1)); - end if; - - - -- division where both operands are decimal fixed - - P1 := P(0.05) / D(1.0); - if P1 /= 0.05 then - Report.Failed ("10 - expected 0.05 got " & Pennies'Image (P1)); - end if; - - -- check for truncation toward 0 - D1 := P(-101.00) / P(2.0); - if D1 /= -50.00 then - Report.Failed ("11 - expected -50.00 got " & Dollars'Image (D1)); - end if; - - P1 := P(-102.03) / P(-0.5); - if P1 /= 204.06 then - Report.Failed ("12 - expected 204.06 got " & Pennies'Image (P1)); - end if; - - F1 := P(876.54) / P(0.03); - if F1 /= 29200.00 then - Report.Failed ("13 - expected 29200.0 got " & Franklins'Image (F1)); - end if; - -end Generic_Check; - - -procedure Check_G6 is - Num_Digits : constant := 6; - type Pennies is delta 0.01 digits Num_Digits; - type Franklins is delta 100.0 digits Num_Digits; - type Dollars is delta 1.0 digits Num_Digits; - - procedure G is new Generic_Check (Pennies, Dollars, Franklins); -begin - G; -end Check_G6; - - -procedure Check_G9 is - Num_Digits : constant := 9; - type Pennies is delta 0.01 digits Num_Digits; - type Franklins is delta 100.0 digits Num_Digits; - type Dollars is delta 1.0 digits Num_Digits; - - procedure G is new Generic_Check (Pennies, Dollars, Franklins); -begin - G; -end Check_G9; - - -begin -- main - Report.Test ("CXG2023", - "Check the accuracy of multiplication and division" & - " of decimal fixed point numbers"); - - if Verbose then - Report.Comment ("starting Check_1"); - end if; - Check_1; - - if Verbose then - Report.Comment ("starting Check_G6"); - end if; - Check_G6; - - if Verbose then - Report.Comment ("starting Check_G9"); - end if; - Check_G9; - - Report.Result; -end CXG2023; |