I would like to add some initial coarse aliasing analysis based on FIR. It will heavily rely on FIR types, attributes and operations. It’s goal would be to
- help reduce the creation of temporary arrays
- be used as a building block for other analyses such as global code motion
- help in pushing aliasing information down to the LLVM level