Davide Italiano 1e0b73ce8b [GlobalOpt] Remove unreachable blocks before optimizing a function. ...

LLVM's definition of dominance allows instructions that are cyclic
in unreachable blocks, e.g.:

  %pat = select i1 %condition, @global, i16* %pat

because any instruction dominates an instruction in a block that's
not reachable from entry.
So, remove unreachable blocks from the function, because a) there's
no point in analyzing them and b) GlobalOpt should otherwise grow
some more complicated logic to break these cycles.

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

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

2017-07-05 22:28:28 +00:00

..

2004-10-10-CastStoreOnce.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2005-06-15-LocalizeConstExprCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2005-09-27-Crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

2006-07-07-InlineAsmCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2006-11-01-ShrinkGlobalPhiCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2007-04-05-Crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2007-05-13-Crash.ll

Make "@name =" mandatory for globals in .ll files.

2016-05-10 18:22:45 +00:00

2007-06-04-PackedStruct.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2007-11-09-GEP-GEP-Crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2008-01-03-Crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2008-01-13-OutOfRangeSROA.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

2008-01-29-VolatileGlobal.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

2008-04-26-SROA-Global-Align.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

2008-07-17-addrspace.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

2008-12-16-HeapSRACrash-2.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2008-12-16-HeapSRACrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2009-01-13-phi-user.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

2009-02-15-BitcastAlias.ll

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

2009-02-15-ResolveAlias.ll

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

2009-03-05-dbg.ll

Verifier: Disallow a line number without a file in DISubprogram

2017-02-17 23:57:42 +00:00

2009-03-06-Anonymous.ll

Make "@name =" mandatory for globals in .ll files.

2016-05-10 18:22:45 +00:00

2009-03-07-PromotePtrToBool.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

2009-06-01-RecursivePHI.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2009-11-16-BrokenPerformHeapAllocSRoA.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2009-11-16-MallocSingleStoreToGlobalVar.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2010-02-25-MallocPromote.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2010-02-26-MallocSROA.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2010-10-19-WeakOdr.ll

IR: Introduce local_unnamed_addr attribute.

2016-06-14 21:01:22 +00:00

2011-04-09-EmptyGlobalCtors.ll

Add back a couple checks removed by r129128; the fact that an intitializer

2011-04-09 09:11:09 +00:00

2012-05-11-blockaddress.ll

Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.

2013-07-14 01:50:49 +00:00

alias-resolve.ll

Delete dead GlobalAliases.

2015-12-22 19:50:22 +00:00

alias-used-address-space.ll

IR: Introduce local_unnamed_addr attribute.

2016-06-14 21:01:22 +00:00

alias-used-section.ll

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

alias-used.ll

IR: Introduce local_unnamed_addr attribute.

2016-06-14 21:01:22 +00:00

array-elem-refs.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

assume.ll

IR: Introduce local_unnamed_addr attribute.

2016-06-14 21:01:22 +00:00

atexit.ll

IR: Don't allow non-default visibility on local linkage

2014-05-07 22:57:20 +00:00

atomic.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

available_externally_global_ctors.ll

Change hasUniqueInitializer() to call isStrongDefinitionForLinker() instead of !isWeakForLinker()

2015-12-09 16:17:07 +00:00

basictest.ll

PM: Port GlobalOpt to the new pass manager

2016-04-26 00:28:01 +00:00

blockaddress.ll

Verifier: Call verifyModule() from llc and opt

2015-03-27 22:04:28 +00:00

cleanup-pointer-root-users.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

compiler-used.ll

Don't crash when llvm.compiler.used becomes empty.

2013-07-20 23:33:15 +00:00

constantexpr-dangle.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

constantfold-initializers.ll

IR: Introduce local_unnamed_addr attribute.

2016-06-14 21:01:22 +00:00

crash-2.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

crash.ll

Revert "Change memcpy/memset/memmove to have dest and source alignments."

2015-11-19 05:56:52 +00:00

ctor-list-opt-constexpr.ll

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

ctor-list-opt-inbounds.ll

IR: Introduce local_unnamed_addr attribute.

2016-06-14 21:01:22 +00:00

ctor-list-opt.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

cxx-dtor.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

deaddeclaration.ll

[GlobalOpt] Dead Eliminate declarations

2016-09-15 20:26:27 +00:00

deadfunction.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

deadglobal-2.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

deadglobal.ll

Delete dead GlobalAliases.

2015-12-22 19:50:22 +00:00

externally-initialized-aggregate.ll

Fix some broken CHECK lines.

2017-01-22 20:28:56 +00:00

externally-initialized-global-ctr.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

externally-initialized.ll

GlobalOpt does not treat externally_initialized globals correctly

2015-10-12 13:20:52 +00:00

fastcc.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

global-demotion.ll

[GlobalOpt] Demote globals to locals more aggressively

2015-11-15 14:21:37 +00:00

globalsra-partial.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

globalsra-unknown-index.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

globalsra.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

GSROA-section.ll

Make sure that any new and optimized objects created during GlobalOPT copy all the attributes from the base object.

2016-01-22 21:18:20 +00:00

heap-sra-1.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

heap-sra-2.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

heap-sra-3.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

heap-sra-4.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

heap-sra-phi.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

integer-bool.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

invariant-nodatalayout.ll

Revert "Revert "Invariant start/end intrinsics overloaded for address space""

2016-08-13 23:31:24 +00:00

invariant.group.barrier.ll

IR: Introduce local_unnamed_addr attribute.

2016-06-14 21:01:22 +00:00

invariant.ll

Revert "Revert "Invariant start/end intrinsics overloaded for address space""

2016-08-13 23:31:24 +00:00

invoke.ll

IR: Introduce local_unnamed_addr attribute.

2016-06-14 21:01:22 +00:00

iterate.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

load-store-global.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

localize-constexpr-debuginfo.ll

[GlobalOpt] Correctly update metadata when localizing a global.

2017-04-27 18:39:08 +00:00

localize-constexpr.ll

Delete dead GlobalAliases.

2015-12-22 19:50:22 +00:00

malloc-promote-1.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

malloc-promote-2.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

malloc-promote-3.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

MallocSROA-section.ll

Make sure that any new and optimized objects created during GlobalOPT copy all the attributes from the base object.

2016-01-22 21:18:20 +00:00

memcpy.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

memset-null.ll

Revert "Change memcpy/memset/memmove to have dest and source alignments."

2015-11-19 05:56:52 +00:00

memset.ll

Revert "Change memcpy/memset/memmove to have dest and source alignments."

2015-11-19 05:56:52 +00:00

metadata.ll

IR: Drop uniquing when an MDNode Value operand is deleted

2016-08-03 18:19:43 +00:00

phi-select.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

pr21191.ll

IR: Introduce local_unnamed_addr attribute.

2016-06-14 21:01:22 +00:00

pr33686.ll

[GlobalOpt] Remove unreachable blocks before optimizing a function.

2017-07-05 22:28:28 +00:00

preserve-comdats.ll

Change the .ll syntax for comdats and add a syntactic sugar.

2015-01-06 22:55:16 +00:00

SROA-section.ll

Make sure that any new and optimized objects created during GlobalOPT copy all the attributes from the base object.

2016-01-22 21:18:20 +00:00

storepointer-compare.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

storepointer.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

tls.ll

Implement target independent TLS compatible with glibc's emutls.c.

2015-07-28 16:24:05 +00:00

trivialstore.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

undef-init.ll

GlobalOpt: Convert a bunch of tests from grep to FileCheck

2016-04-25 23:36:50 +00:00

unnamed-addr.ll

IR: Introduce local_unnamed_addr attribute.

2016-06-14 21:01:22 +00:00

zeroinitializer-gep-load.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00