projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4ace50) | patch
[FunctionAttrs] Annotate "willreturn" for intrinsics
authorHideto Ueno <uenoku.tokotoko@gmail.com>
Sun, 28 Jul 2019 06:09:56 +0000 (06:09 +0000)
committerHideto Ueno <uenoku.tokotoko@gmail.com>
Sun, 28 Jul 2019 06:09:56 +0000 (06:09 +0000)
commitcc0a4cdc890f738fc93916a8604301362bcc9d57
tree095986d7e6d43494c0b08763a1e0b02c67b4536ftree | snapshot
parentd4ace50ed0e5e761385a5d55845ee25ad12f41bbcommit | diff
[FunctionAttrs] Annotate "willreturn" for intrinsics

Summary:
In D62801, new function attribute `willreturn` was introduced. In short, a function with `willreturn` is guaranteed to come back to the call site(more precise definition is in LangRef).

In this patch, willreturn is annotated for LLVM intrinsics.

Reviewers: jdoerfert

Reviewed By: jdoerfert

Subscribers: jvesely, nhaehnle, sstefan1, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D64904

llvm-svn: 367184
28 files changed:
clang/test/CodeGen/libcalls.c diff | blob | history
llvm/include/llvm/IR/Intrinsics.td diff | blob | history
llvm/test/Analysis/BasicAA/cs-cs.ll diff | blob | history
llvm/test/Analysis/BasicAA/intrinsics.ll diff | blob | history
llvm/test/Analysis/TypeBasedAliasAnalysis/functionattrs.ll diff | blob | history
llvm/test/Analysis/TypeBasedAliasAnalysis/intrinsics.ll diff | blob | history
llvm/test/Bindings/llvm-c/debug_info.ll diff | blob | history
llvm/test/Bitcode/compatibility-3.6.ll diff | blob | history
llvm/test/Bitcode/compatibility-3.7.ll diff | blob | history
llvm/test/Bitcode/compatibility-3.8.ll diff | blob | history
llvm/test/Bitcode/compatibility-3.9.ll diff | blob | history
llvm/test/Bitcode/compatibility-4.0.ll diff | blob | history
llvm/test/Bitcode/compatibility-5.0.ll diff | blob | history
llvm/test/Bitcode/compatibility-6.0.ll diff | blob | history
llvm/test/Bitcode/compatibility.ll diff | blob | history
llvm/test/CodeGen/AMDGPU/addrspacecast-constantexpr.ll diff | blob | history
llvm/test/Feature/intrinsics.ll diff | blob | history
llvm/test/Other/invariant.group.ll diff | blob | history
llvm/test/Transforms/DeadArgElim/2010-04-30-DbgInfo.ll diff | blob | history
llvm/test/Transforms/DeadStoreElimination/simple.ll diff | blob | history
llvm/test/Transforms/Inline/inline_invoke.ll diff | blob | history
llvm/test/Transforms/Inline/noalias-calls.ll diff | blob | history
llvm/test/Transforms/MemCpyOpt/memcpy.ll diff | blob | history
llvm/test/Transforms/ObjCARC/basic.ll diff | blob | history
llvm/test/Transforms/ObjCARC/ensure-that-exception-unwind-path-is-visited.ll diff | blob | history
llvm/test/Transforms/ObjCARC/nested.ll diff | blob | history
llvm/test/Transforms/SLPVectorizer/X86/call.ll diff | blob | history
llvm/test/Verifier/fp-intrinsics.ll diff | blob | history
Domain: System / Toolchain;