missing handling of function attr 'ArgMemOnly' in pass 'functionattrs'

Hi All,

I notice that in pass ‘functionattrs’, there is no handling of function attribute ‘ArgMemOnly’.
Do you already has a patch or do you have plan to add this?

If no patch or no plan, maybe I can try to send a patch for this.

Thanks,
Fangqing
Xilinx Inc.

Hi Fangqing,

I think there are no existed codes to deduce “argmemonly” attribute for function in LLVM. I saw codes in lib/Transforms/Utils/BuildLibCalls.cpp to directly mark some lib functions as “argmemonly”. There is also an option called -force-attribute option to force function to be argmemonly.

A patch for deducing “argmentonly” is useful, like for alias analysis, it can get more information to have more precise result.

Thanks,
Lin-Ya

Fangqing Du via llvm-dev <llvm-dev@lists.llvm.org> 於 2019年3月12日 週二 下午9:56寫道: