Subversion Repositories openrisc_2011-10-31

-- MACRO.DFS

-- THIS FILE CONTAINS THE MACRO DEFINITIONS USED IN THE ACVC TESTS.

-- THESE DEFINITIONS ARE USED BY THE ACVC TEST PRE-PROCESSOR,

-- MACROSUB. MACROSUB WILL CALCULATE VALUES FOR THOSE MACRO SYMBOLS

-- WHOSE DEFINITIONS DEPEND ON THE VALUE OF MAX_IN_LEN (NAMELY, THE

-- VALUES OF THE MACRO SYMBOLS BIG_ID1, BIG_ID2, BIG_ID3, BIG_ID4,

-- BIG_STRING1, BIG_STRING2, MAX_STRING_LITERAL, BIG_INT_LIT, BIG_REAL_LIT,

-- AND BLANKS).  THEREFORE, ANY VALUES GIVEN IN THIS FILE FOR THOSE

-- MACRO SYMBOLS WILL BE IGNORED BY MACROSUB.

-- NOTE: AS REQUIRED BY THE MACROSUB PROGRAM, THE FIRST MACRO DEFINED

-- IN THIS FILE IS $MAX_IN_LEN.  THE NEXT 5 MACRO DEFINITIONS

-- ARE FOR THOSE MACRO SYMBOLS THAT DEPEND ON THE VALUE OF

-- MAX_IN_LEN.  THESE ARE IN ALPHABETIC ORDER.  FOLLOWING THESE

-- ARE 36 MORE DEFINITIONS, ALSO IN ALPHABETIC ORDER.

-- EACH DEFINITION IS ACCORDING TO THE FOLLOWING FORMAT:

-- A. A NUMBER OF LINES PRECEDED BY THE ADA COMMENT DELIMITER, --.

--    THE FIRST OF THESE LINES CONTAINS THE MACRO SYMBOL AS IT APPEARS

--    IN THE TEST FILES (WITH THE DOLLAR SIGN).  THE NEXT FEW "COMMENT"

--    LINES CONTAIN A DESCRIPTION OF THE VALUE TO BE SUBSTITUTED.

--    THE REMAINING "COMMENT" LINES, THE FIRST OF WHICH BEGINS WITH THE

--    WORDS "USED IN:  " (NO QUOTES), CONTAIN A LIST OF THE TEST FILES

--    (WITHOUT THE .TST EXTENSION) IN WHICH THE MACRO SYMBOL APPEARS.

--    EACH TEST FILE NAME IS PRECEDED BY ONE OR MORE BLANKS.

-- B. A LINE, WITHOUT THE COMMENT DELIMITER, CONSISTING OF THE

--    IDENTIFIER (WITHOUT THE DOLLAR SIGN) OF THE MACRO SYMBOL,

--    FOLLOWED BY A SPACE OR TAB, FOLLOWED BY THE VALUE TO BE

--    SUBSTITUTED.  IN THE DISTRIBUTION FILE, A SAMPLE VALUE IS

--    PROVIDED; THIS VALUE MUST BE REPLACED BY A VALUE APPROPRIATE TO

--    THE IMPLEMENTATION.

-- DEFINITIONS ARE SEPARATED BY ONE OR MORE EMPTY LINES.

-- THE LIST OF DEFINITIONS BEGINS AFTER THE FOLLOWING EMPTY LINE.

-- $MAX_IN_LEN

-- AN INTEGER LITERAL GIVING THE MAXIMUM LENGTH PERMITTED BY THE

-- COMPILER FOR A LINE OF ADA SOURCE CODE (NOT INCLUDING AN END-OF-LINE

-- CHARACTER).

-- USED IN:  A26007A

MAX_IN_LEN                200

-- $MAX_STRING_LITERAL

-- A STRING LITERAL CONSISTING OF $MAX_IN_LEN CHARACTERS (INCLUDING THE

-- QUOTE CHARACTERS).

-- USED IN:  A26007A

MAX_STRING_LITERAL      "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA"

-- $BIG_ID1

-- AN IDENTIFIER IN WHICH THE NUMBER OF CHARACTERS IS $MAX_IN_LEN.

-- THE MACROSUB PROGRAM WILL SUPPLY AN IDENTIFIER IN WHICH THE

-- LAST CHARACTER IS '1' AND ALL OTHERS ARE 'A'.

-- USED IN:  C23003A  C23003B  C23003G  C23003I

--           C35502D  C35502F

BIG_ID1  AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA1

-- $BIG_ID2

-- AN IDENTIFIER IN WHICH THE NUMBER OF CHARACTERS IS $MAX_IN_LEN,

-- DIFFERING FROM $BIG_ID1 ONLY IN THE LAST CHARACTER.  THE MACROSUB

-- PROGRAM WILL USE '2' AS THE LAST CHARACTER.

-- USED IN:  C23003A  C23003B  B23003F  C23003G  C23003I

BIG_ID2  AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA2

-- $BIG_ID3

-- AN IDENTIFIER IN WHICH THE NUMBER OF CHARACTERS IS $MAX_IN_LEN.

-- MACROSUB WILL USE '3' AS THE "MIDDLE" CHARACTER; ALL OTHERS ARE 'A'.

-- USED IN:  C23003A  C23003B  C23003G  C23003I

BIG_ID3  AAAAAAAAAAAAAAAAAAAAAAAAAAAAA3AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA

-- $BIG_ID4

-- AN IDENTIFIER IN WHICH THE NUMBER OF CHARACTERS IS $MAX_IN_LEN,

-- DIFFERING FROM $BIG_ID3 ONLY IN THE MIDDLE CHARACTER.  MACROSUB

-- WILL USE '4' AS THE MIDDLE CHARACTER.

-- USED IN:  C23003A  C23003B  C23003G  C23003I

BIG_ID4  AAAAAAAAAAAAAAAAAAAAAAAAAAAAA4AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA

-- $BIG_STRING1

-- A STRING LITERAL (WITH QUOTES) WHOSE CATENATION WITH $BIG_STRING2

-- ($BIG_STRING1 & $BIG_STRING2) PRODUCES THE IMAGE OF $BIG_ID1.

-- USED IN:  C35502D  C35502F

BIG_STRING1  "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA"

-- $BIG_STRING2

-- A STRING LITERAL (WITH QUOTES) WHOSE CATENATION WITH $BIG_STRING1

-- ($BIG_STRING1 & $BIG_STRING2) PRODUCES THE IMAGE OF $BIG_ID1.

-- USED IN:  C35502D  C35502F

BIG_STRING2  "AAAAAAAAAAAAAAAAAAAAAAAAAAAAA1"

-- $BLANKS

-- A SEQUENCE OF ($MAX_IN_LEN - 20) BLANKS.

-- USED IN:  B22001A  B22001B  B22001C  B22001D  B22001E  B22001F

--           B22001G  B22001I  B22001J  B22001K  B22001L  B22001M

--           B22001N

--      <       LIMITS OF SAMPLE SHOWN BY ANGLE BRACKETS           >

BLANKS

-- $ACC_SIZE

-- AN INTEGER LITERAL WHOSE VALUE IS THE MINIMUM NUMBER OF BITS

-- SUFFICIENT TO HOLD ANY VALUE OF AN ACCESS TYPE.

-- USED IN:  CD2A83C  BD2A02A

ACC_SIZE                  ACATS4GNATBIT

-- $ALIGNMENT

-- A VALUE THAT IS LEGITIMATE FOR USE IN A RECORD ALIGNMENT CLAUSE.

-- USED IN:  CD4041A BD4006A

ALIGNMENT 4

-- $COUNT_LAST

-- AN INTEGER LITERAL WHOSE VALUE IS TEXT_IO.COUNT'LAST.

-- USED IN:  CE3002B

COUNT_LAST                2147483647

-- $ENTRY_ADDRESS

-- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A TASK ENTRY

-- (I.E., FOR AN INTERRUPT) FOR THIS IMPLEMENTATION.

-- USED IN:  SPPRT13SP

ENTRY_ADDRESS  ENTRY_ADDR

-- $ENTRY_ADDRESS1

-- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A TASK ENTRY

-- (I.E., FOR AN INTERRUPT) FOR THIS IMPLEMENTATION.  THE ADDRESS

-- MUST BE DISTINCT FROM THAT USED IN $ENTRY_ADDRESS.

-- USED IN:  SPPRT13SP

ENTRY_ADDRESS1  ENTRY_ADDR1

-- $ENTRY_ADDRESS2

-- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A TASK ENTRY

-- (I.E., FOR AN INTERRUPT) FOR THIS IMPLEMENTATION.  THE ADDRESS

-- MUST BE DISTINCT FROM THOSE USED IN $ENTRY_ADDRESS

-- AND $ENTRY_ADDRESS1.

-- USED IN:  SPPRT13SP

ENTRY_ADDRESS2  ENTRY_ADDR2

-- $FIELD_LAST

-- AN INTEGER LITERAL WHOSE VALUE IS TEXT_IO.FIELD'LAST.

-- USED IN:  CE3002C

FIELD_LAST                255

-- $FORM_STRING

-- A STRING LITERAL SPECIFYING THAT THE EXTERNAL FILE MEETS BOTH

-- CONDITIONS: (1) THERE IS A VALUE OF TYPE TEXT_IO.COUNT THAT IS NOT

-- AN APPROPRIATE LINE-LENGTH FOR THE FILE, (2) THERE IS A VALUE

-- OF TYPE TEXT_IO.COUNT THAT IS NOT AN APPROPRIATE PAGE-LENGTH

-- FOR THE FILE.

-- IF IT IS NOT POSSIBLE TO SATISFY BOTH CONDITIONS, THEN SUBSTITUTE

-- A STRING LITERAL SPECIFYING THAT THE EXTERNAL FILE SATISFIES ONE

-- OF THE CONDITIONS.  IF IT IS NOT POSSIBLE TO SATISFY EITHER CONDITION,

-- THEN SUBSTITUTE THE NULL STRING ("").

-- USED IN:  CE3304A

FORM_STRING               ""

-- $FORM_STRING2

-- A STRING LITERAL SPECIFYING THAT THE CAPACITY OF THE FILE IS

-- RESTRICTED TO 4096 CHARACTERS OR LESS. IF THE IMPLEMENTATION

-- CANNOT RESTRICT FILE CAPACITY, $FORM_STRING2 SHOULD EQUAL

-- "CANNOT_RESTRICT_FILE_CAPACITY".

-- USED IN:  CE2203A  CE2403A

FORM_STRING2              "CANNOT_RESTRICT_FILE_CAPACITY"

-- $GREATER_THAN_DURATION

-- A REAL LITERAL WHOSE VALUE (NOT SUBJECT TO ROUND-OFF ERROR

-- IF POSSIBLE) LIES BETWEEN DURATION'BASE'LAST AND DURATION'LAST.  IF

-- NO SUCH VALUES EXIST, USE A VALUE IN DURATION'RANGE.

-- USED IN:  C96005B

GREATER_THAN_DURATION     86_000.0

-- $ILLEGAL_EXTERNAL_FILE_NAME1

-- AN ILLEGAL EXTERNAL FILE NAME (E.G., TOO LONG, CONTAINING INVALID

-- CHARACTERS, CONTAINING WILD-CARD CHARACTERS, OR SPECIFYING A

-- NONEXISTENT DIRECTORY).

-- USED IN:  CE2102C  CE2102H  CE2103A  CE2103B  CE3102B  CE3107A

ILLEGAL_EXTERNAL_FILE_NAME1       /NODIRECTORY/FILENAME

-- $ILLEGAL_EXTERNAL_FILE_NAME2

-- AN ILLEGAL EXTERNAL FILE NAME, DIFFERENT FROM $ILLEGAL_EXTERNAL_FILE_NAME1.

-- USED IN:  CE2102C  CE2102H  CE2103A  CE2103B  CE3102B

ILLEGAL_EXTERNAL_FILE_NAME2       /@@/@@/@@\@@\@@\@@

-- $INAPPROPRIATE_LINE_LENGTH

-- A LITERAL OF TYPE COUNT THAT IS INAPPROPRIATE AS THE LINE-LENGTH

-- FOR THE EXTERNAL FILE.  IF THERE IS NO SUCH VALUE, THEN USE -1.

-- USED IN:  CE3304A

INAPPROPRIATE_LINE_LENGTH -1

-- $INAPPROPRIATE_PAGE_LENGTH

-- A LITERAL OF TYPE COUNT THAT IS INAPPROPRIATE AS THE PAGE-LENGTH

-- FOR THE EXTERNAL FILE.  IF THERE IS NO SUCH VALUE, THEN USE -1.

-- USED IN:  CE3304A

INAPPROPRIATE_PAGE_LENGTH -1

-- $INTEGER_FIRST

-- AN INTEGER LITERAL, WITH SIGN, WHOSE VALUE IS INTEGER'FIRST.

-- THE LITERAL MUST NOT INCLUDE UNDERSCORES OR LEADING OR TRAILING

-- BLANKS.

-- USED IN:  C35503F  B54B01B

INTEGER_FIRST             -2147483648

-- $INTEGER_LAST

-- AN INTEGER LITERAL WHOSE VALUE IS INTEGER'LAST.  THE LITERAL MUST

-- NOT INCLUDE UNDERSCORES OR LEADING OR TRAILING BLANKS.

-- USED IN:  C35503F  B54B01B

INTEGER_LAST              2147483647

-- $LESS_THAN_DURATION

-- A REAL LITERAL (WITH SIGN) WHOSE VALUE (NOT SUBJECT TO

-- ROUND-OFF ERROR IF POSSIBLE) LIES BETWEEN DURATION'BASE'FIRST AND

-- DURATION'FIRST.  IF NO SUCH VALUES EXIST, USE A VALUE IN

-- DURATION'RANGE.

-- USED IN:  C96005B

LESS_THAN_DURATION        -86_400.0

-- $MACHINE_CODE_STATEMENT

-- A VALID MACHINE CODE STATEMENT AS SPECIFIED IN THE PACKAGE

-- MACHINE_CODE.  IF THE IMPLEMENTATION DOES NOT SUPPORT MACHINE

-- CODE THEN USE THE ADA NULL STATEMENT (I.E. NULL; ).

-- USED IN:  AD8011A  BD8001A  BD8002A  BD8004A  BD8004B

MACHINE_CODE_STATEMENT     Asm_Insn'(Asm ("ACATS4GNATINSN"));

-- $MAX_INT

-- AN INTEGER LITERAL WHOSE VALUE IS SYSTEM.MAX_INT.

-- THE LITERAL MUST NOT INCLUDE UNDERSCORES OR LEADING OR TRAILING

-- BLANKS.

-- USED IN:  C35503D  C35503F  C4A007A

MAX_INT                  9223372036854775807

-- $MIN_INT

-- AN INTEGER LITERAL, WITH SIGN, WHOSE VALUE IS SYSTEM.MIN_INT.

-- THE LITERAL MUST NOT CONTAIN UNDERSCORES OR LEADING OR TRAILING

-- BLANKS.

-- USED IN:  C35503D  C35503F

MIN_INT                  -9223372036854775808

-- $NAME

-- THE NAME OF A PREDEFINED INTEGER TYPE OTHER THAN INTEGER,

-- SHORT_INTEGER, OR LONG_INTEGER.

-- (IMPLEMENTATIONS WHICH HAVE NO SUCH TYPES SHOULD USE AN UNDEFINED

-- IDENTIFIER SUCH AS   NO_SUCH_TYPE_AVAILABLE.)

-- USED IN:  C45231D  CD7101G

NAME  LONG_LONG_INTEGER

-- $OPTIONAL_DISC

-- A DISCRIMINANT USED AS THE DISCRIMINANT PART OF $RECORD_NAME.

-- IF MACHINE CODE INSERTIONS ARE NOT SUPPORTED THEN SUBSTITUTE

-- NO_SUCH_MACHINE_CODE_DISC.

-- USED IN:  BD8002A

OPTIONAL_DISC

-- $RECORD_DEFINITION

-- THE RECORD TYPE DEFINITION (WITH FINAL SEMICOLON) FOR THE TYPE THAT

-- WAS USED IN THE MACRO $RECORD_NAME, AS DECLARED IN PACKAGE

-- MACHINE_CODE.  IF THE IMPLEMENTATION DOES NOT SUPPORT MACHINE CODE,

-- THEN USE A NULL RECORD DEFINITION

-- USED IN:  BD8002A

RECORD_DEFINITION         RECORD  ASM : STRING (1..4); END RECORD;

-- $RECORD_NAME

-- A VALID RECORD TYPE NAME THAT IS DEFINED IN PACKAGE MACHINE_CODE.

-- IF THE IMPLEMENTATION DOES NOT SUPPORT MACHINE CODE THEN

-- USE THE NAME "NO_SUCH_MACHINE_CODE_TYPE"

-- USED IN:  BD8002A

RECORD_NAME     Asm_Insn

-- $TASK_SIZE

-- AN INTEGER LITERAL WHOSE VALUE IS THE NUMBER OF BITS REQUIRED TO

-- HOLD A TASK OBJECT.

-- USED IN:  CD2A91C

TASK_SIZE                 ACATS4GNATBIT

-- $TASK_STORAGE_SIZE

-- THE NUMBER OF STORAGE UNITS REQUIRED FOR A TASK ACTIVATION.

-- USED IN:  BD2C01D  BD2C02A  BD2C03A  C87B62D  CD1009K  CD1009T

--           CD1009U  CD1C03E  CD1C06A  CD2C11A  CC1225A  CD2C11D

TASK_STORAGE_SIZE 1024

-- $VARIABLE_ADDRESS

-- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A VARIABLE FOR THIS

-- IMPLEMENTATION.

-- USED IN:  SPPRT13SP

VARIABLE_ADDRESS  VAR_ADDR

-- $VARIABLE_ADDRESS1

-- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A VARIABLE FOR THIS

-- IMPLEMENTATION.  THE ADDRESS MUST BE DISTINCT FROM THAT USED IN

-- THE MACRO $VARIABLE_ADDRESS.

-- USED IN:  SPPRT13SP

VARIABLE_ADDRESS1  VAR_ADDR1

-- $VARIABLE_ADDRESS2

-- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A VARIABLE FOR THIS

-- IMPLEMENTATION.  THE ADDRESS MUST BE DISTINCT FROM THOSE USED IN

-- THE MACROS $VARIABLE_ADDRESS AND $VARIABLE_ADDRESS1.

-- USED IN:  SPPRT13SP

VARIABLE_ADDRESS2  VAR_ADDR2