Home My Page Projects Code Snippets Project Openings SML/NJ Bugs
Summary Activity Tracker Lists

[#72] regalloc broken

Date:
2011-05-26 05:37
Priority:
3
State:
Open
Submitted by:
Bug Submitter (webuser)
Assigned to:
Allen Leung (leunga)
Machine Architecture:
None
Operating System:
Linux
Component:
Compiler
Resolution:
None
Severity:
Major
OS Version:
2.6.31-23-generic
SML/NJ Version:
110.72
Keywords:
URL:
Transcript (of reproduction):
[22:35]rpearl@silverhold:~$ sml break.sml Standard ML of New Jersey v110.72 [built: Wed Feb 3 11:03:59 2010] [opening break.sml] =========== 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 ../compiler/TopLevel/interact/evalloop.sml:296.17-296.20 /Users/rpearl/bin/sml: Fatal error -- Uncaught exception Error with 0 raised at ../../MLRISC/control/mlriscErrormsg.sml:21.14-21.19
Source (for reproduction):
fun break n j = let val k = j + 1 in (k, if j = n then j else k) end
Summary:
regalloc broken

Detailed description
The code below raises an exception in register allocation

Additional comments:
Sadly, I don know enough about the SMLNJ compiler internals to fix

Submitted via web form by Ryan Pearl rpearl@andrew.cmu.edu

Comments:

No Comments Have Been Posted

Attached Files:

Changes

Field Old Value Date By
assigned_tonone2011-07-05 22:07jhr