[InferAttrs] Mark some library functions as willreturn.
authorFlorian Hahn <flo@fhahn.com>
Mon, 18 Jan 2021 13:40:21 +0000 (13:40 +0000)
committerFlorian Hahn <flo@fhahn.com>
Mon, 18 Jan 2021 13:40:21 +0000 (13:40 +0000)
commite6d758de82b6f93f81e71617aeb5a37e57d6ada9
tree57e8d8ce4459ef6aa10afd932c35ab605957a1d4
parent36710c38c1b741ff9cc70060893d53fc24c07833
[InferAttrs] Mark some library functions as willreturn.

This patch marks some library functions as willreturn. On the first pass, I
excluded most functions that interact with streams/the filesystem.

Along with willreturn, it also adds nounwind to a set of math functions.
There probably are a few additional attributes we can add for those, but
that should be done separately.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D94684
llvm/lib/Transforms/Utils/BuildLibCalls.cpp
llvm/test/Transforms/InferFunctionAttrs/annotate.ll
llvm/test/Transforms/LICM/strlen.ll