URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [cc/] [cc1308a.ada] - Blame information for rev 720

Details | Compare with Previous | View Log


-- CC1308A.ADA
 
--                             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 FORMAL SUBPROGRAM PARAMETERS MAY OVERLOAD EACH OTHER
--     AND OTHER VISIBLE SUBPROGRAMS AND ENUMERATION LITERALS WITHIN AND
--     OUTSIDE OF THE GENERIC UNIT.
 
-- HISTORY:
--     DAT 09/08/81  CREATED ORIGINAL TEST.
--     SPS 10/26/82
--     SPS 02/09/83
--     BCB 08/09/88  REPLACED THE OLD TEST WITH A VERSION BASED ON
--                   AIG 6.6/T2.
 
WITH REPORT; USE REPORT;
 
PROCEDURE CC1308A IS
 
     TYPE ENUM IS (F1,F2,F3,F4,F5,F6,F7);
 
     FUNCTION F1 (X : INTEGER) RETURN INTEGER IS
     BEGIN
          RETURN 2*X;
     END F1;
 
     PROCEDURE F1 (X : IN OUT INTEGER) IS
     BEGIN
          X := 3*X;
     END F1;
 
     PROCEDURE F2 (Y : IN OUT INTEGER; Z : IN OUT BOOLEAN) IS
     BEGIN
          Y := 2*Y;
          Z := NOT Z;
     END F2;
 
     PROCEDURE F2 (Y : IN OUT INTEGER) IS
     BEGIN
          Y := 3*Y;
     END F2;
 
     PROCEDURE F3 (B : BOOLEAN := FALSE; A : IN OUT INTEGER) IS
     BEGIN
          A := 2*A;
     END F3;
 
     PROCEDURE F3 (A : IN OUT INTEGER) IS
     BEGIN
          A := 3*A;
     END F3;
 
     PROCEDURE F4 (C : IN OUT INTEGER) IS
     BEGIN
          C := 2*C;
     END F4;
 
     PROCEDURE F4 (C : IN OUT BOOLEAN) IS
     BEGIN
          C := NOT C;
     END F4;
 
     PROCEDURE F5 (D : IN OUT INTEGER; E : IN OUT BOOLEAN) IS
     BEGIN
          D := 2*D;
          E := NOT E;
     END F5;
 
     PROCEDURE F5 (E : IN OUT BOOLEAN; D : IN OUT INTEGER) IS
     BEGIN
          E := NOT E;
          D := 3*D;
     END F5;
 
     FUNCTION F6 (G : INTEGER) RETURN INTEGER IS
     BEGIN
          RETURN 2*G;
     END F6;
 
     FUNCTION F6 (G : INTEGER) RETURN BOOLEAN IS
     BEGIN
          RETURN TRUE;
     END F6;
 
     FUNCTION F7 RETURN INTEGER IS
     BEGIN
          RETURN 25;
     END F7;
 
     FUNCTION F7 RETURN BOOLEAN IS
     BEGIN
          RETURN FALSE;
     END F7;
 
BEGIN
     TEST ("CC1308A", "CHECK THAT FORMAL SUBPROGRAM PARAMETERS MAY " &
                      "OVERLOAD EACH OTHER AND OTHER VISIBLE " &
                      "SUBPROGRAMS AND ENUMERATION LITERALS WITHIN " &
                      "AND OUTSIDE OF THE GENERIC UNIT");
 
     DECLARE
          GENERIC
               WITH FUNCTION F1 (X : INTEGER) RETURN INTEGER;
               WITH PROCEDURE F1 (X : IN OUT INTEGER);
 
               WITH PROCEDURE F2 (Y : IN OUT INTEGER;
                                  Z : IN OUT BOOLEAN);
               WITH PROCEDURE F2 (Y : IN OUT INTEGER);
 
               WITH PROCEDURE F3 (B : BOOLEAN := FALSE;
                                  A : IN OUT INTEGER);
               WITH PROCEDURE F3 (A : IN OUT INTEGER);
 
               WITH PROCEDURE F4 (C : IN OUT INTEGER);
               WITH PROCEDURE F4 (C : IN OUT BOOLEAN);
 
               WITH PROCEDURE F5 (D : IN OUT INTEGER;
                                  E : IN OUT BOOLEAN);
               WITH PROCEDURE F5 (E : IN OUT BOOLEAN;
                                  D : IN OUT INTEGER);
 
               WITH FUNCTION F6 (G : INTEGER) RETURN INTEGER;
               WITH FUNCTION F6 (G : INTEGER) RETURN BOOLEAN;
 
               WITH FUNCTION F7 RETURN INTEGER;
               WITH FUNCTION F7 RETURN BOOLEAN;
          PACKAGE P IS
               TYPE EN IS (F1,F2,F3,F4,F5,F6,F7);
          END P;
 
          PACKAGE BODY P IS
               X1, X2, Y1, Y2, A1, A2, C1, D1, D2, G1
                  : INTEGER := IDENT_INT(5);
 
               VAL : INTEGER := IDENT_INT(0);
 
               Z1, B1, C2, E1, E2, BOOL : BOOLEAN := IDENT_BOOL(FALSE);
          BEGIN
               VAL := F1(X1);
 
               IF NOT EQUAL(VAL,10) THEN
                    FAILED ("CASE 1 - WRONG VALUE RETURNED FROM " &
                            "FUNCTION");
               END IF;
 
               F1(X2);
 
               IF NOT EQUAL(X2,15) THEN
                    FAILED ("CASE 1 - WRONG VALUE ASSIGNED INSIDE " &
                            "PROCEDURE");
               END IF;
 
               F2(Y1,Z1);
 
               IF NOT EQUAL(Y1,10) OR Z1 /= TRUE THEN
                    FAILED ("CASE 2 - WRONG VALUES ASSIGNED INSIDE " &
                            "PROCEDURE");
               END IF;
 
               F2(Y2);
 
               IF NOT EQUAL(Y2,15) THEN
                    FAILED ("CASE 2 - WRONG VALUE ASSIGNED INSIDE " &
                            "PROCEDURE");
               END IF;
 
               F3(B1,A1);
 
               IF NOT EQUAL(A1,10) OR B1 /= FALSE THEN
                    FAILED ("CASE 3 - WRONG VALUES ASSIGNED INSIDE " &
                            "PROCEDURE");
               END IF;
 
               F3(A2);
 
               IF NOT EQUAL(A2,15) THEN
                    FAILED ("CASE 3 - WRONG VALUE ASSIGNED INSIDE " &
                            "PROCEDURE");
               END IF;
 
               F4(C1);
 
               IF NOT EQUAL(C1,10) THEN
                    FAILED ("CASE 4 - WRONG VALUE ASSIGNED INSIDE " &
                            "PROCEDURE - BASE TYPE INTEGER");
               END IF;
 
               F4(C2);
 
               IF C2 /= TRUE THEN
                    FAILED ("CASE 4 - WRONG VALUE ASSIGNED INSIDE " &
                            "PROCEDURE - BASE TYPE BOOLEAN");
               END IF;
 
               F5(D1,E1);
 
               IF NOT EQUAL(D1,10) OR E1 /= TRUE THEN
                    FAILED ("CASE 5 - WRONG VALUES ASSIGNED INSIDE " &
                            "PROCEDURE - ORDER WAS INTEGER, BOOLEAN");
               END IF;
 
               F5(E2,D2);
 
               IF E2 /= TRUE OR NOT EQUAL(D2,15) THEN
                    FAILED ("CASE 5 - WRONG VALUES ASSIGNED INSIDE " &
                            "PROCEDURE - ORDER WAS BOOLEAN, INTEGER");
               END IF;
 
               VAL := F6(G1);
 
               IF NOT EQUAL(VAL,10) THEN
                    FAILED ("CASE 6 - WRONG VALUE RETURNED FROM " &
                            "FUNCTION - TYPE INTEGER");
               END IF;
 
               BOOL := F6(G1);
 
               IF BOOL /= TRUE THEN
                    FAILED ("CASE 6 - WRONG VALUE RETURNED FROM " &
                            "FUNCTION - TYPE BOOLEAN");
               END IF;
 
               VAL := F7;
 
               IF NOT EQUAL(VAL,25) THEN
                    FAILED ("CASE 7 - WRONG VALUE RETURNED FROM " &
                            "PARAMETERLESS FUNCTION - TYPE INTEGER");
               END IF;
 
               BOOL := F7;
 
               IF BOOL /= FALSE THEN
                    FAILED ("CASE 7 - WRONG VALUE RETURNED FROM " &
                            "PARAMETERLESS FUNCTION - TYPE BOOLEAN");
               END IF;
          END P;
 
          PACKAGE NEW_P IS NEW P (F1, F1, F2, F2, F3, F3,
                                  F4, F4, F5, F5, F6, F6, F7, F7);
     BEGIN
          NULL;
     END;
 
     RESULT;
END CC1308A;

Browse

Tools

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [cc/] [cc1308a.ada] - Blame information for rev 720

Line No.	Rev	Author	Line
1	720	jeremybenn	`-- CC1308A.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 FORMAL SUBPROGRAM PARAMETERS MAY OVERLOAD EACH OTHER`
27			`-- AND OTHER VISIBLE SUBPROGRAMS AND ENUMERATION LITERALS WITHIN AND`
28			`-- OUTSIDE OF THE GENERIC UNIT.`
29
30			`-- HISTORY:`
31			`-- DAT 09/08/81 CREATED ORIGINAL TEST.`
32			`-- SPS 10/26/82`
33			`-- SPS 02/09/83`
34			`-- BCB 08/09/88 REPLACED THE OLD TEST WITH A VERSION BASED ON`
35			`-- AIG 6.6/T2.`
36
37			`WITH REPORT; USE REPORT;`
38
39			`PROCEDURE CC1308A IS`
40
41			`TYPE ENUM IS (F1,F2,F3,F4,F5,F6,F7);`
42
43			`FUNCTION F1 (X : INTEGER) RETURN INTEGER IS`
44			`BEGIN`
45			`RETURN 2*X;`
46			`END F1;`
47
48			`PROCEDURE F1 (X : IN OUT INTEGER) IS`
49			`BEGIN`
50			`X := 3*X;`
51			`END F1;`
52
53			`PROCEDURE F2 (Y : IN OUT INTEGER; Z : IN OUT BOOLEAN) IS`
54			`BEGIN`
55			`Y := 2*Y;`
56			`Z := NOT Z;`
57			`END F2;`
58
59			`PROCEDURE F2 (Y : IN OUT INTEGER) IS`
60			`BEGIN`
61			`Y := 3*Y;`
62			`END F2;`
63
64			`PROCEDURE F3 (B : BOOLEAN := FALSE; A : IN OUT INTEGER) IS`
65			`BEGIN`
66			`A := 2*A;`
67			`END F3;`
68
69			`PROCEDURE F3 (A : IN OUT INTEGER) IS`
70			`BEGIN`
71			`A := 3*A;`
72			`END F3;`
73
74			`PROCEDURE F4 (C : IN OUT INTEGER) IS`
75			`BEGIN`
76			`C := 2*C;`
77			`END F4;`
78
79			`PROCEDURE F4 (C : IN OUT BOOLEAN) IS`
80			`BEGIN`
81			`C := NOT C;`
82			`END F4;`
83
84			`PROCEDURE F5 (D : IN OUT INTEGER; E : IN OUT BOOLEAN) IS`
85			`BEGIN`
86			`D := 2*D;`
87			`E := NOT E;`
88			`END F5;`
89
90			`PROCEDURE F5 (E : IN OUT BOOLEAN; D : IN OUT INTEGER) IS`
91			`BEGIN`
92			`E := NOT E;`
93			`D := 3*D;`
94			`END F5;`
95
96			`FUNCTION F6 (G : INTEGER) RETURN INTEGER IS`
97			`BEGIN`
98			`RETURN 2*G;`
99			`END F6;`
100
101			`FUNCTION F6 (G : INTEGER) RETURN BOOLEAN IS`
102			`BEGIN`
103			`RETURN TRUE;`
104			`END F6;`
105
106			`FUNCTION F7 RETURN INTEGER IS`
107			`BEGIN`
108			`RETURN 25;`
109			`END F7;`
110
111			`FUNCTION F7 RETURN BOOLEAN IS`
112			`BEGIN`
113			`RETURN FALSE;`
114			`END F7;`
115
116			`BEGIN`
117			`TEST ("CC1308A", "CHECK THAT FORMAL SUBPROGRAM PARAMETERS MAY " &`
118			`"OVERLOAD EACH OTHER AND OTHER VISIBLE " &`
119			`"SUBPROGRAMS AND ENUMERATION LITERALS WITHIN " &`
120			`"AND OUTSIDE OF THE GENERIC UNIT");`
121
122			`DECLARE`
123			`GENERIC`
124			`WITH FUNCTION F1 (X : INTEGER) RETURN INTEGER;`
125			`WITH PROCEDURE F1 (X : IN OUT INTEGER);`
126
127			`WITH PROCEDURE F2 (Y : IN OUT INTEGER;`
128			`Z : IN OUT BOOLEAN);`
129			`WITH PROCEDURE F2 (Y : IN OUT INTEGER);`
130
131			`WITH PROCEDURE F3 (B : BOOLEAN := FALSE;`
132			`A : IN OUT INTEGER);`
133			`WITH PROCEDURE F3 (A : IN OUT INTEGER);`
134
135			`WITH PROCEDURE F4 (C : IN OUT INTEGER);`
136			`WITH PROCEDURE F4 (C : IN OUT BOOLEAN);`
137
138			`WITH PROCEDURE F5 (D : IN OUT INTEGER;`
139			`E : IN OUT BOOLEAN);`
140			`WITH PROCEDURE F5 (E : IN OUT BOOLEAN;`
141			`D : IN OUT INTEGER);`
142
143			`WITH FUNCTION F6 (G : INTEGER) RETURN INTEGER;`
144			`WITH FUNCTION F6 (G : INTEGER) RETURN BOOLEAN;`
145
146			`WITH FUNCTION F7 RETURN INTEGER;`
147			`WITH FUNCTION F7 RETURN BOOLEAN;`
148			`PACKAGE P IS`
149			`TYPE EN IS (F1,F2,F3,F4,F5,F6,F7);`
150			`END P;`
151
152			`PACKAGE BODY P IS`
153			`X1, X2, Y1, Y2, A1, A2, C1, D1, D2, G1`
154			`: INTEGER := IDENT_INT(5);`
155
156			`VAL : INTEGER := IDENT_INT(0);`
157
158			`Z1, B1, C2, E1, E2, BOOL : BOOLEAN := IDENT_BOOL(FALSE);`
159			`BEGIN`
160			`VAL := F1(X1);`
161
162			`IF NOT EQUAL(VAL,10) THEN`
163			`FAILED ("CASE 1 - WRONG VALUE RETURNED FROM " &`
164			`"FUNCTION");`
165			`END IF;`
166
167			`F1(X2);`
168
169			`IF NOT EQUAL(X2,15) THEN`
170			`FAILED ("CASE 1 - WRONG VALUE ASSIGNED INSIDE " &`
171			`"PROCEDURE");`
172			`END IF;`
173
174			`F2(Y1,Z1);`
175
176			`IF NOT EQUAL(Y1,10) OR Z1 /= TRUE THEN`
177			`FAILED ("CASE 2 - WRONG VALUES ASSIGNED INSIDE " &`
178			`"PROCEDURE");`
179			`END IF;`
180
181			`F2(Y2);`
182
183			`IF NOT EQUAL(Y2,15) THEN`
184			`FAILED ("CASE 2 - WRONG VALUE ASSIGNED INSIDE " &`
185			`"PROCEDURE");`
186			`END IF;`
187
188			`F3(B1,A1);`
189
190			`IF NOT EQUAL(A1,10) OR B1 /= FALSE THEN`
191			`FAILED ("CASE 3 - WRONG VALUES ASSIGNED INSIDE " &`
192			`"PROCEDURE");`
193			`END IF;`
194
195			`F3(A2);`
196
197			`IF NOT EQUAL(A2,15) THEN`
198			`FAILED ("CASE 3 - WRONG VALUE ASSIGNED INSIDE " &`
199			`"PROCEDURE");`
200			`END IF;`
201
202			`F4(C1);`
203
204			`IF NOT EQUAL(C1,10) THEN`
205			`FAILED ("CASE 4 - WRONG VALUE ASSIGNED INSIDE " &`
206			`"PROCEDURE - BASE TYPE INTEGER");`
207			`END IF;`
208
209			`F4(C2);`
210
211			`IF C2 /= TRUE THEN`
212			`FAILED ("CASE 4 - WRONG VALUE ASSIGNED INSIDE " &`
213			`"PROCEDURE - BASE TYPE BOOLEAN");`
214			`END IF;`
215
216			`F5(D1,E1);`
217
218			`IF NOT EQUAL(D1,10) OR E1 /= TRUE THEN`
219			`FAILED ("CASE 5 - WRONG VALUES ASSIGNED INSIDE " &`
220			`"PROCEDURE - ORDER WAS INTEGER, BOOLEAN");`
221			`END IF;`
222
223			`F5(E2,D2);`
224
225			`IF E2 /= TRUE OR NOT EQUAL(D2,15) THEN`
226			`FAILED ("CASE 5 - WRONG VALUES ASSIGNED INSIDE " &`
227			`"PROCEDURE - ORDER WAS BOOLEAN, INTEGER");`
228			`END IF;`
229
230			`VAL := F6(G1);`
231
232			`IF NOT EQUAL(VAL,10) THEN`
233			`FAILED ("CASE 6 - WRONG VALUE RETURNED FROM " &`
234			`"FUNCTION - TYPE INTEGER");`
235			`END IF;`
236
237			`BOOL := F6(G1);`
238
239			`IF BOOL /= TRUE THEN`
240			`FAILED ("CASE 6 - WRONG VALUE RETURNED FROM " &`
241			`"FUNCTION - TYPE BOOLEAN");`
242			`END IF;`
243
244			`VAL := F7;`
245
246			`IF NOT EQUAL(VAL,25) THEN`
247			`FAILED ("CASE 7 - WRONG VALUE RETURNED FROM " &`
248			`"PARAMETERLESS FUNCTION - TYPE INTEGER");`
249			`END IF;`
250
251			`BOOL := F7;`
252
253			`IF BOOL /= FALSE THEN`
254			`FAILED ("CASE 7 - WRONG VALUE RETURNED FROM " &`
255			`"PARAMETERLESS FUNCTION - TYPE BOOLEAN");`
256			`END IF;`
257			`END P;`
258
259			`PACKAGE NEW_P IS NEW P (F1, F1, F2, F2, F3, F3,`
260			`F4, F4, F5, F5, F6, F6, F7, F7);`
261			`BEGIN`
262			`NULL;`
263			`END;`
264
265			`RESULT;`
266			`END CC1308A;`