vsk added a subscriber: vsk. vsk added a comment. Could you add a small test to Bitcode/compatibility.ll in the function attributes section? E.g ; CHECK: define void @f.notail() #35 define void @f.notail() notail { ret void } ; CHECK: attributes #35 = { notail } http://reviews.llvm.org/D12923