12
 

Data flow analysis

CL 717 SC 155
6035122 Compiler for converting source program into object program having instruction with commit condition
Mar-7-2000 A processing device executes an instruction speculatively, and execution result of the instruction becomes valid when all the predictions about true/false of branch condition are correct, and the instruction...
6029005 Method for identifying partial redundancies in a new processor architecture
Feb-22-2000 The invention, in one embodiment, is a method for compiling at least a portion of a computer program. The method includes (a) inserting a phi-function for a global variable reaching a join point in the...
5987254 System-wide memoization of array dependence information
Nov-16-1999 Data dependence information is stored in a global or system-wide cache so as to reduce the necessity for repeated analysis of similar array reference pairs in a compiler. The data dependence cache is not...
5966534 Method for compiling high level programming languages into an integrated processor with reconfigurable logic
Oct-12-1999 A method is presented for automatically compiling a high level computer program down into an application specific integrated circuit coupled with a generic microprocessor. The original source code is written...
5943499 System and method for solving general global data flow predicated code problems
Aug-24-1999 The relationships among predicates can be analyzed over the scope of an entire procedure. The system scans a block of predicated code and collects a set of predicates used in the code to form a basis set....
5937196 Compiling with partial copy propagation
Aug-10-1999 A compiler and method of compiling provide partial redundant copy elimination by eliminating copy statements having at least one eligible reachable use and at least one ineligible reachable use. To eliminate...
5915115 Control system and method for direct execution of software application information models without code generation
Jun-22-1999 A model information control system ("MICS") is used in conjunction with a user-defined information model and one or more conventional information system program modules or "functions" to execute business...
5850553 Reducing the number of executed branch instructions in a code sequence
Dec-15-1998 A compiler technique for reducing the number of executed branches in a code sequence. Multiple condition branch instructions in a program sequence are replaced with a single combined conditional branch...
5826089 Instruction translation unit configured to translate from a first instruction set to a second instruction set
Oct-20-1998 An instruction translation unit is provided which reduces instructions from a source instruction set to a set of intermediate, atomic operations. The atomic operations are then recombined into instructions...
5805894 Method inside an optimizing compiler for analyzing assertions and redirecting control flow in programs
Sep-8-1998 A method of analyzing and optimizing programs by predicting branches and redirecting control flow. A program to be analyzed and optimized is inspected to find branches that might be predictable. A set...
5790867 Compiler with extended redundant copy elimination
Aug-4-1998 A compiler and method of compiling provide extended redundant copy elimination by eliminating copy statements having provably equivalent data items when it is determined that the defined operand of a copy...
5778212 Interprocedural analysis user interface
Jul-7-1998 The present invention provides a system and method for implementing interprocedural analysis using a standard compilation user interface. The present invention stores an intermediate representation of...
5742814 Background memory allocation for multi-dimensional signal processing
Apr-21-1998 Data storage and transfer cost is responsible for a large amount of the VLSI system realization cost in terms of area and power consumption for real-time multi-dimensional signal processing applications....
5710927 Method of replacing lvalues by variables in programs containing nested aggregates in an optimizing compiler
Jan-20-1998 A method for analyzing and optimizing programs that define and use aggregate data structures. A program to be analyzed and optimized is inspected to find definitions and uses of lvalues, which are regions...
5669001 Object code compatible representation of very long instruction word programs
Sep-16-1997 Object code compatibility is provided among VLIW processors with different organizations. The object code can be executed by sequential processors, thus providing backward compatibility with scalar and...
5596732 Method of optimizing instruction sequence of compiler
Jan-21-1997 An overhead on a pipeline computer of an instruction sequence including branch instructions is reduced. In the case where an instruction sequence of a source program is converted by a compiler into an...
5561801 System and method for multilevel promotion
Oct-1-1996 A compiler for compiling a computer program wherein the computer program is adapted for use with a data parallel computer. The compiler comprises a front end which generates a parse tree from a source...
5530870 Arrangement for efficiently transferring program execution between subprograms
Jun-25-1996 An arrangement called PASS CONTROL (FIG. 11) is used in combination with a conventional RETURN statement as a substitute for a conventional CALL-and-RETURN subprogram invocation sequence (FIG. 2), and...
5481723 System and method for controlling execution of nested loops in parallel in a computer including multiple processors, and compiler for generating code therefore
Jan-2-1996 A system and method for controlling execution of nested loops in parallel in a computer including multiple processors, and a compiler for generating code therefor. The code enables the computer to operate...
5481708 System and methods for optimizing object-oriented compilations
Jan-2-1996 An object-oriented development system of the present invention includes a language compiler having an optimizer for generating computer applications with improved speed and size. C++ optimization methods...
5452461 Program parallelizing apparatus capable of optimizing processing time
Sep-19-1995 A program parallelizing apparatus for generating from a source program to be executed an object program which is capable of being processed in parallel by a plurality of processors constituting a multi-processor...
5448740 Generation of a user interface code from a corresponding declarative language program
Sep-5-1995 A method for automatically generating a computer code of a procedural language program from a corresponding program in a declarative language. The declarative language program is analyzed to obtain information...
5442792 Expert system compilation method
Aug-15-1995 A computer implemented compilation method or compiler and translator that automatically converts an interpretive rule-based expert system into compact, compiled, parallel Ada code. The present compiler...
5442790 Optimizing compiler for computers
Aug-15-1995 A method is described for compiling a source code listing into an object code listing and comprises the steps of: extracting a block of source code statements from a source code listings; mapping each...
5303377 Method for compiling computer instructions for increasing instruction cache efficiency
Apr-12-1994 Method for compiling program instructions to reduce instruction cache misses and instruction cache pollution. The program is analyzed for instructions which result in a non-sequential transfer of control...
5278986 System and method for compiling a source code supporting data parallel variables
Jan-11-1994 A compiler for compiling a computer program which is adapted for use with a data parallel computer. The compiler supports variables which involve parallelism. Variables which involve parallelism are parallel...
5230050 Method of recompiling a program by using result of previous compilation
Jul-20-1993 A program compiling method in which a procedure being compiled is split into a plurality of units referred to as segments, whereon optimization is carried out for each of the segments. Upon recompilation...
5107418 Method for representing scalar data dependences for an optimizing compiler
Apr-21-1992 A method for representing scalar data dependencies for an optimizing compiler wherein a global scalar data dependence graph is created to represent all of the scalar objects in an entire program. The scalar...
4843545 Compile method using copy propagation of a variable
Jun-27-1989 A compile method to be executed in a digital computer includes the step for detecting among statements in source program codes a first statement defining a first variable and including a polynomial of...
4567574 Optimizing cobol object code instruction path length with respect to perform statements
Jan-28-1986 A method for optimizing instruction path lengths in a compilation of COBOL source code with reference to PERFORM statements requires a two-step procedure in which the control transfer relationship among...
4309756 Method of automatically evaluating source language logic condition sets and of compiling machine executable instructions directly therefrom
Jan-5-1982 A method for use under program control in a digital computer for automatically evaluating compiler level language logic condition sets and for compiling machine executable instructions directly therefrom...