GSoC 2019 Proposal: Improve (function) attribute inference

Improve (function) attribute inference Abstract LLVM functions, as well as arguments and other entities, can be tagged with several attributes. These attributes are used in optimizations to decide whether a particular transformation is valid or not. Functions attributes can be either given by the...