A simple pass that adds aliasing scope information as comments to the IR before load and store accesses.
Antonio Frighetto