[PATCH] D72787: [BPF] Adjust optimizations to generate kernel verifier friendly codes

[Andrii Nakryiko via Phabricator via llvm-commits]

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