On 14 November 2013 08:10, Oliver Stannard <oliver.stannard at arm.com> wrote: > For me that gives the "couldn't allocate output register" error and no > further errors. Since I can't reproduce it, could you please commit the > patch? Yep, it should be r194714. Thanks for looking into this. Cheers. Tim.