diff options
author | Vedant Kumar <vsk@apple.com> | 2019-01-17 00:29:14 +0000 |
---|---|---|
committer | Vedant Kumar <vsk@apple.com> | 2019-01-17 00:29:14 +0000 |
commit | e21ab22115ae546eb72f293fe43d234bf1418fbb (patch) | |
tree | 4000650ba6c76f8583cb15b843cafe16e1544a52 | |
parent | 685565ae9a1782a090741a590d83b7cca33d010b (diff) | |
download | bcm5719-llvm-e21ab22115ae546eb72f293fe43d234bf1418fbb.tar.gz bcm5719-llvm-e21ab22115ae546eb72f293fe43d234bf1418fbb.zip |
[FunctionComparator] Consider tail call kinds
Essentially, do not treat `call` and `musttail call` as the same thing.
As a drive-by, fold CallInst and InvokeInst handling together using the
CallSite helper.
Differential Revision: https://reviews.llvm.org/D56815
llvm-svn: 351405
-rw-r--r-- | llvm/lib/Transforms/Utils/FunctionComparator.cpp | 33 | ||||
-rw-r--r-- | llvm/test/Transforms/MergeFunc/tailcall.ll | 21 |
2 files changed, 32 insertions, 22 deletions
diff --git a/llvm/lib/Transforms/Utils/FunctionComparator.cpp b/llvm/lib/Transforms/Utils/FunctionComparator.cpp index a717d9b7281..8a13711a1d2 100644 --- a/llvm/lib/Transforms/Utils/FunctionComparator.cpp +++ b/llvm/lib/Transforms/Utils/FunctionComparator.cpp @@ -557,31 +557,20 @@ int FunctionComparator::cmpOperations(const Instruction *L, } if (const CmpInst *CI = dyn_cast<CmpInst>(L)) return cmpNumbers(CI->getPredicate(), cast<CmpInst>(R)->getPredicate()); - if (const CallInst *CI = dyn_cast<CallInst>(L)) { - if (int Res = cmpNumbers(CI->getCallingConv(), - cast<CallInst>(R)->getCallingConv())) + if (auto CSL = CallSite(const_cast<Instruction *>(L))) { + auto CSR = CallSite(const_cast<Instruction *>(R)); + if (int Res = cmpNumbers(CSL.getCallingConv(), CSR.getCallingConv())) return Res; - if (int Res = - cmpAttrs(CI->getAttributes(), cast<CallInst>(R)->getAttributes())) - return Res; - if (int Res = cmpOperandBundlesSchema(CI, R)) + if (int Res = cmpAttrs(CSL.getAttributes(), CSR.getAttributes())) return Res; - return cmpRangeMetadata( - CI->getMetadata(LLVMContext::MD_range), - cast<CallInst>(R)->getMetadata(LLVMContext::MD_range)); - } - if (const InvokeInst *II = dyn_cast<InvokeInst>(L)) { - if (int Res = cmpNumbers(II->getCallingConv(), - cast<InvokeInst>(R)->getCallingConv())) + if (int Res = cmpOperandBundlesSchema(L, R)) return Res; - if (int Res = - cmpAttrs(II->getAttributes(), cast<InvokeInst>(R)->getAttributes())) - return Res; - if (int Res = cmpOperandBundlesSchema(II, R)) - return Res; - return cmpRangeMetadata( - II->getMetadata(LLVMContext::MD_range), - cast<InvokeInst>(R)->getMetadata(LLVMContext::MD_range)); + if (const CallInst *CI = dyn_cast<CallInst>(L)) + if (int Res = cmpNumbers(CI->getTailCallKind(), + cast<CallInst>(R)->getTailCallKind())) + return Res; + return cmpRangeMetadata(L->getMetadata(LLVMContext::MD_range), + R->getMetadata(LLVMContext::MD_range)); } if (const InsertValueInst *IVI = dyn_cast<InsertValueInst>(L)) { ArrayRef<unsigned> LIndices = IVI->getIndices(); diff --git a/llvm/test/Transforms/MergeFunc/tailcall.ll b/llvm/test/Transforms/MergeFunc/tailcall.ll new file mode 100644 index 00000000000..8adf45ab2ff --- /dev/null +++ b/llvm/test/Transforms/MergeFunc/tailcall.ll @@ -0,0 +1,21 @@ +; RUN: opt -mergefunc -S < %s | FileCheck %s + +declare void @dummy() + +; CHECK-LABEL: define{{.*}}@foo +; CHECK: call {{.*}}@dummy +; CHECK: musttail {{.*}}@dummy +define void @foo() { + call void @dummy() + musttail call void @dummy() + ret void +} + +; CHECK-LABEL: define{{.*}}@bar +; CHECK: call {{.*}}@dummy +; CHECK: call {{.*}}@dummy +define void @bar() { + call void @dummy() + call void @dummy() + ret void +} |