[PATCH] D149507: [SeparateConstOffsetFromGEP] Fix bug handling negative offsets

[Liren.Peng via Phabricator via llvm-commits]

Peakulorain added a comment.

Transforming `zext(A op B)` to `zext(A) op zext(B)` should guarantee that `A` and `B` are **non-negative**.  I think it would be better to do this fix during `ConstantOffsetExtractor::CanTraceInto`.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D149507