4.7.4 The Internals structure

showMir

Internals option

Structure

Shell.Options.Internals

Type

val showMir: bool option

Description

If true, show MIR code during compilation. MIR code is the result of the fourth stage of compilation.

Example

The following is the MIR code resulting from the evaluation of a simple ML expression:

MLWorks> val x = 1;
The unoptimised intermediate code
MIR code unit
  References
   Local [Tag 3281, position 0]
   External []
   Interpreter vars []
   Interpreter exns []
   Interpreter strs []
   Interpreter funs []
 Values
 Procedure sets
  Procedure set { 3281 }
   Procedure 3281 <Setup>[<Listener #1>:1,1] (
    No spill size information.
    No previous spill size information.
    No stack allocation information.
    Block 3281
     Procedure entry
     MOVE GC11/closure/cclos GC5/argument/carg 
      ; Argument to tuple
      ; Argument to tuple
     ALLOC GC~7545 2 
     MOVE GC~7546 1 
     ST GC~7546 GC~7545 Any:~1 
     MOVE GC~7547 1 
     ST GC~7547 GC~7545 Any:3 
     MOVE GC5/argument/carg GC~7545 
     Procedure exit
val x : int = 1
MLWorks>