[llvm] [AArch64] Lower disjoint_or+not to eon. (PR #147279)

[Ricardo Jesus via llvm-commits]

================
@@ -1254,6 +1254,16 @@ def fminnum_nnan : PatFrag<(ops node:$Rn, node:$Rm),
   return N->getFlags().hasNoNaNs();
   }]>;
 
+// Match disjoint or nodes.
+def or_disjoint : PatFrag<(ops node:$lhs, node:$rhs),
+                          (or node:$lhs, node:$rhs), [{
+  return N->getFlags().hasDisjoint();
+}]> {
+  let GISelPredicateCode = [{
+    return mi_match(MI, MRI, m_GDisjointOr(m_Reg(), m_Reg()));
+  }];
+}
----------------
rj-jesus wrote:

I thought about it, I just wasn't sure if this case alone was sufficient to warrant it. But I'm happy to do so if you see value in it. Would you like me to give it a try?

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