[all-commits] [llvm/llvm-project] 88f9b5: [Attributor][FIX] Allow negative offsets for ranges

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 88f9b525085b4292080aec6aba835801ca5793b6
      https://github.com/llvm/llvm-project/commit/88f9b525085b4292080aec6aba835801ca5793b6
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2022-12-14 (Wed, 14 Dec 2022)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    A llvm/test/Transforms/Attributor/reduced/assertion_unassigned_range.ll

  Log Message:
  -----------
  [Attributor][FIX] Allow negative offsets for ranges

In https://reviews.llvm.org/D136745 we introduced the "pre-condition"
that offsets should not be -1 or -2. This can easily break. The new
special values are INT32_MAX and INT32_MIN, which we might want to
replace with std::optional or flags instead.