OpenMP: mark allocptr attribute on __kmpc_free_shared

Differential Revision: https://reviews.llvm.org/D124491
This commit is contained in:
Augie Fackler 2022-04-26 20:33:35 -04:00
parent 938f419cf1
commit 4fea8ee540
2 changed files with 2 additions and 7 deletions

View File

@ -535,11 +535,6 @@ __OMP_ATTRS_SET(InaccessibleArgOnlyAttrs,
EnumAttr(WillReturn), EnumAttr(NoFree))
: AttributeSet(EnumAttr(NoUnwind)))
__OMP_ATTRS_SET(NoCaptureAttrs,
OptimisticAttributes
? AttributeSet(EnumAttr(NoCapture))
: AttributeSet(EnumAttr(NoCapture)))
__OMP_ATTRS_SET(AlwaysInlineAttrs,
OptimisticAttributes
? AttributeSet(EnumAttr(AlwaysInline))
@ -925,7 +920,7 @@ __OMP_RTL_ATTRS(__kmpc_alloc_shared, AttributeSet(
EnumAttr(NoSync),
AllocSizeAttr(0, None)), ReturnPtrAttrs, ParamAttrs())
__OMP_RTL_ATTRS(__kmpc_free_shared, DeviceAllocAttrs, AttributeSet(),
ParamAttrs(NoCaptureAttrs))
ParamAttrs(AttributeSet(EnumAttr(NoCapture), EnumAttr(AllocatedPointer))))
__OMP_RTL_ATTRS(__kmpc_alloc, DefaultAttrs, ReturnPtrAttrs, ParamAttrs())
__OMP_RTL_ATTRS(__kmpc_aligned_alloc, DefaultAttrs, ReturnPtrAttrs,

View File

@ -155,7 +155,7 @@ entry:
; CHECK: declare i8* @__kmpc_alloc_shared(i64)
declare i8* @__kmpc_alloc_shared(i64)
; CHECK: declare void @__kmpc_free_shared(i8* nocapture, i64)
; CHECK: declare void @__kmpc_free_shared(i8* allocptr nocapture, i64)
declare void @__kmpc_free_shared(i8*, i64)
declare void @unknown_no_openmp() "llvm.assume"="omp_no_openmp"