russellallen / self

Making the world safe for objects
http://selflanguage.org
713 stars 76 forks source link

Sparc: VM miscopiled with `-O2` #151

Open nbuwe opened 1 year ago

nbuwe commented 1 year ago

reldbg build defaults to -O2 and on NetBSD/sparc with gcc (nb2 20230710) 10.5.0 the VM gets SIGBUS when trying to load the world:

#0  Conversion::convertVFrames (this=0x6ebfc8) at vm/src/any/runtime/conversion.cpp:176
#1  0x000c75f8 in Conversion::convert (this=0x6ebfc8) at vm/src/any/runtime/conversion.cpp:66
#2  0x000c8578 in Conversion::doit (this=0x6ebfc8) at vm/src/any/runtime/conversion.cpp:14
#3  0x000e6208 in switchToVMStack (continuation=0xc9380 <ConvertFrame_cont()>) at vm/src/any/runtime/process.cpp:1800
#4  0x000cbd14 in ConvertFrame (isInterp=false, nlrHomeID=14, nlrHome=0xe7ffe030, nlr=true, sp=0xe7ffe030, result=0x40e5785) at vm/src/any/runtime/frame.cpp:518
#5  HandleReturnTrap (result=0x40e5785, sp_of_patched_frame=0xe7ffe030, nlr=<optimized out>, nlrHome=0xe7ffe030, nlrHomeID=14) at vm/src/any/runtime/frame.cpp:588
#6  0x00175954 in ReturnTrapNLR_returnPC ()

Telling reldbg to use more conservative -Og results in the VM that seems to work ok and passes the tests.

Unfortunately, I currently don't have time to debug this further or to binary-search for the -f optimization that is not in -Og but is in -O2 that triggers this.

nbuwe commented 1 year ago

To narrow it down a bit, -O1 is ok, -Os fails.

nbuwe commented 1 year ago

So the failure being related to frames was a broad hint and, indeed, -fno-optimize-sibling-calls helps. But the time to load the world and to do --runAutomaticTests is significantly worse for -Os -fno-optimize-sibling-calls than for -O1.

russellallen commented 1 year ago

I wonder how much the higher -O levels above -O1 are actually buying us.

I'm having issues getting NetBSD Sparc to run on Qemu (I don't have Sparc hardware anymore) but I'll have a look at this as soon as I get it running.

nbuwe commented 1 year ago

Beware that sparc needs a few tweaks, that I think I mentioned in the PR