[all-commits] [llvm/llvm-project] 853c52: [ConstraintElimination] Require GEPs to be inbound...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 853c52c988d4ef56b0f7e02819d1976262b6ab0a
      https://github.com/llvm/llvm-project/commit/853c52c988d4ef56b0f7e02819d1976262b6ab0a
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-02-07 (Sun, 07 Feb 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/gep-arithmetic.ll
    M llvm/test/Transforms/ConstraintElimination/geps.ll

  Log Message:
  -----------
  [ConstraintElimination] Require GEPs to be inbounds for decomposition.

During decomposition, we assume the no-wrap properties of inbound GEPs.
Make sure the decomposed GEP is actually inbounds.