- use "hw07-sol.sml";
[opening hw07-sol.sml]
hw07-sol.sml:66.31 Warning: calling polyEqual
hw07-sol.sml:59.37 Warning: calling polyEqual
hw07-sol.sml:58.37 Warning: calling polyEqual
=========== K=6 ===========
1[1] <-->
2[2] <-->
3[3] <-->
5[5] <-->
6[6] <-->
8m{%8} <-->
9m{%9} <-->
10m{%10} <--> 526r
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]
519a => 5[5]
520s{2} <-->
522s{3} <-->
524a => 5[5]
526r <--> 10m{%10} 6[6] 5[5] 3[3] 2[2] 1[1]
527r <--> 6[6] 5[5] 3[3] 2[2] 1[1]
528 <--> 531 6[6] 5[5] 3[3] 2[2] 1[1]
529r <--> 6[6] 5[5] 3[3] 2[2] 1[1]
530r <--> 6[6] 5[5] 3[3] 2[2] 1[1]
531 <--> 528 6[6] 5[5] 3[3] 2[2] 1[1]
532r <--> 6[6] 5[5] 3[3] 2[2] 1[1]
Spill candidates:
531 528
Error: MLRisc bug: RegisterAllocator.chooseVictim

uncaught exception 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
             ../compiler/TopLevel/interact/evalloop.sml:296.17-296.20