Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/cfg-ir/ssa-fn.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/cfg-ir/ssa-fn.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 5285, Thu Aug 10 16:50:56 2017 UTC revision 5286, Thu Aug 10 17:53:04 2017 UTC
# Line 531  Line 531 
531                        | GASSIGN _ => "GASSIGN"                        | GASSIGN _ => "GASSIGN"
532                        | NEW _ => "NEW"                        | NEW _ => "NEW"
533                        | SAVE _ => "SAVE"                        | SAVE _ => "SAVE"
                       | EXIT{kind=ExitKind.RETURN _, ...} => "RETURN"  
534                        | EXIT{kind, ...} => ExitKind.toString Var.toString kind                        | EXIT{kind, ...} => ExitKind.toString Var.toString kind
535                      (* end case *))                      (* end case *))
536                in                in
# Line 615  Line 614 
614          fun mkACTIVE () = mkEXIT ExitKind.ACTIVE          fun mkACTIVE () = mkEXIT ExitKind.ACTIVE
615          fun mkSTABILIZE () = mkEXIT ExitKind.STABILIZE          fun mkSTABILIZE () = mkEXIT ExitKind.STABILIZE
616          fun mkDIE () = mkEXIT ExitKind.DIE          fun mkDIE () = mkEXIT ExitKind.DIE
617            fun mkNEXTSTEP () = mkEXIT ExitKind.NEXTSTEP
618          fun mkUNREACHABLE () = mkEXIT ExitKind.UNREACHABLE          fun mkUNREACHABLE () = mkEXIT ExitKind.UNREACHABLE
619          fun isNULL (ND{kind=NULL, ...}) = true          fun isNULL (ND{kind=NULL, ...}) = true
620            | isNULL _ = false            | isNULL _ = false

Legend:
Removed from v.5285  
changed lines
  Added in v.5286

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0