https://github.com/lukel97 approved this pull request. LGTM. Just noting that we don't seem to bind the condition code anywhere anymore but I think that's fine, it's good to keep things in sync with LLVM IR's patternmatch https://github.com/llvm/llvm-project/pull/151540