<div dir="ltr"><div><div>Yes, fixed! Thank you!<br><br></div>Thanks<br><br></div>Galina<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jan 17, 2017 at 12:05 PM, Ahmed Bougacha <span dir="ltr"><<a href="mailto:ahmed.bougacha@gmail.com" target="_blank">ahmed.bougacha@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Should be fixed in r292246; I'll watch the bot.<br>
<br>
Thanks for letting me know,<br>
-Ahmed<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
On Tue, Jan 17, 2017 at 11:43 AM, Galina Kistanova <<a href="mailto:gkistanova@gmail.com">gkistanova@gmail.com</a>> wrote:<br>
> Hello Ahmed,<br>
><br>
> One of your resent commits added warning our builder:<br>
><br>
> llvm.src\lib\analysis\<wbr>targetlibraryinfo.cpp(1183) : warning C4715:<br>
> 'llvm::TargetLibraryInfoImpl::<wbr>isValidProtoForLibFunc': not all control paths<br>
> return a value<br>
><br>
> <a href="http://lab.llvm.org:8011/builders/llvm-clang-lld-x86_64-scei-ps4-windows10pro-fast/builds/4032" rel="noreferrer" target="_blank">http://lab.llvm.org:8011/<wbr>builders/llvm-clang-lld-x86_<wbr>64-scei-ps4-windows10pro-fast/<wbr>builds/4032</a><br>
><br>
> Please have a look at this?<br>
><br>
> Thanks<br>
><br>
> Galina<br>
><br>
> On Mon, Jan 16, 2017 at 7:10 PM, Ahmed Bougacha via llvm-commits<br>
> <<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a>> wrote:<br>
>><br>
>> Author: ab<br>
>> Date: Mon Jan 16 21:10:02 2017<br>
>> New Revision: 292188<br>
>><br>
>> URL: <a href="http://llvm.org/viewvc/llvm-project?rev=292188&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project?rev=292188&view=rev</a><br>
>> Log:<br>
>> [TLI] Add prototype checking for all remaining LibFuncs.<br>
>><br>
>> This is another step towards unifying all LibFunc prototype checks.<br>
>> This work started in r267758 (D19469); add the remaining checks.<br>
>><br>
>> Also add a unittest that checks each libfunc declared with a known-valid<br>
>> and known-invalid prototype. New libfuncs added in the future are<br>
>> required to have prototype checking in place; the known-valid test will<br>
>> fail otherwise.<br>
>><br>
>> Differential Revision: <a href="https://reviews.llvm.org/D28030" rel="noreferrer" target="_blank">https://reviews.llvm.org/<wbr>D28030</a><br>
>><br>
>> Added:<br>
>> llvm/trunk/unittests/Analysis/<wbr>TargetLibraryInfoTest.cpp<br>
>> Modified:<br>
>> llvm/trunk/lib/Analysis/<wbr>TargetLibraryInfo.cpp<br>
>> llvm/trunk/unittests/Analysis/<wbr>CMakeLists.txt<br>
>><br>
>> Modified: llvm/trunk/lib/Analysis/<wbr>TargetLibraryInfo.cpp<br>
>> URL:<br>
>> <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/TargetLibraryInfo.cpp?rev=292188&r1=292187&r2=292188&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/llvm/trunk/lib/<wbr>Analysis/TargetLibraryInfo.<wbr>cpp?rev=292188&r1=292187&r2=<wbr>292188&view=diff</a><br>
>><br>
>> ==============================<wbr>==============================<wbr>==================<br>
>> --- llvm/trunk/lib/Analysis/<wbr>TargetLibraryInfo.cpp (original)<br>
>> +++ llvm/trunk/lib/Analysis/<wbr>TargetLibraryInfo.cpp Mon Jan 16 21:10:02 2017<br>
>> @@ -638,6 +638,7 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> case LibFunc::sscanf:<br>
>> case LibFunc::stat:<br>
>> case LibFunc::statvfs:<br>
>> + case LibFunc::siprintf:<br>
>> case LibFunc::sprintf:<br>
>> return (NumParams >= 2 && FTy.getParamType(0)-><wbr>isPointerTy() &&<br>
>> FTy.getParamType(1)-><wbr>isPointerTy());<br>
>> @@ -652,16 +653,16 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> case LibFunc::malloc:<br>
>> return (NumParams == 1 && FTy.getReturnType()-><wbr>isPointerTy());<br>
>> case LibFunc::memcmp:<br>
>> - return (NumParams == 3 && FTy.getParamType(0)-><wbr>isPointerTy() &&<br>
>> - FTy.getParamType(1)-><wbr>isPointerTy() &&<br>
>> - FTy.getReturnType()-><wbr>isIntegerTy(32));<br>
>> + return (NumParams == 3 && FTy.getReturnType()-><wbr>isIntegerTy(32) &&<br>
>> + FTy.getParamType(0)-><wbr>isPointerTy() &&<br>
>> + FTy.getParamType(1)-><wbr>isPointerTy());<br>
>><br>
>> case LibFunc::memchr:<br>
>> case LibFunc::memrchr:<br>
>> - return (NumParams == 3 && FTy.getParamType(0)-><wbr>isPointerTy() &&<br>
>> + return (NumParams == 3 && FTy.getReturnType()-><wbr>isPointerTy() &&<br>
>> + FTy.getReturnType() == FTy.getParamType(0) &&<br>
>> FTy.getParamType(1)-><wbr>isIntegerTy(32) &&<br>
>> - FTy.getParamType(2)-><wbr>isIntegerTy() &&<br>
>> - FTy.getReturnType()-><wbr>isPointerTy());<br>
>> + IsSizeTTy(FTy.getParamType(2))<wbr>);<br>
>> case LibFunc::modf:<br>
>> case LibFunc::modff:<br>
>> case LibFunc::modfl:<br>
>> @@ -697,8 +698,10 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> case LibFunc::memalign:<br>
>> return (FTy.getReturnType()-><wbr>isPointerTy());<br>
>> case LibFunc::realloc:<br>
>> - return (NumParams == 2 && FTy.getParamType(0)-><wbr>isPointerTy() &&<br>
>> - FTy.getReturnType()-><wbr>isPointerTy());<br>
>> + case LibFunc::reallocf:<br>
>> + return (NumParams == 2 && FTy.getReturnType() == PCharTy &&<br>
>> + FTy.getParamType(0) == FTy.getReturnType() &&<br>
>> + IsSizeTTy(FTy.getParamType(1))<wbr>);<br>
>> case LibFunc::read:<br>
>> return (NumParams == 3 && FTy.getParamType(1)-><wbr>isPointerTy());<br>
>> case LibFunc::rewind:<br>
>> @@ -730,6 +733,7 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> case LibFunc::ferror:<br>
>> case LibFunc::getenv:<br>
>> case LibFunc::getpwnam:<br>
>> + case LibFunc::iprintf:<br>
>> case LibFunc::pclose:<br>
>> case LibFunc::perror:<br>
>> case LibFunc::printf:<br>
>> @@ -740,6 +744,7 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> case LibFunc::unsetenv:<br>
>> return (NumParams == 1 && FTy.getParamType(0)-><wbr>isPointerTy());<br>
>><br>
>> + case LibFunc::access:<br>
>> case LibFunc::chmod:<br>
>> case LibFunc::chown:<br>
>> case LibFunc::clearerr:<br>
>> @@ -769,8 +774,6 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> case LibFunc::times:<br>
>> return (NumParams != 0 && FTy.getParamType(0)-><wbr>isPointerTy());<br>
>><br>
>> - case LibFunc::access:<br>
>> - return (NumParams == 2 && FTy.getParamType(0)-><wbr>isPointerTy());<br>
>> case LibFunc::fopen:<br>
>> return (NumParams == 2 && FTy.getReturnType()-><wbr>isPointerTy() &&<br>
>> FTy.getParamType(0)-><wbr>isPointerTy() &&<br>
>> @@ -801,14 +804,18 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> return (NumParams >= 2 && FTy.getParamType(0)-><wbr>isPointerTy() &&<br>
>> FTy.getParamType(1)-><wbr>isPointerTy());<br>
>> case LibFunc::fscanf:<br>
>> + case LibFunc::fiprintf:<br>
>> case LibFunc::fprintf:<br>
>> - return (NumParams >= 2 && FTy.getParamType(0)-><wbr>isPointerTy() &&<br>
>> + return (NumParams >= 2 && FTy.getReturnType()-><wbr>isIntegerTy() &&<br>
>> + FTy.getParamType(0)-><wbr>isPointerTy() &&<br>
>> FTy.getParamType(1)-><wbr>isPointerTy());<br>
>> case LibFunc::fgetpos:<br>
>> return (NumParams >= 2 && FTy.getParamType(0)-><wbr>isPointerTy() &&<br>
>> FTy.getParamType(1)-><wbr>isPointerTy());<br>
>> - case LibFunc::gets:<br>
>> case LibFunc::getchar:<br>
>> + return (NumParams == 0 && FTy.getReturnType()-><wbr>isIntegerTy());<br>
>> + case LibFunc::gets:<br>
>> + return (NumParams == 1 && FTy.getParamType(0) == PCharTy);<br>
>> case LibFunc::getitimer:<br>
>> return (NumParams == 2 && FTy.getParamType(1)-><wbr>isPointerTy());<br>
>> case LibFunc::ungetc:<br>
>> @@ -853,9 +860,13 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> case LibFunc::tmpfile:<br>
>> return (FTy.getReturnType()-><wbr>isPointerTy());<br>
>> case LibFunc::htonl:<br>
>> - case LibFunc::htons:<br>
>> case LibFunc::ntohl:<br>
>> + return (NumParams == 1 && FTy.getReturnType()-><wbr>isIntegerTy(32) &&<br>
>> + FTy.getReturnType() == FTy.getParamType(0));<br>
>> + case LibFunc::htons:<br>
>> case LibFunc::ntohs:<br>
>> + return (NumParams == 1 && FTy.getReturnType()-><wbr>isIntegerTy(16) &&<br>
>> + FTy.getReturnType() == FTy.getParamType(0));<br>
>> case LibFunc::lstat:<br>
>> return (NumParams == 2 && FTy.getParamType(0)-><wbr>isPointerTy() &&<br>
>> FTy.getParamType(1)-><wbr>isPointerTy());<br>
>> @@ -896,38 +907,144 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> return (NumParams == 2 && FTy.getParamType(0)-><wbr>isPointerTy() &&<br>
>> FTy.getParamType(1)-><wbr>isPointerTy());<br>
>><br>
>> - case LibFunc::Znwj: // new(unsigned int);<br>
>> - case LibFunc::Znwm: // new(unsigned long);<br>
>> - case LibFunc::Znaj: // new[](unsigned int);<br>
>> - case LibFunc::Znam: // new[](unsigned long);<br>
>> - case LibFunc::msvc_new_int: // new(unsigned int);<br>
>> - case LibFunc::msvc_new_longlong: // new(unsigned long long);<br>
>> - case LibFunc::msvc_new_array_int: // new[](unsigned int);<br>
>> - case LibFunc::msvc_new_array_<wbr>longlong: // new[](unsigned long long);<br>
>> - return (NumParams == 1);<br>
>> + // new(unsigned int);<br>
>> + case LibFunc::Znwj:<br>
>> + // new(unsigned long);<br>
>> + case LibFunc::Znwm:<br>
>> + // new[](unsigned int);<br>
>> + case LibFunc::Znaj:<br>
>> + // new[](unsigned long);<br>
>> + case LibFunc::Znam:<br>
>> + // new(unsigned int);<br>
>> + case LibFunc::msvc_new_int:<br>
>> + // new(unsigned long long);<br>
>> + case LibFunc::msvc_new_longlong:<br>
>> + // new[](unsigned int);<br>
>> + case LibFunc::msvc_new_array_int:<br>
>> + // new[](unsigned long long);<br>
>> + case LibFunc::msvc_new_array_<wbr>longlong:<br>
>> + return (NumParams == 1 && FTy.getReturnType()-><wbr>isPointerTy());<br>
>> +<br>
>> + // new(unsigned int, nothrow);<br>
>> + case LibFunc::ZnwjRKSt9nothrow_t:<br>
>> + // new(unsigned long, nothrow);<br>
>> + case LibFunc::ZnwmRKSt9nothrow_t:<br>
>> + // new[](unsigned int, nothrow);<br>
>> + case LibFunc::ZnajRKSt9nothrow_t:<br>
>> + // new[](unsigned long, nothrow);<br>
>> + case LibFunc::ZnamRKSt9nothrow_t:<br>
>> + // new(unsigned int, nothrow);<br>
>> + case LibFunc::msvc_new_int_nothrow:<br>
>> + // new(unsigned long long, nothrow);<br>
>> + case LibFunc::msvc_new_longlong_<wbr>nothrow:<br>
>> + // new[](unsigned int, nothrow);<br>
>> + case LibFunc::msvc_new_array_int_<wbr>nothrow:<br>
>> + // new[](unsigned long long, nothrow);<br>
>> + case LibFunc::msvc_new_array_<wbr>longlong_nothrow:<br>
>> + return (NumParams == 2 && FTy.getReturnType()-><wbr>isPointerTy());<br>
>> +<br>
>> + // void operator delete[](void*);<br>
>> + case LibFunc::ZdaPv:<br>
>> + // void operator delete(void*);<br>
>> + case LibFunc::ZdlPv:<br>
>> + // void operator delete[](void*);<br>
>> + case LibFunc::msvc_delete_array_<wbr>ptr32:<br>
>> + // void operator delete[](void*);<br>
>> + case LibFunc::msvc_delete_array_<wbr>ptr64:<br>
>> + // void operator delete(void*);<br>
>> + case LibFunc::msvc_delete_ptr32:<br>
>> + // void operator delete(void*);<br>
>> + case LibFunc::msvc_delete_ptr64:<br>
>> + return (NumParams == 1 && FTy.getParamType(0)-><wbr>isPointerTy());<br>
>> +<br>
>> + // void operator delete[](void*, nothrow);<br>
>> + case LibFunc::ZdaPvRKSt9nothrow_t:<br>
>> + // void operator delete[](void*, unsigned int);<br>
>> + case LibFunc::ZdaPvj:<br>
>> + // void operator delete[](void*, unsigned long);<br>
>> + case LibFunc::ZdaPvm:<br>
>> + // void operator delete(void*, nothrow);<br>
>> + case LibFunc::ZdlPvRKSt9nothrow_t:<br>
>> + // void operator delete(void*, unsigned int);<br>
>> + case LibFunc::ZdlPvj:<br>
>> + // void operator delete(void*, unsigned long);<br>
>> + case LibFunc::ZdlPvm:<br>
>> + // void operator delete[](void*, unsigned int);<br>
>> + case LibFunc::msvc_delete_array_<wbr>ptr32_int:<br>
>> + // void operator delete[](void*, nothrow);<br>
>> + case LibFunc::msvc_delete_array_<wbr>ptr32_nothrow:<br>
>> + // void operator delete[](void*, unsigned long long);<br>
>> + case LibFunc::msvc_delete_array_<wbr>ptr64_longlong:<br>
>> + // void operator delete[](void*, nothrow);<br>
>> + case LibFunc::msvc_delete_array_<wbr>ptr64_nothrow:<br>
>> + // void operator delete(void*, unsigned int);<br>
>> + case LibFunc::msvc_delete_ptr32_<wbr>int:<br>
>> + // void operator delete(void*, nothrow);<br>
>> + case LibFunc::msvc_delete_ptr32_<wbr>nothrow:<br>
>> + // void operator delete(void*, unsigned long long);<br>
>> + case LibFunc::msvc_delete_ptr64_<wbr>longlong:<br>
>> + // void operator delete(void*, nothrow);<br>
>> + case LibFunc::msvc_delete_ptr64_<wbr>nothrow:<br>
>> + return (NumParams == 2 && FTy.getParamType(0)-><wbr>isPointerTy());<br>
>><br>
>> case LibFunc::memset_pattern16:<br>
>> return (!FTy.isVarArg() && NumParams == 3 &&<br>
>> - isa<PointerType>(FTy.<wbr>getParamType(0)) &&<br>
>> - isa<PointerType>(FTy.<wbr>getParamType(1)) &&<br>
>> - isa<IntegerType>(FTy.<wbr>getParamType(2)));<br>
>> + FTy.getParamType(0)-><wbr>isPointerTy() &&<br>
>> + FTy.getParamType(1)-><wbr>isPointerTy() &&<br>
>> + FTy.getParamType(2)-><wbr>isIntegerTy());<br>
>><br>
>> - // int __nvvm_reflect(const char *);<br>
>> + case LibFunc::cxa_guard_abort:<br>
>> + case LibFunc::cxa_guard_acquire:<br>
>> + case LibFunc::cxa_guard_release:<br>
>> case LibFunc::nvvm_reflect:<br>
>> - return (NumParams == 1 && isa<PointerType>(FTy.<wbr>getParamType(0)));<br>
>> + return (NumParams == 1 && FTy.getParamType(0)-><wbr>isPointerTy());<br>
>><br>
>> + case LibFunc::sincospi_stret:<br>
>> + case LibFunc::sincospif_stret:<br>
>> + return (NumParams == 1 && FTy.getParamType(0)-><wbr>isFloatingPointTy());<br>
>> +<br>
>> + case LibFunc::acos:<br>
>> + case LibFunc::acosf:<br>
>> + case LibFunc::acosh:<br>
>> + case LibFunc::acoshf:<br>
>> + case LibFunc::acoshl:<br>
>> + case LibFunc::acosl:<br>
>> + case LibFunc::asin:<br>
>> + case LibFunc::asinf:<br>
>> + case LibFunc::asinh:<br>
>> + case LibFunc::asinhf:<br>
>> + case LibFunc::asinhl:<br>
>> + case LibFunc::asinl:<br>
>> + case LibFunc::atan:<br>
>> + case LibFunc::atanf:<br>
>> + case LibFunc::atanh:<br>
>> + case LibFunc::atanhf:<br>
>> + case LibFunc::atanhl:<br>
>> + case LibFunc::atanl:<br>
>> + case LibFunc::cbrt:<br>
>> + case LibFunc::cbrtf:<br>
>> + case LibFunc::cbrtl:<br>
>> case LibFunc::ceil:<br>
>> case LibFunc::ceilf:<br>
>> case LibFunc::ceill:<br>
>> case LibFunc::cos:<br>
>> case LibFunc::cosf:<br>
>> + case LibFunc::cosh:<br>
>> + case LibFunc::coshf:<br>
>> + case LibFunc::coshl:<br>
>> case LibFunc::cosl:<br>
>> + case LibFunc::exp10:<br>
>> + case LibFunc::exp10f:<br>
>> + case LibFunc::exp10l:<br>
>> case LibFunc::exp2:<br>
>> case LibFunc::exp2f:<br>
>> case LibFunc::exp2l:<br>
>> case LibFunc::exp:<br>
>> case LibFunc::expf:<br>
>> case LibFunc::expl:<br>
>> + case LibFunc::expm1:<br>
>> + case LibFunc::expm1f:<br>
>> + case LibFunc::expm1l:<br>
>> case LibFunc::fabs:<br>
>> case LibFunc::fabsf:<br>
>> case LibFunc::fabsl:<br>
>> @@ -937,10 +1054,16 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> case LibFunc::log10:<br>
>> case LibFunc::log10f:<br>
>> case LibFunc::log10l:<br>
>> + case LibFunc::log1p:<br>
>> + case LibFunc::log1pf:<br>
>> + case LibFunc::log1pl:<br>
>> case LibFunc::log2:<br>
>> case LibFunc::log2f:<br>
>> case LibFunc::log2l:<br>
>> case LibFunc::log:<br>
>> + case LibFunc::logb:<br>
>> + case LibFunc::logbf:<br>
>> + case LibFunc::logbl:<br>
>> case LibFunc::logf:<br>
>> case LibFunc::logl:<br>
>> case LibFunc::nearbyint:<br>
>> @@ -954,12 +1077,21 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> case LibFunc::roundl:<br>
>> case LibFunc::sin:<br>
>> case LibFunc::sinf:<br>
>> + case LibFunc::sinh:<br>
>> + case LibFunc::sinhf:<br>
>> + case LibFunc::sinhl:<br>
>> case LibFunc::sinl:<br>
>> case LibFunc::sqrt:<br>
>> + case LibFunc::sqrt_finite:<br>
>> case LibFunc::sqrtf:<br>
>> + case LibFunc::sqrtf_finite:<br>
>> case LibFunc::sqrtl:<br>
>> + case LibFunc::sqrtl_finite:<br>
>> case LibFunc::tan:<br>
>> case LibFunc::tanf:<br>
>> + case LibFunc::tanh:<br>
>> + case LibFunc::tanhf:<br>
>> + case LibFunc::tanhl:<br>
>> case LibFunc::tanl:<br>
>> case LibFunc::trunc:<br>
>> case LibFunc::truncf:<br>
>> @@ -967,12 +1099,18 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> return (NumParams == 1 && FTy.getReturnType()-><wbr>isFloatingPointTy() &&<br>
>> FTy.getReturnType() == FTy.getParamType(0));<br>
>><br>
>> + case LibFunc::atan2:<br>
>> + case LibFunc::atan2f:<br>
>> + case LibFunc::atan2l:<br>
>> case LibFunc::fmin:<br>
>> case LibFunc::fminf:<br>
>> case LibFunc::fminl:<br>
>> case LibFunc::fmax:<br>
>> case LibFunc::fmaxf:<br>
>> case LibFunc::fmaxl:<br>
>> + case LibFunc::fmod:<br>
>> + case LibFunc::fmodf:<br>
>> + case LibFunc::fmodl:<br>
>> case LibFunc::copysign:<br>
>> case LibFunc::copysignf:<br>
>> case LibFunc::copysignl:<br>
>> @@ -983,6 +1121,13 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> FTy.getReturnType() == FTy.getParamType(0) &&<br>
>> FTy.getReturnType() == FTy.getParamType(1));<br>
>><br>
>> + case LibFunc::ldexp:<br>
>> + case LibFunc::ldexpf:<br>
>> + case LibFunc::ldexpl:<br>
>> + return (NumParams == 2 && FTy.getReturnType()-><wbr>isFloatingPointTy() &&<br>
>> + FTy.getReturnType() == FTy.getParamType(0) &&<br>
>> + FTy.getParamType(1)-><wbr>isIntegerTy(32));<br>
>> +<br>
>> case LibFunc::ffs:<br>
>> case LibFunc::ffsl:<br>
>> case LibFunc::ffsll:<br>
>> @@ -995,6 +1140,7 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> case LibFunc::isdigit:<br>
>> case LibFunc::isascii:<br>
>> case LibFunc::toascii:<br>
>> + case LibFunc::putchar:<br>
>> return (NumParams == 1 && FTy.getReturnType()-><wbr>isIntegerTy(32) &&<br>
>> FTy.getReturnType() == FTy.getParamType(0));<br>
>><br>
>> @@ -1020,11 +1166,20 @@ bool TargetLibraryInfoImpl::<wbr>isValidProto<br>
>> return (NumParams == 1 && FTy.getReturnType()-><wbr>isFloatTy() &&<br>
>> FTy.getReturnType() == FTy.getParamType(0));<br>
>><br>
>> - default:<br>
>> - // Assume the other functions are correct.<br>
>> - // FIXME: It'd be really nice to cover them all.<br>
>> - return true;<br>
>> + case LibFunc::strnlen:<br>
>> + return (NumParams == 2 && FTy.getReturnType() == FTy.getParamType(1)<br>
>> &&<br>
>> + FTy.getParamType(0) == PCharTy &&<br>
>> + FTy.getParamType(1) == SizeTTy);<br>
>> +<br>
>> + case LibFunc::posix_memalign:<br>
>> + return (NumParams == 3 && FTy.getReturnType()-><wbr>isIntegerTy(32) &&<br>
>> + FTy.getParamType(0)-><wbr>isPointerTy() &&<br>
>> + FTy.getParamType(1) == SizeTTy && FTy.getParamType(2) ==<br>
>> SizeTTy);<br>
>> +<br>
>> + case LibFunc::NumLibFuncs:<br>
>> + llvm_unreachable("Invalid sentinel libfunc value");<br>
>> }<br>
>> +<br>
>> }<br>
>><br>
>> bool TargetLibraryInfoImpl::<wbr>getLibFunc(const Function &FDecl,<br>
>><br>
>> Modified: llvm/trunk/unittests/Analysis/<wbr>CMakeLists.txt<br>
>> URL:<br>
>> <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/unittests/Analysis/CMakeLists.txt?rev=292188&r1=292187&r2=292188&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/llvm/trunk/unittests/<wbr>Analysis/CMakeLists.txt?rev=<wbr>292188&r1=292187&r2=292188&<wbr>view=diff</a><br>
>><br>
>> ==============================<wbr>==============================<wbr>==================<br>
>> --- llvm/trunk/unittests/Analysis/<wbr>CMakeLists.txt (original)<br>
>> +++ llvm/trunk/unittests/Analysis/<wbr>CMakeLists.txt Mon Jan 16 21:10:02 2017<br>
>> @@ -18,6 +18,7 @@ add_llvm_unittest(<wbr>AnalysisTests<br>
>> ProfileSummaryInfoTest.cpp<br>
>> ScalarEvolutionTest.cpp<br>
>> TBAATest.cpp<br>
>> + TargetLibraryInfoTest.cpp<br>
>> UnrollAnalyzer.cpp<br>
>> ValueTrackingTest.cpp<br>
>> )<br>
>><br>
>> Added: llvm/trunk/unittests/Analysis/<wbr>TargetLibraryInfoTest.cpp<br>
>> URL:<br>
>> <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/unittests/Analysis/TargetLibraryInfoTest.cpp?rev=292188&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-<wbr>project/llvm/trunk/unittests/<wbr>Analysis/<wbr>TargetLibraryInfoTest.cpp?rev=<wbr>292188&view=auto</a><br>
>><br>
>> ==============================<wbr>==============================<wbr>==================<br>
>> --- llvm/trunk/unittests/Analysis/<wbr>TargetLibraryInfoTest.cpp (added)<br>
>> +++ llvm/trunk/unittests/Analysis/<wbr>TargetLibraryInfoTest.cpp Mon Jan 16<br>
>> 21:10:02 2017<br>
>> @@ -0,0 +1,481 @@<br>
>> +//===--- TargetLibraryInfoTest.cpp - TLI/LibFunc unit tests<br>
>> ---------------===//<br>
>> +//<br>
>> +// The LLVM Compiler Infrastructure<br>
>> +//<br>
>> +// This file is distributed under the University of Illinois Open Source<br>
>> +// License. See LICENSE.TXT for details.<br>
>> +//<br>
>><br>
>> +//===------------------------<wbr>------------------------------<wbr>----------------===//<br>
>> +<br>
>> +#include "llvm/Analysis/<wbr>TargetLibraryInfo.h"<br>
>> +#include "llvm/AsmParser/Parser.h"<br>
>> +#include "llvm/IR/LLVMContext.h"<br>
>> +#include "llvm/IR/LegacyPassManager.h"<br>
>> +#include "llvm/IR/Module.h"<br>
>> +#include "llvm/Support/SourceMgr.h"<br>
>> +#include "gtest/gtest.h"<br>
>> +<br>
>> +using namespace llvm;<br>
>> +<br>
>> +namespace {<br>
>> +<br>
>> +class TargetLibraryInfoTest : public testing::Test {<br>
>> +protected:<br>
>> + LLVMContext Context;<br>
>> + TargetLibraryInfoImpl TLII;<br>
>> + TargetLibraryInfo TLI;<br>
>> +<br>
>> + std::unique_ptr<Module> M;<br>
>> +<br>
>> + TargetLibraryInfoTest() : TLI(TLII) {}<br>
>> +<br>
>> + void parseAssembly(const char *Assembly) {<br>
>> + SMDiagnostic Error;<br>
>> + M = parseAssemblyString(Assembly, Error, Context);<br>
>> +<br>
>> + std::string errMsg;<br>
>> + raw_string_ostream os(errMsg);<br>
>> + Error.print("", os);<br>
>> +<br>
>> + if (!M)<br>
>> + report_fatal_error(os.str());<br>
>> + }<br>
>> +<br>
>> + ::testing::AssertionResult isLibFunc(const Function *FDecl,<br>
>> + LibFunc::Func ExpectedLF) {<br>
>> + StringRef ExpectedLFName = TLI.getName(ExpectedLF);<br>
>> +<br>
>> + if (!FDecl)<br>
>> + return ::testing::AssertionFailure() << ExpectedLFName << " not<br>
>> found";<br>
>> +<br>
>> + LibFunc::Func F;<br>
>> + if (!TLI.getLibFunc(*FDecl, F))<br>
>> + return ::testing::AssertionFailure() << ExpectedLFName << "<br>
>> invalid";<br>
>> +<br>
>> + return ::testing::AssertionSuccess() << ExpectedLFName << " is<br>
>> LibFunc";<br>
>> + }<br>
>> +};<br>
>> +<br>
>> +} // end anonymous namespace<br>
>> +<br>
>> +// Check that we don't accept egregiously incorrect prototypes.<br>
>> +TEST_F(TargetLibraryInfoTest, InvalidProto) {<br>
>> + parseAssembly("%foo = type { %foo }\n");<br>
>> +<br>
>> + auto *StructTy = M->getTypeByName("foo");<br>
>> + auto *InvalidFTy = FunctionType::get(StructTy, /*isVarArg=*/false);<br>
>> +<br>
>> + for (unsigned FI = 0; FI != LibFunc::NumLibFuncs; ++FI) {<br>
>> + LibFunc::Func LF = (LibFunc::Func)FI;<br>
>> + auto *F = cast<Function>(<br>
>> + M->getOrInsertFunction(TLI.<wbr>getName(LF), InvalidFTy));<br>
>> + EXPECT_FALSE(isLibFunc(F, LF));<br>
>> + }<br>
>> +}<br>
>> +<br>
>> +// Check that we do accept know-correct prototypes.<br>
>> +TEST_F(TargetLibraryInfoTest, ValidProto) {<br>
>> + parseAssembly(<br>
>> + // These functions use a 64-bit size_t; use the appropriate<br>
>> datalayout.<br>
>> + "target datalayout = \"p:64:64:64\"\n"<br>
>> +<br>
>> + // Struct pointers are replaced with an opaque pointer.<br>
>> + "%struct = type opaque\n"<br>
>> +<br>
>> + // These functions were extracted as-is from the OS X headers.<br>
>> + "declare double @__cospi(double)\n"<br>
>> + "declare float @__cospif(float)\n"<br>
>> + "declare { double, double } @__sincospi_stret(double)\n"<br>
>> + "declare <2 x float> @__sincospif_stret(float)\n"<br>
>> + "declare double @__sinpi(double)\n"<br>
>> + "declare float @__sinpif(float)\n"<br>
>> + "declare i32 @abs(i32)\n"<br>
>> + "declare i32 @access(i8*, i32)\n"<br>
>> + "declare double @acos(double)\n"<br>
>> + "declare float @acosf(float)\n"<br>
>> + "declare double @acosh(double)\n"<br>
>> + "declare float @acoshf(float)\n"<br>
>> + "declare x86_fp80 @acoshl(x86_fp80)\n"<br>
>> + "declare x86_fp80 @acosl(x86_fp80)\n"<br>
>> + "declare double @asin(double)\n"<br>
>> + "declare float @asinf(float)\n"<br>
>> + "declare double @asinh(double)\n"<br>
>> + "declare float @asinhf(float)\n"<br>
>> + "declare x86_fp80 @asinhl(x86_fp80)\n"<br>
>> + "declare x86_fp80 @asinl(x86_fp80)\n"<br>
>> + "declare double @atan(double)\n"<br>
>> + "declare double @atan2(double, double)\n"<br>
>> + "declare float @atan2f(float, float)\n"<br>
>> + "declare x86_fp80 @atan2l(x86_fp80, x86_fp80)\n"<br>
>> + "declare float @atanf(float)\n"<br>
>> + "declare double @atanh(double)\n"<br>
>> + "declare float @atanhf(float)\n"<br>
>> + "declare x86_fp80 @atanhl(x86_fp80)\n"<br>
>> + "declare x86_fp80 @atanl(x86_fp80)\n"<br>
>> + "declare double @atof(i8*)\n"<br>
>> + "declare i32 @atoi(i8*)\n"<br>
>> + "declare i64 @atol(i8*)\n"<br>
>> + "declare i64 @atoll(i8*)\n"<br>
>> + "declare i32 @bcmp(i8*, i8*, i64)\n"<br>
>> + "declare void @bcopy(i8*, i8*, i64)\n"<br>
>> + "declare void @bzero(i8*, i64)\n"<br>
>> + "declare i8* @calloc(i64, i64)\n"<br>
>> + "declare double @cbrt(double)\n"<br>
>> + "declare float @cbrtf(float)\n"<br>
>> + "declare x86_fp80 @cbrtl(x86_fp80)\n"<br>
>> + "declare double @ceil(double)\n"<br>
>> + "declare float @ceilf(float)\n"<br>
>> + "declare x86_fp80 @ceill(x86_fp80)\n"<br>
>> + "declare i32 @chown(i8*, i32, i32)\n"<br>
>> + "declare void @clearerr(%struct*)\n"<br>
>> + "declare double @copysign(double, double)\n"<br>
>> + "declare float @copysignf(float, float)\n"<br>
>> + "declare x86_fp80 @copysignl(x86_fp80, x86_fp80)\n"<br>
>> + "declare double @cos(double)\n"<br>
>> + "declare float @cosf(float)\n"<br>
>> + "declare double @cosh(double)\n"<br>
>> + "declare float @coshf(float)\n"<br>
>> + "declare x86_fp80 @coshl(x86_fp80)\n"<br>
>> + "declare x86_fp80 @cosl(x86_fp80)\n"<br>
>> + "declare i8* @ctermid(i8*)\n"<br>
>> + "declare double @exp(double)\n"<br>
>> + "declare double @exp2(double)\n"<br>
>> + "declare float @exp2f(float)\n"<br>
>> + "declare x86_fp80 @exp2l(x86_fp80)\n"<br>
>> + "declare float @expf(float)\n"<br>
>> + "declare x86_fp80 @expl(x86_fp80)\n"<br>
>> + "declare double @expm1(double)\n"<br>
>> + "declare float @expm1f(float)\n"<br>
>> + "declare x86_fp80 @expm1l(x86_fp80)\n"<br>
>> + "declare double @fabs(double)\n"<br>
>> + "declare float @fabsf(float)\n"<br>
>> + "declare x86_fp80 @fabsl(x86_fp80)\n"<br>
>> + "declare i32 @fclose(%struct*)\n"<br>
>> + "declare i32 @feof(%struct*)\n"<br>
>> + "declare i32 @ferror(%struct*)\n"<br>
>> + "declare i32 @fflush(%struct*)\n"<br>
>> + "declare i32 @ffs(i32)\n"<br>
>> + "declare i32 @ffsl(i64)\n"<br>
>> + "declare i32 @ffsll(i64)\n"<br>
>> + "declare i32 @fgetc(%struct*)\n"<br>
>> + "declare i32 @fgetpos(%struct*, i64*)\n"<br>
>> + "declare i8* @fgets(i8*, i32, %struct*)\n"<br>
>> + "declare i32 @fileno(%struct*)\n"<br>
>> + "declare void @flockfile(%struct*)\n"<br>
>> + "declare double @floor(double)\n"<br>
>> + "declare float @floorf(float)\n"<br>
>> + "declare x86_fp80 @floorl(x86_fp80)\n"<br>
>> + "declare i32 @fls(i32)\n"<br>
>> + "declare i32 @flsl(i64)\n"<br>
>> + "declare i32 @flsll(i64)\n"<br>
>> + "declare double @fmax(double, double)\n"<br>
>> + "declare float @fmaxf(float, float)\n"<br>
>> + "declare x86_fp80 @fmaxl(x86_fp80, x86_fp80)\n"<br>
>> + "declare double @fmin(double, double)\n"<br>
>> + "declare float @fminf(float, float)\n"<br>
>> + "declare x86_fp80 @fminl(x86_fp80, x86_fp80)\n"<br>
>> + "declare double @fmod(double, double)\n"<br>
>> + "declare float @fmodf(float, float)\n"<br>
>> + "declare x86_fp80 @fmodl(x86_fp80, x86_fp80)\n"<br>
>> + "declare i32 @fprintf(%struct*, i8*, ...)\n"<br>
>> + "declare i32 @fputc(i32, %struct*)\n"<br>
>> + "declare i64 @fread(i8*, i64, i64, %struct*)\n"<br>
>> + "declare void @free(i8*)\n"<br>
>> + "declare double @frexp(double, i32*)\n"<br>
>> + "declare float @frexpf(float, i32*)\n"<br>
>> + "declare x86_fp80 @frexpl(x86_fp80, i32*)\n"<br>
>> + "declare i32 @fscanf(%struct*, i8*, ...)\n"<br>
>> + "declare i32 @fseek(%struct*, i64, i32)\n"<br>
>> + "declare i32 @fseeko(%struct*, i64, i32)\n"<br>
>> + "declare i32 @fsetpos(%struct*, i64*)\n"<br>
>> + "declare i32 @fstatvfs(i32, %struct*)\n"<br>
>> + "declare i64 @ftell(%struct*)\n"<br>
>> + "declare i64 @ftello(%struct*)\n"<br>
>> + "declare i32 @ftrylockfile(%struct*)\n"<br>
>> + "declare void @funlockfile(%struct*)\n"<br>
>> + "declare i32 @getc(%struct*)\n"<br>
>> + "declare i32 @getc_unlocked(%struct*)\n"<br>
>> + "declare i32 @getchar()\n"<br>
>> + "declare i8* @getenv(i8*)\n"<br>
>> + "declare i32 @getitimer(i32, %struct*)\n"<br>
>> + "declare i32 @getlogin_r(i8*, i64)\n"<br>
>> + "declare %struct* @getpwnam(i8*)\n"<br>
>> + "declare i8* @gets(i8*)\n"<br>
>> + "declare i32 @gettimeofday(%struct*, i8*)\n"<br>
>> + "declare i32 @_Z7isasciii(i32)\n"<br>
>> + "declare i32 @_Z7isdigiti(i32)\n"<br>
>> + "declare i64 @labs(i64)\n"<br>
>> + "declare double @ldexp(double, i32)\n"<br>
>> + "declare float @ldexpf(float, i32)\n"<br>
>> + "declare x86_fp80 @ldexpl(x86_fp80, i32)\n"<br>
>> + "declare i64 @llabs(i64)\n"<br>
>> + "declare double @log(double)\n"<br>
>> + "declare double @log10(double)\n"<br>
>> + "declare float @log10f(float)\n"<br>
>> + "declare x86_fp80 @log10l(x86_fp80)\n"<br>
>> + "declare double @log1p(double)\n"<br>
>> + "declare float @log1pf(float)\n"<br>
>> + "declare x86_fp80 @log1pl(x86_fp80)\n"<br>
>> + "declare double @log2(double)\n"<br>
>> + "declare float @log2f(float)\n"<br>
>> + "declare x86_fp80 @log2l(x86_fp80)\n"<br>
>> + "declare double @logb(double)\n"<br>
>> + "declare float @logbf(float)\n"<br>
>> + "declare x86_fp80 @logbl(x86_fp80)\n"<br>
>> + "declare float @logf(float)\n"<br>
>> + "declare x86_fp80 @logl(x86_fp80)\n"<br>
>> + "declare i8* @malloc(i64)\n"<br>
>> + "declare i8* @memccpy(i8*, i8*, i32, i64)\n"<br>
>> + "declare i8* @memchr(i8*, i32, i64)\n"<br>
>> + "declare i32 @memcmp(i8*, i8*, i64)\n"<br>
>> + "declare i8* @memcpy(i8*, i8*, i64)\n"<br>
>> + "declare i8* @memmove(i8*, i8*, i64)\n"<br>
>> + "declare i8* @memset(i8*, i32, i64)\n"<br>
>> + "declare void @memset_pattern16(i8*, i8*, i64)\n"<br>
>> + "declare i32 @mkdir(i8*, i16)\n"<br>
>> + "declare double @modf(double, double*)\n"<br>
>> + "declare float @modff(float, float*)\n"<br>
>> + "declare x86_fp80 @modfl(x86_fp80, x86_fp80*)\n"<br>
>> + "declare double @nearbyint(double)\n"<br>
>> + "declare float @nearbyintf(float)\n"<br>
>> + "declare x86_fp80 @nearbyintl(x86_fp80)\n"<br>
>> + "declare i32 @pclose(%struct*)\n"<br>
>> + "declare void @perror(i8*)\n"<br>
>> + "declare i32 @posix_memalign(i8**, i64, i64)\n"<br>
>> + "declare double @pow(double, double)\n"<br>
>> + "declare float @powf(float, float)\n"<br>
>> + "declare x86_fp80 @powl(x86_fp80, x86_fp80)\n"<br>
>> + "declare i32 @printf(i8*, ...)\n"<br>
>> + "declare i32 @putc(i32, %struct*)\n"<br>
>> + "declare i32 @putchar(i32)\n"<br>
>> + "declare i32 @puts(i8*)\n"<br>
>> + "declare void @qsort(i8*, i64, i64, i32 (i8*, i8*)*)\n"<br>
>> + "declare i64 @readlink(i8*, i8*, i64)\n"<br>
>> + "declare i8* @realloc(i8*, i64)\n"<br>
>> + "declare i8* @reallocf(i8*, i64)\n"<br>
>> + "declare i32 @remove(i8*)\n"<br>
>> + "declare i32 @rename(i8*, i8*)\n"<br>
>> + "declare void @rewind(%struct*)\n"<br>
>> + "declare double @rint(double)\n"<br>
>> + "declare float @rintf(float)\n"<br>
>> + "declare x86_fp80 @rintl(x86_fp80)\n"<br>
>> + "declare i32 @rmdir(i8*)\n"<br>
>> + "declare double @round(double)\n"<br>
>> + "declare float @roundf(float)\n"<br>
>> + "declare x86_fp80 @roundl(x86_fp80)\n"<br>
>> + "declare i32 @scanf(i8*, ...)\n"<br>
>> + "declare void @setbuf(%struct*, i8*)\n"<br>
>> + "declare i32 @setitimer(i32, %struct*, %struct*)\n"<br>
>> + "declare i32 @setvbuf(%struct*, i8*, i32, i64)\n"<br>
>> + "declare double @sin(double)\n"<br>
>> + "declare float @sinf(float)\n"<br>
>> + "declare double @sinh(double)\n"<br>
>> + "declare float @sinhf(float)\n"<br>
>> + "declare x86_fp80 @sinhl(x86_fp80)\n"<br>
>> + "declare x86_fp80 @sinl(x86_fp80)\n"<br>
>> + "declare i32 @snprintf(i8*, i64, i8*, ...)\n"<br>
>> + "declare i32 @sprintf(i8*, i8*, ...)\n"<br>
>> + "declare double @sqrt(double)\n"<br>
>> + "declare float @sqrtf(float)\n"<br>
>> + "declare x86_fp80 @sqrtl(x86_fp80)\n"<br>
>> + "declare i32 @sscanf(i8*, i8*, ...)\n"<br>
>> + "declare i32 @statvfs(i8*, %struct*)\n"<br>
>> + "declare i8* @stpcpy(i8*, i8*)\n"<br>
>> + "declare i8* @stpncpy(i8*, i8*, i64)\n"<br>
>> + "declare i32 @strcasecmp(i8*, i8*)\n"<br>
>> + "declare i8* @strcat(i8*, i8*)\n"<br>
>> + "declare i8* @strchr(i8*, i32)\n"<br>
>> + "declare i32 @strcmp(i8*, i8*)\n"<br>
>> + "declare i32 @strcoll(i8*, i8*)\n"<br>
>> + "declare i8* @strcpy(i8*, i8*)\n"<br>
>> + "declare i64 @strcspn(i8*, i8*)\n"<br>
>> + "declare i8* @strdup(i8*)\n"<br>
>> + "declare i64 @strlen(i8*)\n"<br>
>> + "declare i32 @strncasecmp(i8*, i8*, i64)\n"<br>
>> + "declare i8* @strncat(i8*, i8*, i64)\n"<br>
>> + "declare i32 @strncmp(i8*, i8*, i64)\n"<br>
>> + "declare i8* @strncpy(i8*, i8*, i64)\n"<br>
>> + "declare i8* @strndup(i8*, i64)\n"<br>
>> + "declare i64 @strnlen(i8*, i64)\n"<br>
>> + "declare i8* @strpbrk(i8*, i8*)\n"<br>
>> + "declare i8* @strrchr(i8*, i32)\n"<br>
>> + "declare i64 @strspn(i8*, i8*)\n"<br>
>> + "declare i8* @strstr(i8*, i8*)\n"<br>
>> + "declare i8* @strtok(i8*, i8*)\n"<br>
>> + "declare i8* @strtok_r(i8*, i8*, i8**)\n"<br>
>> + "declare i64 @strtol(i8*, i8**, i32)\n"<br>
>> + "declare x86_fp80 @strtold(i8*, i8**)\n"<br>
>> + "declare i64 @strtoll(i8*, i8**, i32)\n"<br>
>> + "declare i64 @strtoul(i8*, i8**, i32)\n"<br>
>> + "declare i64 @strtoull(i8*, i8**, i32)\n"<br>
>> + "declare i64 @strxfrm(i8*, i8*, i64)\n"<br>
>> + "declare double @tan(double)\n"<br>
>> + "declare float @tanf(float)\n"<br>
>> + "declare double @tanh(double)\n"<br>
>> + "declare float @tanhf(float)\n"<br>
>> + "declare x86_fp80 @tanhl(x86_fp80)\n"<br>
>> + "declare x86_fp80 @tanl(x86_fp80)\n"<br>
>> + "declare i64 @times(%struct*)\n"<br>
>> + "declare %struct* @tmpfile()\n"<br>
>> + "declare i32 @_Z7toasciii(i32)\n"<br>
>> + "declare double @trunc(double)\n"<br>
>> + "declare float @truncf(float)\n"<br>
>> + "declare x86_fp80 @truncl(x86_fp80)\n"<br>
>> + "declare i32 @uname(%struct*)\n"<br>
>> + "declare i32 @ungetc(i32, %struct*)\n"<br>
>> + "declare i32 @unlink(i8*)\n"<br>
>> + "declare i32 @utime(i8*, %struct*)\n"<br>
>> + "declare i32 @utimes(i8*, %struct*)\n"<br>
>> + "declare i8* @valloc(i64)\n"<br>
>> + "declare i32 @vfprintf(%struct*, i8*, %struct*)\n"<br>
>> + "declare i32 @vfscanf(%struct*, i8*, %struct*)\n"<br>
>> + "declare i32 @vprintf(i8*, %struct*)\n"<br>
>> + "declare i32 @vscanf(i8*, %struct*)\n"<br>
>> + "declare i32 @vsnprintf(i8*, i64, i8*, %struct*)\n"<br>
>> + "declare i32 @vsprintf(i8*, i8*, %struct*)\n"<br>
>> + "declare i32 @vsscanf(i8*, i8*, %struct*)\n"<br>
>> +<br>
>> + // These functions were also extracted from the OS X headers, but<br>
>> they are<br>
>> + // available with a special name on darwin.<br>
>> + // This test uses the default TLI name instead.<br>
>> + "declare i32 @chmod(i8*, i16)\n"<br>
>> + "declare i32 @closedir(%struct*)\n"<br>
>> + "declare %struct* @fdopen(i32, i8*)\n"<br>
>> + "declare %struct* @fopen(i8*, i8*)\n"<br>
>> + "declare i32 @fputs(i8*, %struct*)\n"<br>
>> + "declare i32 @fstat(i32, %struct*)\n"<br>
>> + "declare i64 @fwrite(i8*, i64, i64, %struct*)\n"<br>
>> + "declare i32 @lchown(i8*, i32, i32)\n"<br>
>> + "declare i32 @lstat(i8*, %struct*)\n"<br>
>> + "declare i64 @mktime(%struct*)\n"<br>
>> + "declare i32 @open(i8*, i32, ...)\n"<br>
>> + "declare %struct* @opendir(i8*)\n"<br>
>> + "declare %struct* @popen(i8*, i8*)\n"<br>
>> + "declare i64 @pread(i32, i8*, i64, i64)\n"<br>
>> + "declare i64 @pwrite(i32, i8*, i64, i64)\n"<br>
>> + "declare i64 @read(i32, i8*, i64)\n"<br>
>> + "declare i8* @realpath(i8*, i8*)\n"<br>
>> + "declare i32 @stat(i8*, %struct*)\n"<br>
>> + "declare double @strtod(i8*, i8**)\n"<br>
>> + "declare float @strtof(i8*, i8**)\n"<br>
>> + "declare i32 @system(i8*)\n"<br>
>> + "declare i32 @unsetenv(i8*)\n"<br>
>> + "declare i64 @write(i32, i8*, i64)\n"<br>
>> +<br>
>> + // These functions are available on Linux but not Darwin; they only<br>
>> differ<br>
>> + // from their non-64 counterparts in the struct type.<br>
>> + // Use the same prototype as the non-64 variant.<br>
>> + "declare %struct* @fopen64(i8*, i8*)\n"<br>
>> + "declare i32 @fstat64(i32, %struct*)\n"<br>
>> + "declare i32 @fstatvfs64(i32, %struct*)\n"<br>
>> + "declare i32 @lstat64(i8*, %struct*)\n"<br>
>> + "declare i32 @open64(i8*, i32, ...)\n"<br>
>> + "declare i32 @stat64(i8*, %struct*)\n"<br>
>> + "declare i32 @statvfs64(i8*, %struct*)\n"<br>
>> + "declare %struct* @tmpfile64()\n"<br>
>> +<br>
>> + // These functions are also -64 variants, but do differ in the type<br>
>> of the<br>
>> + // off_t (vs off64_t) parameter. The non-64 variants declared above<br>
>> used<br>
>> + // a 64-bit off_t, so, in practice, they are also equivalent.<br>
>> + "declare i32 @fseeko64(%struct*, i64, i32)\n"<br>
>> + "declare i64 @ftello64(%struct*)\n"<br>
>> +<br>
>> + "declare void @_ZdaPv(i8*)\n"<br>
>> + "declare void @_ZdaPvRKSt9nothrow_t(i8*, %struct*)\n"<br>
>> + "declare void @_ZdaPvj(i8*, i32)\n"<br>
>> + "declare void @_ZdaPvm(i8*, i64)\n"<br>
>> + "declare void @_ZdlPv(i8*)\n"<br>
>> + "declare void @_ZdlPvRKSt9nothrow_t(i8*, %struct*)\n"<br>
>> + "declare void @_ZdlPvj(i8*, i32)\n"<br>
>> + "declare void @_ZdlPvm(i8*, i64)\n"<br>
>> + "declare i8* @_Znaj(i32)\n"<br>
>> + "declare i8* @_ZnajRKSt9nothrow_t(i32, %struct*)\n"<br>
>> + "declare i8* @_Znam(i64)\n"<br>
>> + "declare i8* @_ZnamRKSt9nothrow_t(i64, %struct*)\n"<br>
>> + "declare i8* @_Znwj(i32)\n"<br>
>> + "declare i8* @_ZnwjRKSt9nothrow_t(i32, %struct*)\n"<br>
>> + "declare i8* @_Znwm(i64)\n"<br>
>> + "declare i8* @_ZnwmRKSt9nothrow_t(i64, %struct*)\n"<br>
>> +<br>
>> + "declare void @\"??3@YAXPEAX@Z\"(i8*)\n"<br>
>> + "declare void @\"??3@YAXPEAXAEBUnothrow_t@<wbr>std@@@Z\"(i8*, %struct*)\n"<br>
>> + "declare void @\"??3@YAXPEAX_K@Z\"(i8*, i64)\n"<br>
>> + "declare void @\"??_V@YAXPEAX@Z\"(i8*)\n"<br>
>> + "declare void @\"??_V@YAXPEAXAEBUnothrow_t@<wbr>std@@@Z\"(i8*,<br>
>> %struct*)\n"<br>
>> + "declare void @\"??_V@YAXPEAX_K@Z\"(i8*, i64)\n"<br>
>> + "declare i8* @\"??2@YAPAXI@Z\"(i32)\n"<br>
>> + "declare i8* @\"??2@YAPAXIABUnothrow_t@std@<wbr>@@Z\"(i32, %struct*)\n"<br>
>> + "declare i8* @\"??2@YAPEAX_K@Z\"(i64)\n"<br>
>> + "declare i8* @\"??2@YAPEAX_KAEBUnothrow_t@<wbr>std@@@Z\"(i64, %struct*)\n"<br>
>> + "declare i8* @\"??_U@YAPAXI@Z\"(i32)\n"<br>
>> + "declare i8* @\"??_U@YAPAXIABUnothrow_t@<wbr>std@@@Z\"(i32, %struct*)\n"<br>
>> + "declare i8* @\"??_U@YAPEAX_K@Z\"(i64)\n"<br>
>> + "declare i8* @\"??_U@YAPEAX_KAEBUnothrow_t@<wbr>std@@@Z\"(i64,<br>
>> %struct*)\n"<br>
>> +<br>
>> + "declare void @\"??3@YAXPAX@Z\"(i8*)\n"<br>
>> + "declare void @\"??3@YAXPAXABUnothrow_t@std@<wbr>@@Z\"(i8*, %struct*)\n"<br>
>> + "declare void @\"??3@YAXPAXI@Z\"(i8*, i32)\n"<br>
>> + "declare void @\"??_V@YAXPAX@Z\"(i8*)\n"<br>
>> + "declare void @\"??_V@YAXPAXABUnothrow_t@<wbr>std@@@Z\"(i8*, %struct*)\n"<br>
>> + "declare void @\"??_V@YAXPAXI@Z\"(i8*, i32)\n"<br>
>> +<br>
>> + // These other functions were derived from the .def C declaration.<br>
>> + "declare i32 @__cxa_atexit(void (i8*)*, i8*, i8*)\n"<br>
>> + "declare void @__cxa_guard_abort(%struct*)\<wbr>n"<br>
>> + "declare i32 @__cxa_guard_acquire(%struct*)<wbr>\n"<br>
>> + "declare void @__cxa_guard_release(%struct*)<wbr>\n"<br>
>> +<br>
>> + "declare i32 @__nvvm_reflect(i8*)\n"<br>
>> +<br>
>> + "declare i8* @__memcpy_chk(i8*, i8*, i64, i64)\n"<br>
>> + "declare i8* @__memmove_chk(i8*, i8*, i64, i64)\n"<br>
>> + "declare i8* @__memset_chk(i8*, i32, i64, i64)\n"<br>
>> + "declare i8* @__stpcpy_chk(i8*, i8*, i64)\n"<br>
>> + "declare i8* @__stpncpy_chk(i8*, i8*, i64, i64)\n"<br>
>> + "declare i8* @__strcpy_chk(i8*, i8*, i64)\n"<br>
>> + "declare i8* @__strncpy_chk(i8*, i8*, i64, i64)\n"<br>
>> +<br>
>> + "declare i8* @memalign(i64, i64)\n"<br>
>> + "declare i8* @mempcpy(i8*, i8*, i64)\n"<br>
>> + "declare i8* @memrchr(i8*, i32, i64)\n"<br>
>> +<br>
>> + // These are similar to the FILE* fgetc/fputc.<br>
>> + "declare i32 @_IO_getc(%struct*)\n"<br>
>> + "declare i32 @_IO_putc(i32, %struct*)\n"<br>
>> +<br>
>> + "declare i32 @__isoc99_scanf(i8*, ...)\n"<br>
>> + "declare i32 @__isoc99_sscanf(i8*, i8*, ...)\n"<br>
>> + "declare i8* @__strdup(i8*)\n"<br>
>> + "declare i8* @__strndup(i8*, i64)\n"<br>
>> + "declare i8* @__strtok_r(i8*, i8*, i8**)\n"<br>
>> +<br>
>> + "declare double @__sqrt_finite(double)\n"<br>
>> + "declare float @__sqrtf_finite(float)\n"<br>
>> + "declare x86_fp80 @__sqrtl_finite(x86_fp80)\n"<br>
>> + "declare double @exp10(double)\n"<br>
>> + "declare float @exp10f(float)\n"<br>
>> + "declare x86_fp80 @exp10l(x86_fp80)\n"<br>
>> +<br>
>> + // These printf variants have the same prototype as the non-'i'<br>
>> versions.<br>
>> + "declare i32 @fiprintf(%struct*, i8*, ...)\n"<br>
>> + "declare i32 @iprintf(i8*, ...)\n"<br>
>> + "declare i32 @siprintf(i8*, i8*, ...)\n"<br>
>> +<br>
>> + "declare i32 @htonl(i32)\n"<br>
>> + "declare i16 @htons(i16)\n"<br>
>> + "declare i32 @ntohl(i32)\n"<br>
>> + "declare i16 @ntohs(i16)\n"<br>
>> +<br>
>> + "declare i32 @isascii(i32)\n"<br>
>> + "declare i32 @isdigit(i32)\n"<br>
>> + "declare i32 @toascii(i32)\n"<br>
>> + );<br>
>> +<br>
>> + for (unsigned FI = 0; FI != LibFunc::NumLibFuncs; ++FI) {<br>
>> + LibFunc::Func LF = (LibFunc::Func)FI;<br>
>> + // Make sure everything is available; we're not testing target<br>
>> defaults.<br>
>> + TLII.setAvailable(LF);<br>
>> + Function *F = M->getFunction(TLI.getName(LF)<wbr>);<br>
>> + EXPECT_TRUE(isLibFunc(F, LF));<br>
>> + }<br>
>> +}<br>
>><br>
>><br>
>> ______________________________<wbr>_________________<br>
>> llvm-commits mailing list<br>
>> <a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a><br>
>> <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-commits</a><br>
><br>
><br>
</div></div></blockquote></div><br></div>