en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Transforms/MemCpyOpt/aa-recursion-assertion-failure.ll#b1c2f128 [BasicAA] Move assumption tracking into AAQID91936 placed the tracking for the assumptions into BasicAA.However, when recursing over phis, we may use fresh AAQI instances.In this case AssumptionBasedResults from an inner AAQI can reesultin a removal of an element from the outer AAQI.To avoid this, move the tracking into AAQI. This generally makesmore sense, as the NoAlias assumptions themselves are also storedin AAQI.The test case only produces an assertion failure with D90094reapplied. I think the issue exists independently of that changeas well, but I wasn't able to come up with a reproducer. List of files: /llvm-project-15.0.7/llvm/test/Transforms/MemCpyOpt/aa-recursion-assertion-failure.ll Sat, 16 Jan 2021 20:47:01 +0000 Nikita Popov <nikita.ppv@gmail.com>