llvm-project.git/llvm/test/Transforms/InstSimplify/insertvalue.ll, branch users/nico/python-2

[InstSimplify] Fix poison safety in insertvalue fold

2023-02-16T08:39:44+00:00

We can only fold insertvalue undef, (extractvalue x, n) to x
if x is not poison, otherwise we might be replacing undef with
poison (https://alive2.llvm.org/ce/z/fnw3c8). The insertvalue
poison case is always fine.

I didn't go to particularly large effort to preserve cases where
folding with undef is still legal (mainly when there is a chain of
multiple inserts that end up covering the whole aggregate),
because this shouldn't really occur in practice: We should always
be generating the insertvalue poison form when constructing
aggregates nowadays.

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

[InstSimplify] Add additional insertvalue into undef tests (NFC)

2023-02-15T15:34:55+00:00

[InstSimplify] Do not remove insertvalue of undef into poison

2022-12-08T10:35:59+00:00

We cannot remove an insertvalue of undef if it inserts into a
potentially poison value. The new implementation matches that of
insertelement.

See https://alive2.llvm.org/ce/z/pCcFsW for the previously
incorrect transform.

[InstSimplify] Fix check lines (NFC)

2022-12-08T10:22:49+00:00

Accidentally used the wrong binary in the previous commit.

[InstSimplify] Add test for insertvalue of undef (NFC)

2022-12-08T10:16:46+00:00

[test] Use -passes=instsimplify instead of -instsimplify in a number of tests. NFC

2022-02-07T13:26:58+00:00

Another step moving away from the deprecated syntax of specifying
pass pipeline in opt.

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

[InstSimplify] Add tests that fold instructions with poison operands (NFC)

2020-12-01T16:01:59+00:00