[all-commits] [llvm/llvm-project] e30d5b: [GuardWidening] Add tests showing incorrect behavi...

[serguei-katkov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e30d5bfebaab486667553033792dfdaec9eb26f5
      https://github.com/llvm/llvm-project/commit/e30d5bfebaab486667553033792dfdaec9eb26f5
  Author: Serguei Katkov <serguei.katkov at azul.com>
  Date:   2022-06-29 (Wed, 29 Jun 2022)

  Changed paths:
    A llvm/test/Transforms/GuardWidening/posion.ll

  Log Message:
  -----------
  [GuardWidening] Add tests showing incorrect behavior of GW.

The first test shows that combineRangeChecks may choose to keep only two poison conditions.
And we cannot do simple arithmetic or logical and in guard.
The second test shows that keeping two poison conditions in the widened guard may allow
execution of side-effect instruction even if just freeze these conditions.
The third test shows that even in simple test we can hoist a poison and even logical and does not help here.

Reviewed By: mkazantsev
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D128779