]> granicus.if.org Git - llvm/commit
Revert rL370996 from llvm/trunk: [AArch64][GlobalISel] Teach AArch64CallLowering...
authorSimon Pilgrim <llvm-dev@redking.me.uk>
Thu, 5 Sep 2019 10:38:39 +0000 (10:38 +0000)
committerSimon Pilgrim <llvm-dev@redking.me.uk>
Thu, 5 Sep 2019 10:38:39 +0000 (10:38 +0000)
commitde90d2483e761ce6c82e2df5b052e2c16db84649
treee4f1b996caf6d39ff7664d5e1e4f7aa10be7fe77
parent0936c3aae83eac65f886c9bb07df681940cbf844
Revert rL370996 from llvm/trunk: [AArch64][GlobalISel] Teach AArch64CallLowering to handle basic sibling calls

This adds support for basic sibling call lowering in AArch64. The intent here is
to only handle tail calls which do not change the ABI (hence, sibling calls.)

At this point, it is very restricted. It does not handle

- Vararg calls.
- Calls with outgoing arguments.
- Calls whose calling conventions differ from the caller's calling convention.
- Tail/sibling calls with BTI enabled.

This patch adds

- `AArch64CallLowering::isEligibleForTailCallOptimization`, which is equivalent
   to the same function in AArch64ISelLowering.cpp (albeit with the restrictions
   above.)
- `mayTailCallThisCC` and `canGuaranteeTCO`, which are identical to those in
   AArch64ISelLowering.cpp.
- `getCallOpcode`, which is exactly what it sounds like.

Tail/sibling calls are lowered by checking if they pass target-independent tail
call positioning checks, and checking if they satisfy
`isEligibleForTailCallOptimization`. If they do, then a tail call instruction is
emitted instead of a normal call. If we have a sibling call (which is always the
case in this patch), then we do not emit any stack adjustment operations. When
we go to lower a return, we check if we've already emitted a tail call. If so,
then we skip the return lowering.

For testing, this patch

- Adds call-translator-tail-call.ll to test which tail calls we currently lower,
  which ones we don't, and which ones we shouldn't.
- Updates branch-target-enforcement-indirect-calls.ll to show that we fall back
  as expected.

Differential Revision: https://reviews.llvm.org/D67189
........
This fails on EXPENSIVE_CHECKS builds due to a -verify-machineinstrs test failure in CodeGen/AArch64/dllimport.ll

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@371051 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/CodeGen/GlobalISel/CallLowering.h
lib/CodeGen/GlobalISel/CallLowering.cpp
lib/Target/AArch64/AArch64CallLowering.cpp
lib/Target/AArch64/AArch64CallLowering.h
test/CodeGen/AArch64/GlobalISel/call-translator-tail-call.ll [deleted file]
test/CodeGen/AArch64/branch-target-enforcement-indirect-calls.ll
test/CodeGen/AArch64/dllimport.ll