[all-commits] [llvm/llvm-project] ec1121: [IRCE][Tests] Add more tests with range checks in ...

[Aleksandr Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ec112160713f3caae1c0e9de0d203f1e54a395d4
      https://github.com/llvm/llvm-project/commit/ec112160713f3caae1c0e9de0d203f1e54a395d4
  Author: Aleksandr Popov <a.popov.tmb at gmail.com>
  Date:   2023-07-06 (Thu, 06 Jul 2023)

  Changed paths:
    M llvm/test/Transforms/IRCE/iv-plus-offset-range-check.ll

  Log Message:
  -----------
  [IRCE][Tests] Add more tests with range checks in the form of 'iv + offset vs limit'

Added tests on range checks with non-strick predicate:
    * N - IV > limit
    * IV - N < limit
    * IV + N < limit

Also added tests with known to be non-negative N

Differential Revision: https://reviews.llvm.org/D154593