Max Kazantsev 5cadc32f5f [EarlyCSE] Propagate conditions of AND and OR instructions ...

This patches teaches EarlyCSE to figure out that if `and i1 %x, %y` is true then both
`%x` and `%y` are true in the taken branch, and if `or i1 %x, %y` is false then both
`%x` and `%y` are false in non-taken branch. Fix for PR37635.

Differential Revision: https://reviews.llvm.org/D47574
Reviewed By: reames


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@334707 91177308-0d34-0410-b5e6-96231b3b80d8

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

..

AArch64

[EarlyCSE] Optionally use MemorySSA. NFC.

2016-08-31 19:24:10 +00:00

and_or.ll

[EarlyCSE] Propagate conditions of AND and OR instructions

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

atomics.ll

[EarlyCSE] Optionally use MemorySSA. NFC.

2016-08-31 19:24:10 +00:00

basic.ll

[EarlyCSE] Optionally use MemorySSA. NFC.

2016-08-31 19:24:10 +00:00

commute.ll

[EarlyCSE] Improve EarlyCSE of some absolute value cases.

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

conditional.ll

[EarlyCSE] Optionally use MemorySSA. NFC.

2016-08-31 19:24:10 +00:00

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

[EarlyCSE] Optionally use MemorySSA. NFC.

2016-08-31 19:24:10 +00:00

fence.ll

[EarlyCSE] Optionally use MemorySSA. NFC.

2016-08-31 19:24:10 +00:00

flags.ll

[EarlyCSE] Optionally use MemorySSA. NFC.

2016-08-31 19:24:10 +00:00

floatingpoint.ll

[EarlyCSE] Optionally use MemorySSA. NFC.

2016-08-31 19:24:10 +00:00

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

[EarlyCSE] Optionally use MemorySSA. NFC.

2016-08-31 19:24:10 +00:00

int_sideeffect.ll

Add an @llvm.sideeffect intrinsic

2017-11-08 21:59:51 +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

[EarlyCSE] Make MemorySSA memory dependency check more aggressive.

2016-10-25 16:18:47 +00:00

pr33406.ll

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

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

read-reg.ll

[EarlyCSE] Optionally use MemorySSA. NFC.

2016-08-31 19:24:10 +00:00

readnone-mayunwind.ll

[EarlyCSE] Don't DSE across readnone functions that may throw

2017-01-17 20:15:47 +00:00