Hi, I filed this bug half a year ago and it seems like nobody has looked into it yet. Should I send the patch to llvm-commits? I'd prefer to discuss it here or in the bugtracker, since I'm not subscribed to llvm-commits. Link: http://llvm.org/bugs/show_bug.cgi?id=16725 -Manuel