This is an archive of the discontinued LLVM Phabricator instance.

Differential D44769

[Analysis] Support aligned new/delete functions.
ClosedPublic

Authored by EricWF on Mar 21 2018, 6:38 PM.

Details

Reviewers
rsmith
majnemer
dblaikie
vsk
bkramer
Commits
rG96bbec79b4e8: [Analysis] Support aligned new/delete functions.
rG0d5f3b0281bb: [Analysis] Support aligned new/delete functions.
rL329218: [Analysis] Support aligned new/delete functions.
rL329215: [Analysis] Support aligned new/delete functions.
Summary

Clang's __builtin_operator_new/delete was recently taught about the aligned allocation overloads (r328134). This patch makes LLVM aware of them as well.
This allows the compiler to perform certain optimizations including eliding new/delete calls.

Diff Detail

Repository
rL LLVM

Event Timeline

EricWF created this revision.Mar 21 2018, 6:38 PM
EricWF updated this revision to Diff 139544.Mar 22 2018, 6:03 PM
  • Add support for nothrow aligned now/delete operators.
EricWF updated this revision to Diff 139547.Mar 22 2018, 6:28 PM
  • Correct AllocationFnData for align_val_t overloads to properly check the second parameter.
EricWF updated this revision to Diff 139548.Mar 22 2018, 6:31 PM

Uploading correct diff. Sorry for the spam.

EricWF added a comment.Mar 27 2018, 2:22 PM

Ping.

bkramer accepted this revision.Apr 4 2018, 7:40 AM

lg

This revision is now accepted and ready to land.Apr 4 2018, 7:40 AM
Closed by commit rL329215: [Analysis] Support aligned new/delete functions. (authored by EricWF). · Explain WhyApr 4 2018, 11:14 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
llvm/
trunk/
include/
llvm/
Analysis/
36 lines
lib/
Analysis/
17 lines
28 lines
test/
Transforms/
InstCombine/
40 lines

Diff 141005

llvm/trunk/include/llvm/Analysis/TargetLibraryInfo.def

Show First 20 Lines • Show All 113 Lines • ▼ Show 20 Lines
TLI_DEFINE_ENUM_INTERNAL(under_IO_putc) TLI_DEFINE_ENUM_INTERNAL(under_IO_putc)
TLI_DEFINE_STRING_INTERNAL("_IO_putc") TLI_DEFINE_STRING_INTERNAL("_IO_putc")
/// void operator delete[](void*); /// void operator delete[](void*);
TLI_DEFINE_ENUM_INTERNAL(ZdaPv) TLI_DEFINE_ENUM_INTERNAL(ZdaPv)
TLI_DEFINE_STRING_INTERNAL("_ZdaPv") TLI_DEFINE_STRING_INTERNAL("_ZdaPv")
/// void operator delete[](void*, nothrow); /// void operator delete[](void*, nothrow);
TLI_DEFINE_ENUM_INTERNAL(ZdaPvRKSt9nothrow_t) TLI_DEFINE_ENUM_INTERNAL(ZdaPvRKSt9nothrow_t)
TLI_DEFINE_STRING_INTERNAL("_ZdaPvRKSt9nothrow_t") TLI_DEFINE_STRING_INTERNAL("_ZdaPvRKSt9nothrow_t")
/// void operator delete[](void*, align_val_t);
TLI_DEFINE_ENUM_INTERNAL(ZdaPvSt11align_val_t)
TLI_DEFINE_STRING_INTERNAL("_ZdaPvSt11align_val_t")
/// void operator delete[](void*, align_val_t, nothrow)
TLI_DEFINE_ENUM_INTERNAL(ZdaPvSt11align_val_tRKSt9nothrow_t)
TLI_DEFINE_STRING_INTERNAL("_ZdaPvSt11align_val_tRKSt9nothrow_t")
/// void operator delete[](void*, unsigned int); /// void operator delete[](void*, unsigned int);
TLI_DEFINE_ENUM_INTERNAL(ZdaPvj) TLI_DEFINE_ENUM_INTERNAL(ZdaPvj)
TLI_DEFINE_STRING_INTERNAL("_ZdaPvj") TLI_DEFINE_STRING_INTERNAL("_ZdaPvj")
/// void operator delete[](void*, unsigned long); /// void operator delete[](void*, unsigned long);
TLI_DEFINE_ENUM_INTERNAL(ZdaPvm) TLI_DEFINE_ENUM_INTERNAL(ZdaPvm)
TLI_DEFINE_STRING_INTERNAL("_ZdaPvm") TLI_DEFINE_STRING_INTERNAL("_ZdaPvm")
/// void operator delete(void*); /// void operator delete(void*);
TLI_DEFINE_ENUM_INTERNAL(ZdlPv) TLI_DEFINE_ENUM_INTERNAL(ZdlPv)
TLI_DEFINE_STRING_INTERNAL("_ZdlPv") TLI_DEFINE_STRING_INTERNAL("_ZdlPv")
/// void operator delete(void*, nothrow); /// void operator delete(void*, nothrow);
TLI_DEFINE_ENUM_INTERNAL(ZdlPvRKSt9nothrow_t) TLI_DEFINE_ENUM_INTERNAL(ZdlPvRKSt9nothrow_t)
TLI_DEFINE_STRING_INTERNAL("_ZdlPvRKSt9nothrow_t") TLI_DEFINE_STRING_INTERNAL("_ZdlPvRKSt9nothrow_t")
/// void operator delete(void*, align_val_t)
TLI_DEFINE_ENUM_INTERNAL(ZdlPvSt11align_val_t)
TLI_DEFINE_STRING_INTERNAL("_ZdlPvSt11align_val_t")
/// void operator delete(void*, align_val_t, nothrow)
TLI_DEFINE_ENUM_INTERNAL(ZdlPvSt11align_val_tRKSt9nothrow_t)
TLI_DEFINE_STRING_INTERNAL("_ZdlPvSt11align_val_tRKSt9nothrow_t")
/// void operator delete(void*, unsigned int); /// void operator delete(void*, unsigned int);
TLI_DEFINE_ENUM_INTERNAL(ZdlPvj) TLI_DEFINE_ENUM_INTERNAL(ZdlPvj)
TLI_DEFINE_STRING_INTERNAL("_ZdlPvj") TLI_DEFINE_STRING_INTERNAL("_ZdlPvj")
/// void operator delete(void*, unsigned long); /// void operator delete(void*, unsigned long);
TLI_DEFINE_ENUM_INTERNAL(ZdlPvm) TLI_DEFINE_ENUM_INTERNAL(ZdlPvm)
TLI_DEFINE_STRING_INTERNAL("_ZdlPvm") TLI_DEFINE_STRING_INTERNAL("_ZdlPvm")
/// void *new[](unsigned int); /// void *new[](unsigned int);
TLI_DEFINE_ENUM_INTERNAL(Znaj) TLI_DEFINE_ENUM_INTERNAL(Znaj)
TLI_DEFINE_STRING_INTERNAL("_Znaj") TLI_DEFINE_STRING_INTERNAL("_Znaj")
/// void *new[](unsigned int, nothrow); /// void *new[](unsigned int, nothrow);
TLI_DEFINE_ENUM_INTERNAL(ZnajRKSt9nothrow_t) TLI_DEFINE_ENUM_INTERNAL(ZnajRKSt9nothrow_t)
TLI_DEFINE_STRING_INTERNAL("_ZnajRKSt9nothrow_t") TLI_DEFINE_STRING_INTERNAL("_ZnajRKSt9nothrow_t")
/// void *new[](unsigned int, align_val_t)
TLI_DEFINE_ENUM_INTERNAL(ZnajSt11align_val_t)
TLI_DEFINE_STRING_INTERNAL("_ZnajSt11align_val_t")
/// void *new[](unsigned int, align_val_t, nothrow)
TLI_DEFINE_ENUM_INTERNAL(ZnajSt11align_val_tRKSt9nothrow_t)
TLI_DEFINE_STRING_INTERNAL("_ZnajSt11align_val_tRKSt9nothrow_t")
/// void *new[](unsigned long); /// void *new[](unsigned long);
TLI_DEFINE_ENUM_INTERNAL(Znam) TLI_DEFINE_ENUM_INTERNAL(Znam)
TLI_DEFINE_STRING_INTERNAL("_Znam") TLI_DEFINE_STRING_INTERNAL("_Znam")
/// void *new[](unsigned long, nothrow); /// void *new[](unsigned long, nothrow);
TLI_DEFINE_ENUM_INTERNAL(ZnamRKSt9nothrow_t) TLI_DEFINE_ENUM_INTERNAL(ZnamRKSt9nothrow_t)
TLI_DEFINE_STRING_INTERNAL("_ZnamRKSt9nothrow_t") TLI_DEFINE_STRING_INTERNAL("_ZnamRKSt9nothrow_t")
/// void *new[](unsigned long, align_val_t)
TLI_DEFINE_ENUM_INTERNAL(ZnamSt11align_val_t)
TLI_DEFINE_STRING_INTERNAL("_ZnamSt11align_val_t")
/// void *new[](unsigned long, align_val_t, nothrow)
TLI_DEFINE_ENUM_INTERNAL(ZnamSt11align_val_tRKSt9nothrow_t)
TLI_DEFINE_STRING_INTERNAL("_ZnamSt11align_val_tRKSt9nothrow_t")
/// void *new(unsigned int); /// void *new(unsigned int);
TLI_DEFINE_ENUM_INTERNAL(Znwj) TLI_DEFINE_ENUM_INTERNAL(Znwj)
TLI_DEFINE_STRING_INTERNAL("_Znwj") TLI_DEFINE_STRING_INTERNAL("_Znwj")
/// void *new(unsigned int, nothrow); /// void *new(unsigned int, nothrow);
TLI_DEFINE_ENUM_INTERNAL(ZnwjRKSt9nothrow_t) TLI_DEFINE_ENUM_INTERNAL(ZnwjRKSt9nothrow_t)
TLI_DEFINE_STRING_INTERNAL("_ZnwjRKSt9nothrow_t") TLI_DEFINE_STRING_INTERNAL("_ZnwjRKSt9nothrow_t")
/// void *new(unsigned int, align_val_t)
TLI_DEFINE_ENUM_INTERNAL(ZnwjSt11align_val_t)
TLI_DEFINE_STRING_INTERNAL("_ZnwjSt11align_val_t")
/// void *new(unsigned int, align_val_t, nothrow)
TLI_DEFINE_ENUM_INTERNAL(ZnwjSt11align_val_tRKSt9nothrow_t)
TLI_DEFINE_STRING_INTERNAL("_ZnwjSt11align_val_tRKSt9nothrow_t")
/// void *new(unsigned long); /// void *new(unsigned long);
TLI_DEFINE_ENUM_INTERNAL(Znwm) TLI_DEFINE_ENUM_INTERNAL(Znwm)
TLI_DEFINE_STRING_INTERNAL("_Znwm") TLI_DEFINE_STRING_INTERNAL("_Znwm")
/// void *new(unsigned long, nothrow); /// void *new(unsigned long, nothrow);
TLI_DEFINE_ENUM_INTERNAL(ZnwmRKSt9nothrow_t) TLI_DEFINE_ENUM_INTERNAL(ZnwmRKSt9nothrow_t)
TLI_DEFINE_STRING_INTERNAL("_ZnwmRKSt9nothrow_t") TLI_DEFINE_STRING_INTERNAL("_ZnwmRKSt9nothrow_t")
/// void *new(unsigned long, align_val_t)
TLI_DEFINE_ENUM_INTERNAL(ZnwmSt11align_val_t)
TLI_DEFINE_STRING_INTERNAL("_ZnwmSt11align_val_t")
/// void *new(unsigned long, align_val_t, nothrow)
TLI_DEFINE_ENUM_INTERNAL(ZnwmSt11align_val_tRKSt9nothrow_t)
TLI_DEFINE_STRING_INTERNAL("_ZnwmSt11align_val_tRKSt9nothrow_t")
/// double __acos_finite(double x); /// double __acos_finite(double x);
TLI_DEFINE_ENUM_INTERNAL(acos_finite) TLI_DEFINE_ENUM_INTERNAL(acos_finite)
TLI_DEFINE_STRING_INTERNAL("__acos_finite") TLI_DEFINE_STRING_INTERNAL("__acos_finite")
/// float __acosf_finite(float x); /// float __acosf_finite(float x);
TLI_DEFINE_ENUM_INTERNAL(acosf_finite) TLI_DEFINE_ENUM_INTERNAL(acosf_finite)
TLI_DEFINE_STRING_INTERNAL("__acosf_finite") TLI_DEFINE_STRING_INTERNAL("__acosf_finite")
/// double __acosh_finite(double x); /// double __acosh_finite(double x);
TLI_DEFINE_ENUM_INTERNAL(acosh_finite) TLI_DEFINE_ENUM_INTERNAL(acosh_finite)
▲ Show 20 Lines • Show All 1,093 Lines • Show Last 20 Lines

llvm/trunk/lib/Analysis/MemoryBuiltins.cpp

Show First 20 Lines • Show All 69 Lines • ▼ Show 20 Lines
// FIXME: certain users need more information. E.g., SimplifyLibCalls needs to // FIXME: certain users need more information. E.g., SimplifyLibCalls needs to
// know which functions are nounwind, noalias, nocapture parameters, etc. // know which functions are nounwind, noalias, nocapture parameters, etc.
static const std::pair<LibFunc, AllocFnsTy> AllocationFnData[] = { static const std::pair<LibFunc, AllocFnsTy> AllocationFnData[] = {
{LibFunc_malloc, {MallocLike, 1, 0, -1}}, {LibFunc_malloc, {MallocLike, 1, 0, -1}},
{LibFunc_valloc, {MallocLike, 1, 0, -1}}, {LibFunc_valloc, {MallocLike, 1, 0, -1}},
{LibFunc_Znwj, {OpNewLike, 1, 0, -1}}, // new(unsigned int) {LibFunc_Znwj, {OpNewLike, 1, 0, -1}}, // new(unsigned int)
{LibFunc_ZnwjRKSt9nothrow_t, {MallocLike, 2, 0, -1}}, // new(unsigned int, nothrow) {LibFunc_ZnwjRKSt9nothrow_t, {MallocLike, 2, 0, -1}}, // new(unsigned int, nothrow)
{LibFunc_ZnwjSt11align_val_t, {OpNewLike, 2, 0, -1}}, // new(unsigned int, align_val_t)
{LibFunc_ZnwjSt11align_val_tRKSt9nothrow_t, // new(unsigned int, align_val_t, nothrow)
{MallocLike, 3, 0, -1}},
{LibFunc_Znwm, {OpNewLike, 1, 0, -1}}, // new(unsigned long) {LibFunc_Znwm, {OpNewLike, 1, 0, -1}}, // new(unsigned long)
{LibFunc_ZnwmRKSt9nothrow_t, {MallocLike, 2, 0, -1}}, // new(unsigned long, nothrow) {LibFunc_ZnwmRKSt9nothrow_t, {MallocLike, 2, 0, -1}}, // new(unsigned long, nothrow)
{LibFunc_ZnwmSt11align_val_t, {OpNewLike, 2, 0, -1}}, // new(unsigned long, align_val_t)
{LibFunc_ZnwmSt11align_val_tRKSt9nothrow_t, // new(unsigned long, align_val_t, nothrow)
{MallocLike, 3, 0, -1}},
{LibFunc_Znaj, {OpNewLike, 1, 0, -1}}, // new[](unsigned int) {LibFunc_Znaj, {OpNewLike, 1, 0, -1}}, // new[](unsigned int)
{LibFunc_ZnajRKSt9nothrow_t, {MallocLike, 2, 0, -1}}, // new[](unsigned int, nothrow) {LibFunc_ZnajRKSt9nothrow_t, {MallocLike, 2, 0, -1}}, // new[](unsigned int, nothrow)
{LibFunc_ZnajSt11align_val_t, {OpNewLike, 2, 0, -1}}, // new[](unsigned int, align_val_t)
{LibFunc_ZnajSt11align_val_tRKSt9nothrow_t, // new[](unsigned int, align_val_t, nothrow)
{MallocLike, 3, 0, -1}},
{LibFunc_Znam, {OpNewLike, 1, 0, -1}}, // new[](unsigned long) {LibFunc_Znam, {OpNewLike, 1, 0, -1}}, // new[](unsigned long)
{LibFunc_ZnamRKSt9nothrow_t, {MallocLike, 2, 0, -1}}, // new[](unsigned long, nothrow) {LibFunc_ZnamRKSt9nothrow_t, {MallocLike, 2, 0, -1}}, // new[](unsigned long, nothrow)
{LibFunc_ZnamSt11align_val_t, {OpNewLike, 2, 0, -1}}, // new[](unsigned long, align_val_t)
{LibFunc_ZnamSt11align_val_tRKSt9nothrow_t, // new[](unsigned long, align_val_t, nothrow)
{MallocLike, 3, 0, -1}},
{LibFunc_msvc_new_int, {OpNewLike, 1, 0, -1}}, // new(unsigned int) {LibFunc_msvc_new_int, {OpNewLike, 1, 0, -1}}, // new(unsigned int)
{LibFunc_msvc_new_int_nothrow, {MallocLike, 2, 0, -1}}, // new(unsigned int, nothrow) {LibFunc_msvc_new_int_nothrow, {MallocLike, 2, 0, -1}}, // new(unsigned int, nothrow)
{LibFunc_msvc_new_longlong, {OpNewLike, 1, 0, -1}}, // new(unsigned long long) {LibFunc_msvc_new_longlong, {OpNewLike, 1, 0, -1}}, // new(unsigned long long)
{LibFunc_msvc_new_longlong_nothrow, {MallocLike, 2, 0, -1}}, // new(unsigned long long, nothrow) {LibFunc_msvc_new_longlong_nothrow, {MallocLike, 2, 0, -1}}, // new(unsigned long long, nothrow)
{LibFunc_msvc_new_array_int, {OpNewLike, 1, 0, -1}}, // new[](unsigned int) {LibFunc_msvc_new_array_int, {OpNewLike, 1, 0, -1}}, // new[](unsigned int)
{LibFunc_msvc_new_array_int_nothrow, {MallocLike, 2, 0, -1}}, // new[](unsigned int, nothrow) {LibFunc_msvc_new_array_int_nothrow, {MallocLike, 2, 0, -1}}, // new[](unsigned int, nothrow)
{LibFunc_msvc_new_array_longlong, {OpNewLike, 1, 0, -1}}, // new[](unsigned long long) {LibFunc_msvc_new_array_longlong, {OpNewLike, 1, 0, -1}}, // new[](unsigned long long)
{LibFunc_msvc_new_array_longlong_nothrow, {MallocLike, 2, 0, -1}}, // new[](unsigned long long, nothrow) {LibFunc_msvc_new_array_longlong_nothrow, {MallocLike, 2, 0, -1}}, // new[](unsigned long long, nothrow)
▲ Show 20 Lines • Show All 275 Lines • ▼ Show 20 Lines if (TLIFn == LibFunc_free ||
TLIFn == LibFunc_msvc_delete_ptr32 || // operator delete(void*) TLIFn == LibFunc_msvc_delete_ptr32 || // operator delete(void*)
TLIFn == LibFunc_msvc_delete_ptr64 || // operator delete(void*) TLIFn == LibFunc_msvc_delete_ptr64 || // operator delete(void*)
TLIFn == LibFunc_msvc_delete_array_ptr32 || // operator delete[](void*) TLIFn == LibFunc_msvc_delete_array_ptr32 || // operator delete[](void*)
TLIFn == LibFunc_msvc_delete_array_ptr64) // operator delete[](void*) TLIFn == LibFunc_msvc_delete_array_ptr64) // operator delete[](void*)
ExpectedNumParams = 1; ExpectedNumParams = 1;
else if (TLIFn == LibFunc_ZdlPvj || // delete(void*, uint) else if (TLIFn == LibFunc_ZdlPvj || // delete(void*, uint)
TLIFn == LibFunc_ZdlPvm || // delete(void*, ulong) TLIFn == LibFunc_ZdlPvm || // delete(void*, ulong)
TLIFn == LibFunc_ZdlPvRKSt9nothrow_t || // delete(void*, nothrow) TLIFn == LibFunc_ZdlPvRKSt9nothrow_t || // delete(void*, nothrow)
TLIFn == LibFunc_ZdlPvSt11align_val_t || // delete(void*, align_val_t)
TLIFn == LibFunc_ZdaPvj || // delete[](void*, uint) TLIFn == LibFunc_ZdaPvj || // delete[](void*, uint)
TLIFn == LibFunc_ZdaPvm || // delete[](void*, ulong) TLIFn == LibFunc_ZdaPvm || // delete[](void*, ulong)
TLIFn == LibFunc_ZdaPvRKSt9nothrow_t || // delete[](void*, nothrow) TLIFn == LibFunc_ZdaPvRKSt9nothrow_t || // delete[](void*, nothrow)
TLIFn == LibFunc_ZdaPvSt11align_val_t || // delete[](void*, align_val_t)
TLIFn == LibFunc_msvc_delete_ptr32_int || // delete(void*, uint) TLIFn == LibFunc_msvc_delete_ptr32_int || // delete(void*, uint)
TLIFn == LibFunc_msvc_delete_ptr64_longlong || // delete(void*, ulonglong) TLIFn == LibFunc_msvc_delete_ptr64_longlong || // delete(void*, ulonglong)
TLIFn == LibFunc_msvc_delete_ptr32_nothrow || // delete(void*, nothrow) TLIFn == LibFunc_msvc_delete_ptr32_nothrow || // delete(void*, nothrow)
TLIFn == LibFunc_msvc_delete_ptr64_nothrow || // delete(void*, nothrow) TLIFn == LibFunc_msvc_delete_ptr64_nothrow || // delete(void*, nothrow)
TLIFn == LibFunc_msvc_delete_array_ptr32_int || // delete[](void*, uint) TLIFn == LibFunc_msvc_delete_array_ptr32_int || // delete[](void*, uint)
TLIFn == LibFunc_msvc_delete_array_ptr64_longlong || // delete[](void*, ulonglong) TLIFn == LibFunc_msvc_delete_array_ptr64_longlong || // delete[](void*, ulonglong)
TLIFn == LibFunc_msvc_delete_array_ptr32_nothrow || // delete[](void*, nothrow) TLIFn == LibFunc_msvc_delete_array_ptr32_nothrow || // delete[](void*, nothrow)
TLIFn == LibFunc_msvc_delete_array_ptr64_nothrow) // delete[](void*, nothrow) TLIFn == LibFunc_msvc_delete_array_ptr64_nothrow) // delete[](void*, nothrow)
ExpectedNumParams = 2; ExpectedNumParams = 2;
else if (TLIFn == LibFunc_ZdaPvSt11align_val_tRKSt9nothrow_t || // delete(void*, align_val_t, nothrow)
TLIFn == LibFunc_ZdlPvSt11align_val_tRKSt9nothrow_t) // delete[](void*, align_val_t, nothrow)
ExpectedNumParams = 3;
else else
return nullptr; return nullptr;
// Check free prototype. // Check free prototype.
// FIXME: workaround for PR5130, this will be obsolete when a nobuiltin // FIXME: workaround for PR5130, this will be obsolete when a nobuiltin
// attribute will exist. // attribute will exist.
FunctionType *FTy = Callee->getFunctionType(); FunctionType *FTy = Callee->getFunctionType();
if (!FTy->getReturnType()->isVoidTy()) if (!FTy->getReturnType()->isVoidTy())
▲ Show 20 Lines • Show All 540 Lines • Show Last 20 Lines

llvm/trunk/lib/Analysis/TargetLibraryInfo.cpp

Show First 20 Lines • Show All 986 Lines • ▼ Show 20 Linesbool TargetLibraryInfoImpl::isValidProtoForLibFunc(const FunctionType &FTy,
// new(unsigned int, nothrow); // new(unsigned int, nothrow);
case LibFunc_msvc_new_int_nothrow: case LibFunc_msvc_new_int_nothrow:
// new(unsigned long long, nothrow); // new(unsigned long long, nothrow);
case LibFunc_msvc_new_longlong_nothrow: case LibFunc_msvc_new_longlong_nothrow:
// new[](unsigned int, nothrow); // new[](unsigned int, nothrow);
case LibFunc_msvc_new_array_int_nothrow: case LibFunc_msvc_new_array_int_nothrow:
// new[](unsigned long long, nothrow); // new[](unsigned long long, nothrow);
case LibFunc_msvc_new_array_longlong_nothrow: case LibFunc_msvc_new_array_longlong_nothrow:
// new(unsigned int, align_val_t)
case LibFunc_ZnwjSt11align_val_t:
// new(unsigned long, align_val_t)
case LibFunc_ZnwmSt11align_val_t:
// new[](unsigned int, align_val_t)
case LibFunc_ZnajSt11align_val_t:
// new[](unsigned long, align_val_t)
case LibFunc_ZnamSt11align_val_t:
return (NumParams == 2 && FTy.getReturnType()->isPointerTy()); return (NumParams == 2 && FTy.getReturnType()->isPointerTy());
// new(unsigned int, align_val_t, nothrow)
case LibFunc_ZnwjSt11align_val_tRKSt9nothrow_t:
// new(unsigned long, align_val_t, nothrow)
case LibFunc_ZnwmSt11align_val_tRKSt9nothrow_t:
// new[](unsigned int, align_val_t, nothrow)
case LibFunc_ZnajSt11align_val_tRKSt9nothrow_t:
// new[](unsigned long, align_val_t, nothrow)
case LibFunc_ZnamSt11align_val_tRKSt9nothrow_t:
return (NumParams == 3 && FTy.getReturnType()->isPointerTy());
// void operator delete[](void*); // void operator delete[](void*);
case LibFunc_ZdaPv: case LibFunc_ZdaPv:
// void operator delete(void*); // void operator delete(void*);
case LibFunc_ZdlPv: case LibFunc_ZdlPv:
// void operator delete[](void*); // void operator delete[](void*);
case LibFunc_msvc_delete_array_ptr32: case LibFunc_msvc_delete_array_ptr32:
// void operator delete[](void*); // void operator delete[](void*);
case LibFunc_msvc_delete_array_ptr64: case LibFunc_msvc_delete_array_ptr64:
Show All 10 Linesbool TargetLibraryInfoImpl::isValidProtoForLibFunc(const FunctionType &FTy,
// void operator delete[](void*, unsigned long); // void operator delete[](void*, unsigned long);
case LibFunc_ZdaPvm: case LibFunc_ZdaPvm:
// void operator delete(void*, nothrow); // void operator delete(void*, nothrow);
case LibFunc_ZdlPvRKSt9nothrow_t: case LibFunc_ZdlPvRKSt9nothrow_t:
// void operator delete(void*, unsigned int); // void operator delete(void*, unsigned int);
case LibFunc_ZdlPvj: case LibFunc_ZdlPvj:
// void operator delete(void*, unsigned long); // void operator delete(void*, unsigned long);
case LibFunc_ZdlPvm: case LibFunc_ZdlPvm:
// void operator delete(void*, align_val_t)
case LibFunc_ZdlPvSt11align_val_t:
// void operator delete[](void*, align_val_t)
case LibFunc_ZdaPvSt11align_val_t:
// void operator delete[](void*, unsigned int); // void operator delete[](void*, unsigned int);
case LibFunc_msvc_delete_array_ptr32_int: case LibFunc_msvc_delete_array_ptr32_int:
// void operator delete[](void*, nothrow); // void operator delete[](void*, nothrow);
case LibFunc_msvc_delete_array_ptr32_nothrow: case LibFunc_msvc_delete_array_ptr32_nothrow:
// void operator delete[](void*, unsigned long long); // void operator delete[](void*, unsigned long long);
case LibFunc_msvc_delete_array_ptr64_longlong: case LibFunc_msvc_delete_array_ptr64_longlong:
// void operator delete[](void*, nothrow); // void operator delete[](void*, nothrow);
case LibFunc_msvc_delete_array_ptr64_nothrow: case LibFunc_msvc_delete_array_ptr64_nothrow:
// void operator delete(void*, unsigned int); // void operator delete(void*, unsigned int);
case LibFunc_msvc_delete_ptr32_int: case LibFunc_msvc_delete_ptr32_int:
// void operator delete(void*, nothrow); // void operator delete(void*, nothrow);
case LibFunc_msvc_delete_ptr32_nothrow: case LibFunc_msvc_delete_ptr32_nothrow:
// void operator delete(void*, unsigned long long); // void operator delete(void*, unsigned long long);
case LibFunc_msvc_delete_ptr64_longlong: case LibFunc_msvc_delete_ptr64_longlong:
// void operator delete(void*, nothrow); // void operator delete(void*, nothrow);
case LibFunc_msvc_delete_ptr64_nothrow: case LibFunc_msvc_delete_ptr64_nothrow:
return (NumParams == 2 && FTy.getParamType(0)->isPointerTy()); return (NumParams == 2 && FTy.getParamType(0)->isPointerTy());
// void operator delete(void*, align_val_t, nothrow)
case LibFunc_ZdlPvSt11align_val_tRKSt9nothrow_t:
// void operator delete[](void*, align_val_t, nothrow)
case LibFunc_ZdaPvSt11align_val_tRKSt9nothrow_t:
return (NumParams == 3 && FTy.getParamType(0)->isPointerTy());
case LibFunc_memset_pattern16: case LibFunc_memset_pattern16:
return (!FTy.isVarArg() && NumParams == 3 && return (!FTy.isVarArg() && NumParams == 3 &&
FTy.getParamType(0)->isPointerTy() && FTy.getParamType(0)->isPointerTy() &&
FTy.getParamType(1)->isPointerTy() && FTy.getParamType(1)->isPointerTy() &&
FTy.getParamType(2)->isIntegerTy()); FTy.getParamType(2)->isIntegerTy());
case LibFunc_cxa_guard_abort: case LibFunc_cxa_guard_abort:
case LibFunc_cxa_guard_acquire: case LibFunc_cxa_guard_acquire:
▲ Show 20 Lines • Show All 529 Lines • Show Last 20 Lines

llvm/trunk/test/Transforms/InstCombine/malloc-free-delete.ll

Show First 20 Lines • Show All 167 Lines • ▼ Show 20 Linesdefine linkonce void @_ZdaPvm(i8* %p, i64) nobuiltin {
call void @_ZdaPv(i8* %p) call void @_ZdaPv(i8* %p)
ret void ret void
} }
define linkonce void @_ZdaPvj(i8* %p, i32) nobuiltin { define linkonce void @_ZdaPvj(i8* %p, i32) nobuiltin {
call void @_ZdaPv(i8* %p) call void @_ZdaPv(i8* %p)
ret void ret void
} }
; new(size_t, align_val_t)
declare i8* @_ZnwmSt11align_val_t(i64, i64) nobuiltin
declare i8* @_ZnwjSt11align_val_t(i32, i32) nobuiltin
; new[](size_t, align_val_t)
declare i8* @_ZnamSt11align_val_t(i64, i64) nobuiltin
declare i8* @_ZnajSt11align_val_t(i32, i32) nobuiltin
; new(size_t, align_val_t, nothrow)
declare i8* @_ZnwmSt11align_val_tRKSt9nothrow_t(i64, i64, i8*) nobuiltin
declare i8* @_ZnwjSt11align_val_tRKSt9nothrow_t(i32, i32, i8*) nobuiltin
; new[](size_t, align_val_t, nothrow)
declare i8* @_ZnamSt11align_val_tRKSt9nothrow_t(i64, i64, i8*) nobuiltin
declare i8* @_ZnajSt11align_val_tRKSt9nothrow_t(i32, i32, i8*) nobuiltin
; delete(void*, align_val_t)
declare void @_ZdlPvSt11align_val_t(i8*, i64) nobuiltin
; delete[](void*, align_val_t)
declare void @_ZdaPvSt11align_val_t(i8*, i64) nobuiltin
; delete(void*, align_val_t, nothrow)
declare void @_ZdlPvSt11align_val_tRKSt9nothrow_t(i8*, i64, i8*) nobuiltin
; delete[](void*, align_val_t, nothrow)
declare void @_ZdaPvSt11align_val_tRKSt9nothrow_t(i8*, i64, i8*) nobuiltin
; CHECK-LABEL: @test8( ; CHECK-LABEL: @test8(
define void @test8() { define void @test8() {
; CHECK-NOT: call ; CHECK-NOT: call
%nt = alloca i8
%nw = call i8* @_Znwm(i64 32) builtin %nw = call i8* @_Znwm(i64 32) builtin
call void @_ZdlPv(i8* %nw) builtin call void @_ZdlPv(i8* %nw) builtin
%na = call i8* @_Znam(i64 32) builtin %na = call i8* @_Znam(i64 32) builtin
call void @_ZdaPv(i8* %na) builtin call void @_ZdaPv(i8* %na) builtin
%nwm = call i8* @_Znwm(i64 32) builtin %nwm = call i8* @_Znwm(i64 32) builtin
call void @_ZdlPvm(i8* %nwm, i64 32) builtin call void @_ZdlPvm(i8* %nwm, i64 32) builtin
%nwj = call i8* @_Znwj(i32 32) builtin %nwj = call i8* @_Znwj(i32 32) builtin
call void @_ZdlPvj(i8* %nwj, i32 32) builtin call void @_ZdlPvj(i8* %nwj, i32 32) builtin
%nam = call i8* @_Znam(i64 32) builtin %nam = call i8* @_Znam(i64 32) builtin
call void @_ZdaPvm(i8* %nam, i64 32) builtin call void @_ZdaPvm(i8* %nam, i64 32) builtin
%naj = call i8* @_Znaj(i32 32) builtin %naj = call i8* @_Znaj(i32 32) builtin
call void @_ZdaPvj(i8* %naj, i32 32) builtin call void @_ZdaPvj(i8* %naj, i32 32) builtin
%nwa = call i8* @_ZnwmSt11align_val_t(i64 32, i64 8) builtin
call void @_ZdlPvSt11align_val_t(i8* %nwa, i64 8) builtin
%naa = call i8* @_ZnamSt11align_val_t(i64 32, i64 8) builtin
call void @_ZdaPvSt11align_val_t(i8* %naa, i64 8) builtin
%nwja = call i8* @_ZnwjSt11align_val_t(i32 32, i32 8) builtin
call void @_ZdlPvSt11align_val_t(i8* %nwja, i64 8) builtin
%naja = call i8* @_ZnajSt11align_val_t(i32 32, i32 8) builtin
call void @_ZdaPvSt11align_val_t(i8* %naja, i64 8) builtin
%nwat = call i8* @_ZnwmSt11align_val_tRKSt9nothrow_t(i64 32, i64 8, i8* %nt) builtin
call void @_ZdlPvSt11align_val_tRKSt9nothrow_t(i8* %nwat, i64 8, i8* %nt) builtin
%naat = call i8* @_ZnamSt11align_val_tRKSt9nothrow_t(i64 32, i64 8, i8* %nt) builtin
call void @_ZdaPvSt11align_val_tRKSt9nothrow_t(i8* %naat, i64 8, i8* %nt) builtin
%nwjat = call i8* @_ZnwjSt11align_val_tRKSt9nothrow_t(i32 32, i32 8, i8* %nt) builtin
call void @_ZdlPvSt11align_val_tRKSt9nothrow_t(i8* %nwjat, i64 8, i8* %nt) builtin
%najat = call i8* @_ZnajSt11align_val_tRKSt9nothrow_t(i32 32, i32 8, i8* %nt) builtin
call void @_ZdaPvSt11align_val_tRKSt9nothrow_t(i8* %najat, i64 8, i8* %nt) builtin
ret void ret void
} }
declare noalias i8* @"\01??2@YAPEAX_K@Z"(i64) nobuiltin declare noalias i8* @"\01??2@YAPEAX_K@Z"(i64) nobuiltin
declare void @"\01??3@YAXPEAX@Z"(i8*) nobuiltin declare void @"\01??3@YAXPEAX@Z"(i8*) nobuiltin
; CHECK-LABEL: @test9( ; CHECK-LABEL: @test9(
define void @test9() { define void @test9() {
Show All 21 Lines