[all-commits] [llvm/llvm-project] e6d758: [InferAttrs] Mark some library functions as willre...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e6d758de82b6f93f81e71617aeb5a37e57d6ada9
      https://github.com/llvm/llvm-project/commit/e6d758de82b6f93f81e71617aeb5a37e57d6ada9
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-01-18 (Mon, 18 Jan 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/BuildLibCalls.cpp
    M llvm/test/Transforms/InferFunctionAttrs/annotate.ll
    M llvm/test/Transforms/LICM/strlen.ll

  Log Message:
  -----------
  [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