[llvm] [Attributor] Only seed live internal callees during deduction (PR #222226)

via llvm-commits llvm-commits at lists.llvm.org
Thu Sep 10 00:59:07 PDT 2026


================
@@ -212,4 +212,52 @@ TEST_F(AttributorTestBase, AAReachabilityTest) {
   ASSERT_FALSE(F9AA.instructionCanReach(A, F9FirstInst, F4));
 }
 
+TEST_F(AttributorTestBase, CleanupDoesNotSeedLiveCallees) {
+  for (bool SeedCaller : {false, true}) {
+    SCOPED_TRACE(SeedCaller);
+    Module &M = parseModule(R"(
----------------
int-zjt wrote:

And this requires assertions to be enabled, so I'm not sure if we'd miss regressions in builds without them.

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


More information about the llvm-commits mailing list