[PATCH] D72787: [BPF] Adjust optimizations to generate kernel verifier friendly codes
Andrii Nakryiko via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Jun 9 19:20:36 PDT 2020
anakryiko added a comment.
> V >= Lo && V < Hi --> V - Lo u< Hi - Lo
> V < Lo || V >= Hi --> V - Lo u>= Hi - Lo
Isn't the following possible as well?
V >= Lo && V <= Hi --> V - Lo u<= Hi - Lo
V < Lo || V > Hi --> V - Lo u> Hi - Lo
Should the code handle them as well?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D72787/new/
https://reviews.llvm.org/D72787
More information about the llvm-commits
mailing list