Make the NDEBUG assertion stronger and more clear what is
authorChris Lattner <sabre@nondot.org>
Thu, 25 Mar 2010 05:40:48 +0000 (05:40 +0000)
committerChris Lattner <sabre@nondot.org>
Thu, 25 Mar 2010 05:40:48 +0000 (05:40 +0000)
commit47cdf4abff20eb9d7d05406cc1a9be2890ed39bb
treed94908c4545f7091703c6443433ada6890977df8
parentea7b6bb32355c0d4cb1e1c16df7c8cf63787e73b
Make the NDEBUG assertion stronger and more clear what is
happening.

Enhance scheduling to set the DEAD flag on implicit defs
more aggressively.  Before, we'd set an implicit def operand
to dead if it were present in the SDNode corresponding to
the machineinstr but had no use.  Now we do it in this case
AND if the implicit def does not exist in the SDNode at all.

This exposes a couple of problems: one is the FIXME, which
causes a live intervals crash on CodeGen/X86/sibcall.ll.
The second is that it makes machinecse and licm more
aggressive (which is a good thing) but also exposes a case
where licm hoists a set0 and then it doesn't get resunk.

Talking to codegen folks about both these issues, but I need
this patch in in the meantime.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@99485 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/SelectionDAG/InstrEmitter.cpp
test/CodeGen/X86/2007-01-13-StackPtrIndex.ll
test/CodeGen/X86/2009-02-26-MachineLICMBug.ll
test/CodeGen/X86/coalesce-esp.ll
test/CodeGen/X86/licm-symbol.ll
test/CodeGen/X86/phys_subreg_coalesce-2.ll
test/CodeGen/X86/pr2659.ll