davide accepted this revision. davide added a comment. This revision is now accepted and ready to land. I have one single last comment, then LGTM. I think you can merge the two *.s files into one as they share the same ASM. Thanks! https://reviews.llvm.org/D24891