Investigate various function and parameter attributes

[troelsfr]

LLVM offers a number of attributes for functions and/or their parameters. We should investigate which of these can be used to simplify the IR. For instance, it is expected that readonly and byval will help LLVM optimise memory management. The open question to be answered is whether, QAT can inject these for known standard functions to improve performance.