[all-commits] [llvm/llvm-project] fc5a57: [IRCE][Tests] Add tests with range checks in the f...

[Aleksandr Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fc5a5794ab5682f8b2052639fe5845cc5e7da593
      https://github.com/llvm/llvm-project/commit/fc5a5794ab5682f8b2052639fe5845cc5e7da593
  Author: aleks-tmb <a.popov.tmb at gmail.com>
  Date:   2023-07-02 (Sun, 02 Jul 2023)

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

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

Added tests on 3 types of range checks which are not supported by IRCE now:

* N - IV >= limit
* IV - N <= limit
* IV + N <= limit

Reviewed By: skatkov
Differential Revision: https://reviews.llvm.org/D154062