[llvm] [ConstraintElim] Decompose sext-like insts for signed predicates (PR #82344)

[Nikita Popov via llvm-commits]

================
@@ -507,6 +507,13 @@ static Decomposition decompose(Value *V,
     }
     Value *Op0;
     Value *Op1;
+
+    if (match(V, m_SExt(m_Value(Op0))))
+      return Op0;
----------------
nikic wrote:

Is there a test for it?

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