[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