[llvm] [FlattenCFG] Fix an Imprecise Usage of AA (PR #128117)

[Nikita Popov via llvm-commits]

================
@@ -381,6 +381,14 @@ class AAResults {
                      MemoryLocation::getBeforeOrAfter(V2));
   }
 
+  /// A convenience wrapper around the \c isNoAlias for two instructions.
+  bool isNoAlias(const Instruction *I1, const Instruction *I2) {
----------------
nikic wrote:

I'd expect the implementation to look somewhat similar to getModRefInfo() for an instruction and call: https://github.com/llvm/llvm-project/blob/d254fa877f419e61e54709f0a6f2e891da893a60/llvm/lib/Analysis/AliasAnalysis.cpp#L190-L209

https://github.com/llvm/llvm-project/pull/128117