[all-commits] [llvm/llvm-project] ec0f67: [GuardWidening] Fix widening possibility check (#6...

[Aleksandr Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ec0f67874406e7f9d85b0a5da674565296ad7698
      https://github.com/llvm/llvm-project/commit/ec0f67874406e7f9d85b0a5da674565296ad7698
  Author: Aleksandr Popov <42888396+aleks-tmb at users.noreply.github.com>
  Date:   2023-09-12 (Tue, 12 Sep 2023)

  Changed paths:
    M llvm/lib/Transforms/Scalar/GuardWidening.cpp
    A llvm/test/Transforms/GuardWidening/hoist-checks.ll

  Log Message:
  -----------
  [GuardWidening] Fix widening possibility check (#66064)

In the 0e0ff8573de69286536e4f49098226eda0c4c7f5 was introduced
inconsistency between condition widening and checking if it's possible
to widen. We check the possibility to hoist checks parsed from the
condition, but hoist entire condition.

This patch returns testing that a condition can be hoisted rather than
the checks parsed from that condition.

Co-authored-by: Aleksander Popov <apopov at azul.com>