Computer system for compiling source program
A computer system includes: a storage unit that stores the source program and type information representing data types including a fixed-point type; a detecting unit that obtains the source program from the storage unit and detects a type specifier and an immediate from the obtained source program; a type specifier analyzing unit that analyzes the type specifier and links one of a variable and a function, data type of which is specified by the type specifier, to the type information of the fixed-point type when the type specifier is a floating-point type to store in the storage unit; and an immediate analyzing unit that analyzes the immediate and links the immediate to the type information of fixed-point type when the immediate is any one of a decimal number without a postfix and a decimal number with floating-point type postfix to store in the storage unit.
1. A computer system including a processor for compiling a source program, the system comprising:
a storage unit that stores the source program and type information representing data types including a fixed-point type;
a detecting unit that obtains the source program from the storage unit and detects a type specifier and an immediate from the obtained source program;
a type specifier analyzing unit that analyzes the type specifier and links one of a variable and a function, data type of which is specified by the type specifier, to the type information of the fixed-point type when the type specifier is a floating-point type to store in the storage unit, wherein the type specifier analyzing unit links the variable and the function to the type information of the fixed-point type having a specified size;
an immediate analyzing unit that analyzes the immediate and links the immediate to the type information of fixed-point type when the immediate is any one of a decimal number without a postfix and a decimal number with floating-point type postfix to store in the storage unit, wherein the immediate analyzing unit links the immediate to the type information of the fixed-point type having a specified size; and
a type information updating unit that updates the type information of the fixed-point type on the basis of redefinition of the number of bits of an integer part and a fractional part in the type information of the fixed-point type.
2. The computer system according to claim 1 , further comprising an option analyzing unit that analyzes a compiling option and determines whether a type conversion from the floating-point type into the fixed-point type is indicated.
3. The computer system according to claim 2 , wherein the option analyzing unit further determines whether a size of the converted fixed-point type is specified.
4. The computer system according to claim 1 , further comprising a specifier detecting unit that detects a compiler directive specifying type conversion from the floating-point type into the fixed-point type.
5. The computer system according to claim 1 , further comprising an error output unit that checks whether or not the accuracy is reduced when converting a floating point immediate to fixed-point immediate, and dumps a warning message when the accuracy is reduced.