[llvm] [GISel][CombinerHelper] Push freeze through non-poison-producing operands (PR #90618)

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Wed May 15 13:29:54 PDT 2024


================
@@ -220,6 +220,13 @@ def idempotent_prop : GICombineRule<
    (match (idempotent_prop_frags $dst, $src)),
    (apply (GIReplaceReg $dst, $src))>;
 
+// Convert freeze(Op(Op0, NonPoisonOps...)) to Op(freeze(Op0), NonPoisonOps...)
+// when Op0 is not guaranteed non-poison
+def push_freeze_to_prevent_poison_propagation : GICombineRule<
----------------
arsenm wrote:

maybe change to more closely match InstCombine's pushFreezeToPreventPoisonFromPropagating? i.e. push_freeze_to_prevent_poison_from_propagating 

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


More information about the llvm-commits mailing list