4.7.4 The Internals structure

showOptMir

Internals option

Structure

Shell.Options.Internals

Type

val showOptMir: bool option

Description

If true, show optimized MIR code during compilation. Optimized MIR code is the result of the fifth stage of compilation.

Example

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

MLWorks> val x = 1;
The optimised intermediate code
MIR code unit
  References
   Local [Tag 3283, position 0]
   External []
   Interpreter vars []
   Interpreter exns []
   Interpreter strs []
   Interpreter funs []
 Values
 Procedure sets
  Procedure set { 3283 }
   Procedure 3283 <Setup>[<Listener #1>:1,1] (
    Spill areas: GC 0, NON_GC 0, FP 0
    No previous spill size information.
    0 words of stack required.
    Block 3283
     Procedure entry
      ; Argument to tuple
      ; Argument to tuple
     ALLOC GC5/argument/carg 2 
     MOVE GC26/g7 1 
     ST GC26/g7 GC5/argument/carg Any:~1 
     MOVE GC6/i2 1 
     ST GC6/i2 GC5/argument/carg Any:3 
     MOVE GC5/argument/carg GC5/argument/carg 
     Procedure exit
val x : int = 1
MLWorks>