[clang] [llvm] [mlir] [InferAttrs] Mark errnomem-setting libcalls as such (PR #124742)
Antonio Frighetto via llvm-commits
llvm-commits at lists.llvm.org
Fri Jan 31 07:46:12 PST 2025
================
@@ -554,6 +579,7 @@ bool llvm::inferNonMandatoryLibFuncAttrs(Function &F,
Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0);
+ Changed |= setOnlyAccessesErrnoMemory(F);
----------------
antoniofrighetto wrote:
Hmm, shouldn’t marking all pointer arguments as readonly be semantically equivalent to having ArgMem: Ref?
https://github.com/llvm/llvm-project/pull/124742
More information about the llvm-commits
mailing list