[all-commits] [llvm/llvm-project] 2e0af1: [ValueTracking] Support add+icmp assumes for Known...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2e0af16c9383bb5ed0eda236eb34b92dfb570235
      https://github.com/llvm/llvm-project/commit/2e0af16c9383bb5ed0eda236eb34b92dfb570235
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-07-05 (Wed, 05 Jul 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Analysis/ValueTracking/numsignbits-from-assume.ll
    M llvm/test/Transforms/InstCombine/assume.ll

  Log Message:
  -----------
  [ValueTracking] Support add+icmp assumes for KnownBits

Support the canonical range check pattern for KnownBits assumptions.
This is the same as the generic ConstantRange handling, just shifted
by an offset.


  Commit: 4488ee259064532dda24024a7e96037fe9a3c0d9
      https://github.com/llvm/llvm-project/commit/4488ee259064532dda24024a7e96037fe9a3c0d9
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-07-05 (Wed, 05 Jul 2023)

  Changed paths:
    M llvm/utils/UpdateTestChecks/common.py

  Log Message:
  -----------
  [UTC] Generalize version regex

The suffix for the git revision may not be present (or may not be
a git revision).


Compare: https://github.com/llvm/llvm-project/compare/07630da36a31...4488ee259064