badumbatish wrote: I've refactored, and added support and test case for three more patterns ``` all_true (setcc x, 0, eq) -> not any_true any_true (setcc x, 0, ne) -> any_true all_true (setcc x, 0, ne) -> all_true ``` https://github.com/llvm/llvm-project/pull/144741