[PATCH] D128779: [GuardWidening] Add tests showing the incorrect behavior of GW wrt poison

[Serguei Katkov via Phabricator via llvm-commits]

skatkov created this revision.
skatkov added reviewers: mkazantsev, reames, apilipenko.
Herald added a project: All.
skatkov requested review of this revision.
Herald added a project: LLVM.

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 even in simple test we can hoist a poison and even logical and does not help here.


https://reviews.llvm.org/D128779

Files:
  llvm/test/Transforms/GuardWidening/posion.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D128779.440844.patch
Type: text/x-patch
Size: 4342 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220629/441ec3c4/attachment.bin>