Alina Sbirlea 123e0cf60a [EarlyCSEwMemorySSA] Add MSSA verification and tests to make EarlyCSE failures easier to track. ...

Summary:
EarlyCSE can make IR changes that will leave MemorySSA with accesses claiming to be optimized, but for which a subsequent MemorySSA run will yield a different optimized result.
Due to relying on AA queries, we can't fix this in general, unless we recompute MemorySSA.
Adding some tests to track this and a basic verify for future potential failures.

Reviewers: george.burgess.iv, gberry

Subscribers: sanjoy, jlebar, Prazek, llvm-commits

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

llvm-svn: 342422

2018-09-17 22:35:21 +00:00

..

AArch64

…

and_or.ll

[EarlyCSE] Propagate conditions of AND and OR instructions

2018-06-14 13:02:13 +00:00

atomics.ll

…

basic.ll

…

commute.ll

[EarlyCSE] Improve EarlyCSE of some absolute value cases.

2018-05-21 18:42:42 +00:00

conditional.ll

…

const-speculation.ll

InstructionSimplify: don't speculate about Constants changing.

2017-05-22 21:28:08 +00:00

debuginfo-dce.ll

[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.

2018-05-09 02:40:45 +00:00

edge.ll

…

fence.ll

…

flags.ll

…

floatingpoint.ll

…

globalsaa-memoryssa.ll

[EarlyCSE] Handle calls with no MemorySSA info.

2017-07-14 20:13:21 +00:00

guards.ll

[EarlyCSE] Mark the condition of assume intrinsic as true

2017-04-28 06:25:39 +00:00

instsimplify-dom.ll

…

int_sideeffect.ll

Add an @llvm.sideeffect intrinsic

2017-11-08 21:59:51 +00:00

intrinsics.ll

[AMDGPU] Add support for multi-dword s.buffer.load intrinsic

2018-08-25 14:53:17 +00:00

invariant-loads.ll

[EarlyCSE] Don't hide earler invariant.scopes

2018-03-15 18:12:27 +00:00

invariant.start.ll

[EarlyCSE] Don't hide earler invariant.scopes

2018-03-15 18:12:27 +00:00

memoryssa.ll

[MemorySSA] "Fix" lifetime intrinsic handling

2018-08-10 05:14:43 +00:00

pr33406.ll

[EarlyCSE] Make PhiToCheck in removeMSSA() a set.

2017-06-14 19:29:53 +00:00

preserve_memoryssa.ll

[EarlyCSEwMemorySSA] Add MSSA verification and tests to make EarlyCSE failures easier to track.

2018-09-17 22:35:21 +00:00

read-reg.ll

…

readnone-mayunwind.ll

…