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.
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.
Fangqing Du via llvm-dev <firstname.lastname@example.org> 於 2019年3月12日 週二 下午9:56寫道：