[PATCH] D154139: [InstCombine] Transform `(icmp eq/ne (or x, C), x)` -> `(icmp eq/ne (and x, C), C)`

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Jun 30 12:56:53 PDT 2023


nikic added a comment.

> Proof (note constants are always noundef): https://alive2.llvm.org/ce/z/N4CcaK

`undef` is a constant :) Or more typically in this context, a vector with undef elements.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D154139/new/

https://reviews.llvm.org/D154139



More information about the llvm-commits mailing list