diff options
| author | Tim Northover <tnorthover@apple.com> | 2013-08-06 13:58:03 +0000 |
|---|---|---|
| committer | Tim Northover <tnorthover@apple.com> | 2013-08-06 13:58:03 +0000 |
| commit | 8775a51d94b277ca6ebe12a1d20bfc2bc5a53960 (patch) | |
| tree | 93800f95cf3224cbf59c213c60b6a50e278fdace /lib/Target | |
| parent | 5f28b1ff894917aa626c38be206957294d0c47c7 (diff) | |
| download | external_llvm-8775a51d94b277ca6ebe12a1d20bfc2bc5a53960.zip external_llvm-8775a51d94b277ca6ebe12a1d20bfc2bc5a53960.tar.gz external_llvm-8775a51d94b277ca6ebe12a1d20bfc2bc5a53960.tar.bz2 | |
ARM: implement allowTruncateForTailCall
Now that it's in place, it seems silly not to let ARM make use of the extra
tail call opportunities.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@187795 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Target')
| -rw-r--r-- | lib/Target/ARM/ARMISelLowering.cpp | 15 | ||||
| -rw-r--r-- | lib/Target/ARM/ARMISelLowering.h | 3 |
2 files changed, 18 insertions, 0 deletions
diff --git a/lib/Target/ARM/ARMISelLowering.cpp b/lib/Target/ARM/ARMISelLowering.cpp index 61c5bd1..caec11e 100644 --- a/lib/Target/ARM/ARMISelLowering.cpp +++ b/lib/Target/ARM/ARMISelLowering.cpp @@ -9993,6 +9993,21 @@ bool ARMTargetLowering::isZExtFree(SDValue Val, EVT VT2) const { return false; } +bool ARMTargetLowering::allowTruncateForTailCall(Type *Ty1, Type *Ty2) const { + if (!Ty1->isIntegerTy() || !Ty2->isIntegerTy()) + return false; + + if (!isTypeLegal(EVT::getEVT(Ty1))) + return false; + + assert(Ty1->getPrimitiveSizeInBits() <= 64 && "i128 is probably not a noop"); + + // Assuming the caller doesn't have a zeroext or signext return parameter, + // truncation all the way down to i1 is valid. + return true; +} + + static bool isLegalT1AddressImmediate(int64_t V, EVT VT) { if (V < 0) return false; diff --git a/lib/Target/ARM/ARMISelLowering.h b/lib/Target/ARM/ARMISelLowering.h index beba5ce..44c769f 100644 --- a/lib/Target/ARM/ARMISelLowering.h +++ b/lib/Target/ARM/ARMISelLowering.h @@ -298,6 +298,9 @@ namespace llvm { using TargetLowering::isZExtFree; virtual bool isZExtFree(SDValue Val, EVT VT2) const; + virtual bool allowTruncateForTailCall(Type *Ty1, Type *Ty2) const; + + /// isLegalAddressingMode - Return true if the addressing mode represented /// by AM is legal for this target, for a load/store of the specified type. virtual bool isLegalAddressingMode(const AddrMode &AM, Type *Ty)const; |