The change is simple enough not to require performance evaluation, I think. (I
may have said otherwise before, but it's always a bit different if you're
talking about a change you don't know about versus a concrete diff.) So I'll
merge this now; thanks everyone!
Regarding performance evaluation in general, I think we should set up some
"checkpoint" experiments based on the IPC 2011 configurations. Maybe I can get
one of the hiwis to set up the basic infrastructure for this.
|