[llvm] [ConstraintElimination] Extend unsigned-to-signed fact transfer (PR #66173)

[Florian Hahn via llvm-commits]

================
@@ -748,11 +749,22 @@ void ConstraintInfo::transferToOtherSystem(
   default:
     break;
   case CmpInst::ICMP_ULT:
-    //  If B is a signed positive constant, A >=s 0 and A <s B.
+  case CmpInst::ICMP_ULE:
+    //  If B is a signed positive constant, A >=s 0 and A <s (or <=s) B.
----------------
fhahn wrote:

I think adding a then would make the sentence easier to parse.


```suggestion
    //  If B is a signed positive constant, then A >=s 0 and A <s (or <=s) B.
```

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