aaboud added a comment. Can you add a LIT test? Like this one: void f1(); void f2() { _xbegin(); _xabort(); f1(); } And check that we are generating the call to f1; Repository: rL LLVM http://reviews.llvm.org/D20518