JPS61188630A - Argument checking system - Google Patents

Abstract

PURPOSE:To execute a check at a high speed, and to increase the executing speed of processing by storing the type of an argument and its number in a register, and controlling an execution of a built-in function routine by a result of comparison of the designated readout contents of a memory and a value of the register. CONSTITUTION:When an interpreter incorporates an argument, and delivers it to a routine, the argument and the number of arguments are stored in a stack 1. By keeping pace with it, a type of its argument is stored in a prescribed register of argument type store registers 41-44, and also the number of arguments is stored in an argument number store register 5. In this state, when starting an execution of a built-in function, a built-in function routine number is sent through a line 8, and the type of the argument corresponding to its number, and its number of pieces are read out of a memory 7. The type of this readout argument and its number of pieces are compared with the type and the number of pieces of a type register and a register 5 by a comparator 6. Its comparison result is sent to a sequencer, and offered for execution control of the built-in function. In this way, whether the built-in function to which the argument is given is right or not is checked.

Description

DETAILED DESCRIPTION OF THE INVENTION [Field of Industrial Application] The present invention relates to an argument checking method that improves means for checking arguments passed from an interpreter of a data processing device to an intrinsic function routine.

In programming languages used in data processing devices, especially functional languages, the program is converted into arguments of a predetermined data type and number of arguments via an interpreter.1. After storing these once, control is passed to nine required built-in function routines for the functional language to process the arguments and perform predetermined data processing.

Before an argument used in such a process is used for the process, it is necessary to check whether the argument is valid or not in relation to the built-in function routine.

Being able to perform this check in a short time is important from the perspective of improving system performance.

[Conventional technology]

In the conventional checking method of this kind, the interpreter stores the arguments, their type information, and number data in advance in a storage device arranged between the interpreter and the built-in function routine.
After control is transferred to the built-in function routine, the built-in function routine reads data from the storage device and successively changes the number and types of arguments.

[Problem that the invention seeks to solve]

This technique requires time to check all or some of the types and numbers of arguments included in the functional language, as it requires sequentially checking whether they are valid or not.
As a result, this is one of the factors that hinders improvement in program execution speed.

[Means for solving problems]

The present invention provides an argument checking method that solves the above-mentioned problems, and includes means for checking arguments before an interpreter passes the arguments to a required built-in function routine for a functional language.

In a data processing device that stores the argument in a storage means and then transfers control to a built-in function routine to process the argument,
A register for storing the type and number of arguments and a memory for storing the type and number of arguments that the intrinsic function routine receives for each intrinsic function routine are provided, and in parallel with storing the arguments from the interpreter. The type and number of the arguments are stored in the register, and the execution of the built-in function routine is controlled based on the comparison result between the specified read contents of the memory and the value of the register.

[Effect]

According to the method of the present invention, the types and number of arguments are stored in registers as well as the arguments passed to the built-in function routine. Further, for each built-in function routine, the type and number of arguments that the built-in function routine receives are stored in memory in advance. Then, the read content of the memory specified by the argument passed to the built-in function routine is compared with the value of the register, and the execution of the built-in function routine is controlled based on the result.

Since the above comparison can be performed in one piece in hardware, the check can be made faster.

〔Example〕

Hereinafter, the present invention will be described in detail with reference to the accompanying drawings.

The accompanying drawings illustrate one embodiment of the invention. In this diagram,
(2) is a stack that stores arguments and the number of arguments sent via lines 2 and 3 from an ink printer (not shown), and delivers them to a built-in function routine (not shown). 4. 44 are argument type storage registers connected to line 2. 5 is an argument number storage register connected to the □ line 3. These registers can be connected to one comparison input of the comparator 6.

7 is the built-in function routine for each built-in function routine.
A memory that stores the type and number of arguments to be obtained, and each content of this memory (type and number of arguments)
takes the built-in function JL/NITIN number sent via line 8 as an address, and is read out using this address.

The output of the memory 7 is connected to the other comparison input of the comparator 6. The output of the comparator 6 is connected to a sequencer (not shown). □The argument checking mode under such a configuration will be explained next. □ When the interpreter passes arguments to the built-in function routine, it stores the arguments and the number of arguments on stack 1. In parallel with this storage, the type of the argument is stored in the argument type storage register 4.
and 44, and the number of arguments is stored in the argument number storage register 5. ′
- Then, when starting the ★゛ line of the built-in function, the built-in function routine number is sent via line 8, and the type and number of arguments corresponding to that number are read from memory 7.゛The read argument type and number of arguments are stored in the argument type storage register and argument number storage register 5 in the comparator 6.
is compared with the argument type and number of arguments. The comparison results are sent to the sequencer and used to control the execution of built-in functions. In this way, the validity of the built-in function to which arguments are given is checked.

Since this check can be performed all at once by hardware, the speed of the check is increased, which in turn improves the execution speed of the processing system.

〔Effect of the invention〕

As explained above, according to the present invention, effects such as (1) speeding up of argument checking and (2) improving the execution speed of the processing system can be obtained.

[Brief explanation of the drawing]

The accompanying drawings illustrate one embodiment of the invention. In the figure, 1 is a stack, 4. 44 are argument type storage registers, 5 is an argument number storage register, 6 is a comparator, and 7
is memory.

Claims (1)

[Claims] In a data processing device in which an interpreter stores an argument in a storage means before passing the argument to a required built-in function routine for a functional language, and then transfers control to the built-in function routine to process the argument,
A register for storing the type and number of arguments and a memory for storing the type and number of arguments that the intrinsic function routine can accept for each intrinsic function routine are provided. An argument checking method characterized in that a type and number are stored in the register, and execution of the built-in function routine is controlled based on a comparison result between specified read contents of the memory and a value of the register.