[llvm] [ConstraintElim] Decompose shl nsw for signed predicates (PR #76961)

[Florian Hahn via llvm-commits]

================
@@ -517,6 +517,17 @@ static Decomposition decompose(Value *V,
       return Result;
     }
 
+    // shl nsw x, shift is mul nsw x, (1<<shift),
+    // with the exception of shift == bw-1.
----------------
fhahn wrote:

nit: reflow comment?

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