[PATCH] D147078: [LICM][BPF] Disable hoistMinMax() optimization for BPF target

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Mar 29 00:06:29 PDT 2023


nikic added a comment.

Would it be fair to say that from the perspective of the BPF verified, `x < y && x < z` is generally preferred over `x < min(y, z)`, because the verifier does not know that `x < min(y, z)` implies `x < y` etc? If so, I think it would make the most sense to add an undo transform in the BPF backend.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D147078



More information about the llvm-commits mailing list