[all-commits] [llvm/llvm-project] 6db71b: [ConstraintElim] Use helper to allow overflow for ...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6db71b8f1418170324b49d20f1f7b3f7c5086066
      https://github.com/llvm/llvm-project/commit/6db71b8f1418170324b49d20f1f7b3f7c5086066
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-10-17 (Mon, 17 Oct 2022)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/large-constant-ints.ll

  Log Message:
  -----------
  [ConstraintElim] Use helper to allow overflow for coefficients of GEPs

If the arithmetic for indices of inbounds GEPs overflows, the result is
poison. This means it is also OK for the coefficients to overflow. GEP
decomposition is limited to cases where the index size is <= 64 bit,
which can be represented by int64_t used for the coefficients in the
constraint system.