[llvm] [WIP][X86] Add addlike PatFrags for AVX-512 disjoint OR folding (PR #166015)

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Mon Dec 29 03:38:37 PST 2025


================
@@ -1180,6 +1180,24 @@ def or_disjoint : PatFrag<(ops node:$lhs, node:$rhs),
   }];
 }
 
+def addlike : PatFrags<(ops node:$lhs, node:$rhs),
----------------
arsenm wrote:

This could be defined with PatFrags with the existing or_disjoint and add (for the isADDLike, we would need a new one for the xor case. But isADDLike seems somewhat vestigial before or disjoint worked. It probably shouldn't continue checking haveNoCommonBitsSet as it does now)

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


More information about the llvm-commits mailing list