File: mlrisc-cfg-gen.sig

package info (click to toggle)
mlton 20210117%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 58,464 kB
  • sloc: ansic: 27,682; sh: 4,455; asm: 3,569; lisp: 2,879; makefile: 2,347; perl: 1,169; python: 191; pascal: 68; javascript: 7
file content (27 lines) | stat: -rw-r--r-- 568 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
 
(*
 * Emit code and build a CFG
 *
 * -- Allen
 *)

signature CONTROL_FLOW_GRAPH_GEN =
sig

   structure CFG : CONTROL_FLOW_GRAPH
   structure I   : INSTRUCTIONS
   structure S   : INSTRUCTION_STREAM
       sharing CFG.I = I
       sharing S.P   = CFG.P

   (*
    * This creates an emitter which can be used to build a CFG
    *)
   val builder : CFG.cfg -> 
      { stream : (I.instruction,
                  Annotations.annotations,
                  I.C.cellset
                 ) S.stream,
        next   : CFG.cfg -> unit (* start with a new CFG *)
      }

end