[llvm] [InstCombine] Remove redundant alignment assumptions. (PR #123348)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Tue Sep 9 08:29:40 PDT 2025


================
@@ -3404,6 +3405,32 @@ Instruction *InstCombinerImpl::visitCallInst(CallInst &CI) {
         MaybeSimplifyHint(OBU.Inputs[0]);
         MaybeSimplifyHint(OBU.Inputs[1]);
       }
+
+      // Try to remove redundant alignment assumptions.
+      if (OBU.getTagName() == "align" && OBU.Inputs.size() == 2) {
+        RetainedKnowledge RK = getKnowledgeFromBundle(
+            *cast<AssumeInst>(II), II->bundle_op_info_begin()[Idx]);
----------------
dtcxzyw wrote:

```suggestion
        RetainedKnowledge RK = getKnowledgeFromOperandInAssume(
            *cast<AssumeInst>(II), Idx);
```

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


More information about the llvm-commits mailing list