[llvm] [InstCombine] Use context in select-to-umin nonzero check (PR #225381)

[via llvm-commits]

llvmorg-github-actions[bot] wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-llvm-transforms

Author: Nopileos Isemados (134ARG)

<details>
<summary>Changes</summary>

foldSelectICmpMinMax() queries whether W is nonzero without an instruction context, missing facts from a preceding llvm.assume or dominating branch. Querying at the comparison enables the existing select-to-umin fold.

Fix #<!-- -->225345

---
Full diff: https://github.com/llvm/llvm-project/pull/225381.diff


2 Files Affected:

- (modified) llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp (+1-1) 
- (modified) llvm/test/Transforms/InstCombine/minmax-fold.ll (+48) 


``````````diff
The server is unavailable at this time. Please wait a few minutes before you try again.
``````````

</details>


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