* libauqntum - running the SMSed version on ARM machine did not show significant improvement. Discussed it with Richard Sandiford. Apparently in the SMS phase the instructions are of DI mode due to the fact the loop contains 64 bit operations while they later been generated as 32 bit operations. This makes SMS less accurate and I'm now looking into a version which disables DI mode operations. * Started to look at the potential of SMS on libav. Initial runs of Richard's microbenchmarks with SMS show some regressions as well as improvements that I'm looking at.