Skip to content

Instantly share code, notes, and snippets.

@frozencemetery
Created January 28, 2016 04:44
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save frozencemetery/d11263d1da3b89dcf16b to your computer and use it in GitHub Desktop.
Save frozencemetery/d11263d1da3b89dcf16b to your computer and use it in GitHub Desktop.
(0) frozencemetery@kirtar:~$ sml
Standard ML of New Jersey v110.76 [built: Sun Jun 29 03:29:51 2014]
- fun s m l = let val nj = l + 1 in (nj, if l = m then l else nj) end;
=========== K=6 ===========
1[1] <-->
2[2] <-->
3[3] <-->
5[5] <-->
6[6] <-->
8m{%8} <-->
9m{%9} <-->
10m{%10} <-->
11m{%11} <-->
12m{%12} <-->
13m{%13} <-->
14m{%14} <-->
15m{%15} <-->
16m{%16} <-->
17m{%17} <-->
18m{%18} <-->
19m{%19} <-->
20m{%20} <-->
21m{%21} <-->
22m{%22} <-->
23m{%23} <-->
24m{%24} <-->
25m{%25} <-->
26m{%26} <-->
27m{%27} <-->
28m{%28} <-->
29m{%29} <-->
30m{%30} <-->
31m{%31} <-->
514s{1} <-->
515a => 6[6]
516a => 3[3]
517a => 1[1]
518a => 2[2]
519s{2} <-->
521a => 5[5]
524r <--> 6[6] 5[5] 3[3] 2[2] 1[1]
525 <--> 526 6[6] 5[5] 3[3] 2[2] 1[1]
526 <--> 525 6[6] 5[5] 3[3] 2[2] 1[1]
527r <--> 6[6] 5[5] 3[3] 2[2] 1[1]
Spill candidates:
526 525
Error: MLRisc bug: RegisterAllocator.chooseVictim
unexpected exception (bug?) in SML/NJ: Error [Error]
raised at: ../../MLRISC/control/mlriscErrormsg.sml:21.14-21.19
../compiler/Basics/stats/stats.sml:198.40
../compiler/Basics/stats/stats.sml:198.40
../compiler/Basics/stats/stats.sml:198.40
../compiler/Basics/stats/stats.sml:198.40
../compiler/TopLevel/interact/evalloop.sml:44.55
-
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment