Return to machinstr.sig CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / coder

Annotation of researchv10no/cmd/sml/src/coder/machinstr.sig, revision 1.1

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: (* machinstr.sig
        !             3:  *
        !             4:  * J.H. Reppy
        !             5:  * Cornell University
        !             6:  * Ithaca, NY 14853
        !             7:  * [email protected]
        !             8:  *
        !             9:  * HISTORY:
        !            10:  *   11/20/89  created
        !            11:  *
        !            12:  *   This is an abstract interface to the machine instruction set.
        !            13:  *)
        !            14: 
        !            15: signature MACHINSTR =
        !            16: sig
        !            17:     eqtype register
        !            18:     eqtype label sharing type label = BaseCoder.label
        !            19: 
        !            20:   (** Instructions **)
        !            21: 
        !            22:     type instruction
        !            23: 
        !            24:     datatype ikind = IK_NOP | IK_JUMP | IK_INSTR
        !            25: 
        !            26:     val instrKind : instruction -> ikind
        !            27:     val nop : instruction
        !            28: 
        !            29:   (** Span dependent instructions **)
        !            30: 
        !            31:     type sdi
        !            32: 
        !            33:     val minSize : sdi -> int
        !            34:     val sizeOf : sdi -> (bool * int)
        !            35:        (* sizeOf(I) returns the size of I under the current address assignment
        !            36:         * for labels plus true if the size if the maximum possible for the sdi. *)
        !            37:     val expand : (sdi * int) -> instruction list
        !            38:        (* expand (I, n) returns the expansion of I into n bytes of machine
        !            39:         * instructions. *)
        !            40: 
        !            41:   (** Resource usage **)
        !            42: 
        !            43:     val numResources : int
        !            44:     val rUseDef : instruction -> (int list * int list)
        !            45:     val hazard : (instruction * instruction) -> bool
        !            46:     val needsNop : (instruction * instruction) -> bool
        !            47: 
        !            48: end (* signature MACHINSTR *)
        !            49: 

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.