Type/value propagate through COMPARE_OP

[Fidget-Spinner]

• Split up into uops
• Propagate bool value and constants too.

Linked PRs

• gh-115687: Split up guards from COMPARE_OP #115688
• GH-115687: Most comparisons create Booleans, so propagate that information #116360

[hugovk]

I see two checkboxes and two merged PRs. Ready to close this issue?