I want to query for the dependence between a load and store that may alias, where the dependence would exist if an alias occurs. The dependence API can handle this just fine, but when I query the distance with
.getDistance() for these dependence objects, the returned SCEV seems to always be null.
I assume this is because the API struggles with determining distances between accesses on different base addresses, even if they do possibly alias. It’s also possible that this is intentional though. Is anyone able to confirm one way or the other, and if this behavior is guaranteed for potentially aliasing loads/stores?