Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /MLRISC/trunk/block-placement/check-placement-fn.sml
ViewVC logotype

Diff of /MLRISC/trunk/block-placement/check-placement-fn.sml

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

revision 1163, Fri Mar 22 15:32:30 2002 UTC revision 1166, Fri Mar 22 16:59:28 2002 UTC
# Line 51  Line 51 
51                      else (                      else (
52                        anyErrors := true;                        anyErrors := true;
53                        say "********** Bogus block placement **********\n");                        say "********** Bogus block placement **********\n");
54                    say(concat("  "::msg))                    say(concat("** "::msg))
55                  end                  end
56            fun reportNotAdjacent (src, dst) = let            fun reportNotAdjacent (src, dst) = let
57                  fun b2s id = concat[                  fun b2s id = concat[
# Line 106  Line 106 
106                        else ()                        else ()
107                    | CFG.EXIT => if (dst <> exitId)                    | CFG.EXIT => if (dst <> exitId)
108                        then  reportError[                        then  reportError[
109                            "Block ", Int.toString src, " is not EXIT\n"                            "Block ", Int.toString dst, " is not EXIT\n"
110                          ]                          ]
111                        else ()                        else (case getJumpTargets src
112                             of [IP.ESCAPES] => ()
113                              | _ => reportError [
114                                    "Block ", Int.toString src,
115                                    "doesn't end in an escaping jump\n"
116                                  ]
117                            (* end case *))
118                    | _ => () (* no checking for SWITCH or FLOWSTO *)                    | _ => () (* no checking for SWITCH or FLOWSTO *)
119                  (* end case *))                  (* end case *))
120            in            in

Legend:
Removed from v.1163  
changed lines
  Added in v.1166

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