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

SCM Repository

[smlnj] Annotation of /tests/trunk/bugs/tests.obsolete/bug208.sml
ViewVC logotype

Annotation of /tests/trunk/bugs/tests.obsolete/bug208.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2071 - (view) (download)
Original Path: tests/trunk/bugs/tests/bug208.sml

1 : dbm 548 (* bug 208.sml *)
2 :     (* Problem: impossible error in cpsopt phase, on MIPS machine,
3 :     with default optimization settings
4 :     *)
5 :    
6 :     functor MipsCoder(val emit : 'a -> unit) = struct
7 :     fun needs _ = true
8 :     fun pass now =
9 :     let fun gen inst =
10 :     if now andalso needs() then ()
11 :     else if now
12 :     then let fun gen1() = gen(raise Match)
13 :     in case inst of
14 :     NONE => gen1()
15 :     | SOME b =>
16 :     let fun bc1f offset = ()
17 :     fun bc1t offset = ()
18 :     in if inst=NONE then
19 :     (emit((if b then bc1t else bc1f)
20 :     inst); gen1())
21 :     else ()
22 :     end
23 :     end
24 :     else ()
25 :     in gen
26 :     end
27 :     val assemble = pass true
28 :     end

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