[llvm] [FunctionAttrs] Only check ArgMem effects when inferring argument attrs (PR #69571)

[Florian Hahn via llvm-commits]

https://github.com/fhahn approved this pull request.

LGTM, thanks!

Looks like this now infers more precise attributes than Attributor and also highlights an incorrect `write only` inference for the pointer argument used as function address in a write only call in llvm/test/Transforms/FunctionAttrs/writeonly.ll:313.

I'll file issues for those

https://github.com/llvm/llvm-project/pull/69571