Back to EveryPatent.com



United States Patent 5,301,341
Vassiliadis ,   et al. April 5, 1994

Overflow determination for three-operand alus in a scalable compound instruction set machine which compounds two arithmetic instructions

Abstract

A mechanism is presented for detecting overflow in an interlock collapsing hardware apparatus that simultaneously executes two instructions. The overflow is determined as if the second instruction executes by itself using results from execution of the first instruction. Overflow detection is accomplished by using only values input into, and generated within, the interlock collapsing apparatus.


Inventors: Vassiliadis; Stamatis (Vestal, NY); Phillips; James E. (Binghamton, NY)
Assignee: International Business Machines Corporation (Armonk, NY)
Appl. No.: 619868
Filed: November 28, 1990

Current U.S. Class: 712/215; 708/709; 712/23
Intern'l Class: G06F 007/50
Field of Search: 364/784,786,787,736 395/800


References Cited
U.S. Patent Documents
4142242Feb., 1979Duvochel364/759.
4439828Mar., 1984Martin364/200.
4467444Aug., 1984Harmon395/575.
4547863Oct., 1985Colardelle364/784.
4748585May., 1988Chiarulk395/775.
4783757Nov., 1988Krauskopf364/784.
4839851Jun., 1989Maki395/800.
4845655Jul., 1989Yamada364/786.
4920509Apr., 1990Hmida364/786.


Other References

Digital Logic and Computer Design by M. Morris Mano, Prentice Hall 1979 pp. 327, 328, 382-384.
Acosta, R. D., et al, "An Instruction Issuing Approach to Enhancing Performance in Multiple Functional Unit Processors", IEEE Transactions on Computers, Fall, C-35, No. 9, Sep. 1986, pp. 815-828.
Anderson, V. W., et al, the IBM System/360 Model 91: "Machine Philosophy and Instruction Handling", computer structures: Principles and Examples (Siewiorek, et al, ed (McGraw-Hill, 1982, pp. 276-292.
Capozzi, A. J., et al, "Non-Sequential High-Performance Processing" IBM Technical Disclosure Bulletin, vol. 27, No. 5, Oct. 1984, pp. 2842-2844.
Chan, S., et al, "Building Parallelism into the Instruction Pipeline", High Performance Systems, Dec., 1989, pp. 53-60.
Murakami, K., et al., "SIMP (Singel Instruction Stream/Multiple Instruction Pipelining); A Novel High-Speed Single Processor Architecture", Proceedings of the Sixteenth Annual Symposium on Computer Architecture, 1989, pp. 78-85.
Smith, J. E., "Dynamic Instructions Scheduling and the Astronautics ZS-1", IEEE Computer, Jul., 1989, pp. 21-35.
Smith, M. D., et al, "Limits on Multiple Instruction Issue", ASPLOS III, 1989, pp,. 290-302.
Tomasulo, R. M., "An Efficient Algorithm for Exploiting Multiple Arithmetic Units", Computer Structures, Principles, and Examples (Siewiorek, et al ed), McGraw-Hill, 1982, pp. 293-302.
Wulf, P. S., "The WM Computer Architecture", Computer Architecture News, vol. 16, No. 1, Mar. 1988, pp. 70-84.
Jouppi, N. P., et al, "Available Instruction-Level Parallelism for Superscalar Pipelined Machines", ASPLOS III, 1989, pp. 272-282.
Jouppi, N. P., "The Non-Uniform Distribution of Instruction-Level and Machine Paralelism and its Effect on Performance", IEEE Transactions on Computers, vol. 38, No. 12, Dec., 1989, pp. 1645-1658.
Ryan, D. E., "Entails 80960: An Arhitecture Optimized for Embedded Control", IEEE Microcomputers, vol. 8, No. 3, Jun., 1988, pp. 63-76.
Colwell, R. P., et al, "A VLIW Architecture for a Trace Scheduling Compiler", IEEE Transactions on Computers, vol. 37, No. 8, Aug., 1988, pp. 967-979.
Fisher, J. A., "The VLIW Machine: A Multi-Processor for Compiling Scientific Code", IEEE Computer, Jul., 1984, pp. 45-53.
Berenbaum, A. D., "Introduction to the CRISP Instruction Set Architecture", Proceedings of Compcon, Spring, 1987, pp. 86-89.
Bandyopadhyay, S., et al, "Compiling for the CRISP Microprocessor", Proceedings of Compcon, Spring, 1987, pp. 96-100.
Hennessy, J, et al, "MIPS: A VSI Processor Architecture", Proceedings of the CMU Conference on VLSI Systems and Computations, 1981, pp. 337-346.
Patterson, E. A., "Reduced Instruction Set Computers", Communications of the ACM, vol. 28, No. 1, Jan., 1985, pp. 8-21.
Radin, G., "The 801 Mini-Computer", IBM Journal of Research and Development, vol. 27, No. 3, May, 1983, pp. 237-246.
Ditzel, D. R., et al, "Branch Folding in the CRISP Microprocessor: Reducing Branch Delay to Zero", Proceedings of Compcon, Spring 1987, pp. 2-9.
Hwu, W. W., et al, "Checkpoint Repair for High-Performance Out-of-Order Execution Machines", IEEE Transactions on Computers vol. C36, No. 12, Dec., 1987, pp. 1496-1594.
Lee, J. K. F., et al, "Branch Prediction Strategies in Branch Target Buffer Design", IEEE Computer, vol. 17, No. 1, Jan. 1984, pp. 6-22.
Riseman, E. M., "The Inhibition of Potential Parallelism by Conditional Jumps", IEEE Transactions on Computers, Dec., 1972, pp. 1405-1411.
Smith, J. E., "A Study of Branch Prediction Strategies", IEEE Proceedings of the Eight Annual Symposium on Computer Architecture, May 1981, pp. 135-148.
Archibold, James, et al, Cache Coherence Protocols: "Evaluation Using a Multiprocessor Simulation Model", ACM Transactions on Computer Systems, vol. 4, No. 4, Nov. 1986, pp. 273-398.
Baer, J. L., et al "Multi-Level Cache Hierarchies: Organization, Protocols, and Performance" Journal of Parallel and Distributed Computing, vol. 6, 1989, pp. 451-476.
Smith, A. J., "Cache Memories", Computing Surveys, vol. 14, No. 3 Sep., 1982, pp. 473-530.
Smith, J. E., et al, "A Study of Instruction Cache Organizations and Replacement Policies", IEEE Proceedings of the Tenth Annual International Symposium on Computer Architecture, Jun., 1983, pp. 132-137.
Vassiliadids, S., et al, "Condition Code Predictory for Fixed-Arithmetic Units", International Journal of Electronics, vol. 66, No. 6, 1989, pp. 887-890.
Tucker, S. G., "The IBM 3090 System: An Overview", IBM Systems Journal, vol. 25, No. 1, 1986, pp. 4-19.
IBM Publication No. SA22-7200-0, Principles of Operation, IBM Enterprise Systems Architecture/370, 1988.
The Architecture of Pipelined Computers, by Peter M. Kogge Hemisphere Publishing Corporation, 1981.
IBM Technical Disclosure Bulletin (vol. 33 No. 10A, Mar. 1991), by R. J. Eberhard.

Primary Examiner: Coleman; Eric
Attorney, Agent or Firm: Baker, Maxham, Jester & Meador

Claims



We claim:

1. A mechanism for detecting arithmetic overflow in a computer system that compounds two instructions by grouping instructions in a sequence of instructions for simultaneous execution by the computor system, the mechanism comprising:

carry-save addition means for generating multi-bit sum and carry signals in response to three multi-bit, binary operands, wherein, said three multi-bit binary operands include operands a, b, and d, each of said operands including n bits, the bits of each operand being in order of significance in which significance is given by i, and 0.ltoreq.i.ltoreq.n-1, and in which a.sub.0, b.sub.0, and d.sub.0 denote the most significant bits, and a.sub.31, b.sub.31, and d.sub.31 the least significant bits of operands a, b, and d;

carry look-ahead addition means connected to said carry-save addition means for generating a result signal in response to said sum and carry signals, said result signal representing a result produced by a sequence of two binary arithmetic add-type operations performed on said operands; and

logic means connected to said carry-save addition means for producing an overflow signal, OF, representing an overflow condition resulting from the execution of the second binary arithmetic operation of said two binary arithmetic operations, said logic means providing said overflow signal in response to said operands and said sum and carry signals and, wherein said logic means includes:

first means responsive to a.sub.0, b.sub.0, and d.sub.0 for producing a first output corresponding to a first equation term b.sub.0 (a.sub.0 Vd.sub.0), where the symbol V denotes the exclusive-OR operation;

second means responsive to first and second most significant bits of operand a, operand b, and operand d for producing a second output corresponding to a second equation term s.sub.0 l.sub.1, s.sub.0 representing a most significant bit of said multi-bit sum signal and l.sub.1 representing a second most significant bit of said multi-bit carry signal;

third means responsive to said multi-bit operands for producing a third output corresponding to a third equation term k.sub.1 (a.sub.0 Vd.sub.0), wherein k.sub.1 represents a carry into a most significant bit of a result produced by execution of the first binary arithmetic operation of said two binary arithmetic operations;

fourth means responsive to said multi-bit sum and carry signals for producing a fourth output corresponding to a fourth equation term f.sub.1 (s.sub.0 Vl.sub.1), wherein f.sub.1 represents a carry into a most significant bit of a result produced by execution of said second binary arithmetic operation; and

exclusive-OR means connected to said first, second, third, and fourth means for producing said overflow signal by exclusive-OR combination of said first, second, third, and fourth outputs.

2. The mechanism of claim 1, said logic means for producing said overflow signal, OF, according to:

OF=c.sub.0 Vc.sub.1

wherein, c.sub.0 is the carry-out of a sign bit that would occur from execution of said second binary operation, c.sub.1 is the carry into the sign bit, and the carry (c.sub.i+1) at bit position i+1 which would be generated by serial execution of said first binary operation followed by said second binary operation is given by:

c.sub.i+1 =k.sub.i+1 Vl.sub.i+1 Vf.sub.i+1.

3. A method for overflow determination in a three-operand ALU which simultaneously performs a pair of binary arithmetic operations in response to three multi-bit operands a.sub.i, b.sub.i, and d.sub.i, where 0.ltoreq.i.ltoreq.n-1, a.sub.0, b.sub.0 and d.sub.0 are the most significant operand bits, and a.sub.n-1, b.sub.n-1, and d.sub.n-1 are the least significant operand bits, said pair of binary arithmetic operations representing sequential execution of a first arithmetic instruction and a second arithmetic instruction said three-operand ALU including a carry-save adder portion connected to receive said three-multi-bit operands, said method including the steps of:

first, generating multi-bit sum and carry signals in said carry-save adder, including generating multi-bit sum and carry signals s.sub.i and l.sub.i, respectively, in said carry-save adder, where 0.ltoreq.i.ltoreq.n-1, s.sub.0 and l.sub.0 are the most significant sum and carry bits, and s.sub.n-1 and l.sub.n-1 are the least significant sum and carry bits; and

second, generating an overflow signal indicative of an overflow condition in response to said multi-bit sum and carry signal and said multi-bit operands, said overflow signal representative of an overflow produced by execution of said second instruction following execution of said first instruction, said second generating step includes:

generating a first equation factor signal b.sub.0 (a.sub.0 Vd.sub.0) in response to said operands;

generating a second equation factor signal s.sub.0 l.sub.1 in response to said operands;

generating a third equation factor signal k.sub.1 (a.sub.0 Vd.sub.0), where k.sub.1, represents a carry into a most significant bit of a result which would be produced by execution of said first arithmetic instruction alone;

generating a fourth equation factor signal f, f.sub.1 (s.sub.0 Vl.sub.1), where f.sub.1, represents a carry into a most significant bit of a result which would be produced by execution of said second arithmetic instruction after said first arithmetic instruction; and

generating said overflow signal by an exclusive OR combination of said first, second, third, and fourth equation factor signals.
Description



CROSS REFERENCE TO RELATED APPLICATION

The present United States patent application is related to the following co-pending United States patent applications:

Application Ser. No. 07/519,382, filed May 4, 1990, entitled "SCALABLE COMPOUND INSTRUCTION SET MACHINE ARCHITECTURE", the inventors being Stamatis Vassiliadis et al. now abandoned;

Application Ser. No. 07/519,384, filed May 4, 1990, entitled "GENERAL PURPOSE COMPOUND APPARATUS FOR INSTRUCTION-LEVEL PARALLEL PROCESSORS", the inventors being Richard J. Eickemeyer et al. now abandoned;

Application Ser. No. 07/504,910, filed Apr. 4, 1990, entitled "DATA DEPENDENCY COLLAPSING HARDWARE APPARATUS", the inventors being Stamatis Vassiliadis et al. now U.S. Pat. No. 5,051,940;

Application Ser. No. 07/522,291, filed May 10, 1990, entitled "COMPOUNDING PREPROCESSOR FOR CACHE", the inventors being Bartholomew Blaner et al. now U.S. Pat. No. 5,214,765;

Application Ser. No. 07/543,464, filed Jun. 26, 1990, entitled "AN IN-MEMORY PREPROCESSOR FOR A SCALABLE COMPOUND INSTRUCTION SET MACHINE PROCESSOR", the inventors being Richard J. Eickemeyer et al.; and

Application Ser. No. 07/543,458, filed Jun. 26, 1990, entitled "MEMORY MANAGEMENT FOR SCALABLE COMPOUND INSTRUCTION SET MACHINES WITH IN-MEMORY COMPOUNDING", the inventors being Richard J. Eickemeyer et al. now U.S. Pat. No. 5,197,135.

These co-pending applications and the present application are owned by the same Assignee, namely, INTERNATIONAL BUSINESS MACHINES CORPORATION of Armonk, N.Y.

The descriptions set forth in these co-pending applications are hereby incorporated into this application by reference.

BACKGROUND OF THE INVENTION

This invention relates to digital computers and digital data processors, and particularly to digital computers and data processors capable of executing two or more instructions simultaneously.

Traditional computers which receive a sequence of instructions and execute the sequence one instruction at a time are known. The instructions executed by these computers operate on single-valued objects, hence the name "scalar" for these computers.

The operational speed of traditional scalar computers has been pushed to its limits by advances in circuit technology, computer mechanisms, and computer architecture. However, with each new generation of competing machines, new acceleration mechanisms must be discovered for traditional scalar machines.

A recent mechanism for accelerating the computational speed of uniprocessors is found in reduced instruction set architecture that employs a limited set of very simple instructions. Another acceleration mechanism is complex instruction set architecture which is based on a minimal set of complex multi-operand instructions. Application of either of these approaches to an existing scalar computer would require fundamental alteration of the instruction set and architecture of the machine. Such a far-reaching transformation is fraught with expense, down-time, and initial reduction in the machine's reliability and availability.

In the co-pending patent applications, a scalable compound instruction set machine (SCISM) architecture is described in which instruction level parallelism is achieved by statically analyzing a sequence of scalar instructions one at a time prior to instruction execution in order to generate compound instructions formed by adjacent grouping of existing instructions in the sequence which are capable of parallel execution. Relatedly, when used herein, the term "compounding" refers to the grouping of instructions contained in a sequence of instructions, the grouping being for the purpose of concurrent or parallel execution of the grouped instructions. At a minimum, compounding is satisfied by "pairing" of two instructions for simultaneous instruction. Preferably, compounded instructions are unaltered from the forms they have when presented for scalar execution.

Parallel or simultaneous execution of scalar instructions poses certain hazards which must be accommodated in a SCISM machine. Such hazards are also called "interlocks". More particularly, a data dependency hazard, also called a "write-read hazard" or "write-read interlock" exists when two instructions of a serial sequence of instructions are executed simultaneously or in parallel. In this regard, the hazard arises when the second instruction must read the result of the first instruction in order to execute. See, for example, FIG. 1 where a first instruction 10 precedes a second instruction 12 in an instruction sequence. Both instructions require access to a set of general purpose registers (GPR) 14 where operands for instruction execution are stored. The first instruction 10 requires two operands which are stored in register locations 15 and 16, respectively. Assume that instruction execution requires that the result be written back into the GPR at register location 16. The second instruction 12 also requires two operands for execution, the operands stored at register locations 17 and 16. In order for the second instruction 12 to produce reliable results, its execution must be delayed until the results of executing the first instruction 10 have been written to register location 16.

A mechanism, illustrated in FIG. 2, has been proposed for collapsing the data dependency illustrated in FIG. 1. FIG. 2 shows that two instructions, for example, instructions 10 and 12 in FIG. 1, may be compounded into a unit that is to be considered as a single execution unit. If the first and second instruction 10 and 12 were compounded, the compounding would result in their being issued and executed in parallel. In the structure of FIG. 2, the compounded instructions are executed simultaneously, with the first instruction being executed by a two-to-one ALU 19, and the second instruction by a three-to-one ALU 21. The ALU 21 is designed to collapse write-read interlocks that might occur between the two instructions. In the example of FIG. 1, the ALUs 19 and 21 execute the instructions 10 and 12 in parallel with the ALU 19 operating on the operands in register locations 15 and 16, and the ALU 21 operating on the operands in register locations 15, 16, and 17. The operation of the ALU 21 implicitly combines the operands in register locations 15 and 16 as required by the first instruction to obtain a result necessary for execution of the second instruction.

Since the ALU 21 is designed to collapse write-read interlocks that might occur between two instructions being executed in parallel, the ALU is designed to execute the functions that arise for all instruction sequences whose interlocks must be collapsed. The operation of the ALU 21 is not the subject of this patent application, but is explained in detail in co-pending U.S. patent application 07/504,910.

The interlock collapsing hardware of FIG. 2 computes correct results for a compounded instruction when the individual instructions both specify valid ALU operations and contain a write-read hazard. However, such an apparatus will produce erroneous results when two invalid operations are specified. This constitutes a major difficulty which must be resolved in order to achieve compliance between the SCISM architecture and the architecture of the scalar machine which executes instructions sequentially.

The ALU 19 generates results for the execution of a first instruction, performing this execution as a "normal" two-to-one ALU operation. The determination of condition codes, CCs, and detection of overflow, OF, from the operation can be obtained using existing techniques.

Since the ALU 19 will set CCs and OFs resulting from the execution of the first instruction, the ALU 21 should limit its determination of these conditions only as if executing the second instruction by itself. In particular, the detection of overflow, OF, in the ALU 21 should be performed in parallel with a computation of its result and made as if the result of the ALU 19 was available and only the second instruction was being executed. To make this possible, certain information relating to the execution of the second instruction alone must be ascertained during the execution of this instruction by the ALU 21.

Therefore, there is a significant need for OF detection in a data dependency collapsing hardware apparatus such as in an apparatus which executes a pair of compounded instructions simultaneously. The detection of overflow must be specific to the execution of only the second instruction, yet must be gleaned from the execution of the three-to-one operation in the dependency collapsing hardware apparatus.

SUMMARY OF THE INVENTION

It is, therefore, the primary objective of this application to provide an implementation for overflow detection in a data dependency collapsing hardware apparatus which simultaneously executes a pair of scalar instructions.

A related objective is that the indication of overflow detection in such an apparatus be specific to execution of only the second of the simultaneously executed instructions.

A particular advantage of the invention is that such overflow detection is accomplished by using only values input into, and generated within, the data dependency collapsing apparatus.

The invention is expressed as a mechanism for detecting arithmetic overflow in an apparatus for simultaneously executing two instructions. The mechanism includes a carry-save adder which generates sum and carry signals in response to three multi-bit, binary operands. A carry lookahead adder is connected to the carry-save adder for generating a result signal in response to the sum and carry signals, the result signal representing a result achieved by execution of the series of two binary arithmetic operations performed on the three multi-bit, binary operands. The mechanism includes a logic circuit connected to the carry-save adder for producing an overflow signal, OF, representing an overflow condition resulting from the execution of the second of the binary arithmetic operations, the overflow signal produced in response to the operands and the sum and carry signals.

That this mechanism satisfies the above-stated objectives and advantages will be appreciated when the following detailed description is read with reference to the below-described drawings.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 is a diagram illustrating data dependency between two instructions.

FIG. 2 is a block diagram illustrating a data dependency collapsing hardware apparatus for simultaneous execution of two scalar instructions.

FIG. 3 is a schematic diagram illustrating a data dependency collapsing ALU including a carry-save and a carry-look ahead adder.

FIG. 4 is a schematic showing the production of intermediate terms in a multi-stage representation of the ALU illustrated in FIG. 3.

FIG. 5 is a block diagram illustrating the operational interconnection between an overflow detector according to the invention and a three-to-one ALU constructed as illustrated in FIGS. 3 and 4.

FIG. 6 is a logic diagram illustrating the overflow detector illustrated in FIG. 5.

FIGS. 7A and 7B form a schematic logic diagram illustrating in greater detail a generation block of FIG. 6.

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENT AND BEST MODE OF OPERATION

A data dependency collapsing hardware apparatus (hereinafter a "3-1 ALU") is illustrated by the circuit diagram of FIG. 3 in which a carry-save adder (CSA) 30 is connected in series with a carry look-ahead adder (CLA) 32. This configuration implements the arithmetic portion of the ALU 21 of FIG. 2 and supports the simultaneous execution of a pair of compounded instructions with a data dependency hazard. The concept of compounded interlock instruction execution can be clarified using add and subtract instructions, ADD and SUB, respectively. These two instructions are classed as a unique instruction type (i.e., an "ADD" type) because they utilize the same hardware for execution. Consequently, they can be combined and executed as one instruction. Consider the following sequence:

ADD R.sub.1,R.sub.2 add R.sub.1 to R.sub.2 and put result in R.sub.1

SUB R.sub.1,R.sub.3 subtract R.sub.3 from R.sub.1 and put result in R.sub.1

wherein the ADD instruction is executed by adding the contents of register R.sub.1 to the contents of register R.sub.2 and placing the contents back into register R.sub.1 and the SUB instruction is executed by subtracting the contents of register R.sub.3 from the contents of register R.sub.1 and placing the result back into register R.sub.1. Representation of sequential execution of the arithmetic operations is given by:

R1=R1+R2

R1=R1-R3

To exploit parallelism, simultaneous execution of the two instructions requires execution of:

R1=R1+R2-R3

in the amount of time required to execute a single instruction.

Execution of ADD type instructions and elimination of interlock in the data dependency collapsing apparatus of FIG. 3 are accomplished by the serial connection of the CSA 30 with the CLA 32. For the example given above, the inputs to the CSA 30 are the operands contained in the three registers R1, R2, and R3 with the contents of register R3 complemented. As is conventional, the CSA produces two outputs in response to the three inputs, the outputs denoted as a sum output (S) and carry output (L). These two outputs are provided as operands to the CLA 32 which combines them to produce a single result denoted as OUT.

In FIG. 3, the CSA 30 includes a combining stage 34 which receives the three operands on 40, 41, and 42. A carry-save shift circuit 36 is provided which receives the carry output. The carry output is shifted at 36 in order to append a "one" or "zero" (a "hot" one or zero) on the carry value by way of input 37. This value is also referred to as a "carry-in". The value on the input 37 is set conventionally according to the function to be performed by the CSA 30.

The sum and carry (with appended one or zero) outputs of the CSA 30 are provided as the two inputs to the CLA 32. The CLA 32 also conventionally receives a "hot" one or zero on input 39 according to the desired operation and produces the result (OUT) at 44. The result produced by the CLA 32 represents the result produced by the sequential execution of two arithmetic instructions, with the sequence being collapsed into a single operation by the apparatus of FIG. 3.

Carry-save and carry look-ahead adders are conventional components whose structures and functions are well-known. Hwang, in his COMPUTER ARITHMETIC: PRINCIPLES, ARCHITECTURE, AND DESIGN, 1979, describes carry-look ahead adders at length at pages 88-93 and carry-save adders at pages 97-100.

The information that must be derived from the 3-1 ALU of FIG. 3 in order to properly determine status resulting from execution of the second instruction alone can be divided into two categories. First, the carries into and out of the sign bit resulting only from the execution of the second instruction of a compounded instruction pair need to be determined. Second, the sign bit of the result from the first instruction needs to be determined in order to derive the conditions resulting from arithmetic, two's-complement operation.

In order to properly detect overflow, the carries into and out of the sign bit that would occur if the second instruction of a compound instruction were executed as a two-to-one operation after the result of the first operation need to be determined. These carries can be determined from the carries generated by the three-to-one addition performed by the apparatus illustrated in FIG. 3.

The functions that are encompassed within the three-to-one addition arise from combinations of add-class instructions that interlock at the first or second operand of the second instruction. These functions are listed in Tables I and II, where instructions drawn from the instruction set for the System/370 computer system available from the Assignee are assumed. In the 370 instruction format, for add-type instructions, the second operand is added to or subtracted from the first operand, with the results stored at the first operand location. Table I lists the functions that arise when the instructions are interlocked on the first operand of the second instruction, while Table II lists the functions that arise when the instructions interlock on the second operand of the second instruction. In these tables, a and d represent the first and second operands, respectively, of the first instruction, while a and b represent the two operands for the second instruction. Operands are represented as 32 bit two's complement numbers with the most significant bit position designated as bit position zero. For example, operand a is represented as:

a=[a.sub.0, a.sub.1, . . . , a.sub.31 ]

where a.sub.0 denotes the most significant bit, the "sign" bit, and a.sub.31 denotes the least significant bit.

In Tables I and II, eight possible cases arise when two add-class instructions are simultaneously executed by an arithmetic unit such as that illustrated in FIG. 3. For example, the second line of Table I represents the example given above for an ADD followed by a SUB. Of the eight possible cases listed in the tables, only six cases are unique, since the two interlock types produce identical results when the second instruction is an addition. These six cases as identified in the tables are used in the appendix to illustrate derivation of arithmetic unit functions in the discussion which follows. In addition, the cases illustrated in Tables I and II determine how "hot" ones must be set up to properly execute the operation. The required setup of "hot" ones is also included in those tables. The quantities t.sub.0 and t.sub.1 correspond to the "hot"

one requirements when collapsing interlocks with t.sub.1 =1 when computation of either -a or -b is required, while t.sub.0 =1 when computation of -d is required. The quantities h.sub.0 and h.sub.1 correspond to the "hot" ones that must be supplied to the first and second instructions, respectively, of an instruction pair when executed serially.

Three-to-one additions are performed with a combination of CSA and CLA as illustrated in FIG. 3. The CSA generates a sum and carry from the three input operands, while the CLA produces a single result by adding the sum from the CSA to the carry from the CSA, shifted one bit position toward the MSB by appending a "hot" one or zero. Assuming no overflow, and proper addition with truncations the CSA operation can be represented as: ##EQU1## where s.sub.i, 0.ltoreq.i.ltoreq.31, represents the CSA sum and l.sub.i, 0.ltoreq.i.ltoreq.31, represents the CSA carry. Similarly, the CLA operation can be represented as: ##EQU2## in which f.sub.i, 0.ltoreq.i.ltoreq.31, denotes the possible carries generated or propagated in the CLA and t.sub.0 and t.sub.1 represent the "hot" ones applied to the arithmetic unit to perform subtraction as previously discussed. In these examples, the operands in the ALU are still represented as a, b, and d, however, the * has been added to indicate that the true or the one's complement of the operand is provided as input to the ALU as required to accomplish the desired addition or subtraction of corresponding operands.

In the absence of overflow, execution of the instruction pair by the ALU of FIG. 3 as a three-to-one operation must produce results which are equivalent to serial execution of the instruction pair when proper truncation is applied. The serial execution can be represented as two two-to-one additions, wherein the first instruction execution is as follows: ##EQU3## and the second instruction execution is as follows: ##EQU4## where k represents the carries generated during the execution of the first instruction, c represents the carries generated by execution of the second instruction, and h.sub.0 and h.sub.1 represent the "hot" ones provided to the two-to-one adder for execution of the first and second instructions, respectively. In these expressions, the * represents either the true or the one's complements of the operands supplied, depending upon whether the operand is to be added or subtracted.

Refer now to Appendix I for an understanding of the basis for generating the overflow status of the 3-1 ALU during a three-to-one addition operation as if the second instruction were executed serially.

In a two-to-one adder, overflow is detected by exclusive-ORing the carries into and out of the sign bit resulting from the two-to-one addition. The invention allows the implicit determination of the carries into, c.sub.1, and the carries out of, c.sub.0, the sign bit that would occur from the sole execution of the second of a compounded pair of instructions even though the ALU of FIG. 3 is performing three-to-one addition that collapses write-read interlocks. As a result, the detection of overflow from the execution of the second instruction can be determined by equation (1), in which "V" denotes the exclusive-or operation:

OF=c.sub.0 Vc.sub.1 (1)

In the invention, the carries co and cl of equation (1) are derived implicitly from values input into and generated within the three-to-one ALU of FIG. 3. The signals of interest to the implicit determination of these carries are illustrated in FIG. 4, where the 3-1 ALU of FIG. 3 is illustrated as a five-stage mechanism in which the CSA 30 occupies stage one, and the CLA 32 stages two through five. The three operands are input to the adder portion 50 of the CSA 30, which generates the sum and carry outputs. The carry output is shifted at 51 and the "hot" one position in the carry output is filled by the current value of t.sub.0. The sum and carry are forwarded from stage one to stage two which is occupied by generate/transmit circuitry 53 producing conventional generate (Gi) and transmit (T.sub.i) terms in response to the sum and carry produced by the CSA 30. In the CLA 32, conventional carries are generated in a carry circuit 54 in response to the generate and transmit terms and to the t.sub.1 input. The generate and carry terms are fed, together with t.sub.1, to a summing circuit 55 at stage five of the arithmetic unit. The summing circuit conventionally combines its inputs to produce the result (OUT).

When used herein, the term "stage" denotes a level in a logic circuit which corresponds to a basic unit of logic fabrication. Such units are called "booksets". Conventionally, a bookset represents one unit of delay through a logic circuit which may include a plurality of such units in series. In this application, the term "stage" does not correspond to a clocked unit of a pipelined sequence.

The invention lies in the realization that overflow for the second instruction alone can be detected in the data dependency collapsing arithmetic unit at the same stage that the result of the three-to-one addition is generated. This is accomplished in the invention by using only the values input into, and generated within, the data dependency collapsing arithmetic unit. These signals can be understood with reference to FIG. 4 and to the development which follows.

Using the development in appendix 1, an algorithm is derived for this invention which allows the implicit determination of carries c.sub.0 and c.sub.1 of equation (1).

In the algorithm, c.sub.0 and c.sub.1 are given by:

c.sub.0 =k.sub.0 Vl.sub.0 Vf.sub.0

c.sub.1 =k.sub.1 Vl.sub.1 Vf.sub.1

Let G.sub.i and T.sub.i represent the generate and transmit signals of a two-to-one addition. Understanding that adjacency of terms denotes the "AND" operation and that "+"denotes the OR operation, these signals can be derived from the inputs to the arithmetic unit illustrated in FIGS. 3 and 4 by:

G.sub.i =a.sub.i d.sub.i

T.sub.i =a.sub.i +d.sub.i

Let x.sub.i+1 represent the carry into bit position i from bit position i+1. The carry from bit position 0, x.sub.0, can be found from the carry from bit position 1, x.sub.1 by:

x.sub.0 =(G.sub.0 +T.sub.0 x.sub.1)

using this expression for x.sub.0,

x.sub.0 Vx.sub.1 =(G.sub.0 +T.sub.0 x.sub.1)Vx.sub.1

x.sub.0 Vx.sub.1 =(G.sub.0 T.sub.0 +G.sub.0 x.sub.1)x.sub.1 +(G.sub.0 +T.sub.0 x.sub.1)x.sub.1

however,

T.sub.0 =(a.sub.0 +d.sub.0)

T.sub.0 =a.sub.0 d.sub.0 +a.sub.0 d.sub.0

T.sub.0 =a.sub.0 a.sub.0 d.sub.0 +d.sub.0 a.sub.0 d.sub.0

T.sub.0 =(a.sub.0 +d.sub.0)a.sub.0 d.sub.0

T.sub.0 =(a.sub.0 d.sub.0)a.sub.0 d.sub.0

T.sub.0 =(a.sub.0 d.sub.0)(a.sub.0 +d.sub.0)

T.sub.0 =G.sub.0 T.sub.0

therefore,

x.sub.0 Vx.sub.1 =T.sub.0 x.sub.1 +G.sub.0 x.sub.1

by substituting the expressions for c.sub.0 and c.sub.1 into the expression for c.sub.0 Vc.sub.1 :

c.sub.0 Vc.sub.1 =k.sub.0 Vl.sub.0 Vf.sub.0 Vk.sub.1 Vl.sub.1 Vf.sub.1 ; or,

c.sub.0 Vc.sub.1 =k.sub.0 Vk.sub.1 Vl.sub.0 Vf.sub.0 Vf.sub.1 Vl.sub.1

However, k.sub.0 Vk.sub.1 is an exclusive-OR of carries from the two-to-one addition resulting from execution of the first instruction alone. Making use of the expression developed above for x.sub.0 Vx.sub.1, k.sub.0 Vk.sub.1 can be written as:

k.sub.0 Vk.sub.1 =a.sub.0 d.sub.0 k.sub.1 +a.sub.0 d.sub.0 k.sub.1

k.sub.0 Vk.sub.1 =a.sub.0 d.sub.0 k.sub.1 Va.sub.0 d.sub.0 k.sub.1

furthermore, l.sub.0 can be expressed as:

l.sub.0 =a.sub.0 d.sub.0 +a.sub.0 b.sub.0 +b.sub.0 d.sub.0

l.sub.0 =a.sub.0 d.sub.0 V((a.sub.0 b.sub.0 +b.sub.0 d.sub.0)a.sub.0 d.sub.0)

The last term of this expression can be reduced to:

(a.sub.0 b.sub.0 +b.sub.0 d.sub.0)a.sub.0 d.sub.0 =(a.sub.0 b.sub.0 +b.sub.0 d.sub.0)(a.sub.0 +d.sub.0)

(a.sub.0 b.sub.0 +b.sub.0 d.sub.0)a.sub.0 d.sub.0 =a.sub.0 b.sub.0 d.sub.0 +a.sub.0 b.sub.0 d.sub.0

(a.sub.0 b.sub.0 +b.sub.0 d.sub.0)a.sub.0 d.sub.0 =b.sub.0 (a.sub.0 Vd.sub.0)

Substituting this expression into that for l.sub.0 produces:

l.sub.0 =a.sub.0 d.sub.0 V(b.sub.0 (a.sub.0 Vd.sub.0))

from which,

k.sub.0 Vk.sub.1 Vl.sub.0 =a.sub.0 d.sub.0 k.sub.1 Va.sub.0 d.sub.0 k.sub.1 Va.sub.0 d.sub.0 V(b.sub.0 (a.sub.0 Vd.sub.0))

k.sub.0 Vk.sub.1 Vl.sub.0 =a.sub.0 d.sub.0 k.sub.1 Va.sub.0 d.sub.0 k.sub.1 V(b.sub.0 (a.sub.0 Vd.sub.0))

However, since:

a.sub.0 d.sub.0 k.sub.1 Va.sub.0 d.sub.0 k.sub.1 =(a.sub.0 +d.sub.0 +k.sub.1)a.sub.0 d.sub.0 k.sub.1 +a.sub.0 d.sub.0 k.sub.1 (a.sub.0 +d.sub.0 +k.sub.1)

a.sub.0 d.sub.0 k.sub.1 =a.sub.0 d.sub.0 k.sub.1 +a.sub.0 d.sub.0 k.sub.1

a.sub.0 d.sub.0 k.sub.1 =(a.sub.0 Vd.sub.0)k.sub.1

k.sub.0 Vk.sub.1 Vl.sub.0 can be expressed as:

f.sub.0 Vf.sub.1 =s.sub.0 l.sub.1 f.sub.1 Vs.sub.0 l.sub.1 f.sub.1

Therefore:

f.sub.0 Vf.sub.1 Vl.sub.1 =s.sub.0 l.sub.1 f.sub.1 Vs.sub.0 l.sub.1 f.sub.1 Vl.sub.1

which reduces to:

f.sub.0 Vf.sub.1 Vl.sub.1 =l.sub.1 s.sub.0 V(f.sub.1 (s.sub.0 Vl.sub.1))

The expressions for f.sub.0 Vf.sub.1 Vl.sub.1 and k.sub.0 Vk.sub.1 Vl.sub.0 that have been derived above can be combined to generate an expression for overflow detection. The results of this combination are given in equation (2):

c.sub.0 Vc.sub.1 =(a.sub.0 Vd.sub.0)k.sub.1 V(b.sub.0 (a.sub.0 Vd))Vl.sub.1 s.sub.0 V(f.sub.1 (s.sub.0 Vl.sub.1)) (2)

In equation (2) the terms (a.sub.0 Vd.sub.0)k.sub.1 V(b.sub.0 (a.sub.0 Vd.sub.0))Vl.sub.1 s.sub.0 can be generated in four stages; the term f.sub.1 (s.sub.0 Vl.sub.1) can also be generated in four stages. The overflow signal can then be generated in the fifth stage, the stage that the sum is generated, by using a two-to-one exclusive-OR gate.

Returning once again to the figures, FIG. 5 illustrates the overflow detector of the invention in combination with the 3-1 ALU illustrated in FIGS. 3 and 4. In FIG. 5, the 3-1 ALU is indicated by reference number 70. The overflow detector 72 of the invention is connected to receive the necessary bits of the three operands which are provided for the operation of the ALU 70, the carry-ins to the ALU 70 (t.sub.0 and t.sub.1), and the sum and carry bits, s.sub.i and l.sub.i, generated in the CSA section of the ALU 70. The overflow detector 72 combines these bits according to equations (1) and (2) given above to produce an overflow signal OF. It is contemplated that the overflow signal OF is to be provided to a condition code circuit 74 which will use overflow, together with other signals representing zero results and relational determinations to produce a condition code signal CC.

FIG. 6 illustrates the overflow detector 72 in greater detail. Those skilled in the art will appreciate that the overflow detector is a logic circuit which is definitively described by equations (1) and (2).

As FIG. 6 shows, the overflow detector is a multi-stage apparatus having five stages, the same number of stages as the arithmetic unit illustrated in FIGS. 3 and 4. The overflow signal OF is output by the fifth stage of the overflow detector, which is the same stage at which the output of the arithmetic unit is generated. Therefore, the overflow detector makes the overflow results available substantially simultaneously with the result produced by the data dependency collapsing arithmetic unit.

In FIG. 6, the overflow detector generates the overflow signal in response only to signals which are either input into, or developed within, the 3-1 ALU. Thus, the inputs to stage 1 of the overflow detector consist of the operands a, b, and d, together with the carry-in t.sub.0 supplied to the arithmetic unit to properly execute its function. At stage 1 of the overflow detector, the sum and carry output by the CSA arithmetic unit 34 in FIG. 3 are input into the overflow detector, together with the carry-in t.sub.1 necessary to properly execute the function of the ALU.

In FIG. 6, the elements of the expression given above for c.sub.0 Vc.sub.1 are all developed by circuit elements well-known to the reasonably skilled digital engineer. In this regard, the XOR gate 80 and the AND gate 82 operate on a.sub.0, b.sub.0 and d.sub.0 to produce the second term of equation (2), that is, b.sub.0 (a.sub.0 Vd.sub.0). The XOR gate 84 and inverter 85 produce s.sub.0, while the three-AND, single-OR circuit 87 operates on a.sub.1, b.sub.1, and d.sub.1 to produce l.sub.1. The AND gate 89 combines the outputs of circuit elements 85 and 87 to produce the third term of equation (2), that is, l.sub.1 s.sub.0.

The first term of equation (2) is produced by element 90. In FIG. 6, the element 90 has been illustrated in a level of abstraction to express the computation of k.sub.1 (a.sub.0 Vd.sub.0), which is the first term of equation (2). For the carry term, k.sub.1, the following holds:

k.sub.1 =G.sub.1.sup.31 (a,d)+T.sub.1.sup.31 (a,d)t.sub.0

The calculations of the complex generate and transmit terms, G.sub.1.sup.31 and T.sub.1.sup.31, are well-known in the art, and reference is given in particular to FIGS. 8 and 9 of U.S. Pat. No. 4,924,424, assigned to the assignee of this application, for generation of these complex values. The distributed term H.sub.0 denotes H.sub.0 =(a.sub.0 Vd.sub.0).

As FIGS. 7A and 7B show, the output of the circuit element 90 requires three stages for generation, the output being available at the inputs to stage 4. In particular, in FIG. 7, the term H.sub.0 is produced at the inverted output of an exclusive-OR gate 100, while the complex generate and transmit terms are produced by the illustrated circuits Although FIGS. 5, 6, and 7 illustrate generation of complex transmit and carry terms by circuitry which is separate from the 3-1 ALU, it is contemplated that these terms can also be obtained from the CLA of the ALU.

Returning to FIG. 6, the three equation terms produced by circuit elements 82, 89, and 90 are combined in the three-to-one exclusive OR circuit 91 in stage four of the detector. Finally, the last term of equation (2) is generated by circuit element 93 whose inputs receive the stage one ALU outputs from the CSA of the arithmetic unit, the output of the exclusive-OR gate 84 (s.sub.0), the output of the AND/OR element 87 (l.sub.1) and the carry in t.sub.1. The element 93 combines these terms according to the following equation:

f.sub.1 (s.sub.0 Vl.sub.1)=F.sub.0 G.sub.1.sup.31 (s,l)+F.sub.0 T.sub.1.sup.31 (s,l)t.sub.1

where the expression can be implemented in a three-stage circuit identical with the circuit of FIG. 7, with the exceptions that the complex generate and transmit terms are generated as functions of the sum and carry terms produced by the CSA 30, the carry-in t.sub.1 is provided, and the term F.sub.0 is determined by F.sub.0 =(s.sub.0 Vl.sub.1).

The overflow signal is generated at the output of the exclusive OR gate 95 which receives as inputs the output of the exclusive-OR gate 91 and the circuit 93.

APPENDIX I

Theorem 1: If S=AVB and S=AVC, then B=C.

The proof of this theorem is given in this appendix. This proof uses the definitions of formal implication and equality of propositional algebra. These definitions are:

Definition 1--Formal Implication (denoted by P.fwdarw.Q):

For each possible pair of corresponding values of P.sub.0,Q.sub.0 of the propositional functions P and Q, either P.sub.0 is false or if P.sub.0 is true then Q.sub.0 is true also.

Since the algebra of propositions is a Boolean algebra, the above definition can be represented as:

(P.fwdarw.Q)=P+Q.

Definition 2--Equality (denoted as P=Q):

If P.fwdarw.Q and Q.fwdarw.P; then P=Q.

This definition can be expressed as:

(P=Q)=(P.fwdarw.Q)(Q.fwdarw.P)

where (x)(y) implies AND. Substituting the expression for formal implication into that for equality gives:

(P=Q)=(P+Q)(Q+P)

(P=Q)=P(Q+P)+Q(Q+P)

(P=Q)=PQ+PP+QQ+QP

(P=Q)=PQ+QP

Theorem 1 can be proved by making use of the last expression for equality. Applying this expression to the first condition of Theorem 1, that is, S=AVB produces:

(S=(AVB))=S(AVB)+S(AVB).

But by the second condition of Theorem 1, S=AVC. Substituting AVC for S in the previous equation gives:

(S=(AVB))=(AVC)(AVB)+(AVC)(AVB)

(S=(AVB))=(AC+AC)(AB+AB)+(AC+AC)(AB+AB)

(S=(AVB))=((AC)(AC))((AB)(AB))+AC(AB+AB)+AC(AB+AB)

(S=(AVB))=(A+C)(A+C)(A+B)(A+B)+ACB+ACAB+ACAB+ACB

(S=(AVB))=(A(A+C)+C(A+C))(A(A+B)+B(A+B))+ACB+ACB

(S=(AVB))=(AA+AC+CA+CC)(AA+AB+BA+BB)+ACB+ACB

(S=(AVB))=(AC+CA)(AB+BA)+ACB+ACB

(S=(AVB))=(AC(AB+BA)+CA(AB+BA))+ACB+ACB

(S=(AVB))=(ACB+ACBA+CAAB+CAB)+ACB+ACB

(S=(AVB))=ACB+CAB+ACB+ACB

(S=(AVB))=ACB+ACB+ACB+ACB

(S=(AVB))=(A+A)CB+(A+A)CB

(S=(AVB))=CB+CB

But,

(B=C)=CB+CB

therefore,

B=C

Theorem 2:

The carry at bit position i+1 generated by the serial execution of an interlocked pair of arithmetic instructions can be determined by:

c.sub.i+1 =Z.sub.i+1 Vl.sub.i+1 Vf.sub.i+1

where l.sub.1+1 and f.sub.i+1 are the carry generated by the CSA and the carry generated by the CLA during the three-to-one add, respectively, and Z.sub.i+1 represents either k.sub.i+1 or k.sub.i+1 where k.sub.i+1 is the carry generated at the bit position i+1 during the serial execution of the first instruction.

Proof: The sum and carry from the CSA at bit position i can be determined from:

s.sub.i =a*.sub.i Vb*.sub.i Vd*.sub.i

and

l.sub.i =a*.sub.i b*.sub.i +a*.sub.i d*.sub.i +b*.sub.i d*.sub.i

where V represents EXCLUSIVE OR, a*.sub.i b*.sub.i represents logical AND, and + represents logical OR. The result, S, from the three-to-one ALU is computed by:

S.sub.i =s.sub.i Vl.sub.i+1 Vf.sub.i+1

with

l.sub.32 =t.sub.0 and f.sub.32 =t.sub.1 =C.sub.in

where t.sub.0 and t.sub.1 are the hot one's supplied to the three-to-one operation corresponding to the hot one's supplied to the execution of the first and second instruction, respectively. Note that for any carry, the subscript i represents the carry from bit i into bit i-1, for instance, f.sub.1 represents the carry generated at bit position 1 into position 0 by the CLA. Similarly, the results of the serial execution can be expressed as:

e.sub.i =a.sub.i Vd.sup.+.sub.i Vk.sub.i+1

and

S*.sub.i =e*.sub.i Vb*.sub.i Vc.sub.i+1

with

k.sub.32 =h.sub.0 =C.sub.in and C.sub.32 =h.sub.1 =C.sub.in

where h.sub.0 and h.sub.1 are the hot one's supplied to the serial execution of the first and second instructions, respectively.

As has been shown, six unique cases arise due to the combination of add/substract instructions and possible interlocks. These cases were given in tables 1 and 2. Each of these cases must be considered to complete the proof.

Cases 1,2,3, and 4

The following identities hold for these cases:

a*.sub.i =a.sub.i because for serial and parallel execution, a is always positive,

d*.sub.i =d.sup.+.sub.i because when d is positive (negative) for serial execution it is also positive (negative) for parallel execution,

b*.sub.i =b.sup.+.sub.i because when b is positive (negative) for serial execution, denoted by b.sup.+.sub.i, it is also positive (negative) for parallel execution,

e*.sub.i =e.sub.i because the positive result of the first instruction is required for the serial execution of the pair.

With these identities, the expression for S*.sub.i for 023 i.ltoreq.31 can be written as: ##EQU5## Since,

xV0=x and xVx=0,

the sum from the three-to-one addition can be expressed as: ##EQU6## where 0.ltoreq.i.ltoreq.31. But the results from the execution of the instruction pair are equivalent for each implementation. Therefore,

S.sub.i =S*.sub.i

so that by Theorem 1,

c.sub.i+1 =k.sub.i+1 Vl.sub.i+1 Vf.sub.i+1.

Cases 5 and 6

For cases 5 and 6:

a*.sub.i =a.sub.i because for serial execution, a is always positive while for parallel execution, a is always negative,

d*.sub.i =d.sup.+.sub.i because when d is positive (negative) for the serial execution, it is negative (positive) for the parallel execution,

b*.sub.i =b.sup.+.sub.i =b.sub.i because for serial and parallel execution, b is always positive,

e*.sub.i =e.sub.i because the negative of the result of the serial execution of the first instruction is required for the execution of the second instruction.

Using these identities in the expressions for S*.sub.i when 0.ltoreq.i.ltoreq.31 gives: ##EQU7##

But as for cases 1 through 4, S.sub.i can be expressed as:

S.sub.i =s.sub.i Vk.sub.i+1 Vk.sub.i+1 Vl.sub.i+1 Vf.sub.i+1

were 0.ltoreq.i.ltoreq.31, and since

S.sub.i =S*.sub.i,

then

c.sub.i+1 =k.sub.i+1 Vl.sub.i+1 Vf.sub.i+1

follows from Theorem 1.

QED.

Theorem 3: The carries, k.sub.i+1 and k.sub.i+1, required to generate c.sub.i+1 can be generated by:

Z.sub.i+1 =G.sub.i+1.sup.31 +T.sub.i+1.sup.31 C.sub.in,

T.sub.i+1.sup.31, and G.sub.i+1.sup.31 being the transmit and generate signals for the addition of a*,d* and t.sub.0 =C.sub.in

Proof: Assuming the carry equations described in the article by S. Vassiliadis entitled "Recursive Equations for Hardwired Binary Adders" in INT. J. ELECTRONICS, vol. 67, No. 2, pp. 201-213, 1989, and recognizing that:

G.sub.i+1.sup.31 =T.sub.i+1 G*.sub.i+1.sup.31,

it must be proven that

Z.sub.i+1 =T.sub.i+1 G*.sub.i+1.sup.31 +T.sub.i+1.sup.31 t.sub.0

where T.sub.i and G*.sub.i are the transmit and pseudo-generate signals, respectively, at bit position i and T.sub.i.sup.n and G*.sub.i.sup.n are the transmit and pseudo-generate signals, respectively, from bit position n to bit position i for the serial execution of the first instruction. Let T.sup.+.sub.i, G.sup.+.sub.i, T.sup.+.sub.i.sup.n, and G.sup.+.sub.i.sup.n be the corresponding signals when using the operands a* and d* applied to the three-to-one adder. Then,

T.sub.i =a.sub.i +d.sup.+.sub.i

G*.sub.i =a.sub.i d.sup.+.sub.i

T.sub.i.sup.n =(a.sub.i +d.sup.+.sub.i)(a.sub.i+1 +d.sup.+.sub.i+1) . . . (a.sub.n +d.sup.+.sub.n)

G*.sub.i.sup.n =a.sub.i d.sup.+.sub.i +a.sub.i+1 d.sup.+.sub.i+1 +T.sub.i+1 a.sub.i+2 d.sup.+.sub.i+2 +. . .+T.sub.i+1.sup.n-1 a.sub.n d.sup.+.sub.n

T.sup.+.sub.i =a*.sub.i +d*.sub.i

G.sup.+.sub.i =a*.sub.i d*.sub.i

T.sup.+.sub.i.sup.n =(a*.sub.i +d*.sub.i)(a*.sub.i+1 +d*.sub.i+1) . . . (a*.sub.n +d*.sub.n)

G.sup.+.sub.i.sup.n =a*.sub.i d*.sub.i +a*.sub.i+1 d*.sub.i+1 +T.sup.+.sub.i+1 a*.sub.i+2 d*.sub.i+2 +. . .+T.sup.+.sub.i+2.sup.n-1 a*.sub.n d*.sub.n

The carry generated at bit position i+1 during the serial execution of the first instruction, k.sub.i+1, can be expressed as:

k.sub.i+1 =T.sub.i+1 (G*.sub.i+1.sup.31 +T.sub.i+2.sup.31 h.sub.0),

while the carry generated within the three-to-one adder 1, using the operands a* and d*,Z.sub.i+1, can be expressed as:

Z.sub.i+1 =T.sup.+.sub.i+1 (G.sup.+.sub.i+1.sup.31 +T.sup.+.sub.i+2.sup.31 t.sub.0).

Each of the six unique cases shown in tables 1 and 2 must be considered to complete the proof.

Cases 1, 2, 3, and 4

Given that:

a*.sub.i =a.sub.i

d*.sub.i =d.sup.+.sub.i

shown previously, and that

t.sub.0 =h.sub.0

shown in tables 1 and 2, then ##EQU8##

Thus,

T.sup.+.sub.i.sup.n =T.sub.i.sup.n

and

G.sup.+.sub.i.sup.n =G*.sub.i.sup.n.

Substituting these expressions into that for Z.sub.i+1 gives:

Z.sub.i+1 =T.sub.i+1 (G*.sub.i+1.sup.31 +T.sub.i+2.sup.31 t.sub.0).

Since

t.sub.0 =h.sub.0,

Z.sub.i+1 becomes: ##EQU9##

Therefore, Z.sub.i+1 generates k.sub.i+1 as is required by Theorem 2 for generating c.sub.i+1 for these cases.

Cases 5 and 6

Given that:

a*.sub.i =a.sub.1

d*.sub.i =d.sup.+.sub.i

shown previously, and

t.sub.0 =h.sub.0

shown in tables 1 and 2, then ##EQU10##

Substituting these expressions as well as the expression for t.sub.0 into that for Z.sub.i+1 gives: ##EQU11##

This can be reduced by repeated application of DeMorgan's Theorem to: ##EQU12##

Therefore, for these cases, Z.sub.i+1 produces k.sub.i+1 which is the value that is required for generating c.sub.i+1.

QED.

The previous proof made use of the recursive equations based on the new carry as described in the article by S. Vassiliadis. The equivalence of the results for the new carry and carry equations are discussed in that reference. Therefore, the carry, k.sub.i+1 or k.sub.i+1 required for generating c.sub.i+1 can be calculated from either: ;

Z.sub.i+1 =G.sub.i+1.sup.31 +T.sub.i+1.sup.31 t.sub.0

or

Z.sub.i+1 =T.sub.i+1 G.sub.i+1.sup.31 +T.sub.i+1.sup.31 t.sub.0

Theorems 2 and 3 suggest that the carries at position i+1 of the second instruction in the parallel execution of two interlocked arithmetic instructions can be generated in two ways. First, the computation can use the carries at position i+1 of a two-to-one ALU, which is required to produce the result of the first instruction, with the proper inversion, along with l.sub.i+1 and f.sub.i+1 which are produced in the three-to-one ALU during the parallel execution of the two instructions (theorem 2). Alternatively, the carry at position i+1 of the second operation can be generated from the three-to-one ALU from its inputs a* and d* with the proper setting of the hot one, t.sub.0, and l.sub.i+1 and f.sub.i+1 (theorem 3). The carries of the second instruction into and from the MSB can be used to determine the ALU status.

                  TABLE 1
    ______________________________________
    Functions Arising from Interlocks on First Operand
    of Second Instruction
    OPERA-                   Hot One's
    TIONS  ALU Function      Case    t.sub.1
                                         t.sub.0
                                             h.sub.1
                                                 h.sub.0
    ______________________________________
    + +    (a + d) + b = a + b + d
                             Case 1  0   0   0   0
    + -    (a + d) - b = a - b + d
                             Case 2  1   0   1   0
    - +    (a - d) + b = a + b - d
                             Case 3  0   1   0   1
    - -    (a - d) - b = a - b - d
                             Case 4  1   1   1   1
    ______________________________________


TABLE 2 ______________________________________ Functions Arising from Interlocks on Second Operand of Second Instruction OPERA- Hot One's TIONS ALU Function Case t.sub.1 t.sub.0 h.sub.1 h.sub.0 ______________________________________ + + b + (a + d) = a + b + d Case 1 0 0 0 0 + - b - (a + d) = -a + b - d Case 5 1 1 1 0 - + b + (a - d) = a + b - d Case 3 0 1 0 1 - - b - (a - d) = -a + b + d Case 6 1 0 1 1 ______________________________________


Obviously, many modifications and variations of the invention may be inferred and implemented without departing from the scope and spirit of the description and the appended claims.


Top