RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-22 18:54:02 +01:00
Code Issues Projects Releases Wiki Activity

[Analysis] Attribute deref/deref_or_null should not prevent tail call optimization

Browse Source
This commit is contained in:
Dávid Bolvanský 2019-11-06 23:07:17 +01:00
parent a4e77afd7b
commit 0ed7a94cab
2 changed files with 41 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/CodeGen/Analysis.cpp
View File

@ -567,12 +567,16 @@ bool llvm::attributesPermitTailCall(const Function *F, const Instruction *I,
AttrBuilder CalleeAttrs(cast<CallInst>(I)->getAttributes(),
AttributeList::ReturnIndex);
// NoAlias and NonNull are completely benign as far as calling convention
// Following attributes are completely benign as far as calling convention
// goes, they shouldn't affect whether the call is a tail call.
CallerAttrs.removeAttribute(Attribute::NoAlias);
CalleeAttrs.removeAttribute(Attribute::NoAlias);
CallerAttrs.removeAttribute(Attribute::NonNull);
CalleeAttrs.removeAttribute(Attribute::NonNull);
CallerAttrs.removeAttribute(Attribute::Dereferenceable);
CalleeAttrs.removeAttribute(Attribute::Dereferenceable);
CallerAttrs.removeAttribute(Attribute::DereferenceableOrNull);
CalleeAttrs.removeAttribute(Attribute::DereferenceableOrNull);
if (CallerAttrs.contains(Attribute::ZExt)) {
if (!CalleeAttrs.contains(Attribute::ZExt))

36
test/CodeGen/X86/tail-call-deref.ll Normal file
View File

@ -0,0 +1,36 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -mtriple=x86_64-linux < %s | FileCheck %s
declare i8* @foo()
define dereferenceable(8) i8* @test1() nounwind {
; CHECK-LABEL: test1:
; CHECK: # %bb.0:
; CHECK-NEXT: jmp foo # TAILCALL
%ret = tail call i8* @foo()
ret i8* %ret
}
define i8* @test2() nounwind {
; CHECK-LABEL: test2:
; CHECK: # %bb.0:
; CHECK-NEXT: jmp foo # TAILCALL
%ret = tail call dereferenceable(8) i8* @foo()
ret i8* %ret
}
define dereferenceable_or_null(8) i8* @test3() nounwind {
; CHECK-LABEL: test3:
; CHECK: # %bb.0:
; CHECK-NEXT: jmp foo # TAILCALL
%ret = tail call i8* @foo()
ret i8* %ret
}
define i8* @test4() nounwind {
; CHECK-LABEL: test4:
; CHECK: # %bb.0:
; CHECK-NEXT: jmp foo # TAILCALL
%ret = tail call dereferenceable_or_null(8) i8* @foo()
ret i8* %ret
}