Skip to content

Conversation

@jameshu15869
Copy link
Collaborator

This optimizes the following:

a = select x, k1, k2
b = icmp eq a, k1

to

b = x

We shouldn't trigger this optimization when k1 == k2 because constant propagation should optimize that case.

This optimizes the following:

a = select x, k1, k2
b = icmp eq a, k1

to

b = x

We shouldn't trigger this optimization when k1 == k2 because constant
propagation should optimize that case.
@jameshu15869 jameshu15869 merged commit 5c8970c into main Dec 2, 2025
@jameshu15869 jameshu15869 deleted the milestone-11578 branch December 2, 2025 19:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants