Revert "Add pthread_self function prototype and make it speculatable."

This reverts commit 143d7445b5.

Build breaking

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@303496 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Xin Tong 2017-05-21 00:37:55 +00:00
parent 143d7445b5
commit a9ee0160e6
5 changed files with 3 additions and 67 deletions

View File

@ -938,9 +938,6 @@ TLI_DEFINE_STRING_INTERNAL("pread")
/// int printf(const char *format, ...);
TLI_DEFINE_ENUM_INTERNAL(printf)
TLI_DEFINE_STRING_INTERNAL("printf")
/// pthread_t pthread_self(void);
TLI_DEFINE_ENUM_INTERNAL(pthread_self)
TLI_DEFINE_STRING_INTERNAL("pthread_self")
/// int putc(int c, FILE *stream);
TLI_DEFINE_ENUM_INTERNAL(putc)
TLI_DEFINE_STRING_INTERNAL("putc")

View File

@ -349,9 +349,6 @@ static void initialize(TargetLibraryInfoImpl &TLI, const Triple &T,
TLI.setUnavailable(LibFunc_atoll);
TLI.setUnavailable(LibFunc_frexpf);
TLI.setUnavailable(LibFunc_llabs);
// Win32 does *not* provide pthread_self.
TLI.setUnavailable(LibFunc_pthread_self);
}
switch (T.getOS()) {
@ -1266,12 +1263,6 @@ bool TargetLibraryInfoImpl::isValidProtoForLibFunc(const FunctionType &FTy,
FTy.getParamType(0)->isPointerTy() &&
FTy.getParamType(1) == SizeTTy && FTy.getParamType(2) == SizeTTy);
// We do not attempt to match the return value here. i.e. thread identifiers
// should be considered opaque, for example, representation using either an
// arithmetic type or a structure is permitted.
case LibFunc_pthread_self:
return NumParams == 0;
case LibFunc_wcslen:
return (NumParams == 1 && FTy.getParamType(0)->isPointerTy() &&
FTy.getReturnType()->isIntegerTy());

View File

@ -38,7 +38,6 @@ STATISTIC(NumNoCapture, "Number of arguments inferred as nocapture");
STATISTIC(NumReadOnlyArg, "Number of arguments inferred as readonly");
STATISTIC(NumNoAlias, "Number of function returns inferred as noalias");
STATISTIC(NumNonNull, "Number of function returns inferred as nonnull returns");
STATISTIC(NumSpeculatable, "Number of functions inferred as speculatable");
static bool setDoesNotAccessMemory(Function &F) {
if (F.doesNotAccessMemory())
@ -72,14 +71,6 @@ static bool setDoesNotThrow(Function &F) {
return true;
}
static bool setSpeculatable(Function &F) {
if (F.isSpeculatable())
return false;
F.setSpeculatable();
++NumSpeculatable;
return true;
}
static bool setRetDoesNotAlias(Function &F) {
if (F.hasAttribute(AttributeList::ReturnIndex, Attribute::NoAlias))
return false;
@ -539,9 +530,6 @@ bool llvm::inferLibFuncAttributes(Function &F, const TargetLibraryInfo &TLI) {
Changed |= setOnlyReadsMemory(F, 0);
Changed |= setOnlyReadsMemory(F, 1);
return Changed;
case LibFunc_pthread_self:
Changed |= setSpeculatable(F);
return Changed;
case LibFunc_vfscanf:
Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0);

View File

@ -1,38 +0,0 @@
; RUN: opt < %s -S -inferattrs -licm | FileCheck %s
; CHECK-LABEL: define void @pthread_self_safe(
; CHECK-NEXT: call i64 @pthread_self()
define void @pthread_self_safe(i32) {
br label %2
; <label>:2: ; preds = %7, %1
%idx = phi i32 [ 0, %1 ], [ %8, %7 ]
%3 = icmp slt i32 %idx, %0
br i1 %3, label %4, label %9
; <label>:4: ; preds = %2
call void @external_func_that_could_do_anything()
%5 = call i64 @pthread_self() #1
%6 = trunc i64 %5 to i32
call void @use_pthread_self(i32 %6)
br label %7
; <label>:7: ; preds = %4
%8 = add nsw i32 %idx, 1
br label %2
; <label>:9: ; preds = %2
ret void
}
; CHECK: declare i64 @pthread_self() #0
; CHECK: attributes #0 = { nounwind readnone speculatable }
; Function Attrs: nounwind readnone
declare i64 @pthread_self() #1
declare void @external_func_that_could_do_anything()
declare void @use_pthread_self(i32)
attributes #1 = { nounwind readnone }

View File

@ -63,13 +63,12 @@ TEST_F(TargetLibraryInfoTest, InvalidProto) {
parseAssembly("%foo = type { %foo }\n");
auto *StructTy = M->getTypeByName("foo");
auto *InvalidFTy = FunctionType::get(StructTy, /*isVarArg=*/false);
for (unsigned FI = 0; FI != LibFunc::NumLibFuncs; ++FI) {
LibFunc LF = (LibFunc)FI;
// Using the library function name to create a function that takes
// 1 parameter and returns the same type. There should be no library
// function that matches this egregiously incorrect prototypes.
auto *F = cast<Function>(
M->getOrInsertFunction(TLI.getName(LF), StructTy, StructTy));
M->getOrInsertFunction(TLI.getName(LF), InvalidFTy));
EXPECT_FALSE(isLibFunc(F, LF));
}
}
@ -247,7 +246,6 @@ TEST_F(TargetLibraryInfoTest, ValidProto) {
"declare float @powf(float, float)\n"
"declare x86_fp80 @powl(x86_fp80, x86_fp80)\n"
"declare i32 @printf(i8*, ...)\n"
"declare %struct @pthread_self()\n"
"declare i32 @putc(i32, %struct*)\n"
"declare i32 @putchar(i32)\n"
"declare i32 @puts(i8*)\n"