[all-commits] [llvm/llvm-project] 750e20: [InferAttrs] Mark frexp and modf as memory(argmem:...

[Daniel Woodworth via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 750e20e1713cbf51fb622804b4162e51844f52e0
      https://github.com/llvm/llvm-project/commit/750e20e1713cbf51fb622804b4162e51844f52e0
  Author: Daniel Woodworth <daniel.woodworth at intel.com>
  Date:   2023-04-19 (Wed, 19 Apr 2023)

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

  Log Message:
  -----------
  [InferAttrs] Mark frexp and modf as memory(argmem: write)

These two math library functions can't write to errno, but they do
produce two results and store the second result to a pointer passed as
their second argument. Appropriately marking them as
memory(argmem: write) enables more optimizations on calls to them.

Reviewed By: xbolva00

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